edu.umd.cs.findbugs.ba

Class DataflowTestDriver<Fact,AnalysisType>

public abstract class DataflowTestDriver<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> extends Object

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 DataflowAnalysis

Method Summary
abstract Dataflow<Fact,AnalysisType>createDataflow(ClassContext classContext, Method method)
Downcall method to create the dataflow driver object and execute the analysis.
voidexamineResults(CFG cfg, Dataflow<Fact,AnalysisType> dataflow)
Downcall method to inspect the analysis results.
voidexecute(String filename)
Execute the analysis on a single class.
voidexecute(ClassContext classContext, Method method)
Execute the analysis on a single method of a class.
voidoverrideIsForwards()

Method Detail

createDataflow

public abstract Dataflow<Fact,AnalysisType> createDataflow(ClassContext classContext, Method method)
Downcall method to create the dataflow driver object and execute the analysis.

Parameters: classContext ClassContext for the class method the Method

Returns: the Dataflow driver

examineResults

public void examineResults(CFG cfg, Dataflow<Fact,AnalysisType> dataflow)
Downcall method to inspect the analysis results. Need not be implemented by subclasses.

Parameters: cfg the control flow graph dataflow the analysis results

execute

public void execute(String filename)
Execute the analysis on a single class.

Parameters: filename the name of the class file

execute

public void execute(ClassContext classContext, Method method)
Execute the analysis on a single method of a class.

overrideIsForwards

public void overrideIsForwards()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.