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_kf_stmt_opt : Pretty_source.localizable ->
(Cil_types.kernel_function * Cil_types.stmt) 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
end
) ->
sig
.. end
module Make_StmtMapState: functor (
Info
:
sig
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
val callbacks : ?defs:bool ->
?zones:bool ->
?scope:bool ->
?pscope:bool ->
Design.main_window_extension_points ->
Kernel_function.t * DpdsState.data * Pretty_source.localizable ->
unit
val highlighter : GSourceView2.source_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/unsensitive 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 : (GSourceView2.source_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