public class ValueGraph extends Object
Modifier and Type | Class and Description |
---|---|
class |
ValueGraph.Node |
protected static class |
ValueGraph.TypeValueWrapper |
Modifier and Type | Field and Description |
---|---|
protected int |
currentNodeNumber |
protected Map<Value,ValueGraph.Node> |
localToNode |
protected List<ValueGraph.Node> |
nodeList |
protected Map<ValueGraph.Node,Value> |
nodeToLocal |
Constructor and Description |
---|
ValueGraph(BlockGraph cfg) |
Modifier and Type | Method and Description |
---|---|
protected ValueGraph.Node |
fetchGraph(Value value) |
protected ValueGraph.Node |
fetchNode(Value value) |
Local |
getLocal(ValueGraph.Node node) |
ValueGraph.Node |
getNode(Value local) |
Collection<ValueGraph.Node> |
getTopNodes() |
protected void |
handleStmt(Stmt stmt) |
static void |
main(String[] args) |
String |
toString() |
protected Map<Value,ValueGraph.Node> localToNode
protected Map<ValueGraph.Node,Value> nodeToLocal
protected List<ValueGraph.Node> nodeList
protected int currentNodeNumber
public ValueGraph(BlockGraph cfg)
protected void handleStmt(Stmt stmt)
protected ValueGraph.Node fetchNode(Value value)
protected ValueGraph.Node fetchGraph(Value value)
public ValueGraph.Node getNode(Value local)
public Collection<ValueGraph.Node> getTopNodes()
public Local getLocal(ValueGraph.Node node)
public static void main(String[] args)