soot.toolkits.scalar

Class SmartLocalDefs

java.lang.Object

soot.toolkits.scalar.SmartLocalDefs

All Implemented Interfaces:

LocalDefs

public class SmartLocalDefs
extends java.lang.Object
implements LocalDefs

Analysis that provides an implementation of the LocalDefs interface.

Constructor Summary

Constructors

Constructor and Description
SmartLocalDefs(UnitGraph g, LiveLocals live)

Method Summary

Modifier and Type	Method and Description
java.util.List<Unit>	getDefsOfAt(Local l, Unit s) Returns the definition sites for a Local at a certain point (Unit) in a method.

Methods inherited from class java.lang.Object

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

Constructor Detail

SmartLocalDefs

public SmartLocalDefs(UnitGraph g,
                      LiveLocals live)

Method Detail

getDefsOfAt

public java.util.List<Unit> getDefsOfAt(Local l,
                                        Unit s)

Description copied from interface: LocalDefs

Returns the definition sites for a Local at a certain point (Unit) in a method.

Specified by:

getDefsOfAt in interface LocalDefs

Parameters:

l - the Local in question.

s - a unit that specifies the method context (location) to query for the definitions of the Local.

Returns:

a list of Units where the local is defined in the current method context.