edu.umd.cs.findbugs.ba
public abstract class DataflowTestDriver<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> extends Object
See Also: Dataflow DataflowAnalysis
Method Summary | |
---|---|
abstract Dataflow<Fact,AnalysisType> | createDataflow(ClassContext classContext, Method method)
Downcall method to create the dataflow driver object
and execute the analysis.
|
void | examineResults(CFG cfg, Dataflow<Fact,AnalysisType> dataflow)
Downcall method to inspect the analysis results.
|
void | execute(String filename)
Execute the analysis on a single class.
|
void | execute(ClassContext classContext, Method method)
Execute the analysis on a single method of a class. |
void | overrideIsForwards() |
Parameters: classContext ClassContext for the class method the Method
Returns: the Dataflow driver
Parameters: cfg the control flow graph dataflow the analysis results
Parameters: filename the name of the class file