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.
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".