edu.umd.cs.findbugs.ba

Class DataflowCFGPrinter<Fact,AnalysisType>

public class DataflowCFGPrinter<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> extends CFGPrinter

CFGPrinter class which prints dataflow values at each basic block and instruction.
Constructor Summary
DataflowCFGPrinter(Dataflow<Fact,AnalysisType> dataflow)
Method Summary
static <Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> voidprintCFG(Dataflow<Fact,AnalysisType> dataflow, PrintStream out)
Print CFG annotated with results from given dataflow analysis.

Constructor Detail

DataflowCFGPrinter

public DataflowCFGPrinter(Dataflow<Fact,AnalysisType> dataflow)

Method Detail

printCFG

public static <Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> void printCFG(Dataflow<Fact,AnalysisType> dataflow, PrintStream out)
Print CFG annotated with results from given dataflow analysis.

Parameters: Dataflow fact type Dataflow analysis type dataflow dataflow driver out PrintStream to use

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.