|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.extex.engine.InteractionModeObserver
public class InteractionModeObserver
This observer is used to transport the interaction mode changes to the logger. Thus it is guaranteed that only the appropriate messages are shown.
| Constructor Summary | |
|---|---|
InteractionModeObserver(java.util.logging.Handler theHandler)
Creates a new object. |
|
| Method Summary | |
|---|---|
void |
receiveInteractionChange(ContextInternals context,
Interaction mode)
Receive a notification on a count change. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public InteractionModeObserver(java.util.logging.Handler theHandler)
theHandler - the target handler| Method Detail |
|---|
public void receiveInteractionChange(ContextInternals context,
Interaction mode)
throws java.lang.Exception
receiveInteractionChange in interface InteractionObservercontext - the interpreter contextmode - the new interaction mode.
java.lang.Exception - in case of a problemInteractionObserver.receiveInteractionChange(
org.extex.interpreter.context.ContextInternals,
org.extex.interpreter.interaction.Interaction)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||