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

java.lang.Object
  edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>
      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