edu.umd.cs.findbugs.ba
public class DataflowCFGPrinter<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> extends CFGPrinter
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.
|
Parameters: