Module Register_gui


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

module SelectedStmt: sig .. end
module HighlightedStmtState: Cil_computation.StmtSetRef(sig
val name : string
val dependencies : Project.Computation.t list
end)
module Enabled: Computation.Ref(sig
include Datatype.Bool
val default : unit -> bool
end)(sig
val name : string
val dependencies : 'a list
end)
module Slicing: Computation.Ref(sig
include Datatype.Bool
val default : unit -> bool
end)(sig
val name : string
val dependencies : 'a list
end)
module FollowFocus: Computation.Ref(sig
include Datatype.Bool
val default : unit -> bool
end)(sig
val name : string
val dependencies : 'a list
end)
val apply_on_stmt : (Cil_types.stmt -> unit) -> Pretty_source.localizable -> unit
val impact_highlighter : GSourceView.source_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit
val compute_impact : Design.main_window_extension_points -> SelectedStmt.data -> unit
val impact_selector : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit
val impact_panel : Design.main_window_extension_points ->
string * GObj.widget * (unit -> unit) option
val main : < register_panel : (Design.main_window_extension_points ->
string * GObj.widget * (unit -> unit) option) ->
'a;
register_source_highlighter : (GSourceView.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;
.. > ->
'a