Package net.ssehub.easy.varModel.model.datatypes

Class CustomDynamicOperation

java.lang.Object

net.ssehub.easy.varModel.model.datatypes.Operation

net.ssehub.easy.varModel.model.datatypes.CustomOperation

net.ssehub.easy.varModel.model.datatypes.CustomDynamicOperation

public class CustomDynamicOperation
extends CustomOperation

Implements a non-static custom operation subject to dynamic dispatch while evaluation.

Author:

Holger Eichelberger

Nested Class Summary

Nested classes/interfaces inherited from class net.ssehub.easy.varModel.model.datatypes.Operation

Operation.FormattingHint, Operation.NestingMode, Operation.ReturnTypeMode

Constructor Summary

Constructors

Constructor	Description
CustomDynamicOperation()	Constructor for serialization.
CustomDynamicOperation(IDatatype returns, java.lang.String methodname, IDatatype operand, ConstraintSyntaxTree function, DecisionVariableDeclaration[] parameters)	Operation Constructor.

Method Summary

Modifier and Type	Method	Description
boolean	isStatic()	Returns whether this operation is static.

Methods inherited from class net.ssehub.easy.varModel.model.datatypes.CustomOperation

getFunction, getParameter, getParameterCount, getParameterDeclaration, getRequiredParameterCount, registerAsOperation, setFunction

Methods inherited from class net.ssehub.easy.varModel.model.datatypes.Operation

acceptsNull, createCollectionReturnType, createInfixOperator, createPostfixOperator, createPrefixOperator, getActualReturnType, getAlias, getFormattingHint, getName, getNestingMode, getOperand, getOperation, getOperationsCount, getParameterDefaultValue, getParameterType, getReturns, getReturnTypeMode, getSignature, isContainerOperation, isFallback, markAsAcceptsNull, markAsAliasOf, markAsAssignableParameterOperation, markAsContainerOperation, markAsFallback, markAsFlatteningContainerOperation, markAsNestingContainerOperation, markByFormattingHint, requiresAssignableParameter

Methods inherited from class java.lang.Object

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

Constructor Detail

CustomDynamicOperation

CustomDynamicOperation()

Constructor for serialization.

CustomDynamicOperation

public CustomDynamicOperation(IDatatype returns,
                              java.lang.String methodname,
                              IDatatype operand,
                              ConstraintSyntaxTree function,
                              DecisionVariableDeclaration[] parameters)

Operation Constructor.

Parameters:

returns - result type of the operation

methodname - name of the operation

operand - the data type the operation is defined for (shall be a project)

function - the operation calculated by this operation

parameters - list of parameters for operation

Method Detail

isStatic

public boolean isStatic()

Description copied from class: Operation

Returns whether this operation is static.

Overrides:

isStatic in class Operation

Returns:

true for static, false else