module Register_gui: sig
.. end
Extension of the GUI in order to support slicing visualization.
No function is exported.
module Enable: Computation.Ref
(
sig
end
)
(
sig
end
)
val mk_selection : (Db.Slicing.Select.t_set -> 'a) -> 'a
val mk_selection_cad : (Db.Slicing.Select.t_set -> Db.Slicing.Mark.t -> 'a) -> 'a
val mk_selection_all : (Db.Slicing.Select.t_set -> spare:bool -> 'a) -> 'a
val mk_slice : Db.Slicing.Select.t_set -> Project.t
val add_item : GMenu.menu GMenu.factory ->
callback:('a -> unit) -> string -> 'a option -> unit
val gui_annot_info : Design.main_window_extension_points ->
level:SlicingParameters.Verbose.t -> (unit -> string) -> unit
val gui_annot_action : Design.main_window_extension_points -> (unit -> string) -> unit
val gui_mk_slice : Design.main_window_extension_points ->
Db.Slicing.Select.t_set -> info:(unit -> string) -> unit
val msg_appl_compute_values : string
val msg_help_compute_values : string
val msg_help_enable_gui : string
val msg_help_libraries : string
val gui_compute_values : Design.main_window_extension_points -> unit
val gui_apply_action : Design.main_window_extension_points ->
('a -> 'b) -> 'a -> info:(unit -> string) -> unit
val get_setting_option_text : string -> string
val gui_toggle_slice_undef : Design.main_window_extension_points -> unit
val gui_set_project : Design.main_window_extension_points -> Db.Slicing.Project.t option -> unit
val slicing_selector : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit
val slicing_highlighter : GSourceView.source_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit
val none_text : string
val rebuild_model : #GEdit.combo_box * (GTree.list_store * string GTree.column) -> unit
val refresh_combo_box : #GEdit.combo_box * (GTree.list_store * string GTree.column) ->
Db.Slicing.Project.t option -> bool -> unit
val gui_set_slicing_debug : Design.main_window_extension_points -> SlicingParameters.Verbose.t -> unit
val gui_set_slicing_level : Design.main_window_extension_points -> SlicingParameters.Mode.Calls.t -> unit
val gui_set_slicing_undef_functions : Design.main_window_extension_points ->
SlicingParameters.Mode.SliceUndef.t -> unit
val slicing_panel : Design.main_window_extension_points ->
string * GObj.widget * (unit -> unit) option
val file_tree_decorate : Filetree.t -> unit
val main : Design.main_window_extension_points -> unit