module Register_gui: sig
.. end
Extension of the GUI for the impact plugin.
module SelectedStmt: sig
.. end
module Highlighted_stmt: sig
.. end
module ImpactedNodes: State_builder.Ref
(
Kernel_function.Map.Make
(
Pdg_aux.NS
)
)
(
sig
val name : string
val dependencies : State.t list
val default : unit -> 'a Kernel_function.Map.t
end
)
module ReasonGraph: State_builder.Ref
(
Reason_graph.DatatypeReason
)
(
sig
end
)
module InitialNodes: State_builder.Ref
(
Pdg_aux.NS
)
(
sig
val name : string
val dependencies : State.t list
val default : unit -> Pdg_aux.NS.t
end
)
val impact_in_kf : Cil_types.kernel_function -> Compute_impact.nodes
val update_column : ([ `Contents | `Visibility ] -> unit) Pervasives.ref
module Enabled: sig
.. end
module Slicing: State_builder.Ref
(
Datatype.Bool
)
(
sig
val name : string
val dependencies : 'a list
val default : unit -> bool
end
)
module FollowFocus: State_builder.Ref
(
Datatype.Bool
)
(
sig
val name : string
val dependencies : 'a list
val default : unit -> bool
end
)
val apply_on_stmt : (Cil_types.kernel_function -> Cil_types.stmt -> unit) ->
Pretty_source.localizable -> unit
val impact_highlighter : GSourceView2.source_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit
val reason_graph_window : < default_height : int; default_width : int; .. > ->
?in_kf:Cil_types.kernel_function -> Reason_graph.reason -> unit
val impact_statement : Locations.Zone.t -> Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
val impact_statement : Locations.Zone.t -> Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
val impact_statement_ui : Design.main_window_extension_points -> Cil_datatype.Stmt.t -> unit
val impact_graph_of_function : Design.main_window_extension_points -> Cil_types.kernel_function -> unit
val pretty_info : bool Pervasives.ref
val pp_impact_on_inputs : Design.main_window_extension_points -> Cil_types.kernel_function -> unit
val pp_impacted_call_outputs : Design.main_window_extension_points ->
Cil_types.kernel_function -> Cil_datatype.Stmt.t -> unit
val impact_selector : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit
val impact_panel : < rehighlight : unit -> unit; .. > ->
string * GObj.widget * (unit -> unit) option
val file_tree_decorate : Filetree.t -> unit
val main : < file_tree : Filetree.t;
register_panel : (< rehighlight : unit -> unit; .. > ->
string * GObj.widget * (unit -> unit) option) ->
'a;
register_source_highlighter : (GSourceView2.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;
.. > ->
unit