ConForM.CoopnTools.CoKer.SpecMgr
Class SpecModuleSection
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecElement
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecModuleSection
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticPrivateSection, CoopnSyntacticSection, java.io.Serializable
- public final class SpecModuleSection
- extends SpecElement
- implements CoopnSyntacticPrivateSection
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
SpecModuleSection
public SpecModuleSection()
sources
public SpecSourceField sources()
addSources
public void addSources(SpecSourceField 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.