public void logToFile()
{
using (var outputFile = new StreamWriter(fileName, true))
{
outputFile.WriteLine(state.ToString());
}
}
public void AllStep()
{
PrgState prg = repo.GetCurrentPrg();
try
{
while (true)
{
OneStep(prg);
repo.LogPrgStateExec();
System.Console.WriteLine(prg.ToString());
}
}
catch (System.Exception ex)
{
System.Console.WriteLine();
System.Console.WriteLine(ex);
}
}
private void displayCrtPrgState(PrgState state)
{
Console.Write(state.ToString());
}
public void logPrgStateExec(PrgState state)
{
File.WriteAllText(this.log, state.ToString());
Console.WriteLine(state.ToString());
}
public void logPrgStateExec()
{
PrgState p = programStates[0];
System.IO.File.AppendAllText(logFilePath, p.ToString());
}