Package edu.umd.cs.findbugs.ba.npe2
Class DefinitelyNullSetDataflow
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>
-
- edu.umd.cs.findbugs.ba.AbstractDataflow<DefinitelyNullSet,DefinitelyNullSetAnalysis>
-
- edu.umd.cs.findbugs.ba.npe2.DefinitelyNullSetDataflow
-
public class DefinitelyNullSetDataflow extends AbstractDataflow<DefinitelyNullSet,DefinitelyNullSetAnalysis>
-
-
Constructor Summary
Constructors Constructor Description DefinitelyNullSetDataflow(CFG cfg, DefinitelyNullSetAnalysis analysis)
-
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 Detail
-
DefinitelyNullSetDataflow
public DefinitelyNullSetDataflow(CFG cfg, DefinitelyNullSetAnalysis analysis)
-
-