package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Handling groups of parameters

val get_selection_context : ?is_set:bool -> unit -> State_selection.t

Selection of all the parameters that may have an impact on some analysis.

val get_selection : ?is_set:bool -> unit -> State_selection.t

Selection of all the settable parameters. is_set is true by default (for backward compatibility): in such a case, for each option, the extra internal state indicating whether it is set also belongs to the selection.

val get_reset_selection : ?is_set:bool -> unit -> State_selection.t

Selection of resettable parameters in case of copy with a visitor. Not for casual user.

  • since Neon-20140301
val collections : State.Set.t Stdlib.ref
OCaml

Innovation. Community. Security.