public void PrintState(ProgState p)
{
if (toFile)
{
try {
repo.AddState(p);
repo.WriteToFile(filename);
} catch (IOException e) {
Console.WriteLine("Exception in printstate ctrl");
}
}
else
{
Console.WriteLine(p.ToString());
}
}
public string currentProgramToString()
{
ProgState currentProgram = repo.getCurrentProgr();
return(currentProgram.ToString());
}