|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.jcsp.net.AbstractID org.jcsp.net.GlobalID
public final class GlobalID
A Class whose instances represent the global domain. There is only ever a need to have one instance of this class per JVM so a static instance is supplied.
The GlobalID
object is the parent
AbstractID
to all top level DomainID
objects.
See
for a fully explanation of
this class.
AbstractID
Field Summary | |
---|---|
static GlobalID |
instance
A static instance of GlobalID . |
Constructor Summary | |
---|---|
GlobalID()
|
Method Summary | |
---|---|
boolean |
equals(Object o)
Compares another object with this GlobalID object. |
AbstractID |
getParentID()
Returns null as there is no parent
AbstractID of instances of this class. |
int |
hashCode()
Returns an int hash code for this object. |
String |
toString()
Returns a human readable string representation of a GlobalID . |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final GlobalID instance
A static instance of GlobalID
.
Instead of creating GlobalID
objects, it
is better to use this instance as only once instance is
ever required.
Constructor Detail |
---|
public GlobalID()
Method Detail |
---|
public AbstractID getParentID()
Returns null
as there is no parent
AbstractID
of instances of this class.
getParentID
in class AbstractID
null
.public boolean equals(Object o)
Compares another object with this GlobalID
object.
equals
in class Object
o
- an object to compare with object.
true
iff the other object is a GlobalID
.public int hashCode()
Returns an int
hash code for this object.
hashCode
in class Object
int
hash code.public String toString()
Returns a human readable string representation of a
GlobalID
.
toString
in class Object
String
- currently "Global".
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |