org.extex.main.tex
Class TokenPushObserver

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

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)

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