Package 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:
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:
-
Field Summary
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptiongetFactOnEdge
(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
-
Constructor Details
-
AbstractDataflow
Constructor.- Parameters:
cfg
- CFG of the method on which dfa is performedanalysis
- the dataflow analysis
-
-
Method Details
-
getFactOnEdge
Get the fact that is true on the given control edge.- Overrides:
getFactOnEdge
in classDataflow<Fact,
AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> - Parameters:
edge
- the edge- Returns:
- the fact that is true on the edge
- Throws:
DataflowAnalysisException
-