public class AbstractDataflow<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> extends Dataflow<Fact,AnalysisType>
Dataflow
,
BasicAbstractDataflowAnalysis
Constructor and Description |
---|
AbstractDataflow(CFG cfg,
AnalysisType analysis)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Fact |
getFactOnEdge(Edge edge)
Get the fact that is true on the given control edge.
|
dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getNumIterations, getResultFact, getStartFact
public AbstractDataflow(CFG cfg, AnalysisType analysis)
cfg
- CFG of the method on which dfa is performedanalysis
- the dataflow analysispublic Fact getFactOnEdge(Edge edge) throws DataflowAnalysisException
getFactOnEdge
in class Dataflow<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
edge
- the edgeDataflowAnalysisException
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.