ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsField
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsField
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticField, java.io.Serializable
- Direct Known Subclasses:
- ConstraintsAxiomField, ConstraintsConsField, ConstraintsVariableField
- public abstract class ConstraintsField
- extends ConstraintsElement
- implements CoopnSyntacticField
Constraints fields.
- See Also:
- Serialized Form
Field Summary |
protected java.util.List |
symbols
|
Method Summary |
protected void |
add(java.lang.Object symbol)
|
java.lang.Object |
clone()
Cloning method. |
boolean |
equals(java.lang.Object obj)
Equality method. |
int |
hashCode()
Hashcode method. |
protected void |
remove(java.lang.Object symbol)
|
int |
size()
Get the size of the field. |
CoopnSyntacticSymbol[] |
symbols()
Get the symbols of this field. |
java.lang.String |
toCompleteString(CoopnEnv env,
int indent)
Complete string conversion method. |
java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
java.lang.Object |
unmodifiableCopy()
Copy the element into an unmodififable structure. |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
symbols
protected java.util.List symbols
ConstraintsField
public ConstraintsField()
- Simple constructor.
add
protected void add(java.lang.Object symbol)
remove
protected void remove(java.lang.Object symbol)
symbols
public CoopnSyntacticSymbol[] symbols()
- Get the symbols of this field.
- Specified by:
symbols
in interface CoopnSyntacticField
- Returns:
- The symbols defined by this field.
size
public int size()
- Get the size of the field.
- Returns:
- the number of symbols in the field.
equals
public boolean equals(java.lang.Object obj)
- Description copied from interface:
CoopnSyntacticElement
- Equality method. Must be defined in the inherited classes.
- Specified by:
equals
in interface CoopnSyntacticElement
- Overrides:
equals
in class ConstraintsElement
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Parameters:
obj
- the object to compare- Returns:
- true iff this object and the parameter are equals.
hashCode
public int hashCode()
- Description copied from interface:
CoopnSyntacticElement
- Hashcode method. Must be defined in the inherited classes.
- Specified by:
hashCode
in interface CoopnSyntacticElement
- Overrides:
hashCode
in class ConstraintsElement
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Returns:
- the hash code.
toCompleteString
public java.lang.String toCompleteString(CoopnEnv env,
int indent)
- Complete string conversion method. This
routine converts an element into a string representing it, by
transforming it using toText.
- Specified by:
toCompleteString
in interface CoopnSyntacticElement
- Overrides:
toCompleteString
in class ConstraintsElement
- Parameters:
env
- the environment deciding the form of the displayindent
- the identation factor- Returns:
- a String image of the element.
toString
public java.lang.String toString(CoopnEnv env,
int indent)
- Description copied from interface:
CoopnSyntacticElement
- String conversion method. This
routine converts an element into a string representing it.
The string representation is intended to be readable from users.
The string representation is not required to include the comments
associated to the element, if any.
- Specified by:
toString
in interface CoopnSyntacticElement
- Overrides:
toString
in class ConstraintsElement
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Parameters:
env
- the environment deciding the form of the display. A null
values indicates a default form.indent
- the identation factor. A zero value indicates no
indentation at all.- Returns:
- a String image of the element.
unmodifiableCopy
public java.lang.Object unmodifiableCopy()
- Copy the element into an unmodififable structure.
- Overrides:
unmodifiableCopy
in class ConstraintsElement
- Returns:
- an unmodififable clone of the element.
clone
public java.lang.Object clone()
- Description copied from interface:
CoopnSyntacticElement
- Cloning method. Must be defined in the inherited classes.
- Specified by:
clone
in interface CoopnSyntacticElement
- Overrides:
clone
in class ConstraintsElement
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Returns:
- a clone object.