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>

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow

DEBUG

Constructor Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DefinitelyNullSetDataflow

public DefinitelyNullSetDataflow(CFG cfg,
                                 DefinitelyNullSetAnalysis analysis)