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