Package soot.shimple.toolkits.graph

Class ValueGraph

java.lang.Object

soot.shimple.toolkits.graph.ValueGraph

public class ValueGraph
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	ValueGraph.Node
protected static class	ValueGraph.TypeValueWrapper

Field Summary

Fields

Modifier and Type	Field	Description
protected int	currentNodeNumber
protected Map<Value,ValueGraph.Node>	localToNode
protected List<ValueGraph.Node>	nodeList
protected Map<ValueGraph.Node,Value>	nodeToLocal

Constructor Summary

Constructors

Constructor	Description
ValueGraph(BlockGraph cfg)

Method Summary

Modifier and Type	Method	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()

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)