package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct