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.


Constructor Summary
AvailableExpressions(Body b)
          Wrapper for AvailableExpressionsAnalysis.
 
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.
 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.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AvailableExpressions

public AvailableExpressions(Body b)
Wrapper for AvailableExpressionsAnalysis.
Method Detail

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.