|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.dante.extex.main.observer.TokenObserver
Observer for tokens which are read from the token stream.
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 |
public TokenObserver(java.util.logging.Logger theLogger)
theLogger
- the logger for potential outputMethod Detail |
public void update(Token token)
PopObserver
update
in interface PopObserver
token
- the token to be expandedPopObserver.update(
de.dante.extex.scanner.type.token.Token)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |