ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnField

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
        |
        +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList
              |
              +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbolList
                    |
                    +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnField
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticField, java.io.Serializable
Direct Known Subclasses:
CoopnAdtAxiomField, CoopnAdtTheoremField, CoopnClassAxiomField, CoopnClassCreationField, CoopnClassDestructionField, CoopnClassGateField, CoopnClassMethodField, CoopnClassTheoremField, CoopnContextAxiomField, CoopnContextGateField, CoopnContextMethodField, CoopnContextTheoremField, CoopnGeneratorField, CoopnInitialField, CoopnMorphismField, CoopnObjectField, CoopnOperationField, CoopnPlaceField, CoopnRedefineField, CoopnRenameField, CoopnSortField, CoopnSubsortField, CoopnSubtypeField, CoopnTransitionField, CoopnTypeField, CoopnUndefineField, CoopnUseContextField, CoopnUseField, CoopnVariableField

public abstract class CoopnField
extends CoopnSymbolList
implements CoopnSyntacticField

Coopn field.

See Also:
CoopnElement, Serialized Form

Fields inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList
elems
 
Constructor Summary
CoopnField()
           
 
Method Summary
abstract  java.lang.String kind()
          Kind retrieving method.
 CoopnSyntacticSymbol[] symbols()
          Get the symbols of this field.
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbolList
getCocoElements, getCompleteTextElements, getTextElements
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList
add, clone, contains, empty, equals, getElements, hashCode, interpret, merge, pureCOIL, pureCOOPN, remove, size, unmodifiableCopy
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement
cloneCoopnElement, toCoco, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteText, toCompleteText, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toString, toText, toTokens, toTokens, toTokens
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
clone, equals, hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString
 

Constructor Detail

CoopnField

public CoopnField()
Method Detail

kind

public abstract 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.
Specified by:
kind in interface CoopnSyntacticField
Returns:
a string defining the field kind.

symbols

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