module Dpds_gui: sig
.. end
kf_stmt_opt
is used if we want to ask the lval to the user in a popup
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_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 ->
Db_types.kernel_function ->
Cil_types.stmt -> (string * Cil_types.lval) option
val get_kf_stmt_opt : Pretty_source.localizable ->
(Db_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 ->
(Db_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 Make_StmtSetState:
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: Computation.OptionRef
(
Datatype.Triple
(
Kernel_function.Datatype
)
(
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 : GSourceView.source_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit
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 main : < register_source_highlighter : (GSourceView.source_buffer ->
Pretty_source.localizable ->
start:int -> stop:int -> unit) ->
'a;
register_source_selector : (GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit) ->
'b;
.. > ->
'a