|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>
public class Dataflow<Fact,AnalysisType extends DataflowAnalysis<Fact>>
Perform dataflow analysis on a method using a control flow graph. Both forward and backward analyses can be performed.
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Dataflow(CFG cfg, AnalysisType analysis)
cfg
- the control flow graphanalysis
- the DataflowAnalysis to be runMethod Detail |
---|
public void execute() throws DataflowAnalysisException
DataflowAnalysisException
public int getNumIterations()
public Fact getStartFact(BasicBlock block)
public Fact getResultFact(BasicBlock block)
public AnalysisType getAnalysis()
public CFG getCFG()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |