soot.toolkits.scalar

Class SmartLocalDefsPool

java.lang.Object

soot.toolkits.scalar.SmartLocalDefsPool

public class SmartLocalDefsPool
extends Object

This class implements a pool for SmartLocalDefs instances. This is useful, as these analyses are expensive to compute. A SmartLocalDefs instance requires a UnitGraph (usually a ExceptionalUnitGraph), and creating these repeatedly, and applying the SmartLocalDefs analysis repeatedly costs time. Therefore in this class we pool these instances in cases in which the respective body is still the same.

Author:

Eric Bodden

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<Body,Pair<Long,SmartLocalDefs>>	pool

Constructor Summary

Constructors

Constructor and Description
SmartLocalDefsPool(Singletons.Global g)

Method Summary

Modifier and Type	Method and Description
void	clear()
SmartLocalDefs	getSmartLocalDefsFor(Body b) This method returns a fresh instance of a SmartLocalDefs analysis, based on a freshly created ExceptionalUnitGraph for b, with standard parameters.
void	invalidate(Body b)
static SmartLocalDefsPool	v()

Methods inherited from class java.lang.Object

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

Field Detail

pool

protected Map<Body,Pair<Long,SmartLocalDefs>> pool

Constructor Detail

SmartLocalDefsPool

public SmartLocalDefsPool(Singletons.Global g)

Method Detail

getSmartLocalDefsFor

public SmartLocalDefs getSmartLocalDefsFor(Body b)

This method returns a fresh instance of a SmartLocalDefs analysis, based on a freshly created ExceptionalUnitGraph for b, with standard parameters. If the body b's modification count has not changed since the last time such an analysis was requested for b, then the previously created analysis is returned instead.

See Also:

Body.getModificationCount()

clear

public void clear()

v

public static SmartLocalDefsPool v()

invalidate

public void invalidate(Body b)