sig
type localizable =
PStmt of (Cil_types.kernel_function * Cil_types.stmt)
| PLval of
(Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
| PTermLval of
(Cil_types.kernel_function option * Cil_types.kinstr *
Cil_types.term_lval)
| PVDecl of (Cil_types.kernel_function option * Cil_types.varinfo)
| PGlobal of Cil_types.global
| PIP of Property.t
module Localizable :
sig
type t = localizable
val ty : t Type.t
val name : string
val descr : t Descr.t
val packed_descr : Structural_descr.pack
val reprs : t list
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val pretty_code : Format.formatter -> t -> unit
val internal_pretty_code :
Type.precedence -> Format.formatter -> t -> unit
val pretty : Format.formatter -> t -> unit
val varname : t -> string
val mem_project : (Project_skeleton.t -> bool) -> t -> bool
val copy : t -> t
end
module Locs :
sig type state val finalize : Pretty_source.Locs.state -> unit end
val display_source :
Cil_types.global list ->
GSourceView2.source_buffer ->
host:Gtk_helper.host ->
highlighter:(Pretty_source.localizable -> start:int -> stop:int -> unit) ->
selector:(button:int -> Pretty_source.localizable -> unit) ->
Pretty_source.Locs.state
val hilite : Pretty_source.Locs.state -> unit
val locate_localizable :
Pretty_source.Locs.state ->
Pretty_source.localizable -> (int * int) option
val kf_of_localizable :
Pretty_source.localizable -> Cil_types.kernel_function option
val ki_of_localizable : Pretty_source.localizable -> Cil_types.kinstr
val varinfo_of_localizable :
Pretty_source.localizable -> Cil_types.varinfo option
val localizable_from_locs :
Pretty_source.Locs.state ->
file:string -> line:int -> Pretty_source.localizable list
val loc_to_localizable :
Lexing.position -> Pretty_source.localizable option
end