SOMA.naming
Class AgentID

java.lang.Object
  SOMA.naming.AgentID

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

AgentIDSigned

public class AgentID

extends java.lang.Object

implements java.io.Serializable

Identificatore di un agente.

Author:

Livio Profiri

See Also:

Serialized Form

Field Summary

int	ID Numero di serie dell'agente, unico nell'ambito di un place.
PlaceID	place Identificatore del place in cui l'agente e' stato creato.

Constructor Summary

AgentID(PlaceID place, int ID)
Costruisce un identificatore a partire dalle sue componenti.

AgentID(java.lang.String s)
Costruisce un identificatore a partire da una stringa.

Method Summary

java.lang.Object	clone()
boolean	equals(java.lang.Object obj)
PlaceID	getHome() Restituisce il place cui spedire le informazioni sulla posizione dell'agente.
int	hashCode()
java.lang.String	toString() Rappresentazione dell'identificatore sotto forma di stringa.

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

ID

public final int ID

Numero di serie dell'agente, unico nell'ambito di un place.

place

public final PlaceID place

Identificatore del place in cui l'agente e' stato creato.

Constructor Detail

AgentID

public AgentID(PlaceID place,
               int ID)

Costruisce un identificatore a partire dalle sue componenti.

AgentID

public AgentID(java.lang.String s)
        throws NameException,
               java.lang.NumberFormatException

Costruisce un identificatore a partire da una stringa.
E' l'inversa di toString().

Method Detail

getHome

public PlaceID getHome()

Restituisce il place cui spedire le informazioni sulla posizione dell'agente.
Questo metodo viene ridefinito dalla classe MobileAgentID.

toString

public java.lang.String toString()

Rappresentazione dell'identificatore sotto forma di stringa.
E' l'inversa di AgentID( String s ).

equals

public boolean equals(java.lang.Object obj)

hashCode

public int hashCode()

clone

public java.lang.Object clone()