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 and Description
protected Map<Unit,List>	unitToGuaranteedDefs

Constructor Summary

Constructors

Constructor and Description
GuaranteedDefs(UnitGraph graph)

Method Summary

Modifier and Type	Method and Description
List	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 Map<Unit,List> unitToGuaranteedDefs

Constructor Detail

GuaranteedDefs

public GuaranteedDefs(UnitGraph graph)

Method Detail

getGuaranteedDefs

public List getGuaranteedDefs(Unit s)

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