Add SimulatorStabGenerator

2025-04-19 17:58:40 +02:00
parent 76bbfd0381
commit 17704487c9
10 changed files with 436 additions and 17 deletions
@@ -102,11 +102,14 @@ public class TraceRecorder implements Listener {
     *
     * @param region region to be recorded
     */
-    public void startRecording(Region region) {
-        if (activeTraces.containsKey(region)) return;
+    public Trace startRecording(Region region) {
+        if (activeTraces.containsKey(region)) {
+            return activeTraces.get(region).getTrace();
+        }

        TraceRecordingWrapper wrappedTrace = new TraceRecordingWrapper(region);
        activeTraces.put(region, wrappedTrace);
+        return wrappedTrace.getTrace();
    }

    /**