Package de.dante.extex.interpreter.observer.push

This package contains definitions for the push observer.

See:
          Description

Interface Summary
PushObservable This interface describes the possibility to register an observer for a push event.
PushObserver This interface describes the ability to receive a notification just after a push event.
 

Class Summary
PushObserverList This class provides a type-safe list of observers for the push event.
 

Package de.dante.extex.interpreter.observer.push Description

This package contains definitions for the push observer.