sig
type selection =
S_none
| S_fun of Kernel_function.t
| S_prop of Property.t
| S_call of GuiSource.call
and call = {
s_caller : Kernel_function.t;
s_called : Kernel_function.t;
s_stmt : Cil_types.stmt;
}
class popup :
unit ->
object
method on_click : (GuiSource.selection -> unit) -> unit
method on_prove : (GuiSource.selection -> unit) -> unit
method register :
GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit
end
class highlighter :
Design.main_window_extension_points ->
object
method highlight :
Design.reactive_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit
method set : Wpo.t option -> unit
method update : unit
end
end