public final class TransformUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static ru.ispras.fortress.expression.Node |
substituteBackward(java.util.List<? extends AssignmentContainer> blocks,
ru.ispras.fortress.expression.Node node)
Performs backward substitution on the specified nodes to the specified expression.
|
public static ru.ispras.fortress.expression.Node substituteBackward(java.util.List<? extends AssignmentContainer> blocks, ru.ispras.fortress.expression.Node node)
The substitution process moves in a backward direction (from last node of the list
to the first). The result is an expression where all the target variables that are
defined at least one AssignmentContainer
node from the specified collection
will be substituted by the value expressions that are assigned to them.
blocks
- blocks collectionnode
- expression to be transformed