ConForM.CoopnTools.CoKer.SpecMgr
Class SpecField

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.SpecMgr.SpecElement
        |
        +--ConForM.CoopnTools.CoKer.SpecMgr.SpecField
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticField, java.io.Serializable
Direct Known Subclasses:
SpecClassCreationVariableField, SpecClassDestructionVariableField, SpecClassGateVariableField, SpecClassMethodVariableField, SpecConstraintField, SpecContextGateVariableField, SpecContextMethodVariableField, SpecGeneratorVariableField, SpecObjectVariableField, SpecOperationVariableField, SpecScenarioField, SpecSortVariableField, SpecSourceField, SpecTermVariableField, SpecTestField, SpecTypeVariableField

public abstract class SpecField
extends SpecElement
implements CoopnSyntacticField

Fields in specification files.

See Also:
SpecElement, Serialized Form

Field Summary
protected  java.util.List symbols
           
 
Constructor Summary
SpecField()
          Simple constructor.
 
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 toString(CoopnEnv env, int indent)
          String conversion method.
 java.lang.Object unmodifiableCopy()
          Copy the element into an unmodififable structure.
 
Methods inherited from class ConForM.CoopnTools.CoKer.SpecMgr.SpecElement
cloneSpecElement, toCompleteString, toCompleteString, toCompleteString, toString, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticField
kind
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
toCompleteString, toCompleteString, toCompleteString, toString, toString
 

Field Detail

symbols

protected java.util.List symbols
Constructor Detail

SpecField

public SpecField()
Simple constructor.
Parameters:
moduleKind - the kind of the module
Method Detail

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 SpecElement
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 SpecElement
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Returns:
the hash code.

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 SpecElement
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 SpecElement
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 SpecElement
Following copied from interface: ConForM.CoopnTools.CoKer.CoopnSyntacticElement
Returns:
a clone object.