|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectlime.AgentID
Defines the identifier of StationaryAgent and
MobileAgent objects. The (globally unique) identifier is
generated when the agent is instantiated and will remain the same when the
agent migrates.
| Field Summary | |
(package private) LimeServerID |
creationHost
The identifier is composed of two parts: the LimeServerID of
the host where the agent was created and a progressive number assigned by
that LimeServer. |
(package private) long |
n
|
| Constructor Summary | |
(package private) |
AgentID()
Construct the DEFAULT agent id. |
|
AgentID(LimeServerID creationHost,
long n)
Construct a new agent identifier. |
| Method Summary | |
boolean |
equals(java.lang.Object id)
Tests two agent identifiers for equality. |
int |
hashCode()
|
java.lang.String |
toString()
Returns a concise textual description for this object. |
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Field Detail |
final LimeServerID creationHost
LimeServerID of
the host where the agent was created and a progressive number assigned by
that LimeServer.
final long n
| Constructor Detail |
public AgentID(LimeServerID creationHost,
long n)
creationHost - the host where the agent has been created.n - the numeric identifier.AgentID()
| Method Detail |
public boolean equals(java.lang.Object id)
id - the agent id to be compared with.
true if the two identifiers are the same,
false otherwise.public int hashCode()
public java.lang.String toString()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||