Semantic check for function declaration and function invocation

boozec · Jun 26, 2024 · 9e6c17c · 9e6c17c
1 parent fc712f9
commit 9e6c17c
Show file tree

Hide file tree

Showing 8 changed files with 59 additions and 27 deletions.
diff --git a/progs/test.py b/progs/test.py
@@ -1,4 +1,6 @@
 def unibo(a):
-    print("u")
+    if a == 3:
+        print("UNIBO")
 
+a = 3
 unibo(a)
diff --git a/src/ast/nodes/ArglistNode.java b/src/ast/nodes/ArglistNode.java
@@ -19,9 +19,19 @@ public ArglistNode(ArrayList<Node> arguments) {
     @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;

diff --git a/src/ast/nodes/AtomNode.java b/src/ast/nodes/AtomNode.java
@@ -25,10 +25,13 @@ public String getId() {
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
         var errors = new ArrayList<SemanticError>();
-        // System.out.println("[ATOM] id: " + getId() + " ns: " + _nesting + " top_lookup" + ST.top_lookup(this.getId()));
-        if ((this.typeCheck() instanceof AtomType) && ST.nslookup(this.getId()) < 0) {
+
+        // Print the symbol table
+        System.out.println(ST);
+
+        if ((this.typeCheck() instanceof AtomType) && !ST.top_lookup(this.getId())/*ST.nslookup(this.getId()) < 0*/) {
             // System.out.println(!(this.typeCheck() instanceof IntType) + " " + !ST.top_lookup(this.getId()));
-            errors.add(new SemanticError("Undefined name `" + this.getId() + "`"));
+            errors.add(new SemanticError("'" + this.getId() + "' is not defined."));
         }
 
         return errors;

diff --git a/src/ast/nodes/ExprNode.java b/src/ast/nodes/ExprNode.java
@@ -106,30 +106,23 @@ public String getId() {
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
         ArrayList<SemanticError> errors = new ArrayList<SemanticError>();
-        if (atom != null && !trailers.isEmpty()) {
-            // function call
-            if (!Arrays.asList(bif).contains(atom.getId())) {
-                errors.addAll(atom.checkSemantics(ST, _nesting));
-            }
-        } else {
-            // butto tutto quello che c'era prima nell'else così non rischio di perdere niente di utile
-            if (atom != null) {
-                errors.addAll(atom.checkSemantics(ST, _nesting));
-            }
-
-            if (compOp != null) {
-                errors.addAll(compOp.checkSemantics(ST, _nesting));
-            }
-
-            for (var expr : exprs) {
-                errors.addAll(expr.checkSemantics(ST, _nesting));
-            } 
-
+
+        if (atom != null && !Arrays.asList(bif).contains(atom.getId())) {
+            errors.addAll(atom.checkSemantics(ST, _nesting));
+
             for (var trailer : trailers) {
                 errors.addAll(trailer.checkSemantics(ST, _nesting));
             } 
         }
+
+        if (compOp != null) {
+            errors.addAll(compOp.checkSemantics(ST, _nesting));
+        }
 
+        for (var expr : exprs) {
+            errors.addAll(expr.checkSemantics(ST, _nesting));
+        } 
+
         return errors;
     }
 

diff --git a/src/ast/nodes/FuncdefNode.java b/src/ast/nodes/FuncdefNode.java
@@ -37,10 +37,13 @@ public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
             errors.addAll(paramlist.checkSemantics(ST, _nesting + 1));
         }
 
+        // TODO: think to the fucking offset
         // Offset is increased for the possible return value
         ST.increaseoffset();
 
-        errors.addAll(block.checkSemantics(ST, _nesting));
+        errors.addAll(block.checkSemantics(ST, _nesting + 1));
+
+        ST.remove();
 
         return errors;
     }

diff --git a/src/ast/nodes/ParamlistNode.java b/src/ast/nodes/ParamlistNode.java
@@ -21,7 +21,7 @@ public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
         ArrayList<SemanticError> errors = new ArrayList<SemanticError>();
 
         for (var param : params) {
-            errors.addAll(param.checkSemantics(ST, _nesting + 1));
+            errors.addAll(param.checkSemantics(ST, _nesting));
         }
 
         return errors;

diff --git a/src/semanticanalysis/STentry.java b/src/semanticanalysis/STentry.java
@@ -52,4 +52,10 @@ public String getLabel() {
         return label;
     }
 
+    @Override
+    public String toString() {
+        // Print all the fields of the STentry
+        return "Type: " + type + ", Offset: " + offset + ", Nesting: " + nesting + ", Label: " + label;
+    }
+
 }
diff --git a/src/semanticanalysis/SymbolTable.java b/src/semanticanalysis/SymbolTable.java
@@ -153,4 +153,19 @@ public void increaseoffset() {
         this.offset.add(offs);
     }
 
+    @Override
+    public String toString() {
+        // Print the symbol table
+        String str = "";
+        for (int i = 0; i < this.symbolTable.size(); i++) {
+            str += "Level " + i + "\n";
+            HashMap<String, STentry> H = this.symbolTable.get(i);
+            for (String key : H.keySet()) {
+                STentry T = H.get(key);
+                str += key + " -> " + T.toString() + "\n";
+            }
+        }
+        return str;
+    }
+
 }