Package net.ssehub.easy.instantiation.core.model.expressions

Class ResolvableOperationCallExpression

java.lang.Object

net.ssehub.easy.instantiation.core.model.expressions.Expression

net.ssehub.easy.instantiation.core.model.expressions.AbstractCallExpression

net.ssehub.easy.instantiation.core.model.expressions.ResolvableOperationCallExpression

All Implemented Interfaces:

IArgumentProvider

public class ResolvableOperationCallExpression
extends AbstractCallExpression

Represents a call to a resolvable operation, i.e., a "function pointer".

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private CallArgument[]	arguments
private VariableDeclaration	var

Constructor Summary

Constructors

Constructor	Description
ResolvableOperationCallExpression(VariableDeclaration var, CallArgument[] arguments)	Creates a resolvable operation call expression, i.e., a call expression pointing to a certain operation but which is called through a (parameter) variable.

Method Summary

Modifier and Type	Method	Description
java.lang.Object	accept(IExpressionVisitor visitor)	Visits the expression.
CallArgument	getArgument(int index)	Returns the specified argument.
int	getArgumentsCount()	Returns the number of arguments.
VariableDeclaration	getVariable()	Returns the variable holding the expression to the function pointer.
java.lang.String	getVilSignature()	Returns the VIL signature of the resolved operation.
TypeDescriptor<?>	inferType()	Infers the type of this expression including the type of the contained sub-expressions.
boolean	isPlaceholder()	Returns whether this operation is a placeholder, i.e., either the resolved operation is a placeholder, its signature or its return type does contain a placeholder type.

Methods inherited from class net.ssehub.easy.instantiation.core.model.expressions.AbstractCallExpression

dynamicDispatch, getName, getParameterType, getPrefix, getQualifiedName, getSignature, getVilSignature, isIteratingCollectionOperation, isOclCompliant, isPlaceholder, resolveOperation, resolveOperation, resolveResolvableOperation

Methods inherited from class net.ssehub.easy.instantiation.core.model.expressions.Expression

getFormattingHint, replaceEmptyLine

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

var

private VariableDeclaration var

arguments

private CallArgument[] arguments

Constructor Detail

ResolvableOperationCallExpression

public ResolvableOperationCallExpression(VariableDeclaration var,
                                         CallArgument[] arguments)
                                  throws VilException

Creates a resolvable operation call expression, i.e., a call expression pointing to a certain operation but which is called through a (parameter) variable. This is used for resolved "function pointers".

Parameters:

var - the variable holding an expression to the resolved operation ResolvableOperationExpression

arguments - the arguments for the call

Throws:

VilException - in case that no arguments are given, or the arguments do not match the parameters provided by the type of var

Method Detail

getVariable

public VariableDeclaration getVariable()

Returns the variable holding the expression to the function pointer.

Returns:

the variable

isPlaceholder

public boolean isPlaceholder()

Description copied from class: AbstractCallExpression

Returns whether this operation is a placeholder, i.e., either the resolved operation is a placeholder, its signature or its return type does contain a placeholder type.

Specified by:

isPlaceholder in class AbstractCallExpression

Returns:

true if this operation is a placeholder and cannot be executed, false else

getVilSignature

public java.lang.String getVilSignature()

Description copied from class: AbstractCallExpression

Returns the VIL signature of the resolved operation.

Specified by:

getVilSignature in class AbstractCallExpression

Returns:

the VIL signature

getArgumentsCount

public int getArgumentsCount()

Description copied from class: AbstractCallExpression

Returns the number of arguments.

Specified by:

getArgumentsCount in interface IArgumentProvider

Specified by:

getArgumentsCount in class AbstractCallExpression

Returns:

the number of arguments

getArgument

public CallArgument getArgument(int index)

Description copied from class: AbstractCallExpression

Returns the specified argument.

Specified by:

getArgument in interface IArgumentProvider

Specified by:

getArgument in class AbstractCallExpression

Parameters:

index - the 0-based index of the argument to return

Returns:

the argument

inferType

public TypeDescriptor<?> inferType()
                            throws VilException

Description copied from class: Expression

Infers the type of this expression including the type of the contained sub-expressions.

Specified by:

inferType in class Expression

Returns:

the type of this expression

Throws:

VilException - in case that inferring the type fails

accept

public java.lang.Object accept(IExpressionVisitor visitor)
                        throws VilException

Description copied from class: Expression

Visits the expression.

Specified by:

accept in class Expression

Parameters:

visitor - the visitor

Returns:

the result of visiting this expression (may be null)

Throws:

VilException - in case that visiting fails (e.g., execution)