check semantic of defined and undefined variables implemented

do not check for built-in function
works on the example

1 files changed, 101 insertions, 20 deletions

diff --git a/src/ast/nodes/ExprNode.java b/src/ast/nodes/ExprNode.java
index 39f397e..13b6619 100644
--- a/src/ast/nodes/ExprNode.java
+++ b/src/ast/nodes/ExprNode.java
@@ -1,23 +1,96 @@
 package ast.nodes;
 
+import ast.types.*;
 import java.util.ArrayList;
-
+import java.util.Arrays;
 import semanticanalysis.SemanticError;
 import semanticanalysis.SymbolTable;
-import ast.types.*;
 
 /**
  * Node for the `expr` statement of the grammar.
  */
 public class ExprNode implements Node {
-    private Node atom;
+
+    private AtomNode atom;
     private Node compOp;
     private String op;
     private ArrayList<Node> exprs;
     private ArrayList<Node> trailers;
 
+    private static final String[] bif = {"abs",
+        "aiter",
+        "all",
+        "anext",
+        "any",
+        "ascii",
+        "bin",
+        "bool",
+        "breakpoint",
+        "bytearray",
+        "bytes",
+        "callable",
+        "chr",
+        "classmethod",
+        "compile",
+        "complex",
+        "delattr",
+        "dict",
+        "dir",
+        "divmod",
+        "enumerate",
+        "eval",
+        "exec",
+        "filter",
+        "float",
+        "format",
+        "frozenset",
+        "getattr",
+        "globals",
+        "hasattr",
+        "hash",
+        "help",
+        "hex",
+        "id",
+        "input",
+        "int",
+        "isinstance",
+        "issubclass",
+        "iter",
+        "len",
+        "list",
+        "locals",
+        "map",
+        "max",
+        "memoryview",
+        "min",
+        "next",
+        "object",
+        "oct",
+        "open",
+        "ord",
+        "pow",
+        "print",
+        "property",
+        "range",
+        "repr",
+        "reversed",
+        "round",
+        "set",
+        "setattr",
+        "slice",
+        "sorted",
+        "staticmethod",
+        "str",
+        "sum",
+        "super",
+        "tuple",
+        "type",
+        "vars",
+        "zip",
+        "__import__"};
+
     public ExprNode(Node atom, Node compOp, ArrayList<Node> exprs, String op, ArrayList<Node> trailers) {
-        this.atom = atom;
+        this.atom = (AtomNode) atom;
         this.compOp = compOp;
         this.exprs = exprs;
         this.op = op;
@@ -31,20 +104,28 @@ public class ExprNode implements Node {
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
         ArrayList<SemanticError> errors = new ArrayList<SemanticError>();
-        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));
-        }
-
-        for (var trailer : trailers) {
-            errors.addAll(trailer.checkSemantics(ST, _nesting));
+        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));
+            } 
+
+            for (var trailer : trailers) {
+                errors.addAll(trailer.checkSemantics(ST, _nesting));
+            } 
         }
 
         return errors;
@@ -81,11 +162,11 @@ public class ExprNode implements Node {
 
         for (var expr : exprs) {
             str += expr.toPrint(prefix);
-        }
+        } 
 
         for (var trailer : trailers) {
             str += trailer.toPrint(prefix);
-        }
+        } 
 
         if (op != null) {
             str += prefix + "Op(" + op + ")\n";