edu.umd.cs.findbugs.ba.npe
Class UnconditionalDerefDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>
      extended by edu.umd.cs.findbugs.ba.AbstractDataflow<UnconditionalDerefSet,UnconditionalDerefAnalysis>
          extended by edu.umd.cs.findbugs.ba.npe.UnconditionalDerefDataflow

public class UnconditionalDerefDataflow
extends AbstractDataflow<UnconditionalDerefSet,UnconditionalDerefAnalysis>

Dataflow class for UnconditionalDerefAnalysis.

Author:
David Hovemeyer
See Also:
UnconditionalDerefAnalysis

Constructor Summary
UnconditionalDerefDataflow(CFG cfg, UnconditionalDerefAnalysis analysis)
          Constructor.
 
Method Summary
 
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflow
getFactAfterLocation, getFactAtLocation
 
Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow
execute, getAnalysis, getCFG, getNumIterations, getResultFact, getStartFact
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UnconditionalDerefDataflow

public UnconditionalDerefDataflow(CFG cfg,
                                  UnconditionalDerefAnalysis analysis)
Constructor.

Parameters:
cfg - the CFG
analysis - the analysis