edu.umd.cs.findbugs.ba

Class AbstractDataflow<Fact,AnalysisType>

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

Constructor Summary
AbstractDataflow(CFG cfg, AnalysisType analysis)
Constructor.
Method Summary
FactgetFactAfterLocation(Location location)
Get dataflow fact after given Location.
FactgetFactAtLocation(Location location)
Get dataflow fact at given Location.
FactgetFactOnEdge(Edge edge)
Get the fact that is true on the given control edge.

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

getFactAfterLocation

public Fact getFactAfterLocation(Location location)
Get dataflow fact after given Location.

Parameters: location the Location

Returns: the dataflow fact

Throws: DataflowAnalysisException

getFactAtLocation

public Fact getFactAtLocation(Location location)
Get dataflow fact at given Location.

Parameters: location the Location

Returns: the dataflow fact

Throws: DataflowAnalysisException

getFactOnEdge

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

Parameters: edge the edge

Returns: the fact that is true on the edge

Throws: DataflowAnalysisException

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