Module Register_gui

module Register_gui: sig .. end
Extension of the GUI for the occurrence plugin.

val update_column : ([ `Contents | `Visibility ] -> unit) Pervasives.ref
module Enabled: State_builder.Ref(Datatype.Bool)(sig
val name : string
val dependencies : State.t list
val default : unit -> bool
end)
module ShowRead: State_builder.Ref(Datatype.Bool)(sig
val name : string
val dependencies : 'a list
val default : unit -> bool
end)
module ShowWrite: State_builder.Ref(Datatype.Bool)(sig
val name : string
val dependencies : 'a list
val default : unit -> bool
end)
val consider_access : unit -> Register.access_type -> bool
val filter_accesses : ('a * Cil_types.kinstr * Cil_datatype.Lval.t) list ->
('a * Cil_types.kinstr * Cil_datatype.Lval.t) list
val find_occurrence : Design.main_window_extension_points -> Cil_types.varinfo -> unit -> unit
val apply_on_vi : (Cil_types.varinfo -> unit) -> Pretty_source.localizable -> unit
val occurrence_highlighter : GSourceView2.source_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit
module FollowFocus: State_builder.Ref(Datatype.Bool)(sig
val name : string
val dependencies : 'a list
val default : unit -> bool
end)
val occurrence_panel : < file_tree : < reset : unit -> 'a; .. >; rehighlight : unit -> unit; .. > ->
string * GObj.widget * (unit -> unit) option
val occurrence_selector : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit
val file_tree_decorate : Filetree.t -> unit
val main : < file_tree : Filetree.t;
register_panel : (< file_tree : < reset : unit -> 'a; .. >;
rehighlight : unit -> unit; .. > ->
string * GObj.widget * (unit -> unit) option) ->
'b;
register_source_highlighter : (GSourceView2.source_buffer ->
Pretty_source.localizable ->
start:int -> stop:int -> unit) ->
'c;
register_source_selector : (GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit) ->
'd;
.. > ->
unit