|
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.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 Objecto - 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 Objectint 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 Comparableo - 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 ObjectString.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 AbstractIDAbstractID.
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||