public class TransformUtils
extends java.lang.Object
Constructor and Description |
---|
TransformUtils() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<CfgNode> |
getPath(CfgNode begin,
CfgNode end)
Constructs a sequence of connected nodes
between the specified begin and end nodes.
|
static java.util.List<CfgNode> |
substitute(java.util.List<CfgNode> list,
java.lang.String name,
ru.ispras.fortress.expression.Node node)
Substitutes usages of variable with the specified
String name
by the specified Node expression
in all the elements of the specified collection. |
static ru.ispras.fortress.expression.Node |
substituteBackward(java.util.List<BasicBlock> blocks,
ru.ispras.fortress.expression.Node node)
Performs backward substitution of the specified list of blocks
to the specified node expression.
|
public static ru.ispras.fortress.expression.Node substituteBackward(java.util.List<BasicBlock> blocks, ru.ispras.fortress.expression.Node node)
blocks
- blocks collectionnode
- expression to be transformedpublic static java.util.List<CfgNode> getPath(CfgNode begin, CfgNode end)
begin
- the before-first node of the pathend
- the after-last node of the pathpublic static java.util.List<CfgNode> substitute(java.util.List<CfgNode> list, java.lang.String name, ru.ispras.fortress.expression.Node node)
String
name
by the specified Node
expression
in all the elements of the specified collection.list
- collection which nodes will be copied & transformedname
- variable namenode
- expression