|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.dante.extex.interpreter.unit.tex.TraceCommandObserver
Observer for tracing the execution of tokens. The token is written to the log file enclosed in braces.
Constructor Summary | |
TraceCommandObserver(java.util.logging.Logger theLogger,
Context context)
Creates a new object. |
Method Summary | |
void |
update(Token token)
This method is meant to be invoked just before a token is executed. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public TraceCommandObserver(java.util.logging.Logger theLogger, Context context)
theLogger
- the logger for potential outputcontext
- the interpreter context for access to
\tracingonlineMethod Detail |
public void update(Token token)
update
in interface CommandObserver
token
- the token to be expanded
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |