edu.umd.cs.findbugs.ba

Class DataflowCFGPrinter<Fact,AnalysisType>

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>> void	printCFG(Dataflow<Fact,AnalysisType> dataflow, PrintStream out) Print CFG annotated with results from given dataflow analysis.

Constructor Detail

public DataflowCFGPrinter(Dataflow<Fact,AnalysisType> dataflow)

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