de.dante.extex.interpreter.observer.push
Class PushObserverList

java.lang.Object
  extended byde.dante.extex.interpreter.observer.push.PushObserverList
All Implemented Interfaces:
PushObserver

public final class PushObserverList
extends java.lang.Object
implements PushObserver

This class provides a type-safe list of observers for the push event.

Version:
$Revision: 1.4 $
Author:
Gerd Neugebauer

Constructor Summary
PushObserverList()
           
 
Method Summary
 void add(PushObserver observer)
          Add an observer to the list.
static PushObserver register(PushObserver list, PushObserver observer)
          Take a list and add an observer.
 void update(Token token)
          Invoke all observers on the list to inform them of the token to be pushed.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PushObserverList

public PushObserverList()
Method Detail

register

public static PushObserver register(PushObserver list,
                                    PushObserver observer)
Take a list and add an observer. If the list is null then a new one is created.

Parameters:
list - the input list or null
observer - the observer to add
Returns:
the input list or a new one with the observer added

add

public void add(PushObserver observer)
Add an observer to the list.

Parameters:
observer - the observer to add to the list

update

public void update(Token token)
Invoke all observers on the list to inform them of the token to be pushed.

Specified by:
update in interface PushObserver
Parameters:
token - the token to be pushed