From 86bb376062ac7020943e96acb5c47cca81eadbeb Mon Sep 17 00:00:00 2001
From: SirYwell <hannesgreule@outlook.de>
Date: Wed, 7 May 2025 17:28:30 +0200
Subject: [PATCH] Fix initialization after declaration

---
 .../vads/compiler/semantic/VariableStatusAnalysis.java     | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/main/java/edu/kit/kastel/vads/compiler/semantic/VariableStatusAnalysis.java b/src/main/java/edu/kit/kastel/vads/compiler/semantic/VariableStatusAnalysis.java
index 18bdb94..556d6d1 100644
--- a/src/main/java/edu/kit/kastel/vads/compiler/semantic/VariableStatusAnalysis.java
+++ b/src/main/java/edu/kit/kastel/vads/compiler/semantic/VariableStatusAnalysis.java
@@ -45,8 +45,15 @@ class VariableStatusAnalysis implements NoOpVisitor<Namespace<VariableStatusAnal
         }
     }
 
+    private static void checkUndeclared(NameTree name, @Nullable VariableStatus status) {
+        if (status != null) {
+            throw new SemanticException("Variable " + name + " is already declared");
+        }
+    }
+
     @Override
     public Unit visit(DeclarationTree declarationTree, Namespace<VariableStatus> data) {
+        checkUndeclared(declarationTree.name(), data.get(declarationTree.name()));
         VariableStatus status = declarationTree.initializer() == null
             ? VariableStatus.DECLARED
             : VariableStatus.INITIALIZED;