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("#");
}
}