ConForM.CoopnTools.CoKer.SpecMgr
Class SpecBehaviourSection
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecElement
|
+--ConForM.CoopnTools.CoKer.SpecMgr.SpecBehaviourSection
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticPrivateSection, CoopnSyntacticSection, java.io.Serializable
- public final class SpecBehaviourSection
- extends SpecElement
- implements CoopnSyntacticPrivateSection
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
SpecBehaviourSection
public SpecBehaviourSection()
constraints
public SpecConstraintField constraints()
scenarios
public SpecScenarioField scenarios()
tests
public SpecTestField tests()
addConstraints
public void addConstraints(SpecConstraintField field)
addScenarios
public void addScenarios(SpecScenarioField field)
addTests
public void addTests(SpecTestField 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.