module Dpds_gui:sig
..end
val update_column : ([ `Contents | `Visibility ] -> unit) Stdlib.ref
val add_tag : GSourceView.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 : Stdlib.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:
module Make_StmtMapState:
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