|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Constraints elements. This class imaplements the notion of a constraint element. All Symbols, fields, ... are constraints elements.
Constructor Summary | |
ConstraintsElement()
|
Method Summary | |
abstract java.lang.Object |
clone()
Cloning method. |
protected ConstraintsElement |
cloneConstraintsElement()
Internal cloning method. |
abstract boolean |
equals(java.lang.Object obj)
Equality method. |
abstract int |
hashCode()
Hashcode method. |
java.lang.String |
toCompleteString()
Complete string method. |
java.lang.String |
toCompleteString(CoopnEnv env)
Complete string conversion method. |
abstract java.lang.String |
toCompleteString(CoopnEnv env,
int indent)
Complete string conversion method. |
java.lang.String |
toString()
String conversion method. |
java.lang.String |
toString(CoopnEnv env)
String conversion method. |
abstract java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
abstract java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodifiable structure. |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public ConstraintsElement()
Method Detail |
public abstract boolean equals(java.lang.Object obj)
equals
in interface CoopnSyntacticElement
equals
in class java.lang.Object
obj
- the object to comparepublic abstract int hashCode()
hashCode
in interface CoopnSyntacticElement
hashCode
in class java.lang.Object
public abstract java.lang.String toString(CoopnEnv env, int indent)
toString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toString(CoopnEnv env)
toString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displaypublic java.lang.String toString()
toString
in interface CoopnSyntacticElement
toString
in class java.lang.Object
public abstract java.lang.String toCompleteString(CoopnEnv env, int indent)
toCompleteString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toCompleteString(CoopnEnv env)
toCompleteString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displaypublic java.lang.String toCompleteString()
toCompleteString
in interface CoopnSyntacticElement
public abstract java.lang.Object unmodifiableCopy()
protected ConstraintsElement cloneConstraintsElement()
public abstract java.lang.Object clone()
clone
in interface CoopnSyntacticElement
clone
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |