ConForM.CoopnTools.CoKer.SpecMgr
Class SpecVariableSection
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecElement
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecVariableSection
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticPrivateSection, CoopnSyntacticSection, java.io.Serializable
- public class SpecVariableSection
- extends SpecElement
- implements CoopnSyntacticPrivateSection
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
SpecVariableSection
public SpecVariableSection()
terms
public SpecTermVariableField terms()
sorts
public SpecSortVariableField sorts()
types
public SpecTypeVariableField types()
generators
public SpecGeneratorVariableField generators()
operations
public SpecOperationVariableField operations()
objects
public SpecObjectVariableField objects()
classGates
public SpecClassGateVariableField classGates()
classMethods
public SpecClassMethodVariableField classMethods()
classCreations
public SpecClassCreationVariableField classCreations()
classDestructions
public SpecClassDestructionVariableField classDestructions()
contextGates
public SpecContextGateVariableField contextGates()
contextMethods
public SpecContextMethodVariableField contextMethods()
addTerms
public void addTerms(SpecTermVariableField field)
addSorts
public void addSorts(SpecSortVariableField field)
addTypes
public void addTypes(SpecTypeVariableField field)
addGenerators
public void addGenerators(SpecGeneratorVariableField field)
addOperations
public void addOperations(SpecOperationVariableField field)
addObjects
public void addObjects(SpecObjectVariableField field)
addClassGates
public void addClassGates(SpecClassGateVariableField field)
addClassMethods
public void addClassMethods(SpecClassMethodVariableField field)
addClassCreations
public void addClassCreations(SpecClassCreationVariableField field)
addClassDestructions
public void addClassDestructions(SpecClassDestructionVariableField field)
addContextGates
public void addContextGates(SpecContextGateVariableField field)
addContextMethods
public void addContextMethods(SpecContextMethodVariableField field)
kind
public 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
section this is.
- Specified by:
kind
in interface CoopnSyntacticSection
- Returns:
- a string defining the section kind.
fields
public CoopnSyntacticField[] fields()
- Get the fields of this section.
- Specified by:
fields
in interface CoopnSyntacticSection
- Returns:
- The fields defined by this section.
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()
- Description copied from class:
SpecElement
- Copy the element into an unmodifiable structure.
- Overrides:
unmodifiableCopy
in class SpecElement
- Following copied from class:
ConForM.CoopnTools.CoKer.SpecMgr.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.