ConForM.CoopnTools.CoKer
Interface CoopnSyntacticParamSymbol

All Superinterfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticSymbol, java.io.Serializable
All Known Implementing Classes:
CoalaObjectSymbol, CoalaVariableSymbol, ConstraintsVariableSymbol, CoopnObjectSymbol, CoopnObjectSymbolVariable, CoopnTermVariable, CoopnVariableSymbol

public interface CoopnSyntacticParamSymbol
extends CoopnSyntacticSymbol

Coopn syntactic parameterised symbol. This interface defines a simple parameterised symbol of the various abstract syntaxes used by CoopnTools. Such symbols has only one logical parameter.


Method Summary
 CoopnSyntacticElement paramType()
          Get an element, representing the "type" (in a broad sense) of the parameter.
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol
comment, identifier, kind, symbolModule, symbolModuleKind, symbolName
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
clone, equals, hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString
 

Method Detail

paramType

public CoopnSyntacticElement paramType()
Get an element, representing the "type" (in a broad sense) of the parameter. More precisely, by "type", we intent the information added to the symbol name, characterising the parameter.
Returns:
the parameter "type".