From 9e6c17cb44bc165e315ec039a0e09183716d2037 Mon Sep 17 00:00:00 2001
From: L0P0P <grassoemanuele@live.com>
Date: Wed, 26 Jun 2024 11:44:58 +0200
Subject: Semantic check for function declaration and function invocation

---
 src/ast/nodes/ArglistNode.java | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'src/ast/nodes/ArglistNode.java')

diff --git a/src/ast/nodes/ArglistNode.java b/src/ast/nodes/ArglistNode.java
index f0c33e1..71bcdce 100644
--- a/src/ast/nodes/ArglistNode.java
+++ b/src/ast/nodes/ArglistNode.java
@@ -19,9 +19,19 @@ public class ArglistNode implements Node {
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
         ArrayList<SemanticError> errors = new ArrayList<SemanticError>();
-
+        
         for (var arg : arguments) {
-            errors.addAll(arg.checkSemantics(ST, _nesting));
+            ExprNode argExpr = (ExprNode) arg;
+            String argName = argExpr.getId();
+
+            // TODO: check fucking IntType for params
+            // TODO: remove fucking comments
+            if (!ST.top_lookup(argName) && argExpr.typeCheck() instanceof AtomType){
+                // System.out.println(!(this.typeCheck() instanceof IntType) + " " + !ST.top_lookup(this.getId()));
+                errors.add(new SemanticError("'" + argName + "' is not defined."));
+            } else {
+                errors.addAll(arg.checkSemantics(ST, _nesting));
+            }
         }
 
         return errors;
-- 
cgit v1.2.3-18-g5258