soot.toolkits.scalar

Class SimpleLocalDefs

java.lang.Object

soot.toolkits.scalar.SimpleLocalDefs

All Implemented Interfaces:

LocalDefs

public class SimpleLocalDefs
extends java.lang.Object
implements LocalDefs

Analysis that provides an implementation of the LocalDefs interface.

Nested Class Summary

Nested classes/interfaces inherited from interface soot.toolkits.scalar.LocalDefs

LocalDefs.Factory

Constructor Summary

Constructors

Constructor and Description
SimpleLocalDefs(UnitGraph graph)
SimpleLocalDefs(UnitGraph graph, soot.toolkits.scalar.SimpleLocalDefs.FlowAnalysisMode mode)

Method Summary

Modifier and Type	Method and Description
java.util.List<Unit>	getDefsOf(Local l) Returns the definition sites for a Local merged over all points in a method.
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

SimpleLocalDefs

public SimpleLocalDefs(UnitGraph graph)

Parameters:

graph -

SimpleLocalDefs

public SimpleLocalDefs(UnitGraph graph,
                       soot.toolkits.scalar.SimpleLocalDefs.FlowAnalysisMode mode)

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. You can assume this method never returns null.

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. If there are no uses an empty list will returned.

getDefsOf

public java.util.List<Unit> getDefsOf(Local l)

Description copied from interface: LocalDefs

Returns the definition sites for a Local merged over all points in a method. You can assume this method never returns null.

Specified by:

getDefsOf in interface LocalDefs

Parameters:

l - the Local in question.

Returns:

a list of Units where the local is defined in the current method context. If there are no uses an empty list will returned.