public static void ProcessPFile(CommandLineArguments options, FSharpExpGen fsExpGen)
{
//Desugar the P Program
var prog = fsExpGen.genFSExpression(options.pFile);
if (options.desugar)
{
printPFile(options.deSugarFile, prog);
}
if (options.serialize)
{
Save(prog, "serialized_" + options.deSugarFile);
}
//Type check the program.
Console.WriteLine("Type checking...");
ProgramTyping.typecheckProgram(prog);
//Remove named tuples in the P Program
prog = RemoveNamedTuples.removeNamedTuplesProgram(prog);
if (options.removeNT)
{
printPFile(options.removeNTFile, prog);
}
if (options.serialize)
{
Save(prog, "serialized_" + options.removeNTFile);
}
//Remove side effects in the P Program
prog = RemoveSideEffects.removeSideEffectsProgram(prog);
if (options.removeSE)
{
printPFile(options.removeSEFile, prog);
}
if (options.serialize)
{
Save(prog, "serialized_" + options.removeSEFile);
}
//Print the Boogie file.
if (options.genBoogie)
{
using (var sw = new StreamWriter(options.boogieFile))
using (var tr = new IndentedTextWriter(sw, " "))
{
Translator.translateProg(prog, tr);
}
}
}
public static void Main(string[] args)
{
var options = new CommandLineArguments(args);
FSharpExpGen fsExpGen = new FSharpExpGen(options);
int correct = 0;
int wrong = 0;
int tested = 0;
ProcessStartInfo startInfo = new ProcessStartInfo();
if (options.list)
{
using (var sr = new StreamReader(options.inputFile))
{
string line = null;
while ((line = sr.ReadLine()) != null)
{
try
{
if (line.StartsWith("//"))
{
continue;
}
Console.WriteLine("*************************************************************************************************************************");
Console.WriteLine(line);
Console.WriteLine("*************************************************************************************************************************");
options.pFile = line;
ProcessPFile(options, fsExpGen);
startInfo.FileName = @"C:\Users\teja5832\P-Boogie-Translation\corral\boogie\Binaries\Boogie.exe";
startInfo.Arguments = options.boogieFile;
startInfo.RedirectStandardError = true;
startInfo.RedirectStandardInput = true;
startInfo.RedirectStandardOutput = true;
startInfo.UseShellExecute = false;
using (Process process = new Process())
{
process.StartInfo = startInfo;
process.Start();
string output = process.StandardOutput.ReadToEnd();
string err = process.StandardError.ReadToEnd();
if (!output.Contains("type checking error"))
{
Console.WriteLine("Boogie Output:");
Console.WriteLine(output);
}
if (!err.Contains("type checking error"))
{
Console.Error.WriteLine(err);
}
process.WaitForExit();
}
++correct;
}
catch (Exception e)
{
for (int i = 0; i < 3; ++i)
{
System.Console.Beep();
}
++wrong;
Console.WriteLine(e);
Console.WriteLine(e.StackTrace);
Console.WriteLine(e.Source);
}
finally
{
++tested;
}
}
Console.WriteLine("*************************************************************************************************************************");
}
System.Console.WriteLine("{0} correct, {1} wrong, {2} in total", correct, wrong, tested);
}
else
{
options.pFile = options.inputFile;
ProcessPFile(options, fsExpGen);
}
}
