io.sarl.lang.sarl.actionprototype
Class DefaultInferredPrototype
All Superinterfaces:
InferredPrototype
class DefaultInferredPrototype
extends java.lang.Object
implements InferredPrototype
Provides additional function signatures according the semantic associated to the parameter's default values.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
compiler
Property Summary
Constructor Summary
Action Summary
Modifier and type Action and description
QualifiedActionName getActionName
FormalParameterProvider getFormalParameters
ActionParameterTypes getFormalParameterTypes
java.util.Map<K,V> getInferredParameterTypes
java.util.List<E> getOriginalParameterTypes
java.lang.Iterable<T> getParameterTypeAlternatives
boolean isVarargs
java.lang.String toString
java.lang.String toString(String)
Property Details
actionName
val actionName : QualifiedActionName

This property is an alias for the action: getActionName

formalParameters
val formalParameters : FormalParameterProvider

This property is an alias for the action: getFormalParameters

formalParameterTypes
val formalParameterTypes : ActionParameterTypes

This property is an alias for the action: getFormalParameterTypes

inferredParameterTypes
val inferredParameterTypes : java.util.Map<K,V>

This property is an alias for the action: getInferredParameterTypes

originalParameterTypes
val originalParameterTypes : java.util.List<E>

This property is an alias for the action: getOriginalParameterTypes

parameterTypeAlternatives
val parameterTypeAlternatives : java.lang.Iterable<T>

This property is an alias for the action: getParameterTypeAlternatives

Constructor Details
new(QualifiedActionName,FormalParameterProvider,ActionParameterTypes,List<E>,Map<K,V>)
protected new(QualifiedActionName,FormalParameterProvider,ActionParameterTypes,List<E>,Map<K,V>)
Constructor.
Parameters:
key - key used to store this signature into a IActionPrototypeProvider.
parameters - list of formal parameters.
parameterKey - key for the formal parameters.
originalParameters - original parameters.
inferredParameters - list of inferred parameters.
Action Details
getActionName
def getActionName : QualifiedActionName
getFormalParameters
def getFormalParameters : FormalParameterProvider
getFormalParameterTypes
def getFormalParameterTypes : ActionParameterTypes
getInferredParameterTypes
def getInferredParameterTypes : java.util.Map<K,V>
getOriginalParameterTypes
def getOriginalParameterTypes : java.util.List<E>
getParameterTypeAlternatives
def getParameterTypeAlternatives : java.lang.Iterable<T>
isVarargs
def isVarargs : boolean
toString
def toString : java.lang.String
toString(String)
def toString(String) : java.lang.String