Package soot.toolkits.scalar

Class SimpleLocalDefs

java.lang.Object

soot.toolkits.scalar.SimpleLocalDefs

All Implemented Interfaces:

LocalDefs

public class SimpleLocalDefs
extends Object
implements LocalDefs

Analysis that provides an implementation of the LocalDefs interface.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SimpleLocalDefs.FlowAnalysisMode	The different modes in which the flow analysis can run
class	SimpleLocalDefs.FlowAssignment
static class	SimpleLocalDefs.StaticSingleAssignment

Constructor Summary

Constructors

Constructor	Description
SimpleLocalDefs(UnitGraph graph)
SimpleLocalDefs(UnitGraph graph, SimpleLocalDefs.FlowAnalysisMode mode)

Method Summary

Modifier and Type	Method	Description
protected int[]	assignNumbers(Local[] locals)
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.
protected int	getLocalNumber(Local l)
protected LocalDefs	init(DirectedGraph<Unit> graph, Local[] locals, SimpleLocalDefs.FlowAnalysisMode mode)
protected void	restoreNumbers(Local[] locals, int[] oldNumbers)

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,
                       SimpleLocalDefs.FlowAnalysisMode mode)

Method Detail

restoreNumbers

protected void restoreNumbers(Local[] locals,
                              int[] oldNumbers)

assignNumbers

protected int[] assignNumbers(Local[] locals)

init

protected LocalDefs init(DirectedGraph<Unit> graph,
                         Local[] locals,
                         SimpleLocalDefs.FlowAnalysisMode mode)

getLocalNumber

protected int getLocalNumber(Local l)

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.