Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

de.dante.extex.main.observer
Class TokenObserver

java.lang.Object
  extended byde.dante.extex.main.observer.TokenObserver
All Implemented Interfaces:
PopObserver
public class TokenObserver
extends java.lang.Object
implements PopObserver

Observer for tokens which are read from the token stream.

Version:
$Revision: 1.8 $
Author:
Gerd Neugebauer

Constructor Summary
TokenObserver(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 pop ocurrs.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TokenObserver

public TokenObserver(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: PopObserver
This method is meant to be invoked just after a pop ocurrs.

Specified by:
update in interface PopObserver
Parameters:
token - the token to be expanded
See Also:
PopObserver.update( de.dante.extex.scanner.type.token.Token)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD