deferred class OBSERVER [O_ -> OBSERVABLE]

All features

The "Observer" Design Pattern. An Observer must be updated by an Observable (see the class OBSERVABLE in the lib/abilities cluster).

Direct parents

non-conformant parents

ANY

Summary

exported features

Details

deferred update (o: O_)

The observable object o wants Current to be updated

require

  • o /= Void