soot.jimple.toolkits.scalar

Interface AvailableExpressions

All Known Implementing Classes:

FastAvailableExpressions, SlowAvailableExpressions

public interface AvailableExpressions

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

Method Summary

Modifier and Type	Method and Description
Chain<EquivalentValue>	getAvailableEquivsAfter(Unit u) Returns a Chain containing the EquivalentValue objects 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 UnitValueBox pairs corresponding to expressions available after u.
List<UnitValueBoxPair>	getAvailablePairsBefore(Unit u) Returns a List containing the UnitValueBox pairs corresponding to expressions available before u.

Method Detail

getAvailablePairsBefore

List<UnitValueBoxPair> getAvailablePairsBefore(Unit u)

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

getAvailablePairsAfter

List<UnitValueBoxPair> getAvailablePairsAfter(Unit u)

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

getAvailableEquivsBefore

Chain<EquivalentValue> getAvailableEquivsBefore(Unit u)

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

getAvailableEquivsAfter

Chain<EquivalentValue> getAvailableEquivsAfter(Unit u)

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