Module Dpds_gui

module Dpds_gui: sig .. end
kf_opt is used if we want to ask the lval to the user in a popup

val update_column : ([ `Contents | `Visibility ] -> unit) Pervasives.ref
val add_tag : GSourceView2.source_buffer ->
string * GText.tag_property list -> int -> int -> unit
val scope_start_tag : string * [> `UNDERLINE of [> `DOUBLE ] ] list
val zones_used_tag : string * [> `BACKGROUND of string ] list
val show_def_direct_tag : string * [> `BACKGROUND of string ] list
val show_def_indirect_tag : string * [> `BACKGROUND of string ] list
val scope_b_tag : string * [> `BACKGROUND of string ] list
val scope_fb_tag : string * [> `BACKGROUND of string ] list
val scope_f_tag : string * [> `BACKGROUND of string ] list
val scope_p_tag : string * [> `BACKGROUND of string ] list
val scope_p_warn_tag : string * [> `BACKGROUND of string ] list
val empty_tag : string * 'a list
val add_msg : Design.main_window_extension_points -> string -> unit
val pretty_zone : Format.formatter -> Locations.Zone.t -> unit
val ask_for_lval : Design.main_window_extension_points ->
Cil_types.kernel_function -> (string * Cil_types.lval) option
val get_annot_opt : Pretty_source.localizable -> Cil_types.code_annotation option
val get_lval_opt : Design.main_window_extension_points ->
Cil_types.kernel_function option ->
Pretty_source.localizable -> (string * Cil_types.lval) option
kf_opt is used if we want to ask the lval to the user in a popup
val eval_lval : Cil_datatype.Stmt.t -> Cil_datatype.Lval.t -> Locations.Zone.t
module Kf_containing_highlighted_stmt: Kernel_function.Make_Table(Datatype.String.Set)(sig
val name : string
val size : int
val dependencies : 'a list
end)
val default_icon_name : string
val default_icon : Datatype.String.Set.t
module Make_StmtSetState: 
functor (Info : sig
val name : string
end) -> sig .. end
module Make_StmtMapState: 
functor (Info : sig
val name : string
end) -> sig .. end
module type DpdCmdSig = sig .. end
module DataScope: sig .. end
module Pscope: sig .. end
module ShowDef: sig .. end
module Zones: sig .. end
val help : Design.main_window_extension_points -> unit
module DpdsState: State_builder.Option_ref(Cil_datatype.Stmt)(sig
val name : string
val dependencies : State.t list
end)
val reset : unit -> unit
type funct = 
| Defs
| Zones
| Scope
| Pscope
val callbacks : funct ->
Design.main_window_extension_points ->
Kernel_function.t * DpdsState.data * Pretty_source.localizable ->
unit
val highlighter : Design.reactive_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit
val check_value : Design.main_window_extension_points -> bool
val add_item : Design.main_window_extension_points ->
use_values:bool ->
GMenu.menu GMenu.factory -> string -> 'a option -> ('a -> unit) -> unit
To add a sensitive/insensitive menu item to a factory. The menu item is insensitive when arg_opt = None, else, when the item is selected, the callback is called with the argument. If ~use_values, check if the value analysis has been computed.
val selector : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit
val filetree_decorate : < file_tree : < append_pixbuf_column : title:string ->
(Cil_types.global list ->
[> `STOCK_ID of
Datatype.String.Set.elt ]
list) ->
('a -> bool) -> 'b;
.. >;
.. > ->
'b
val main : < file_tree : < append_pixbuf_column : title:string ->
(Cil_types.global list ->
[> `STOCK_ID of
Datatype.String.Set.elt ]
list) ->
('a -> bool) ->
[ `Contents | `Visibility ] -> unit;
.. >;
register_source_highlighter : (Design.reactive_buffer ->
Pretty_source.localizable ->
start:int -> stop:int -> unit) ->
'b;
register_source_selector : (GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit) ->
'c;
.. > ->
unit