support keyboard interrupt in fjm_run

tomhea · Dec 9, 2024 · bc02373 · bc02373
1 parent e754e0c
commit bc02373
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/flipjump/interpretter/fjm_run.py b/flipjump/interpretter/fjm_run.py
@@ -196,6 +196,8 @@ def run(
         return TerminationStatistics(statistics, TerminationCause.RuntimeMemoryError)
     except FlipJumpException as fj_exception:
         raise fj_exception
+    except KeyboardInterrupt:
+        return TerminationStatistics(statistics, TerminationCause.KeyboardInterrupt)
     except Exception as unknown_exception:
         raise FlipJumpRuntimeException(
             "Unknown exception during running an .fjm file, please report this bug"

diff --git a/flipjump/utils/classes.py b/flipjump/utils/classes.py
@@ -19,9 +19,12 @@ class TerminationCause(IntEnum):
     UnalignedOp = 4
     # Finished by trying to read/write something out of the defined memory (probably a bug in the fj-program)
     RuntimeMemoryError = 5
+    # Finished by keyboard interrupt from the user
+    KeyboardInterrupt = 6
 
     def __str__(self) -> str:
-        return ['looping', 'EOF', 'ip<2w', 'unaligned-word', 'unaligned-op', 'runtime-memory-error'][self.value]
+        return ['looping', 'EOF', 'ip<2w', 'unaligned-word', 'unaligned-op',
+                'runtime-memory-error', "keyboard-interrupt"][self.value]
 
 
 class PrintTimer: