private void oneStep()
{
try {
ctrl.oneStepForAllPrg(ctrl.getPrgStates(), printFlag, logFlag, this.filename);
mainMenu();
} catch (ControllerException) {
Console.WriteLine("Step evaluation error.");
} catch (RepositoryException) {
Console.WriteLine("Program state error.");
} catch (DivisionByZeroException) {
Console.WriteLine("Tried to divide by 0.");
} catch (ConsoleException) {
Console.WriteLine("Wrong option. Try again.");
}
}
