CSP for Java
(JCSP) 1.1-rc4

org.jcsp.net
Class GlobalID

java.lang.Object
  extended by org.jcsp.net.AbstractID
      extended by org.jcsp.net.GlobalID
All Implemented Interfaces:
Serializable

public final class GlobalID
extends AbstractID
implements Serializable

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 AbstractID for a fully explanation of this class.

Author:
Quickstone Technologies Limited
See Also:
Serialized Form

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

instance

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

GlobalID

public GlobalID()
Method Detail

getParentID

public AbstractID getParentID()

Returns null as there is no parent AbstractID of instances of this class.

Specified by:
getParentID in class AbstractID
Returns:
null.

equals

public boolean equals(Object o)

Compares another object with this GlobalID object.

Overrides:
equals in class Object
Parameters:
o - an object to compare with object.
Returns:
true iff the other object is a GlobalID.

hashCode

public int hashCode()

Returns an int hash code for this object.

Overrides:
hashCode in class Object
Returns:
an int hash code.

toString

public String toString()

Returns a human readable string representation of a GlobalID.

Overrides:
toString in class Object
Returns:
The human readable String - currently "Global".

CSP for Java
(JCSP) 1.1-rc4

Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.