Module Parameter_state

module Parameter_state: sig .. end

Handling groups of parameters

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

Selection of all the parameters which 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.
Consult the Plugin Development Guide for additional details.

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

Generic implementation of command line option

module Make: functor (P : sig
val shortname : string
end) -> functor (X : siginclude Datatype.S

val default : unit -> t
val option_name : string
val functor_name : string
end) -> sig .. end