soot.shimple.internal.analysis
Class GuaranteedDefs

java.lang.Object
  |
  +--soot.shimple.internal.analysis.GuaranteedDefs

public class GuaranteedDefs
extends java.lang.Object

Wrapper class for a flow analysis to find all the definitions guaranteed to exist at any program point.


Constructor Summary
GuaranteedDefs(UnitGraph graph)
           
 
Method Summary
 java.util.List getGuaranteedDefs(Unit s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GuaranteedDefs

public GuaranteedDefs(UnitGraph graph)
Method Detail

getGuaranteedDefs

public java.util.List getGuaranteedDefs(Unit s)