aleph
Class Event

java.lang.Object
  |
  +--aleph.Event

public class Event
extends java.lang.Object
implements java.io.Serializable

This class supports light-weight synchronization among PEs. An Event object provides a kind of atomic broadcast group. Any thread can signal the event object, and all threads aware of an event are notified of all such signals in the same order. There are two kinds of signals: regular, and flush. A flush signal causes all records of earlier signals to be discarded. When an event object is first imported to a PE, the PE must register an Listener object. The PE is then notified (in order) of the last flush signal, and all subsequent signals by calling the listener's actionPerformed method with the argument (if any) to the signal.

See Also:
Listener, aleph.comm.EventManager, Serialized Form

Field Summary
protected  java.lang.String label
           
 
Constructor Summary
Event()
          Constructor.
Event(java.lang.String label)
          Constructor.
 
Method Summary
 boolean equals(java.lang.Object obj)
           
 int hashCode()
           
 void removeListener()
          Remove the listener for this event, if any.
 void resetListener(Listener e)
          Reregister a listener for this event.
 void setListener(Listener e)
          Register a listener for this event.
 void signal()
          Send signal to each PE.
 void signal(boolean flush)
          Send signal to each PE.
 void signal(java.lang.Object object)
          Send signal to each PE.
 void signal(java.lang.Object object, boolean flush)
          Send signal to each PE.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

label

protected java.lang.String label
Constructor Detail

Event

public Event()
Constructor.

Event

public Event(java.lang.String label)
Constructor.
Method Detail

signal

public void signal()
Send signal to each PE. Delivers null.

signal

public void signal(boolean flush)
Send signal to each PE. Delivers null.
Parameters:
flush - Flush earlier signals?

signal

public void signal(java.lang.Object object)
Send signal to each PE.

signal

public void signal(java.lang.Object object,
                   boolean flush)
Send signal to each PE.
Parameters:
flush - Flush earlier signals?

setListener

public void setListener(Listener e)
Register a listener for this event. Panics if listener already set.

resetListener

public void resetListener(Listener e)
Reregister a listener for this event.

removeListener

public void removeListener()
Remove the listener for this event, if any.

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object