public class CfgUtil extends Object
Modifier and Type | Method and Description |
---|---|
static void |
addGraphEdges(Cfg originalGraph,
CfgNode<?> originalNode,
CfgNode<?> newStartNode,
CfgNode<?> newEndNode,
Cfg newSubgraph) |
static <A extends Assumption<?>> |
createGraphBottomAssumptions(Cfg graph) |
static Cfg |
createSingleNodeReplacementGraph(Cfg originalGraph,
CfgNode<?> originalNode,
CfgNode<?> newNode)
Create a graph with single node.
|
static CfgNode<?> |
findContainingStatement(CfgNode<?> node)
Find CFG node corresponding to the nearest statement, containing the AST
node of the passed node.
|
static CfgNode<?> |
findParentOfContainingStatement(CfgNode<?> node)
Find parent of containing statement.
|
public static void addGraphEdges(Cfg originalGraph, CfgNode<?> originalNode, CfgNode<?> newStartNode, CfgNode<?> newEndNode, Cfg newSubgraph)
public static <A extends Assumption<?>> SubgraphAssumptions<A> createGraphBottomAssumptions(Cfg graph)
public static Cfg createSingleNodeReplacementGraph(Cfg originalGraph, CfgNode<?> originalNode, CfgNode<?> newNode)
public static CfgNode<?> findContainingStatement(CfgNode<?> node)
Copyright © 2018. All rights reserved.