org.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: 4770 $

Author:

Gerd Neugebauer

Method Summary

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

Method Detail

update

void update(Token token)

This method is meant to be invoked just after a push event.

Parameters:

token - the token which has been pushed