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.

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.

method get_formatted : Format.formatter -> unit

method get_default_formatted : Format.formatter -> unit

method get_help_formatted : Format.formatter -> unit

method get_spec : Arg.spec

method set_raw : Raw.cp -> unit