public class AgentId
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object aid) |
java.lang.String |
getAgentName()
Get the name of the agent.
|
java.lang.String |
getAgentRole()
Get the role;
|
java.lang.String |
getGlobalId()
Get the global identifier of the agent
|
int |
getLocalId()
Get the numeric identifier of the agent.
|
WorkspaceId |
getWorkspaceId() |
int |
hashCode() |
java.lang.String |
toString() |
public java.lang.String getAgentName()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getAgentRole()
public WorkspaceId getWorkspaceId()
public int getLocalId()
public java.lang.String getGlobalId()
public boolean equals(java.lang.Object aid)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
>DEIS - University of Bologna