[ library(module_options) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

set_default_option(+OptionName, +OptionValue)

Permanently set the default value for the given option in the context module
OptionName
An atom
OptionValue
A valid option term

Description

The exact behaviour of this predicate depends on the module from where it is invoked: It changes the default value for a named option in the context module. The initial default values are defined by the predicate default_options/1 in the context module.

The option name OptionName must be valid according to the predicate valid_option_field/2 in the context module, and OptionValue must be valid according to valid_option_value/2.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Exceptions

(4) instantiation fault
OptionName or OptionValue are uninstantiated
(5) type error
OptionName is not an atom
(6) out of range
OptionName is not a valid option, or OptionValue is not a valid value in the context module

See Also

library(module_options), get_options / 2, print_default_options / 1