|
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.DomainID
public final class DomainID
A Class whose instances represent a unique identifier for a JCSP.NET domain.
See AbstractID
for a further explanation of domains and the use
of this class.
Constructor Summary | |
---|---|
DomainID(String name)
Public constructor for a DomainID which takes
the name of the domain as a parameter. |
Method Summary | |
---|---|
int |
compareTo(Object o)
Compares this object with another object and returns whether the supplied object is equals, smaller or larger. |
boolean |
equals(Object o)
This compares an object with this object. |
String |
getDomainName()
Public accessor for the Domain name. |
AbstractID |
getParentID()
Returns the identifier representing this domain's parent domain. |
int |
hashCode()
Returns an int hash code for the current object. |
String |
toString()
Returns a human readable String showing this domain
name and any parent domains. |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public DomainID(String name)
DomainID
which takes
the name of the domain as a parameter.
name
- The name of the domain.Method Detail |
---|
public boolean equals(Object o)
equals
in class Object
o
- an object to compare with this object.
true
iff the supplied object is a non-null DomainID
which represents the same Domain.public int hashCode()
Returns an int
hash code for the current object.
This obeys the standard hash code rules.
hashCode
in class Object
int
hash code.public int compareTo(Object o)
Compares this object with another object and returns whether the supplied object is equals, smaller or larger.
compareTo
in interface Comparable
o
- The object to compare with this object.
public String getDomainName()
Public accessor for the Domain name.
Returns "" if this represents the Null Domain.
String
.public String toString()
Returns a human readable String
showing this domain
name and any parent domains.
toString
in class Object
String
.public AbstractID getParentID()
Returns the identifier representing this domain's parent domain.
At present this always returns the global domain's ID.
getParentID
in class AbstractID
AbstractID
.
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |