private static void setupPrint(PersistentCBAProgram program, ErrorTrace trace, string file) { // Set output files pathFile = file == null ? null : new TokenTextWriter(file + "_trace.txt"); if (pathFile != null) { program.writeToFile(file + ".bpl"); } Program prog = program.getProgram(); // Initialization initialize(prog, trace, file == null ? null : file + ".bpl"); if (pathFile != null) { if (traceFormat == TraceFormat.ConcurrencyExplorer) { pathFile.WriteLine("s"); pathFile.WriteLine("#"); } else if (traceFormat == TraceFormat.SDV) { pathFile.WriteLine("0 \"?\" 0 false ^ Call \"OS\" \"main\""); } } }
private static void setupPrint(PersistentCBAProgram program, ErrorTrace trace, string file) { // Set output files pathFile = file == null ? null : new TokenTextWriter(file + "_trace.txt"); if (pathFile != null) { program.writeToFile(file + ".bpl"); } Program prog = program.getProgram(); // Initialization initialize(prog, trace, file == null ? null : file + ".bpl"); if (pathFile != null) { pathFile.WriteLine("s"); } if (pathFile != null) { pathFile.WriteLine("#"); } }