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