From fb713b022b82d37e41519ff387c1835f89f79fdc Mon Sep 17 00:00:00 2001
From: Peter <43498358+Petersmit27@users.noreply.github.com>
Date: Tue, 20 Aug 2024 13:08:52 +0200
Subject: [PATCH] Implement 1-scope semantics

---
 IBAF-cbs/IBAF/IBAF-Start/IBAF-Start.cbs      | 2 +-
 IBAF-cbs/IBAF/IBAF-Start/IBAF-Statements.cbs | 7 ++++++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/IBAF-cbs/IBAF/IBAF-Start/IBAF-Start.cbs b/IBAF-cbs/IBAF/IBAF-Start/IBAF-Start.cbs
index 8eecbf2..bfcb63d 100644
--- a/IBAF-cbs/IBAF/IBAF-Start/IBAF-Start.cbs
+++ b/IBAF-cbs/IBAF/IBAF-Start/IBAF-Start.cbs
@@ -2,7 +2,7 @@ Language "IBAFlang"
     
 Syntax START:start ::= statement*
 Semantics start[[ _:start ]] : =>null-type
-Rule start[[ Stmt* ]] = initialise-binding execute-block[[ Stmt* ]]
+Rule start[[ Stmt* ]] = initialise-binding scope(collateral(collect-declared-vars[[ Stmt* ]]), execute[[ Stmt* ]])
 
 
 
diff --git a/IBAF-cbs/IBAF/IBAF-Start/IBAF-Statements.cbs b/IBAF-cbs/IBAF/IBAF-Start/IBAF-Statements.cbs
index aea817b..06d2960 100644
--- a/IBAF-cbs/IBAF/IBAF-Start/IBAF-Statements.cbs
+++ b/IBAF-cbs/IBAF/IBAF-Start/IBAF-Statements.cbs
@@ -35,7 +35,7 @@ Rule execute[[ ]] = null
 Rule execute[[ Stmt Stmt+ ]] = sequential(execute[[ Stmt ]], execute[[ Stmt+ ]])
 
 Semantics execute-block[[ _:block ]] : =>null-type
-Rule execute-block[[ '{' Stmt* '}' ]] = scope(collateral(collect-declared-vars[[ Stmt* ]]), execute[[ Stmt* ]])
+Rule execute-block[[ '{' Stmt* '}' ]] = execute[[ Stmt* ]]
 
 
 
@@ -64,6 +64,11 @@ Rule collect-declared-vars[[ 'fun' Id '(' Params ')' '{' Stmt* '}' ]] = bind(id[
     )
 )
 
+Rule collect-declared-vars[[ '{' Stmt* '}' ]] = collect-declared-vars[[ Stmt* ]]
+Rule collect-declared-vars[[ 'if' '(' Exp ')' Block ]] = collect-declared-vars[[ Block ]]
+Rule collect-declared-vars[[ 'if' '(' Exp ')' Block1 'else' Block2 ]] = collect-declared-vars[[ Block1 ]], collect-declared-vars[[ Block2 ]]
+Rule collect-declared-vars[[ 'while' '(' Exp ')' Block ]] = collect-declared-vars[[ Block ]]
+
 Rule collect-declared-vars[[ ]] = map()
 Rule collect-declared-vars[[ Stmt ]] = map()
 Rule collect-declared-vars[[ Stmt1 Stmt2 Stmt* ]] = collect-declared-vars[[ Stmt1 ]], collect-declared-vars[[ Stmt2 ]], collect-declared-vars[[ Stmt* ]]