FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba
Class AbstractDataflow<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>
      extended by edu.umd.cs.findbugs.ba.AbstractDataflow<Fact,AnalysisType>
Direct Known Subclasses:
DefinitelyNullSetDataflow, IsNullValueDataflow, LoadDataflow, StoreDataflow, UnconditionalValueDerefDataflow, ValueNumberDataflow

public class AbstractDataflow<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
extends Dataflow<Fact,AnalysisType>

Convenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype. The main functionality is offering getFact{At,After}Location() methods which forward to the actual analysis object.

Author:
David Hovemeyer
See Also:
Dataflow, BasicAbstractDataflowAnalysis

Field Summary
 
Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow
DEBUG
 
Constructor Summary
AbstractDataflow(CFG cfg, AnalysisType analysis)
          Constructor.
 
Method Summary
 Fact getFactOnEdge(Edge edge)
          Get the fact that is true on the given control edge.
 
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

AbstractDataflow

public AbstractDataflow(CFG cfg,
                        AnalysisType analysis)
Constructor.

Parameters:
cfg - CFG of the method on which dfa is performed
analysis - the dataflow analysis
Method Detail

getFactOnEdge

public Fact getFactOnEdge(Edge edge)
                   throws DataflowAnalysisException
Get the fact that is true on the given control edge.

Overrides:
getFactOnEdge in class Dataflow<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
Parameters:
edge - the edge
Returns:
the fact that is true on the edge
Throws:
DataflowAnalysisException

FindBugs™ 1.3.9

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