Module Register_gui


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

module Make_HighlighterState: 
functor (Info : sig
val name : string
end) -> Computation.Ref(sig
include Cil_datatype.StmtList
val default : unit -> 'a list
end)(sig
val name : string
val dependencies : Project.Computation.t list
end)
module ForwardHighlighterState: Make_HighlighterState(sig
val name : string
end)
module IndirectBackwardHighlighterState: Make_HighlighterState(sig
val name : string
end)
module DirectHighlighterState: Make_HighlighterState(sig
val name : string
end)
val security_highlighter : GSourceView.source_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit
val security_selector : GMenu.menu GMenu.factory ->
< rehighlight : unit -> unit; .. > ->
button:int -> Pretty_source.localizable -> unit
val main : < register_source_highlighter : (GSourceView.source_buffer ->
Pretty_source.localizable ->
start:int -> stop:int -> unit) ->
'a;
register_source_selector : (GMenu.menu GMenu.factory ->
< rehighlight : unit -> unit; .. > ->
button:int -> Pretty_source.localizable -> unit) ->
'b;
.. > ->
'a