soot.jimple.toolkits.scalar
Class SlowAvailableExpressions

java.lang.Object
  soot.jimple.toolkits.scalar.SlowAvailableExpressions

All Implemented Interfaces:

AvailableExpressions

public class SlowAvailableExpressions
extends Object
implements AvailableExpressions

Provides an user-interface for the AvailableExpressionsAnalysis class. Returns, for each statement, the list of expressions available before and after it.

Constructor Summary

SlowAvailableExpressions(Body b)
Wrapper for SlowAvailableExpressionsAnalysis.

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SlowAvailableExpressions

public SlowAvailableExpressions(Body b)

Wrapper for SlowAvailableExpressionsAnalysis.

Method Detail

getAvailablePairsBefore

public List getAvailablePairsBefore(Unit u)

Returns a List containing the UnitValueBox pairs corresponding to expressions available before u.

Specified by:

getAvailablePairsBefore in interface AvailableExpressions

getAvailablePairsAfter

public List getAvailablePairsAfter(Unit u)

Returns a List containing the UnitValueBox pairs corresponding to expressions available after u.

Specified by:

getAvailablePairsAfter in interface AvailableExpressions

getAvailableEquivsBefore

public Chain getAvailableEquivsBefore(Unit u)

Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u.

Specified by:

getAvailableEquivsBefore in interface AvailableExpressions

getAvailableEquivsAfter

public Chain getAvailableEquivsAfter(Unit u)

Returns a Chain containing the EquivalentValue objects corresponding to expressions available after u.

Specified by:

getAvailableEquivsAfter in interface AvailableExpressions