Package 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 Description StaticSingleAssignment(Local[] locals, List<Unit>[] unitList)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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.
-
-
-
Method Detail
-
getDefsOfAt
public List<Unit> getDefsOfAt(Local l, Unit s)
Description copied from interface:LocalDefsReturns the definition sites for a Local at a certain point (Unit) in a method. You can assume this method never returnsnull.- Specified by:
getDefsOfAtin interfaceLocalDefs- 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.
-
-