SOMA.agent.mobility
Class AgentManagerSecurity

java.lang.Object
  SOMA.agent.mobility.AgentManager
      SOMA.agent.mobility.AgentManagerSecurity

public class AgentManagerSecurity

extends AgentManager

Gestore degli agenti di un place.

Author:

Luca Ghetti

Field Summary

Fields inherited from class SOMA.agent.mobility.AgentManager

agentClassManager, AgentIDCounter, agentManagerDir, agentPositionStore, agentSystem, agentWorkerStore, cache, cacheClassManager, env, indexStore, MAX_MESSAGE_ATTEMPTS, path

Constructor Summary

AgentManagerSecurity(Environment env)
Costruttore.

Method Summary

void	agentDeath(AgentID agentID) Fa le pulizie, oppure notifica la morte allo home place dell'agente.
int	agentsNumber() Restituisce il numero di worker e quindi di agenti del place.
AgentWorker	createAgent(java.lang.String agentName, java.lang.Object argument, boolean isSystemAgent, boolean traceable, ProfileManager profile) Creazione di un agente.
AgentWorker	createWorker(Agent agent) Creazione del worker di un agente.
void	load()
void	load(java.lang.String fileName)
void	loadWorkers(java.util.List list)
AgentID	newAgentID() Creazione di un nuovo AgentID.
AgentPacket	packAgent(Agent agent) Impacchetta l'agente per il trasporto.
void	save()
void	save(java.lang.String fileName)
void	sendMessage(Message message) Spedizione di un messaggio ad un altro agente.
void	sendMessage(Message message, int attemptsCount)
java.lang.String	toString()

Methods inherited from class SOMA.agent.mobility.AgentManager

createAgent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AgentManagerSecurity

public AgentManagerSecurity(Environment env)

Costruttore.

Parameters:

env - L'environment del place.

Method Detail

createAgent

public AgentWorker createAgent(java.lang.String agentName,
                               java.lang.Object argument,
                               boolean isSystemAgent,
                               boolean traceable,
                               ProfileManager profile)

Creazione di un agente.

Parameters:

agentName - Nome dell'agente.

argument - Parametro di inizializzazione, vedi Agent.putArgument( Object obj ).

isSystemAgent - Se a true si forza l'utilizzo del classloader di sistema

traceable - Se a true l'agente ha un è traceable ed ha una mailbox.

createWorker

public AgentWorker createWorker(Agent agent)

Creazione del worker di un agente.

Prima di creare il worker si verificano i sui diritti di accesso al place PlaceAccessPermission.

Overrides:

createWorker in class AgentManager

sendMessage

public void sendMessage(Message message)

Spedizione di un messaggio ad un altro agente.

Non e' possibile statilire se il messaggio sara' correttamente recapitato.

Questo metodo si interfaccia direttamente al NetworkManager.

Overrides:

sendMessage in class AgentManager

sendMessage

public void sendMessage(Message message,
                        int attemptsCount)

Overrides:

sendMessage in class AgentManager

agentDeath

public void agentDeath(AgentID agentID)

Fa le pulizie, oppure notifica la morte allo home place dell'agente.

Overrides:

agentDeath in class AgentManager

newAgentID

public AgentID newAgentID()

Creazione di un nuovo AgentID.

Overrides:

newAgentID in class AgentManager

agentsNumber

public int agentsNumber()

Restituisce il numero di worker e quindi di agenti del place.

Overrides:

agentsNumber in class AgentManager

packAgent

public AgentPacket packAgent(Agent agent)

Impacchetta l'agente per il trasporto.

Modificare questa funzione per introdurre nuovo AgentPacket.

Overrides:

packAgent in class AgentManager

loadWorkers

public void loadWorkers(java.util.List list)

Overrides:

loadWorkers in class AgentManager

load

public void load()
          throws java.io.IOException,
                 java.lang.ClassNotFoundException

Overrides:

load in class AgentManager

Throws:

java.io.IOException

java.lang.ClassNotFoundException

save

public void save()
          throws java.io.IOException

Overrides:

save in class AgentManager

Throws:

java.io.IOException

save

public void save(java.lang.String fileName)
          throws java.io.IOException

Overrides:

save in class AgentManager

Throws:

java.io.IOException

load

public void load(java.lang.String fileName)
          throws java.io.IOException,
                 java.lang.ClassNotFoundException

Overrides:

load in class AgentManager

Throws:

java.io.IOException

java.lang.ClassNotFoundException

toString

public java.lang.String toString()

Overrides:

toString in class AgentManager