soot.jimple.toolkits.annotation.nullcheck
Class LocalRefVarsAnalysisWrapper

java.lang.Object
  extended bysoot.jimple.toolkits.annotation.nullcheck.LocalRefVarsAnalysisWrapper

public class LocalRefVarsAnalysisWrapper
extends Object


Constructor Summary
LocalRefVarsAnalysisWrapper(ExceptionalUnitGraph graph)
           
 
Method Summary
 List getListsOfVarsAfterBranch(Unit s)
           
 List getVarsAfterFall(Unit s)
           
 List getVarsBefore(Unit s)
           
 List getVarsDontNeedCheck(Unit s)
           
 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(ExceptionalUnitGraph graph)
Method Detail

getVarsBefore

public List getVarsBefore(Unit s)

getVarsAfterFall

public List getVarsAfterFall(Unit s)

getListsOfVarsAfterBranch

public List getListsOfVarsAfterBranch(Unit s)

getVarsNeedCheck

public List getVarsNeedCheck(Unit s)

getVarsDontNeedCheck

public List getVarsDontNeedCheck(Unit s)