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