Frama-C:
Plug-ins:
Libraries:

Frama-C API - console

method pool : Wp__.Lang.F.pool

Global fresh variable pool

method interactive : bool

Interactive mode. If false the GUI is not activated. Hence, detailed feedback is not reported to the user.

method get_title : string

Retrieve the title

method has_error : bool

Retrieve the errors

method get_error : string option

Retrieve the error message, if any

method set_title : 'a. 'a Wp__.Tactical.formatter

Update the title wrt current selection & tuning

method set_descr : 'a. 'a Wp__.Tactical.formatter

Add a short description wrt current selection & tuning

method set_error : 'a. 'a Wp__.Tactical.formatter

Mark the current configuration as invalid

method update_field : 'a. ?enabled:bool -> ?title:string -> ?tooltip:string -> ?range:bool -> ?vmin:int -> ?vmax:int -> ?filter:(Wp__.Lang.F.term -> bool) -> 'a Wp__.Tactical.field -> unit

Update field parameters