public final class RangedVariableUtils
extends java.lang.Object
RangedVariable
Modifier and Type | Method and Description |
---|---|
static ru.ispras.fortress.expression.Node |
transformNodeWithRanged(RangedVariable rangedVariable,
ru.ispras.fortress.expression.Node node)
Transforms the specified node with assistance of the specified ranged variable.
|
public static ru.ispras.fortress.expression.Node transformNodeWithRanged(RangedVariable rangedVariable, ru.ispras.fortress.expression.Node node)
For example, we have a pair '(a[x], b)' where 'a[x]' is ranged variable and 'b'
is node. Such pair may come from Assignment
node constructor parameters
that should be transformed to (NodeVariable, Node) pair. This method transforms 'b'
expression in such way that the result can be assigned to RangedVariable's NodeVariable field
without any Range.
rangedVariable
- Ranged variable that is used in transformation.node
- Node to be transformed.