soot.toolkits.scalar

Class GuaranteedDefs

java.lang.Object

soot.toolkits.scalar.GuaranteedDefs

public class GuaranteedDefs
extends java.lang.Object

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

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<Unit,java.util.List>	unitToGuaranteedDefs

Constructor Summary

Constructors

Constructor and Description
GuaranteedDefs(UnitGraph graph)

Method Summary

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

Constructor Detail

GuaranteedDefs

public GuaranteedDefs(UnitGraph graph)

Method Detail

getGuaranteedDefs

public java.util.List getGuaranteedDefs(Unit s)

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