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
end
) ->
functor (
X
:
sig
include Datatype.S
val default : unit -> t
val option_name : string
val functor_name : string
end
) ->
sig
.. end