Package soot.toolkits.scalar

Class GuaranteedDefs

java.lang.Object

soot.toolkits.scalar.GuaranteedDefs

public class GuaranteedDefs
extends Object

Find all locals guaranteed to be defined at (just before) a given program point.

Author:

Navindra Umanee

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<Unit,List<Value>>	unitToGuaranteedDefs

Constructor Summary

Constructors

Constructor	Description
GuaranteedDefs(UnitGraph graph)

Method Summary

Modifier and Type	Method	Description
List<Value>	getGuaranteedDefs(Unit s)	Returns a list of locals guaranteed to be defined at (just before) program point s.

Methods inherited from class java.lang.Object

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

Field Detail

unitToGuaranteedDefs

protected final Map<Unit,List<Value>> unitToGuaranteedDefs

Constructor Detail

GuaranteedDefs

public GuaranteedDefs(UnitGraph graph)

Method Detail

getGuaranteedDefs

public List<Value> getGuaranteedDefs(Unit s)

Returns a list of locals guaranteed to be defined at (just before) program point s.