|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.DataflowTestDriver<Fact,AnalysisType>
public abstract class DataflowTestDriver<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>>
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.
Dataflow
,
DataflowAnalysis
Constructor Summary | |
---|---|
DataflowTestDriver()
|
Method Summary | |
---|---|
abstract Dataflow<Fact,AnalysisType> |
createDataflow(ClassContext classContext,
org.apache.bcel.classfile.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(ClassContext classContext,
org.apache.bcel.classfile.Method method)
Execute the analysis on a single method of a class. |
void |
execute(java.lang.String filename)
Execute the analysis on a single class. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DataflowTestDriver()
Method Detail |
---|
public void execute(java.lang.String filename) throws DataflowAnalysisException, CFGBuilderException, java.io.IOException
filename
- the name of the class file
DataflowAnalysisException
CFGBuilderException
java.io.IOException
public void execute(ClassContext classContext, org.apache.bcel.classfile.Method method) throws DataflowAnalysisException, CFGBuilderException
DataflowAnalysisException
CFGBuilderException
public abstract Dataflow<Fact,AnalysisType> createDataflow(ClassContext classContext, org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
classContext
- ClassContext for the classmethod
- the Method
CFGBuilderException
DataflowAnalysisException
public void examineResults(CFG cfg, Dataflow<Fact,AnalysisType> dataflow)
cfg
- the control flow graphdataflow
- the analysis results
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |