Package 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

Constructors

Constructor	Description
IsNullValueDataflow(CFG cfg, IsNullValueAnalysis analysis)

Method Summary

Modifier and Type	Method	Description
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