soot.jimple.toolkits.annotation.nullcheck
Class LocalRefVarsAnalysisWrapper

java.lang.Object
  |
  +--soot.jimple.toolkits.annotation.nullcheck.LocalRefVarsAnalysisWrapper

public class LocalRefVarsAnalysisWrapper
extends java.lang.Object


Constructor Summary
LocalRefVarsAnalysisWrapper(CompleteUnitGraph graph)
           
 
Method Summary
 java.util.List getListsOfVarsAfterBranch(Unit s)
           
 java.util.List getVarsAfterFall(Unit s)
           
 java.util.List getVarsBefore(Unit s)
           
 java.util.List getVarsDontNeedCheck(Unit s)
           
 java.util.List getVarsNeedCheck(Unit s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LocalRefVarsAnalysisWrapper

public LocalRefVarsAnalysisWrapper(CompleteUnitGraph graph)
Method Detail

getVarsBefore

public java.util.List getVarsBefore(Unit s)

getVarsAfterFall

public java.util.List getVarsAfterFall(Unit s)

getListsOfVarsAfterBranch

public java.util.List getListsOfVarsAfterBranch(Unit s)

getVarsNeedCheck

public java.util.List getVarsNeedCheck(Unit s)

getVarsDontNeedCheck

public java.util.List getVarsDontNeedCheck(Unit s)