|
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.Objectorg.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 AbstractIDnull.public boolean equals(Object o)
Compares another object with this GlobalID object.
equals in class Objecto - 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 Objectint hash code.public String toString()
Returns a human readable string representation of a
GlobalID.
toString in class ObjectString - 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 | ||||||||