SOMA.mobilePlace
Class MobilePlaceManager

java.lang.Object
  SOMA.mobilePlace.MobilePlaceManager

All Implemented Interfaces:

java.io.Serializable

public class MobilePlaceManager

extends java.lang.Object

implements java.io.Serializable

Gestore dei place mobili di un dominio.

Author:

Livio Profiri

See Also:

Serialized Form

Field Summary

static PlaceID	DISCONNECTED
(package private) Environment	env
(package private) java.util.Hashtable	mobilePlacePositions
(package private) java.util.Hashtable	waitingAgents

Constructor Summary

MobilePlaceManager(Environment env)
Costruttore.

Method Summary

void	addWaitingAgent(AgentID agentID, PlaceID destination) Aggiunge un agente alla liste degli agenti che attendono un place mobile.
boolean	checkWaitCondition(PlaceID destination) Restituisce true se gli agenti destinati a destination devono attendere qui.
PlaceID	getPosition(PlaceID mobilePlaceID)
void	printMobilePlacePositions(java.io.PrintStream out)
void	printStatus(java.io.PrintStream out)
void	printWaitingAgents(java.io.PrintStream out)
PlaceID	putPosition(PlaceID mobilePlaceID, PlaceID position)
PlaceID	removePosition(PlaceID mobilePlaceID)
(package private) void	sendWaitingAgents(PlaceID dest) Spedisce ad un place mobile agenti che aspettavano la sua connessione.
void	setEnv(Environment env) Aggiorna il riferimento all'Environment.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

env

transient Environment env

mobilePlacePositions

java.util.Hashtable mobilePlacePositions

waitingAgents

java.util.Hashtable waitingAgents

DISCONNECTED

public static final PlaceID DISCONNECTED

Constructor Detail

MobilePlaceManager

public MobilePlaceManager(Environment env)

Costruttore.

Parameters:

env - L'environment del place.

Method Detail

getPosition

public PlaceID getPosition(PlaceID mobilePlaceID)

putPosition

public PlaceID putPosition(PlaceID mobilePlaceID,
                           PlaceID position)

removePosition

public PlaceID removePosition(PlaceID mobilePlaceID)

printStatus

public void printStatus(java.io.PrintStream out)

printMobilePlacePositions

public void printMobilePlacePositions(java.io.PrintStream out)

checkWaitCondition

public boolean checkWaitCondition(PlaceID destination)

Restituisce true se gli agenti destinati a destination devono attendere qui.

addWaitingAgent

public void addWaitingAgent(AgentID agentID,
                            PlaceID destination)

Aggiunge un agente alla liste degli agenti che attendono un place mobile.

sendWaitingAgents

void sendWaitingAgents(PlaceID dest)

Spedisce ad un place mobile agenti che aspettavano la sua connessione.

printWaitingAgents

public void printWaitingAgents(java.io.PrintStream out)

setEnv

public void setEnv(Environment env)

Aggiorna il riferimento all'Environment. Usato nel caricamento da disco.

toString

public java.lang.String toString()