edu.umd.cs.findbugs.ba.npe
Class IsNullValueDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<IsNullValueFrame,IsNullValueAnalysis>
      extended by edu.umd.cs.findbugs.ba.npe.IsNullValueDataflow

public class IsNullValueDataflow
extends Dataflow<IsNullValueFrame,IsNullValueAnalysis>


Constructor Summary
IsNullValueDataflow(CFG cfg, IsNullValueAnalysis analysis)
           
 
Method Summary
 IsNullValueFrame getFactAtLocation(Location loc)
           
 
Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow
execute, getAnalysis, getCFG, getNumIterations, getResultFact, getStartFact
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IsNullValueDataflow

public IsNullValueDataflow(CFG cfg,
                           IsNullValueAnalysis analysis)
Method Detail

getFactAtLocation

public IsNullValueFrame getFactAtLocation(Location loc)
                                   throws DataflowAnalysisException
Throws:
DataflowAnalysisException