de.dante.extex.main.observer
Class InteractionModeObserver

java.lang.Object
  extended byde.dante.extex.main.observer.InteractionModeObserver
All Implemented Interfaces:
InteractionObserver

public class InteractionModeObserver
extends java.lang.Object
implements InteractionObserver

This observer is used to transport the interaction mode changes to the logger. Thus it is guaranteed that only the appropriate messages are shown.

Version:
$Revision: 1.4 $
Author:
Gerd Neugebauer

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

InteractionModeObserver

public InteractionModeObserver(java.util.logging.Handler theHandler)
Creates a new object.

Parameters:
theHandler - the target handler
Method Detail

receiveInteractionChange

public void receiveInteractionChange(ContextInternals context,
                                     Interaction mode)
                              throws java.lang.Exception
Description copied from interface: InteractionObserver
Receive a notification on a count change.

Specified by:
receiveInteractionChange in interface InteractionObserver
Parameters:
context - the interpreter context
mode - the new interaction mode.
Throws:
java.lang.Exception - in case of a problem
See Also:
de.dante.extex.interpreter.context.observer.InteractionObserver#receiveInteractionChange( de.dante.extex.interpreter.context.ContextInternals, de.dante.extex.interpreter.Interaction)