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	getAvailableEquivsAfter(Unit u) Returns a Chain containing the EquivalentValue objects corresponding to expressions available after u.
Chain	getAvailableEquivsBefore(Unit u) Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u.
List	getAvailablePairsAfter(Unit u) Returns a List containing the UnitValueBox pairs corresponding to expressions available after u.
List	getAvailablePairsBefore(Unit u) Returns a List containing the UnitValueBox pairs corresponding to expressions available before u.

Method Detail

getAvailablePairsBefore

List getAvailablePairsBefore(Unit u)

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

getAvailablePairsAfter

List getAvailablePairsAfter(Unit u)

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

getAvailableEquivsBefore

Chain getAvailableEquivsBefore(Unit u)

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

getAvailableEquivsAfter

Chain getAvailableEquivsAfter(Unit u)

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