soot.shimple.toolkits.graph
Class SimpleGlobalValueNumberer
java.lang.Object
soot.shimple.toolkits.graph.SimpleGlobalValueNumberer
- All Implemented Interfaces:
- GlobalValueNumberer
- public class SimpleGlobalValueNumberer
- extends Object
- implements GlobalValueNumberer
cfg
protected BlockGraph cfg
vg
protected ValueGraph vg
partitions
protected Set partitions
nodeToPartition
protected Map nodeToPartition
currentPartitionNumber
protected int currentPartitionNumber
newPartitions
protected List newPartitions
SimpleGlobalValueNumberer
public SimpleGlobalValueNumberer(BlockGraph cfg)
main
public static void main(String[] args)
getGlobalValueNumber
public int getGlobalValueNumber(Local local)
- Specified by:
getGlobalValueNumber
in interface GlobalValueNumberer
areEqual
public boolean areEqual(Local local1,
Local local2)
- Specified by:
areEqual
in interface GlobalValueNumberer
initPartition
protected void initPartition()
iterPartition
protected void iterPartition()
processPartition
protected void processPartition(SimpleGlobalValueNumberer.Partition partition)
childrenAreInSamePartition
protected boolean childrenAreInSamePartition(ValueGraph.Node node1,
ValueGraph.Node node2)
toString
public String toString()