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
-
Field Summary
-
Constructor Summary
-
Method Summary
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
-
Constructor Details
-
IsNullValueDataflow
-
-
Method Details
-
getFactAtMidEdge
- Throws:
DataflowAnalysisException
-