private void oneStep()
{
try {
ctrl.oneStep();
// ctrl.serializeProgramState ();
} catch (MyStmtExecException) {
print("Finished");
// currentProgram = null;
} catch (UninitializedVariableException) {
print("A variable is not initialized");
} catch (NoSuchKeyException) {
print("No such Variable");
} catch (DivisionByZeroException) {
print("Division by zero");
} catch (EmptyRepositoryException) {
print("No program state ");
}
}
protected void oneStepTouched(object sender, EventArgs e)
{
ctrl.oneStep();
textView.Buffer.Text = ctrl.printPrgList();
}