ConForM.CoopnTools.CoKer.SpecMgr
Class SpecTestField
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecElement
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecField
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecTestField
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticField, java.io.Serializable
- public final class SpecTestField
- extends SpecField
Specification test fields.
- See Also:
SpecElement
, Serialized Form
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
SpecTestField
public SpecTestField()
- Simple constructor.
add
public void add(SpecTestSymbol symbol)
add
public void add(java.util.List symbols)
remove
public void remove(SpecTestSymbol symbol)
merge
public void merge(SpecTestField field)
elements
public SpecTestSymbol[] elements()
- Get the symbols of this field.
- Returns:
- The symbols defined by this field.
kind
public final java.lang.String kind()
- Kind retrieving method. This method must be defined in the inherited
classes for returning a string allowing the user to know what kind of
symbol this is.
- Returns:
- a string defining the symbol kind.
equals
public boolean equals(java.lang.Object obj)
- Description copied from interface:
CoopnSyntacticElement
- Equality method. Must be defined in the inherited classes.
- Overrides:
equals
in class SpecField
- 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.
- Overrides:
hashCode
in class SpecField
- Following copied from interface:
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
- Returns:
- the hash code.