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:

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.

See Also:

• Dataflow
• BasicAbstractDataflowAnalysis

Nested Class Summary

Nested classes/interfaces inherited from class Dataflow

Dataflow.BackwardProgramOrder, Dataflow.ForwardProgramOrder

Field Summary

Fields inherited from class Dataflow

DEBUG

Constructor Summary

Constructors

Constructor	Description
AbstractDataflow(CFG cfg, AnalysisType analysis)	Constructor.

Method Summary

Modifier and Type	Method	Description
Fact	getFactOnEdge(Edge edge)	Get the fact that is true on the given control edge.

Methods inherited from class Dataflow

dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getNumIterations, getResultFact, getStartFact

Methods inherited from class Object

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

Constructor Details

AbstractDataflow

public AbstractDataflow(CFG cfg,
 AnalysisType analysis)

Constructor.

Parameters:

cfg - CFG of the method on which dfa is performed

analysis - the dataflow analysis

Method Details

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