|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object fr.lip6.sma.simulacion.server.AgentListManagerImpl fr.lip6.sma.simulacion.server.http.HTTPAgentListManager
public class HTTPAgentListManager
Classe pour le gestionnaire de la liste des agents.
Field Summary | |
---|---|
private HTTPClient |
mClient
Client HTTP. |
private LocalAgent |
mLocalAgent
Agent local. |
private String |
mLocalAgentClass
Classe de l'agent local. |
private String |
mLocalAgentName
Nom de l'agent local. |
Constructor Summary | |
---|---|
HTTPAgentListManager(HTTPClient inClientHTTP,
Collection inPlayerClasses)
Constructeur à partir du client HTTP. |
Method Summary | |
---|---|
(package private) void |
agentDisappeared(String inAgentClass,
String inAgentName)
Méthode appelée par le client HTTP lorsqu'un client a disparu. |
protected Set |
getLocalAgentKeys()
Return the set of local agent keys (class:name). |
(package private) void |
newAgent(String inAgentClass,
String inAgentName)
Méthode appelée par le client HTTP lorsqu'un nouvel agent est présent. |
(package private) void |
rebuildAgentList(List inAgentList)
Method called to rebuild the whole agent list. |
void |
registerLocalAgent(LocalAgent inLocalAgent)
Enregistre l'agent local sur le réseau. |
(package private) void |
registrationFailed(LocalAgent inLocalAgent)
Méthode appelée par le client HTTP lorsque l'enregistrement a échoué. |
(package private) void |
registrationSucceeded(LocalAgent inLocalAgent)
Méthode appelée par le client HTTP lorsque l'enregistrement a réussi. |
(package private) void |
shutdown()
Extinction. |
void |
unregisterLocalAgent(LocalAgent inLocalAgent)
Désenregistre un agent local du réseau. |
Methods inherited from class fr.lip6.sma.simulacion.server.AgentListManagerImpl |
---|
addListener, getAgent, getAgentByName, getAgentList, getAgentSet, isPlayerClass, removeListener, tellClientsThatListChanged, tellClientsThatRegistrationFailed, tellClientsThatRegistrationSucceeded |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private final HTTPClient mClient
private String mLocalAgentName
private String mLocalAgentClass
private LocalAgent mLocalAgent
Constructor Detail |
---|
public HTTPAgentListManager(HTTPClient inClientHTTP, Collection inPlayerClasses)
inClientHTTP
- client HTTP.inPlayerClasses
- classes des joueurs.Method Detail |
---|
public final void registerLocalAgent(LocalAgent inLocalAgent)
registerLocalAgent
in interface AgentListManager
registerLocalAgent
in class AgentListManagerImpl
inLocalAgent
- agent local à enregistrer sur le réseaupublic final void unregisterLocalAgent(LocalAgent inLocalAgent)
unregisterLocalAgent
in interface AgentListManager
unregisterLocalAgent
in class AgentListManagerImpl
inLocalAgent
- agent à désenregistrer.final void shutdown()
final void registrationSucceeded(LocalAgent inLocalAgent)
inLocalAgent
- agent qui a été enregistré avec succès.final void registrationFailed(LocalAgent inLocalAgent)
inLocalAgent
- agent qui n'a pas pu être enregistré.final void agentDisappeared(String inAgentClass, String inAgentName)
inAgentName
- nom de l'agent qui a disparu.inAgentClass
- classe de l'agent qui a disparu.final void newAgent(String inAgentClass, String inAgentName)
inAgentName
- nom du nouvel agent.inAgentClass
- classe du nouvel agent.final void rebuildAgentList(List inAgentList)
inAgentList
- the new agent list (elements are class:name pairs).protected final Set getLocalAgentKeys()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |