soot.shimple.toolkits.graph

Class SimpleGlobalValueNumberer

java.lang.Object

soot.shimple.toolkits.graph.SimpleGlobalValueNumberer

All Implemented Interfaces:

GlobalValueNumberer

public class SimpleGlobalValueNumberer
extends java.lang.Object
implements GlobalValueNumberer

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	SimpleGlobalValueNumberer.Partition

Field Summary

Fields

Modifier and Type	Field and Description
protected BlockGraph	cfg
protected int	currentPartitionNumber
protected java.util.List<SimpleGlobalValueNumberer.Partition>	newPartitions
protected java.util.Map<ValueGraph.Node,SimpleGlobalValueNumberer.Partition>	nodeToPartition
protected java.util.Set<SimpleGlobalValueNumberer.Partition>	partitions
protected ValueGraph	vg

Constructor Summary

Constructors

Constructor and Description
SimpleGlobalValueNumberer(BlockGraph cfg)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	areEqual(Local local1, Local local2)
protected boolean	childrenAreInSamePartition(ValueGraph.Node node1, ValueGraph.Node node2)
int	getGlobalValueNumber(Local local)
protected void	initPartition()
protected void	iterPartition()
static void	main(java.lang.String[] args)
protected void	processPartition(SimpleGlobalValueNumberer.Partition partition)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

cfg

protected BlockGraph cfg

vg

protected ValueGraph vg

partitions

protected java.util.Set<SimpleGlobalValueNumberer.Partition> partitions

nodeToPartition

protected java.util.Map<ValueGraph.Node,SimpleGlobalValueNumberer.Partition> nodeToPartition

currentPartitionNumber

protected int currentPartitionNumber

newPartitions

protected java.util.List<SimpleGlobalValueNumberer.Partition> newPartitions

Constructor Detail

SimpleGlobalValueNumberer

public SimpleGlobalValueNumberer(BlockGraph cfg)

Method Detail

main

public static void main(java.lang.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 java.lang.String toString()

Overrides:

toString in class java.lang.Object