| java.lang.Object edu.umd.cs.findbugs.ba.AbstractDataflowTestDriver edu.umd.cs.findbugs.ba.DataflowTestDriver
DataflowTestDriver | abstract public class DataflowTestDriver extends AbstractDataflowTestDriver (Code) | | A test driver for dataflow analysis classes.
It runs the dataflow analysis on the methods of a single class,
and has options (properties) to restrict the analysis to a single
method, and to print out a CFG annotated with dataflow values.
author: David Hovemeyer See Also: Dataflow See Also: DataflowAnalysis |
Method Summary | |
abstract public Dataflow<Fact, AnalysisType> | createDataflow(ClassContext classContext, Method method) Downcall method to create the dataflow driver object
and execute the analysis. | public void | examineResults(CFG cfg, Dataflow<Fact, AnalysisType> dataflow) Downcall method to inspect the analysis results. | public void | execute(String filename) Execute the analysis on a single class. | public void | execute(ClassContext classContext, Method method) Execute the analysis on a single method of a class. |
createDataflow | abstract public Dataflow<Fact, AnalysisType> createDataflow(ClassContext classContext, Method method) throws CFGBuilderException, DataflowAnalysisException(Code) | | Downcall method to create the dataflow driver object
and execute the analysis.
Parameters: classContext - ClassContext for the class Parameters: method - the Method the Dataflow driver |
examineResults | public void examineResults(CFG cfg, Dataflow<Fact, AnalysisType> dataflow)(Code) | | Downcall method to inspect the analysis results.
Need not be implemented by subclasses.
Parameters: cfg - the control flow graph Parameters: dataflow - the analysis results |
Fields inherited from edu.umd.cs.findbugs.ba.AbstractDataflowTestDriver | final protected static Knob[] KNOB_LIST(Code)(Java Doc) protected boolean overrideIsForwards(Code)(Java Doc)
|
|
|