Frama-C:
Plug-ins:
Libraries:

Frama-C API - autofocus

method clear : unit
method reset : unit
method env : Env.t
method set_term : F.term -> v_term -> unit
method get_term : F.term -> v_term
method set_target : F.term -> unit
method clear_target : unit
method focus : extend:bool -> F.term -> unit
method unfocus : F.term -> unit
method unfocus_last : unit
method is_selected : F.term -> bool
method is_focused : F.term -> bool
method is_visible : F.term -> bool
method is_targeted : F.term -> bool
method set_autofocus : bool -> unit
method get_autofocus : bool
method is_autofocused : bool
method set_step : Wp__.Conditions.step -> v_fold -> unit
method get_step : Wp__.Conditions.step -> v_fold
method is_visible_step : Wp__.Conditions.step -> bool
method locate : F.term -> Wp__.Tactical.selection
method set_sequent : Wp__.Conditions.sequent -> bool