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>
-
-
Constructor Summary
Constructors Constructor Description IsNullValueDataflow(CFG cfg, IsNullValueAnalysis analysis)
-
Method Summary
All Methods Instance Methods Concrete Methods 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
-
-
-
-
Constructor Detail
-
IsNullValueDataflow
public IsNullValueDataflow(CFG cfg, IsNullValueAnalysis analysis)
-
-
Method Detail
-
getFactAtMidEdge
public IsNullValueFrame getFactAtMidEdge(Edge edge) throws DataflowAnalysisException
- Throws:
DataflowAnalysisException
-
-