ConForM.CoopnTools.CoKer
Interface CoopnSyntacticFunctionnalSymbol

All Superinterfaces:
java.lang.Cloneable, CoopnSyntacticElement, CoopnSyntacticSymbol, java.io.Serializable
All Known Implementing Classes:
CoopnFunctionSymbol

public interface CoopnSyntacticFunctionnalSymbol
extends CoopnSyntacticSymbol

Coopn syntactic functionnal symbol. This interface defines functionnal symbols of the various abstract syntaxes used by CoopnTools. Functionnal symbols have n logical parameters, n belonging to N, and one return value.


Method Summary
 int paramNumber()
          Get the number of parameters.
 CoopnSyntacticElement[] paramTypes()
          Get an array of elements, representing the "type" (in a broad sense) of the parameters.
 CoopnSyntacticElement returnType()
          Get an element, representing the "type" (in a broad sense) of the returned value.
 
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

paramNumber

public int paramNumber()
Get the number of parameters. Must be defined in the inherited classes.
Returns:
an integer, the actual number of parameter.

paramTypes

public CoopnSyntacticElement[] paramTypes()
Get an array of elements, representing the "type" (in a broad sense) of the parameters. More precisely, by "type", we intent the information added to the symbol name, characterising the parameters.
Returns:
the parameters "type", as an array of CoopnSyntacticElement, the size of which is equals to paramNumber().

returnType

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