Class GuiSource.highlighter

class highlighter : Design.main_window_extension_points -> object .. end

val mutable goal : Property.t option
val mutable effect : (Cil_datatype.Stmt.t * WpPropId.effect_source) option
val mutable path : PATH.t
val mutable deps : DEPS.t
val mutable current : Wpo.t option
method private clear : unit
method private scroll : unit -> unit
method set : Wpo.t option -> unit
method update : unit
method highlight : GSourceView2.source_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit