soot.shimple.toolkits.graph
Class ValueGraph

java.lang.Object
  extended by soot.shimple.toolkits.graph.ValueGraph

public class ValueGraph
extends Object


Nested Class Summary
 class ValueGraph.Node
           
protected static class ValueGraph.TypeValueWrapper
           
 
Field Summary
protected  int currentNodeNumber
           
protected  Map<Value,ValueGraph.Node> localToNode
           
protected  List<ValueGraph.Node> nodeList
           
protected  Map<ValueGraph.Node,Value> nodeToLocal
           
 
Constructor Summary
ValueGraph(BlockGraph cfg)
           
 
Method Summary
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()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

localToNode

protected Map<Value,ValueGraph.Node> localToNode

nodeToLocal

protected Map<ValueGraph.Node,Value> nodeToLocal

nodeList

protected List<ValueGraph.Node> nodeList

currentNodeNumber

protected int currentNodeNumber
Constructor Detail

ValueGraph

public ValueGraph(BlockGraph cfg)
Method Detail

handleStmt

protected void handleStmt(Stmt stmt)

fetchNode

protected ValueGraph.Node fetchNode(Value value)

fetchGraph

protected ValueGraph.Node fetchGraph(Value value)

getNode

public ValueGraph.Node getNode(Value local)

getTopNodes

public Collection<ValueGraph.Node> getTopNodes()

getLocal

public Local getLocal(ValueGraph.Node node)

toString

public String toString()
Overrides:
toString in class Object

main

public static void main(String[] args)