org.ourgrid.mygrid.scheduler.gump
Interface GumpManager

All Superinterfaces:
java.rmi.Remote
All Known Implementing Classes:
FakeGumpManager, GumpManagerImpl

public interface GumpManager
extends java.rmi.Remote

A GuMPManager is a Remote object that manages GuMPs.


Method Summary
 java.util.Collection<PeerEntry> getPeerEntries(GridManagerListenerRemote newListener)
          Gets the GuMPSpecs.
 void peerAlive(java.lang.String url)
          Notifies that the peer PeerSpec is alive.
 void peerIsDead(java.lang.String url)
          Notifies that the peer PeerSpec is dead.
 void setPeers(java.util.Collection<PeerSpec> gumpSpecs)
          Sets the GuMPSpecs.
 

Method Detail

setPeers

void setPeers(java.util.Collection<PeerSpec> gumpSpecs)
              throws java.rmi.RemoteException
Sets the GuMPSpecs.

Parameters:
gumpSpecs - the new GuMPSpecs.
Throws:
java.rmi.RemoteException - when a communication error occurs.

getPeerEntries

java.util.Collection<PeerEntry> getPeerEntries(GridManagerListenerRemote newListener)
                                               throws java.rmi.RemoteException
Gets the GuMPSpecs.

Parameters:
newListener - TODO
Returns:
a collection of GuMPSpecs.
Throws:
java.rmi.RemoteException - when a communication error occurs.

peerAlive

void peerAlive(java.lang.String url)
               throws java.rmi.RemoteException
Notifies that the peer PeerSpec is alive.

Parameters:
url - Url of the Peer that is now alive.
Throws:
java.rmi.RemoteException

peerIsDead

void peerIsDead(java.lang.String url)
                throws java.rmi.RemoteException
Notifies that the peer PeerSpec is dead.

Parameters:
url - Url of the Peer that is now dead.
Throws:
java.rmi.RemoteException