FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.deref
Class UnconditionalValueDerefDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>
      extended by edu.umd.cs.findbugs.ba.AbstractDataflow<UnconditionalValueDerefSet,UnconditionalValueDerefAnalysis>
          extended by edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow

public class UnconditionalValueDerefDataflow
extends AbstractDataflow<UnconditionalValueDerefSet,UnconditionalValueDerefAnalysis>

Dataflow to find value numbers unconditionally dereferenced.

Author:
David Hovemeyer

Field Summary
 
Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow
DEBUG
 
Constructor Summary
UnconditionalValueDerefDataflow(CFG cfg, UnconditionalValueDerefAnalysis analysis)
          Constructor.
 
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

UnconditionalValueDerefDataflow

public UnconditionalValueDerefDataflow(CFG cfg,
                                       UnconditionalValueDerefAnalysis analysis)
Constructor.

Parameters:
cfg - the control flow graph
analysis - the analysis

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.