| java.lang.Object edu.umd.cs.findbugs.ba.CFGPrinter edu.umd.cs.findbugs.ba.DataflowCFGPrinter
DataflowCFGPrinter | public class DataflowCFGPrinter extends CFGPrinter (Code) | | CFGPrinter class which prints dataflow values at
each basic block and instruction.
|
DataflowCFGPrinter | public DataflowCFGPrinter(Dataflow<Fact, AnalysisType> dataflow)(Code) | | Constructor.
Parameters: dataflow - the Dataflow object whose values should be used to annotate the printed CFG |
printCFG | public static void printCFG(Dataflow<Fact, AnalysisType> dataflow, PrintStream out)(Code) | | Print CFG annotated with results from given dataflow analysis.
< Parameters: Fact - > Dataflow fact type< Parameters: AnalysisType - > Dataflow analysis type Parameters: dataflow - dataflow driver Parameters: out - PrintStream to use |
|
|