deferred class OBSERVABLE

Features exported to ANY

Part of the Observer Design Pattern. An object of this class should notify its observers whenever its state changes. Use the notify feature for that.

See also OBSERVER.

Direct parents

non-conformant parents

ANY

Summary

exported features

Details

add (o: OBSERVER[OBSERVABLE])

Add an observer that should be notified

remove (o: OBSERVER[OBSERVABLE])

Remove an observer that should not be notified anymore

require

  • has(o)

has (o: OBSERVER[OBSERVABLE]): BOOLEAN

True if the observer will be notified when the state of Current changes

Class invariant