|
|||||||||||
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 |