Package net.ssehub.easy.varModel.cst

Class ContainerOperationCall

java.lang.Object

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

net.ssehub.easy.varModel.cst.ContainerOperationCall

All Implemented Interfaces:

IAttributeAccess

public class ContainerOperationCall
extends ConstraintSyntaxTree

Represents a set operation call with declarators, e.g. a quantor call. Apply and lambda-Expression: For the moment we denote a lambda expression as setOf(Integer) set; set->apply(t,r=0|max(t,r)) An usual operation is iterated over all elements of the set using the declarator t while the result is collected in r by subsequent application of r=max(t,r) on each t in set. r is returned as result of the lambda expression.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private ConstraintSyntaxTree	container
private DecisionVariableDeclaration[]	declarators
private ConstraintSyntaxTree	expression
private IDatatype	iteratorBase
private java.lang.String	operation
private Operation	resolvedOperation
private IDatatype	result

Constructor Summary

Constructors

Constructor	Description
ContainerOperationCall()	Constructor for serialization.
ContainerOperationCall(ConstraintSyntaxTree container, java.lang.String operation, ConstraintSyntaxTree expression, DecisionVariableDeclaration... declarators)	Creates a new let expression.

Method Summary

Modifier and Type	Method	Description
void	accept(IConstraintTreeVisitor visitor)	Visiting method for the visitor.
boolean	equals(java.lang.Object obj)
ConstraintSyntaxTree	getContainer()	Returns the set to operate on (given as an expression).
IDatatype	getContainerType()	Returns the actual container type taking into account that the left side must not be a container but can dynamically be mapped into one.
DecisionVariableDeclaration	getDeclarator(int index)	Returns the specified declarator.
int	getDeclaratorsCount()	Returns the number of declarators.
ConstraintSyntaxTree	getExpression()	Returns the iterating expression.
IDatatype	getIteratorBaseType()	Returns the iterator base type (the type contained in the container we are iterating over).
java.lang.String	getOperation()	Returns the name of the operation to be executed.
Operation	getResolvedOperation()	Returns the resolved operation.
ConstraintSyntaxTree	getSet()	Deprecated. use getContainer() instead
int	hashCode()
IDatatype	inferDatatype()	Infers the datatype of the subtree represented by this object.

Methods inherited from class net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

getAttribute, getAttribute, getAttributesCount, getContainedType, getName, getParent, isSemanticallyEqual

Methods inherited from class java.lang.Object

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

Field Detail

container

private ConstraintSyntaxTree container

operation

private java.lang.String operation

declarators

private DecisionVariableDeclaration[] declarators

expression

private ConstraintSyntaxTree expression

resolvedOperation

private Operation resolvedOperation

result

private IDatatype result

iteratorBase

private IDatatype iteratorBase

Constructor Detail

ContainerOperationCall

ContainerOperationCall()

Constructor for serialization.

ContainerOperationCall

public ContainerOperationCall(ConstraintSyntaxTree container,
                              java.lang.String operation,
                              ConstraintSyntaxTree expression,
                              DecisionVariableDeclaration... declarators)

Creates a new let expression.

Parameters:

container - the container to operate on

operation - the name of the operation to be executed

expression - the expression to be iterated (using at least one declarator)

declarators - local variables only used within this expression (at least one)

Method Detail

getOperation

public java.lang.String getOperation()

Returns the name of the operation to be executed.

Returns:

the name of the operation

getSet

@Deprecated
public ConstraintSyntaxTree getSet()

Deprecated.

use getContainer() instead

Returns the set to operate on (given as an expression).

Returns:

the set to operate on

getContainer

public ConstraintSyntaxTree getContainer()

Returns the set to operate on (given as an expression).

Returns:

the set to operate on

getExpression

public ConstraintSyntaxTree getExpression()

Returns the iterating expression.

Returns:

the iterating expression

getDeclaratorsCount

public int getDeclaratorsCount()

Returns the number of declarators.

Returns:

the number of declarators (should be positive)

getDeclarator

public DecisionVariableDeclaration getDeclarator(int index)

Returns the specified declarator.

Parameters:

index - the index of the declarator to return

Returns:

the specified declarator

Throws:

java.lang.IndexOutOfBoundsException - if index<0 || index>=getDeclaratorsCount()

getContainerType

public IDatatype getContainerType()
                           throws CSTSemanticException

Returns the actual container type taking into account that the left side must not be a container but can dynamically be mapped into one.

Returns:

the actual container type

Throws:

CSTSemanticException - if types cannot be resolved

inferDatatype

public IDatatype inferDatatype()
                        throws CSTSemanticException

Description copied from class: ConstraintSyntaxTree

Infers the datatype of the subtree represented by this object.

Specified by:

inferDatatype in class ConstraintSyntaxTree

Returns:

the data type

Throws:

CSTSemanticException - Will be thrown if parameters of (sub-) trees do not fit together.

accept

public void accept(IConstraintTreeVisitor visitor)

Description copied from class: ConstraintSyntaxTree

Visiting method for the visitor.
This method is used for saving this model element.

Specified by:

accept in class ConstraintSyntaxTree

Parameters:

visitor - The visitor, which should save this model element.

getResolvedOperation

public Operation getResolvedOperation()

Returns the resolved operation. The result is only valid if inferDatatype() was called before this operation.

Returns:

the resolved operation, null if the operation cannot be resolved or inferDatatype() was not called before

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getIteratorBaseType

public IDatatype getIteratorBaseType()

Returns the iterator base type (the type contained in the container we are iterating over).

Returns:

the iterator base type