Module Register_gui

module Register_gui: sig .. end
Extension of the GUI in order to support slicing visualization. No function is exported.

val update_column : ([ `Contents | `Visibility ] -> unit) Pervasives.ref
module Enabled: sig .. end
val mk_selection : (Db.Slicing.Select.set -> 'a) -> 'a
val mk_selection_cad : (Db.Slicing.Select.set -> Db.Slicing.Mark.t -> 'a) -> 'a
val mk_selection_all : (Db.Slicing.Select.set -> spare:bool -> 'a) -> 'a
val mk_slice : Db.Slicing.Select.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:int -> (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.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_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 : GSourceView2.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