public class AgentID
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
AgentID(java.lang.String id) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
static AgentID |
generateID(java.lang.String basename)
factory function
|
java.lang.String |
getName() |
int |
hashCode() |
java.lang.String |
toString() |
public static AgentID generateID(java.lang.String basename)
basename
- the basename for the agent IDpublic int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getName()