Package net.ssehub.easy.varModel.cstEvaluation

Class IterLet

java.lang.Object

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

net.ssehub.easy.varModel.cst.Let

net.ssehub.easy.varModel.cstEvaluation.IterLet

All Implemented Interfaces:

IAttributeAccess

class IterLet
extends Let

Implements a specific expression for defining local variables with variable initialization expressions in iterator expressions. Therefore, this expression may override the initialization expression of the "in" variable.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private ConstraintSyntaxTree	init

Constructor Summary

Constructors

Constructor	Description
IterLet(DecisionVariableDeclaration var, ConstraintSyntaxTree init, ConstraintSyntaxTree inExpr)	Creates an iterator let-expression.

Method Summary

Modifier and Type	Method	Description
ConstraintSyntaxTree	getInitExpression()	Returns the initialization expression.

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

accept, equals, getInExpression, getVariable, hashCode, inferDatatype

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 Details

init

private ConstraintSyntaxTree init

Constructor Details

IterLet

public IterLet(DecisionVariableDeclaration var,
 ConstraintSyntaxTree init,
 ConstraintSyntaxTree inExpr)

Creates an iterator let-expression.

Parameters:

var - the variable to be defined

init - the initialization expression (may be null, then the default expression of var takes precedence)

inExpr - the expression var is used in

Method Details

getInitExpression

public ConstraintSyntaxTree getInitExpression()

Description copied from class: Let

Returns the initialization expression.

Overrides:

getInitExpression in class Let

Returns:

the initialization expression