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

java.lang.Object
  edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>
      edu.umd.cs.findbugs.ba.AbstractDataflow<IsNullValueFrame,IsNullValueAnalysis>
          edu.umd.cs.findbugs.ba.npe.IsNullValueDataflow

public class IsNullValueDataflow
extends AbstractDataflow<IsNullValueFrame,IsNullValueAnalysis>

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow

DEBUG

Constructor Summary

IsNullValueDataflow(CFG cfg, IsNullValueAnalysis analysis)

Method Summary

IsNullValueFrame

getFactAtMidEdge(Edge edge)

Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflow

getFactOnEdge

Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow

dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, 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

getFactAtMidEdge

public IsNullValueFrame getFactAtMidEdge(Edge edge)
                                  throws DataflowAnalysisException

Throws:

DataflowAnalysisException