|
FindBugs™ 1.3.9 | |||||||||
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
Field Summary | |
---|---|
static boolean |
DEBUG
|
Constructor Summary | |
---|---|
Dataflow(CFG cfg,
AnalysisType analysis)
Constructor. |
Method Summary | |
---|---|
void |
dumpDataflow(AnalysisType analysis)
|
void |
execute()
Run the algorithm. |
AnalysisType |
getAnalysis()
Get the analysis object. |
CFG |
getCFG()
Get the CFG object. |
Fact |
getFactAfterLocation(Location location)
Get the dataflow fact representing the point just after given Location. |
Fact |
getFactAtLocation(Location location)
Get dataflow fact at (just before) given Location. |
Fact |
getFactOnEdge(Edge edge)
Get the fact that is true on the given control edge. |
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 |
Field Detail |
---|
public static boolean DEBUG
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 Fact getFactAtLocation(Location location) throws DataflowAnalysisException
location
- the Location
DataflowAnalysisException
public Fact getFactAfterLocation(Location location) throws DataflowAnalysisException
location
- the Location
DataflowAnalysisException
public Fact getFactOnEdge(Edge edge) throws DataflowAnalysisException
edge
- the edge
DataflowAnalysisException
public AnalysisType getAnalysis()
public CFG getCFG()
public void dumpDataflow(AnalysisType analysis)
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |