/** * Print CFG annotated with results from given dataflow analysis. * * @param <Fact> * Dataflow fact type * @param <AnalysisType> * Dataflow analysis type * @param dataflow * dataflow driver * @param out * PrintStream to use */ 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); }
System.out.println("********* Valuenumber analysis *********"); DataflowCFGPrinter<ValueNumberFrame, ValueNumberAnalysis> p = new DataflowCFGPrinter<>(vnaDataflow); p.print(System.out); DataflowCFGPrinter<TypeQualifierValueSet, ForwardTypeQualifierDataflowAnalysis> p = new DataflowCFGPrinter<>( forwardDataflow); p.print(System.out); DataflowCFGPrinter<TypeQualifierValueSet, BackwardTypeQualifierDataflowAnalysis> p = new DataflowCFGPrinter<>( backwardDataflow); p.print(System.out);
DataflowCFGPrinter<Fact,AnalysisType> cfgPrinter = new DataflowCFGPrinter<>(dataflow); cfgPrinter.print(System.out);
/** * Print CFG annotated with results from given dataflow analysis. * * @param <Fact> * Dataflow fact type * @param <AnalysisType> * Dataflow analysis type * @param dataflow * dataflow driver * @param out * PrintStream to use */ public static <Fact, AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> void printCFG( Dataflow<Fact, AnalysisType> dataflow, PrintStream out) { DataflowCFGPrinter<Fact, AnalysisType> printer = new DataflowCFGPrinter<Fact, AnalysisType>(dataflow); printer.print(out); }
System.out.println("********* Valuenumber analysis *********"); DataflowCFGPrinter<ValueNumberFrame, ValueNumberAnalysis> p = new DataflowCFGPrinter<ValueNumberFrame, ValueNumberAnalysis>(vnaDataflow); p.print(System.out); DataflowCFGPrinter<TypeQualifierValueSet, ForwardTypeQualifierDataflowAnalysis> p = new DataflowCFGPrinter<TypeQualifierValueSet, ForwardTypeQualifierDataflowAnalysis>( forwardDataflow); p.print(System.out); DataflowCFGPrinter<TypeQualifierValueSet, BackwardTypeQualifierDataflowAnalysis> p = new DataflowCFGPrinter<TypeQualifierValueSet, BackwardTypeQualifierDataflowAnalysis>( backwardDataflow); p.print(System.out);
DataflowCFGPrinter<Fact,AnalysisType> cfgPrinter = new DataflowCFGPrinter<Fact,AnalysisType>(dataflow); cfgPrinter.print(System.out);