Class `GuiSequent.focused`Source

method reset : unit

method get_focus_mode : bool

method set_focus_mode : bool -> unit

method get_state_mode : bool

method set_state_mode : bool -> unit

method get_iformat : Wp.Plang.iformat

method set_iformat : Wp.Plang.iformat -> unit

method get_rformat : Wp.Plang.rformat

method set_rformat : Wp.Plang.rformat -> unit

method selected : unit

method unselect : target

method restore : target -> unit

method on_selection : (unit -> unit) -> unit

method sequent : Wp.Conditions.sequent

method selection : Wp.Tactical.selection

method set_target : Wp.Tactical.selection -> unit

method popup : unit

method on_popup : (Frama_c_gui.Widget.popup -> unit) -> unit

method pp_term : Wp.Lang.F.term printer

method pp_pred : Wp.Lang.F.pred printer

method pp_selection : Wp.Tactical.selection printer

method pp_sequent : Wp.Conditions.sequent -> Format.formatter -> unit

method goal : Wp.Wpo.t -> Format.formatter -> unit

method button : title:string ->
  callback:(unit -> unit) ->
  Format.formatter ->
  unit

Install