soot.jimple.toolkits.scalar
Class AvailableExpressions
java.lang.Object
|
+--soot.jimple.toolkits.scalar.AvailableExpressions
- public class AvailableExpressions
- extends java.lang.Object
Provides an user-interface for the AvailableExpressionsAnalysis class.
Returns, for each statement, the list of expressions available before and after it.
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
AvailableExpressions
public AvailableExpressions(Body b)
- Wrapper for AvailableExpressionsAnalysis.
getAvailablePairsBefore
public java.util.List getAvailablePairsBefore(Unit u)
- Returns a List containing the UnitValueBox pairs corresponding to expressions available before u.
getAvailablePairsAfter
public java.util.List getAvailablePairsAfter(Unit u)
- Returns a List containing the UnitValueBox pairs corresponding to expressions available after u.
getAvailableEquivsBefore
public Chain getAvailableEquivsBefore(Unit u)
- Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u.
getAvailableEquivsAfter
public Chain getAvailableEquivsAfter(Unit u)
- Returns a Chain containing the EquivalentValue objects corresponding to expressions available after u.