Trull

edu.luc.cs.trull
Class Switch.SwitchTerminationListener

java.lang.Object
  extended by edu.luc.cs.trull.Switch.SwitchTerminationListener
All Implemented Interfaces:
TerminationListener, java.util.EventListener
Enclosing class:
Switch

protected class Switch.SwitchTerminationListener
extends java.lang.Object
implements TerminationListener

This component terminates as soon as the chosen branch component terminates.


Constructor Summary
protected Switch.SwitchTerminationListener()
           
 
Method Summary
 void componentTerminated(java.util.EventObject event)
          Indicates termination by the source of the event to this listener.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Switch.SwitchTerminationListener

protected Switch.SwitchTerminationListener()
Method Detail

componentTerminated

public void componentTerminated(java.util.EventObject event)
Description copied from interface: TerminationListener
Indicates termination by the source of the event to this listener.

Specified by:
componentTerminated in interface TerminationListener

Trull

http://www.cs.luc.edu/trull/