moved signal bodies to discrete scope so that the compiler doesn't ge…

…t confused with local scopes
kieler · Oct 27, 2024 · 48e5178 · 48e5178
1 parent f7e66b2
commit 48e5178
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/...de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend b/...de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend
@@ -136,8 +136,10 @@ class  SignalTransformation extends AbstractSCEstDynamicProcessor<Module> {
             val parallel = createParallel
             val thread2 = createThread
             parallel.threads.add(thread2)
-            thread2.statements.addAll(module.statements)
-            thread2.statements.add(createAssignment(term, createTrue))
+            var scope = createScopeStatement
+            thread2.statements.add(scope)
+            scope.statements.addAll(module.statements)
+            scope.statements.add(createAssignment(term, createTrue))
             module.statements.add(parallel)
             module.declarations.add(decl)