Package soot.jimple.toolkits.scalar
Interface AvailableExpressions
-
- All Known Implementing Classes:
FastAvailableExpressions,SlowAvailableExpressions
public interface AvailableExpressionsProvides an user-interface for the AvailableExpressionsAnalysis class. Returns, for each statement, the list of expressions available before and after it.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method 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.
-
-