Class IsNullValueDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<IsNullValueFrame, IsNullValueAnalysis>

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 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 AbstractDataflow

getFactOnEdge

Methods inherited from class Dataflow

dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getNumIterations, getResultFact, getStartFact

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

IsNullValueDataflow

public IsNullValueDataflow(CFG cfg,
 IsNullValueAnalysis analysis)

Method Details

getFactAtMidEdge

public IsNullValueFrame getFactAtMidEdge(Edge edge)
                                  throws DataflowAnalysisException

Throws:

DataflowAnalysisException