soot.shimple.toolkits.graph
Class ValueGraph

java.lang.Object
  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)