IterLet (EASy-Producer Documentation API)

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
  
  All Methods Instance Methods Concrete Methods
  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 Detail
  - init
```
private ConstraintSyntaxTree init
```
- Constructor Detail
  - 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 Detail
  - getInitExpression
```
public ConstraintSyntaxTree getInitExpression()
```
    Description copied from class: Let
    
    Returns the initialization expression.
    
    Overrides:
    
    getInitExpression in class Let
    
    Returns:
    
    the initialization expression