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

protected Map<Unit,List>

unitToGuaranteedDefs

Constructor Summary

GuaranteedDefs(UnitGraph graph)

Method Summary

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.