+
Point of view
All features
deferred class OBSERVABLE
Summary
Class invariant
Overview
features
  • add (o: OBSERVER[OBSERVABLE])
    Add an observer that should be notified
  • remove (o: OBSERVER[OBSERVABLE])
    Remove an observer that should not be notified anymore
  • has (o: OBSERVER[OBSERVABLE]): BOOLEAN
    True if the observer will be notified when the state of Current changes
  • notify
    Notify all the observers that the state of Current changed
add (o: OBSERVER[OBSERVABLE])
effective procedure
Add an observer that should be notified
remove (o: OBSERVER[OBSERVABLE])
effective procedure
Remove an observer that should not be notified anymore
has (o: OBSERVER[OBSERVABLE]): BOOLEAN
effective function
True if the observer will be notified when the state of Current changes
notify
effective procedure
Notify all the observers that the state of Current changed
observers: COLLECTION[OBSERVER[OBSERVABLE]]
writable attribute
The collection of observers