[ library(config_opts) | Reference Manual | Alphabetic Index ]

request_notification(++Name, ++Pred)

Requests that a predicate be called when an option changes
Name
Name of the option
Pred
Predicate to call

Description

Specifies that Pred(Name, OldValue, NewValue) should be called whenever the value of the option Name is changed. OldValue is the old value of the option that has just been replaced and NewValue is the new value that has just been assigned. Pred should not modify OldValue or NewValue in any way, as this may interfere with other notification predicates. Note also that any choice points left by the call to Pred are pruned upon success.

Modules

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

See Also

register_option / 3, set_option / 2