Package soot.jimple.toolkits.scalar

Class FastAvailableExpressions

java.lang.Object

soot.jimple.toolkits.scalar.FastAvailableExpressions

All Implemented Interfaces:

AvailableExpressions

public class FastAvailableExpressions
extends Object
implements AvailableExpressions

Provides an user-interface for the AvailableExpressionsAnalysis class. Returns, for each statement, the list of expressions available before and after it.

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<Unit,Chain<EquivalentValue>>	unitToEquivsAfter
protected Map<Unit,Chain<EquivalentValue>>	unitToEquivsBefore
protected Map<Unit,List<UnitValueBoxPair>>	unitToPairsAfter
protected Map<Unit,List<UnitValueBoxPair>>	unitToPairsBefore

Constructor Summary

Constructors

Constructor	Description
FastAvailableExpressions(Body b, SideEffectTester st)	Wrapper for AvailableExpressionsAnalysis.

Method Summary

Modifier and Type	Method	Description
Chain<EquivalentValue>	getAvailableEquivsAfter(Unit u)	Returns a List containing the UnitValueBox pairs corresponding to expressions available after u.
Chain<EquivalentValue>	getAvailableEquivsBefore(Unit u)	Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u.
List<UnitValueBoxPair>	getAvailablePairsAfter(Unit u)	Returns a List containing the EquivalentValue corresponding to expressions available after u.
List<UnitValueBoxPair>	getAvailablePairsBefore(Unit u)	Returns a List containing the UnitValueBox pairs corresponding to expressions available before u.

Methods inherited from class java.lang.Object

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

Field Detail

unitToPairsAfter

protected final Map<Unit,List<UnitValueBoxPair>> unitToPairsAfter

unitToPairsBefore

protected final Map<Unit,List<UnitValueBoxPair>> unitToPairsBefore

unitToEquivsAfter

protected final Map<Unit,Chain<EquivalentValue>> unitToEquivsAfter

unitToEquivsBefore

protected final Map<Unit,Chain<EquivalentValue>> unitToEquivsBefore

Constructor Detail

FastAvailableExpressions

public FastAvailableExpressions(Body b,
                                SideEffectTester st)

Wrapper for AvailableExpressionsAnalysis.

Method Detail

getAvailablePairsBefore

public List<UnitValueBoxPair> getAvailablePairsBefore(Unit u)

Returns a List containing the UnitValueBox pairs corresponding to expressions available before u.

Specified by:

getAvailablePairsBefore in interface AvailableExpressions

getAvailableEquivsBefore

public Chain<EquivalentValue> getAvailableEquivsBefore(Unit u)

Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u.

Specified by:

getAvailableEquivsBefore in interface AvailableExpressions

getAvailablePairsAfter

public List<UnitValueBoxPair> getAvailablePairsAfter(Unit u)

Returns a List containing the EquivalentValue corresponding to expressions available after u.

Specified by:

getAvailablePairsAfter in interface AvailableExpressions

getAvailableEquivsAfter

public Chain<EquivalentValue> getAvailableEquivsAfter(Unit u)

Returns a List containing the UnitValueBox pairs corresponding to expressions available after u.

Specified by:

getAvailableEquivsAfter in interface AvailableExpressions