de.dante.extex.interpreter.observer.push
Interface PushObserver

All Known Implementing Classes:
PushObserverList, TokenPushObserver

public interface PushObserver

This interface describes the ability to receive a notification just after a push event.

Version:
$Revision: 1.3 $
Author:
Gerd Neugebauer

Method Summary
 void update(Token token)
          This method is meant to be invoked just after a push event.
 

Method Detail

update

public void update(Token token)
This method is meant to be invoked just after a push event.

Parameters:
token - the token which has been pushed