- <init>
Constructor.
- debug
- dumpDataflow
- execute
Run the algorithm. Afterwards, caller can use the getStartFact() and
getResultFact() methods to to g
- getAnalysis
Get the analysis object.
- getCFG
Get the CFG object.
- getFactAfterLocation
Get the dataflow fact representing the point just after given Location. Note
"after" is meant in the
- getFactAtLocation
Get dataflow fact at (just before) given Location. Note "before" is meant in the
logical sense, so f
- getFullyQualifiedMethodName
- getNumIterations
Return the number of iterations of the main execution loop.
- getResultFact
Get dataflow facts for end of given block.
- getStartFact
Get dataflow facts for start of given block.