|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object soot.jimple.toolkits.scalar.FastAvailableExpressions
public class FastAvailableExpressions
Provides an user-interface for the AvailableExpressionsAnalysis class. Returns, for each statement, the list of expressions available before and after it.
Constructor Summary | |
---|---|
FastAvailableExpressions(Body b,
SideEffectTester st)
Wrapper for AvailableExpressionsAnalysis. |
Method Summary | |
---|---|
Chain |
getAvailableEquivsAfter(Unit u)
Returns a List containing the UnitValueBox pairs 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 EquivalentValue corresponding to expressions available after u. |
List |
getAvailablePairsBefore(Unit u)
Returns a List containing the UnitValueBox pairs corresponding to expressions available before u. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FastAvailableExpressions(Body b, SideEffectTester st)
Method Detail |
---|
public List getAvailablePairsBefore(Unit u)
getAvailablePairsBefore
in interface AvailableExpressions
public Chain getAvailableEquivsBefore(Unit u)
getAvailableEquivsBefore
in interface AvailableExpressions
public List getAvailablePairsAfter(Unit u)
getAvailablePairsAfter
in interface AvailableExpressions
public Chain getAvailableEquivsAfter(Unit u)
getAvailableEquivsAfter
in interface AvailableExpressions
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |