edu.umd.cs.findbugs.ba
public class Dataflow<Fact,AnalysisType extends DataflowAnalysis<Fact>> extends Object
See Also: CFG DataflowAnalysis
Constructor Summary | |
---|---|
Dataflow(CFG cfg, AnalysisType analysis)
Constructor.
|
Method Summary | |
---|---|
void | execute()
Run the algorithm.
|
AnalysisType | getAnalysis()
Get the analysis object. |
CFG | getCFG()
Get the CFG object. |
int | getNumIterations()
Return the number of iterations of the main execution loop. |
Fact | getResultFact(BasicBlock block)
Get dataflow facts for end of given block. |
Fact | getStartFact(BasicBlock block)
Get dataflow facts for start of given block. |
Parameters: cfg the control flow graph analysis the DataflowAnalysis to be run