|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface GumpManager
A GuMPManager
is a Remote
object that manages
GuMPs.
Method Summary | |
---|---|
java.util.Collection<PeerEntry> |
getPeerEntries(GridManagerListenerRemote newListener)
Gets the GuMPSpec s. |
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 GuMPSpec s. |
Method Detail |
---|
void setPeers(java.util.Collection<PeerSpec> gumpSpecs) throws java.rmi.RemoteException
GuMPSpec
s.
gumpSpecs
- the new GuMPSpec
s.
java.rmi.RemoteException
- when a communication error occurs.java.util.Collection<PeerEntry> getPeerEntries(GridManagerListenerRemote newListener) throws java.rmi.RemoteException
GuMPSpec
s.
newListener
- TODO
GuMPSpec
s.
java.rmi.RemoteException
- when a communication error occurs.void peerAlive(java.lang.String url) throws java.rmi.RemoteException
PeerSpec
is alive.
url
- Url of the Peer that is now alive.
java.rmi.RemoteException
void peerIsDead(java.lang.String url) throws java.rmi.RemoteException
PeerSpec
is dead.
url
- Url of the Peer that is now dead.
java.rmi.RemoteException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |