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

Constructor Summary
SpecVariableSection()
           
 
Method Summary
 void addClassCreations(SpecClassCreationVariableField field)
           
 void addClassDestructions(SpecClassDestructionVariableField field)
           
 void addClassGates(SpecClassGateVariableField field)
           
 void addClassMethods(SpecClassMethodVariableField field)
           
 void addContextGates(SpecContextGateVariableField field)
           
 void addContextMethods(SpecContextMethodVariableField field)
           
 void addGenerators(SpecGeneratorVariableField field)
           
 void addObjects(SpecObjectVariableField field)
           
 void addOperations(SpecOperationVariableField field)
           
 void addSorts(SpecSortVariableField field)
           
 void addTerms(SpecTermVariableField field)
           
 void addTypes(SpecTypeVariableField field)
           
 SpecClassCreationVariableField classCreations()
           
 SpecClassDestructionVariableField classDestructions()
           
 SpecClassGateVariableField classGates()
           
 SpecClassMethodVariableField classMethods()
           
 java.lang.Object clone()
          Cloning method.
 SpecContextGateVariableField contextGates()
           
 SpecContextMethodVariableField contextMethods()
           
 boolean equals(java.lang.Object obj)
          Equality method.
 CoopnSyntacticField[] fields()
          Get the fields of this section.
 SpecGeneratorVariableField generators()
           
 int hashCode()
          Hashcode method.
 java.lang.String kind()
          Kind retrieving method.
 SpecObjectVariableField objects()
           
 SpecOperationVariableField operations()
           
 SpecSortVariableField sorts()
           
 SpecTermVariableField terms()
           
 java.lang.String toString(CoopnEnv env, int indent)
          String conversion method.
 SpecTypeVariableField types()
           
 java.lang.Object unmodifiableCopy()
          Copy the element into an unmodifiable 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.CoopnSyntacticElement
toCompleteString, toCompleteString, toCompleteString, toString, toString
 

Constructor Detail

SpecVariableSection

public SpecVariableSection()
Method Detail

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.