soot.toolkits.scalar
Class SimpleLiveLocals

java.lang.Object
  soot.toolkits.scalar.SimpleLiveLocals

All Implemented Interfaces:

LiveLocals

public class SimpleLiveLocals
extends Object
implements LiveLocals

Analysis that provides an implementation of the LiveLocals interface.

Constructor Summary

SimpleLiveLocals(UnitGraph graph)
Computes the analysis given a UnitGraph computed from a method body.

Method Summary

List	getLiveLocalsAfter(Unit s) Returns the list of Locals that are live after the specified Unit.
List	getLiveLocalsBefore(Unit s) Returns the list of Locals that are live before the specified Unit.

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleLiveLocals

public SimpleLiveLocals(UnitGraph graph)

Computes the analysis given a UnitGraph computed from a method body. It is recommended that a ExceptionalUnitGraph (or similar) be provided for correct results in the case of exceptional control flow.

Parameters:

g - a graph on which to compute the analysis.

See Also:

ExceptionalUnitGraph

Method Detail

getLiveLocalsAfter

public List getLiveLocalsAfter(Unit s)

Description copied from interface: LiveLocals

Returns the list of Locals that are live after the specified Unit.

Specified by:

getLiveLocalsAfter in interface LiveLocals

Parameters:

s - the Unit that defines this query.

Returns:

a list of Locals that are live after the specified unit in the method.

getLiveLocalsBefore

public List getLiveLocalsBefore(Unit s)

Description copied from interface: LiveLocals

Returns the list of Locals that are live before the specified Unit.

Specified by:

getLiveLocalsBefore in interface LiveLocals

Parameters:

s - the Unit that defines this query.

Returns:

a list of Locals that are live before the specified unit in the method.