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

Methods

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

Method Detail

getAvailablePairsBefore

java.util.List getAvailablePairsBefore(Unit u)

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

getAvailablePairsAfter

java.util.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.