module Dpds_gui: sig
.. end
kf_stmt_opt
is used if we want to ask the lval to the user in a popup
val update_visibility : (unit -> 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_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 ->
Cil_types.stmt -> (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 * Cil_types.stmt) option ->
Pretty_source.localizable -> (string * Cil_types.lval) option
kf_stmt_opt
is used if we want to ask the lval to the user in a popup
module Kf_containing_highlighted_stmt: Kernel_function.Make_Table
(
Datatype.Unit
)
(
sig
end
)
module Make_StmtSetState: 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
(
Datatype.Triple
(
Kernel_function
)
(
Cil_datatype.Stmt
)
(
Datatype.String
)
)
(
sig
end
)
val reset : unit -> unit
val print_info : Design.main_window_extension_points ->
(Kernel_function.t * Cil_types.stmt) option -> unit
val callbacks : ?defs:bool ->
?zones:bool ->
?scope:bool ->
?pscope:bool ->
Design.main_window_extension_points ->
Kernel_function.t * Cil_datatype.Stmt.t * 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 string ] list) ->
('a -> bool) -> 'b;
.. >;
.. > ->
'b
val main : < file_tree : < append_pixbuf_column : title:string ->
(Cil_types.global list ->
[> `STOCK_ID of string ] list) ->
('a -> bool) -> unit -> 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