jas.util.rmi
Class RMIEventDelivery

java.lang.Object
  |
  +--java.rmi.server.RemoteObject
        |
        +--java.rmi.server.RemoteServer
              |
              +--java.rmi.server.UnicastRemoteObject
                    |
                    +--jas.util.rmi.RMIEventDelivery
All Implemented Interfaces:
java.rmi.Remote, RemoteEventReceiver, java.io.Serializable

public class RMIEventDelivery
extends java.rmi.server.UnicastRemoteObject
implements RemoteEventReceiver

See Also:
Serialized Form

Fields inherited from class java.rmi.server.RemoteObject
ref
 
Constructor Summary
RMIEventDelivery(boolean swing)
           
 
Method Summary
 void addRMIEventDeliveryListener(RMIEventDeliveryListener l)
          An EventDelivery event is generated whenever RMIEventDelivery starts or finishes delivering a chunk of events.
 RMIDestination getRMIDestination()
           
 void remoteUpdate(java.io.Serializable[] arg)
           
 void removeRMIEventDeliveryListener(RMIEventDeliveryListener l)
           
 
Methods inherited from class java.rmi.server.UnicastRemoteObject
clone, exportObject, exportObject, exportObject, unexportObject
 
Methods inherited from class java.rmi.server.RemoteServer
getClientHost, getLog, setLog
 
Methods inherited from class java.rmi.server.RemoteObject
equals, getRef, hashCode, toString, toStub
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RMIEventDelivery

public RMIEventDelivery(boolean swing)
                 throws java.rmi.RemoteException
Method Detail

getRMIDestination

public RMIDestination getRMIDestination()

addRMIEventDeliveryListener

public void addRMIEventDeliveryListener(RMIEventDeliveryListener l)
An EventDelivery event is generated whenever RMIEventDelivery starts or finishes delivering a chunk of events. It can be used to batch together multiple events

removeRMIEventDeliveryListener

public void removeRMIEventDeliveryListener(RMIEventDeliveryListener l)

remoteUpdate

public void remoteUpdate(java.io.Serializable[] arg)
Specified by:
remoteUpdate in interface RemoteEventReceiver