From e527baf81f977badaec1aecf3d7619db64a80c78 Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Fri, 24 Oct 2025 08:24:38 +0200
Subject: [PATCH] simplify simulated time implementation

---
 src/statecharts/time.ts | 41 ++++++++++++-----------------------------
 1 file changed, 12 insertions(+), 29 deletions(-)

diff --git a/src/statecharts/time.ts b/src/statecharts/time.ts
index bf9291b..c7c6bff 100644
--- a/src/statecharts/time.ts
+++ b/src/statecharts/time.ts
@@ -41,37 +41,20 @@ export function getWallClkDelay(realtime: TimeRealTime, simtime: number, wallclk
 
 // given a current simulated clock (paused or real time), switch to real time with given time scale
 export function setRealtime(currentMode: TimeMode, scale: number, wallclktime: number): TimeRealTime {
-  if (currentMode.kind === "paused") {
-    return {
-      kind: "realtime",
-      scale,
-      since: {
-        simtime: currentMode.simtime,
-        wallclktime,
-      },
-    };
-  }
-  else {
-    return {
-      kind: "realtime",
-      scale,
-      since: {
-        simtime: getSimTime(currentMode, wallclktime),
-        wallclktime,
-      },
-    };
-  }
+  return {
+    kind: "realtime",
+    scale,
+    since: {
+      simtime: getSimTime(currentMode, wallclktime),
+      wallclktime,
+    },
+  };
 }
 
 // given a current simulated clock (paused or real time), switch to paused
 export function setPaused(currentMode: TimeMode, wallclktime: number): TimePaused {
-  if (currentMode.kind === "paused") {
-    return currentMode; // no change
-  }
-  else {
-    return {
-      kind: "paused",
-      simtime: getSimTime(currentMode, wallclktime),
-    };
-  }
+  return {
+    kind: "paused",
+    simtime: getSimTime(currentMode, wallclktime),
+  };
 }