ConForM.CoopnTools.CoKer
Interface CoopnSyntacticField

All Superinterfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
All Known Subinterfaces:
CoopnSyntacticUseField
All Known Implementing Classes:
CoalaField, ConstraintsField, CoopnField, PackageField, SpecField

public interface CoopnSyntacticField
extends CoopnSyntacticElement

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


Method Summary
 java.lang.String kind()
          Kind retrieving method.
 CoopnSyntacticSymbol[] symbols()
          Get the symbols of this field.
 
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 field this is.
Returns:
a string defining the field kind.

symbols

public CoopnSyntacticSymbol[] symbols()
Get the symbols of this field.
Returns:
The symbols defined by this field.