Class type Config_file.cp

class type ['a] cp = object .. end

A Configuration Parameter, in short cp, ie a value we can store in and read from a configuration file.


Accessing methods

method get : 'a
method set : 'a -> unit
method get_default : 'a
method get_help : string
method get_name : string list
method reset : unit

Resets to the default value.

Miscellaneous

method add_hook : ('a -> 'a -> unit) -> unit

All the hooks are executed each time the method set is called, just after setting the new value.

method set_short_name : string -> unit

Used to generate command line arguments in Config_file.group.command_line_args

method get_short_name : string option

None if no optional short_name was provided during object creation and set_short_name was never called.

Methods for internal use

method get_formatted : Stdlib.Format.formatter -> unit
method get_default_formatted : Stdlib.Format.formatter -> unit
method get_help_formatted : Stdlib.Format.formatter -> unit
method get_spec : Stdlib.Arg.spec
method set_raw : Raw.cp -> unit