public static < Fact , AnalysisType extends BasicAbstractDataflowAnalysis < Fact > > void printCFG ( Dataflow < Fact , AnalysisType > dataflow , PrintStream out ) { DataflowCFGPrinter < Fact , AnalysisType > printer = new DataflowCFGPrinter <> ( dataflow ) ; printer . print ( out ) ; }
Print CFG annotated with results from given dataflow analysis .