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

java.lang.Object
  edu.umd.cs.findbugs.ba.Dataflow<IsNullValueFrame,IsNullValueAnalysis>
      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