org.extex.main.tex
Class TokenObserver

java.lang.Object
  org.extex.main.tex.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:4708 $

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)

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( org.extex.scanner.type.token.Token)