de.dante.extex.main.observer
Class TokenPushObserver

java.lang.Object
  extended byde.dante.extex.main.observer.TokenPushObserver
All Implemented Interfaces:
PushObserver

public class TokenPushObserver
extends java.lang.Object
implements PushObserver

Observer for the operation of pushing a token to the token stream.

Version:
$Revision: 1.9 $
Author:
Gerd Neugebauer

Constructor Summary
TokenPushObserver(java.util.logging.Logger theLogger)
          Creates a new object.
 
Method Summary
 void update(Token token)
          This method is meant to be invoked just after a push event.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TokenPushObserver

public TokenPushObserver(java.util.logging.Logger theLogger)
Creates a new object.

Parameters:
theLogger - the logger for potential output
Method Detail

update

public void update(Token token)
Description copied from interface: PushObserver
This method is meant to be invoked just after a push event.

Specified by:
update in interface PushObserver
Parameters:
token - the token which has been pushed
See Also:
PushObserver.update( de.dante.extex.scanner.type.token.Token)