|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--SOMA.agent.mobility.AgentWorkerStore
Struttura dati che contiene i worker dell'AgentManager.
Constructor Summary | |
AgentWorkerStore()
|
Method Summary | |
AgentWorker |
getWorker(AgentID agentID)
|
void |
printWorkers(java.io.PrintStream out)
|
AgentWorker |
putWorker(AgentWorker worker)
|
AgentWorker |
removeWorker(AgentID agentID)
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public AgentWorkerStore()
Method Detail |
public AgentWorker getWorker(AgentID agentID)
public AgentWorker putWorker(AgentWorker worker)
public AgentWorker removeWorker(AgentID agentID)
public void printWorkers(java.io.PrintStream out)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |