module Parameter_customize:sig
..end
You can apply the below functions juste before applying one of the functors
provided by the functor Plugin.Register
and generating a new
parameter.
Consult the Plugin Development Guide for additional details.
val set_cmdline_stage : Cmdline.stage -> unit
Cmdline.Configuring
.val do_not_journalize : unit -> unit
val do_not_projectify : unit -> unit
Parameter_customize.do_not_save
and Parameter_customize.do_not_reset_on_copy
.val do_not_reset_on_copy : unit -> unit
val do_not_save : unit -> unit
val set_negative_option_name : string -> unit
val set_negative_option_help : string -> unit
val set_unset_option_name : string -> unit
val set_unset_option_help : string -> unit
set_unset_option_name
has not been called before. No default.val set_optional_help : (unit, Format.formatter, unit) Pervasives.format -> unit
val set_group : Cmdline.Group.t -> unit
val is_invisible : unit -> unit
Parameter_customize.do_not_iterate
.val argument_is_function_name : unit -> unit
String
.String_set
or
String_list
.val argument_may_be_fundecl : unit -> unit
val argument_must_be_existing_fun : unit -> unit
kernel_function
or fundec
.
This flag does not imply argument_may_be_fundecl
. If the latter is
unset, names of defined-only functions will raise an error as well.
Since Sodium-20150201
val do_iterate : unit -> unit
iter_on_plugins
is applied to this parameter. By default
only parameters corresponding to options registered at the
Cmdline.Configuring
stage are iterable.val do_not_iterate : unit -> unit
iter_on_plugins
to be applied on the parameter. By default, only
parameters corresponding to options registered at the
Cmdline.Configuring
stage are iterable.val no_category : unit -> unit
val is_permissive_ref : bool Pervasives.ref
true
, less checks are performed on value of arguments.
Set by Kernel.Permissive
optionval get_c_ified_functions : string -> Cil_datatype.Kf.Set.t
Parameter_customize.add_function_name_transformation
function below. By default, no
mangling function is registered, and the returned set is either empty or
a singleton corresponding to the unique function with that name. Results
from all registered functions are cumulative, so that a mangling function
should take care of returning the empty set for names that it does not
understand.val add_function_name_transformation : (string -> Cil_datatype.Kf.Set.t) -> unit
Parameter_customize.get_c_ified_functions
for more information.val reset : unit -> unit
val set_module_name : string -> unit
val find_kf_by_name : (string -> Cil_types.kernel_function) Pervasives.ref
val cmdline_stage_ref : Cmdline.stage Pervasives.ref
val journalize_ref : bool Pervasives.ref
val negative_option_name_ref : string option Pervasives.ref
val negative_option_help_ref : string Pervasives.ref
val unset_option_name_ref : string Pervasives.ref
val unset_option_help_ref : string Pervasives.ref
val must_save_ref : bool Pervasives.ref
val reset_on_copy_ref : bool Pervasives.ref
val projectify_ref : bool Pervasives.ref
val optional_help_ref : (unit, Format.formatter, unit) Pervasives.format Pervasives.ref
val argument_is_function_name_ref : bool Pervasives.ref
val argument_may_be_fundecl_ref : bool Pervasives.ref
val argument_must_be_existing_fun_ref : bool Pervasives.ref
val group_ref : Cmdline.Group.t Pervasives.ref
val do_iterate_ref : bool option Pervasives.ref
val is_visible_ref : bool Pervasives.ref
val module_name_ref : string Pervasives.ref
val use_category_ref : bool Pervasives.ref