From e09358f3648445bbf9747f40497af6221d933a99 Mon Sep 17 00:00:00 2001
From: L0P0P <grassoemanuele@live.com>
Date: Wed, 26 Jun 2024 11:54:57 +0200
Subject: Introduction to recursive function

---
 src/ast/nodes/BlockNode.java   | 15 +++++++++++++++
 src/ast/nodes/FuncdefNode.java |  2 ++
 2 files changed, 17 insertions(+)

(limited to 'src/ast/nodes')

diff --git a/src/ast/nodes/BlockNode.java b/src/ast/nodes/BlockNode.java
index 2c85025..a38b4ea 100644
--- a/src/ast/nodes/BlockNode.java
+++ b/src/ast/nodes/BlockNode.java
@@ -3,6 +3,8 @@ package ast.nodes;
 import java.util.ArrayList;
 
 import ast.types.*;
+import semanticanalysis.SemanticError;
+import semanticanalysis.SymbolTable;
 
 /**
  * Node for `block` statement of the grammar.
@@ -13,6 +15,19 @@ public class BlockNode extends RootNode {
         super(childs);
     }
 
+    @Override
+    public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
+        ArrayList<SemanticError> errors = new ArrayList<SemanticError>();
+
+        // Check semantics for each child
+        for (Node child : childs) {
+            errors.addAll(child.checkSemantics(ST, _nesting));
+        }
+
+        return errors;
+    }
+
+
     @Override
     public Type typeCheck() {
         return new VoidType();
diff --git a/src/ast/nodes/FuncdefNode.java b/src/ast/nodes/FuncdefNode.java
index f3be1d9..4c8f92f 100644
--- a/src/ast/nodes/FuncdefNode.java
+++ b/src/ast/nodes/FuncdefNode.java
@@ -33,6 +33,8 @@ public class FuncdefNode implements Node {
 
         ST.add(HM);
 
+        ST.insert(this.name.toString(), this.block.typeCheck(), _nesting + 1, "");
+
         if (paramlist != null) {
             errors.addAll(paramlist.checkSemantics(ST, _nesting + 1));
         }
-- 
cgit v1.2.3-18-g5258