Fixed the print of the ast and some warnings

progs/test.py

@@ -1,17 +1,3 @@
-import math
-from re import f4, r3
-
-from abs import *
-
-
-def find_first_duplicate(nums, x):
-    num_set = set()
-    no_duplicate = -1
-
-    for i in range(len(nums)):
-        if nums[i] in num_set:
-            return nums[i]
-        else:
-            num_set.add(nums[i])
-
-    return no_duplicate
+m = 1
+for i in range(10):
+    m = m + 1

src/ast/nodes/ArglistNode.java

@@ -19,7 +19,7 @@ public ArglistNode(ArrayList<Node> arguments) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         for (var arg : arguments) {
             if (arg instanceof ExprNode) {

src/ast/nodes/AssignmentNode.java

@@ -22,7 +22,7 @@ public AssignmentNode(Node lhr, Node assign, Node rhr) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         // errors.addAll(lhr.checkSemantics(ST, _nesting));
         errors.addAll(assign.checkSemantics(ST, _nesting));

src/ast/nodes/AtomNode.java

@@ -30,7 +30,7 @@ public String getId() {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        var errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         if (val != null) {
             if ((this.typeCheck() instanceof AtomType) && ST.nslookup(this.getId()) < 0) {

src/ast/nodes/AugassignNode.java

@@ -21,7 +21,7 @@ public AugassignNode(TerminalNode val) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        return new ArrayList();
+        return new ArrayList<>();
     }
 
     // FIXME: use the right type

src/ast/nodes/BlockNode.java

@@ -16,7 +16,7 @@ public BlockNode(ArrayList<Node> childs) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         // Check semantics for each child
         for (Node child : childs) {

src/ast/nodes/CompForNode.java

@@ -23,7 +23,7 @@ public CompForNode(Node exprlist, Node single_expr, Node comp_iter) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         errors.addAll(exprlist.checkSemantics(ST, _nesting));
         errors.addAll(single_expr.checkSemantics(ST, _nesting));

src/ast/nodes/CompIterNode.java

@@ -19,7 +19,7 @@ public CompIterNode(Node comp_for) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         if (comp_for != null) {
             errors.addAll(comp_for.checkSemantics(ST, _nesting));

src/ast/nodes/CompNode.java

@@ -20,7 +20,7 @@ public CompNode(TerminalNode op) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        return new ArrayList();
+        return new ArrayList<>();
     }
 
     // TODO: it should be boolean, right?

src/ast/nodes/CompoundNode.java

@@ -24,7 +24,7 @@ public CompoundNode(Node ifNode, Node funcDef, Node forStmt, Node whileStmt) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         if (ifNode != null) {
             errors.addAll(ifNode.checkSemantics(ST, _nesting));

src/ast/nodes/DottedNameNode.java

@@ -20,7 +20,7 @@ public DottedNameNode(ArrayList<TerminalNode> names) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         for (int i = 0; i < names.size(); ++i) {
             ST.insert(names.get(i).toString(), this.typeCheck(), _nesting, null);

src/ast/nodes/ExprNode.java

@@ -52,7 +52,7 @@ public String getId() {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         // check if the atom is a function
         if (atom != null && !trailers.isEmpty()) {
@@ -130,19 +130,22 @@ public String toPrint(String prefix) {
         if (atom != null) {
             str += atom.toPrint(prefix);
         }
-
         if (compOp != null) {
             str += compOp.toPrint(prefix);
         }
-
-        for (var expr : exprs) {
-            str = expr.toPrint(prefix);
-        }
-
-        for (var trailer : trailers) {
-            str = trailer.toPrint(prefix);
+
+        if (exprs != null) {
+            for (var expr : exprs) {
+                str += expr.toPrint(prefix);
+            }
         }
-
+
+        if (trailers != null) {
+            for (var trailer : trailers) {
+                str += trailer.toPrint(prefix);
+            }
+        } 
+
         if (op != null) {
             str += prefix + "Op(" + op + ")\n";
         }

src/ast/nodes/ForStmtNode.java

@@ -34,7 +34,7 @@ public ForStmtNode(Node exprList, Node block) {
      */
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         // Save every atom in the expression's list, except the last one
         var l = (ExprListNode) exprList;

src/ast/nodes/FuncdefNode.java

@@ -26,14 +26,14 @@ public FuncdefNode(TerminalNode name, Node paramlist, Node block) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
         int paramNumber = ((ParamlistNode) paramlist).getParamNumber();
         Type returnType = this.block.typeCheck();
         FunctionType ft = new FunctionType(paramNumber, returnType);
 
         ST.insert(this.name.toString(), ft, _nesting, "");
 
-        HashMap<String, STentry> HM = new HashMap();
+        HashMap<String, STentry> HM = new HashMap<>();
 
         ST.add(HM);
 

src/ast/nodes/IfNode.java

@@ -22,7 +22,7 @@ public IfNode(Node guard, Node thenbranch, Node elsebranch) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         errors.addAll(guard.checkSemantics(ST, _nesting));
         errors.addAll(thenbranch.checkSemantics(ST, _nesting));

src/ast/nodes/ImportNode.java

@@ -27,7 +27,7 @@ public ImportNode(Node dottedName, boolean isFrom, boolean importAs, boolean imp
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         if (isFrom) {
             for (int i = 0; i < names.size(); ++i) {

src/ast/nodes/ParamdefNode.java

@@ -17,7 +17,7 @@ public ParamdefNode(String val) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        var errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
         String paramName = this.getId();
 
         if (!ST.top_lookup(paramName)) {

src/ast/nodes/ParamlistNode.java

@@ -18,7 +18,7 @@ public ParamlistNode(ArrayList<Node> _params) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         for (var param : params) {
             errors.addAll(param.checkSemantics(ST, _nesting));

src/ast/nodes/ReturnStmtNode.java

@@ -18,7 +18,7 @@ public ReturnStmtNode(Node exprList) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         if (this.exprList != null) {
             errors.addAll(this.exprList.checkSemantics(ST, _nesting));

src/ast/nodes/RootNode.java

@@ -20,10 +20,10 @@ public RootNode(ArrayList<Node> childs) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         // Create a new HashMap for the current scope
-        HashMap<String, STentry> HM = new HashMap();
+        HashMap<String, STentry> HM = new HashMap<>();
 
         // Add the HashMap to the SymbolTable
         ST.add(HM);

src/ast/nodes/SimpleStmtNode.java

@@ -24,7 +24,7 @@ public SimpleStmtNode(Node assignment, Node expr, Node returnStmt, Node importSt
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         if (assignment != null) {
             errors.addAll(assignment.checkSemantics(ST, _nesting));

src/ast/nodes/SimpleStmtsNode.java

@@ -18,7 +18,7 @@ public SimpleStmtsNode(ArrayList<Node> stmts) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         for (Node stmt : stmts) {
             errors.addAll(stmt.checkSemantics(ST, _nesting));

src/ast/nodes/TrailerNode.java

@@ -29,7 +29,7 @@ public TrailerNode(Node arglist, ArrayList<Node> exprs, TerminalNode methodCall,
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         if (arglist != null) {
             errors.addAll(arglist.checkSemantics(ST, _nesting));

src/ast/nodes/WhileStmtNode.java

@@ -20,7 +20,7 @@ public WhileStmtNode(Node expr, Node block) {
 
     @Override
     public ArrayList<SemanticError> checkSemantics(SymbolTable ST, int _nesting) {
-        ArrayList<SemanticError> errors = new ArrayList();
+        ArrayList<SemanticError> errors = new ArrayList<>();
 
         errors.addAll(expr.checkSemantics(ST, _nesting));
         errors.addAll(block.checkSemantics(ST, _nesting));

src/semanticanalysis/Share.java

@@ -10,7 +10,7 @@ public class Share {
      * generic because it's used a custom contains function.
      */
     public static ArrayList<SemanticError> removeDuplicates(ArrayList<SemanticError> list) {
-        ArrayList<SemanticError> newList = new ArrayList();
+        ArrayList<SemanticError> newList = new ArrayList<>();
 
         for (SemanticError element : list) {
             if (!customContains(newList, element)) {

src/semanticanalysis/SymbolTable.java

@@ -15,8 +15,8 @@ public class SymbolTable {
     private final ArrayList<Integer> offset;
 
     public SymbolTable() {
-        this.symbolTable = new ArrayList();
-        this.offset = new ArrayList();
+        this.symbolTable = new ArrayList<>();
+        this.offset = new ArrayList<>();
     }
 
     /**