soot.toolkits.scalar

Class SimpleLocalDefs.StaticSingleAssignment

java.lang.Object

soot.toolkits.scalar.SimpleLocalDefs.StaticSingleAssignment

All Implemented Interfaces:

LocalDefs

Enclosing class:

SimpleLocalDefs

public static class SimpleLocalDefs.StaticSingleAssignment
extends Object
implements LocalDefs

Constructor Summary

Constructors

Constructor and Description
StaticSingleAssignment(Local[] locals, List<Unit>[] unitList)

Method Summary

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

StaticSingleAssignment

public StaticSingleAssignment(Local[] locals,
                              List<Unit>[] unitList)

Method Detail

getDefsOfAt

public 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 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.