ConForM.CoopnTools.CoKer
Interface CoopnSyntacticSection

All Superinterfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
All Known Subinterfaces:
CoopnSyntacticHeaderSection, CoopnSyntacticPrivateSection
All Known Implementing Classes:
CoalaSection, ConstraintsInterface, CoopnSection

public interface CoopnSyntacticSection
extends CoopnSyntacticElement

Coopn syntactic elements. This abstract class essentially defines basic synatctic elements of the various abstract syntaxes used by CoopnTools.


Method Summary
 CoopnSyntacticField[] fields()
          Get the fields of this section.
 java.lang.String kind()
          Kind retrieving method.
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
clone, equals, hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString
 

Method Detail

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.
Returns:
a string defining the section kind.

fields

public CoopnSyntacticField[] fields()
Get the fields of this section.
Returns:
The fields defined by this section.