Array acces virker nu og typen bliver resovlet

VinceAAU · May 4, 2024 · 856557a · 856557a
1 parent 1ce0fd5
commit 856557a
Show file tree

Hide file tree

Showing 2 changed files with 50 additions and 2 deletions.
diff --git a/src/main/java/dk/aau/cs_24_sw_4_16/carl/Semantic_A/TypeChecker.java b/src/main/java/dk/aau/cs_24_sw_4_16/carl/Semantic_A/TypeChecker.java
@@ -91,6 +91,7 @@ public void visitStatements(StatementNode node) {
         if (node.getNode() instanceof ArrayAssignmentNode) {
             visistArrayAssignment((ArrayAssignmentNode) node.getNode());
         }
+
     }
 
     public void errorHandler(String errorMessage) {
@@ -100,6 +101,41 @@ public void errorHandler(String errorMessage) {
         System.err.println(errorMessage);
     }
 
+    /*
+     * Vi skal tjekke om den er ordenligt skrevet og retunere en type?
+     */
+    public void visistArrayAccesNodeFn(ArrayAccessNode node) {
+        String identifier = node.getIdentifier().toString();
+        boolean found = scopes.getFirst().containsKey(identifier);
+
+        for (int i = activeScope.getLast(); i < scopes.size(); i++) {
+            if (scopes.get(i).containsKey(identifier)) {
+                found = true;
+            }
+        }
+        if (found) {
+            Type allowedAccesTypesForArrays = Type.INT;
+            Boolean validTypesaccesTypes = true;
+            Type sizeType = Type.UNKNOWN;
+            int arguementNumber = 0;
+
+            List<AstNode> sizes = node.getIndices();
+            for (int i = 0; i < sizes.size(); i++) {
+                AstNode astNode = sizes.get(i);
+                sizeType = getType(astNode);
+                if (sizeType != allowedAccesTypesForArrays) {
+                    arguementNumber = i;
+                    errorHandler("Tried to assign the array:" + identifier + " but acces value: " + arguementNumber
+                            + " is of type:" + sizeType + " and should be INT");
+                    validTypesaccesTypes = false;
+
+                    break;
+                }
+            }
+
+        }
+    }
+
     /*
      * VI skal hente Type fra table
      * Tjekke alle argumenter
@@ -109,6 +145,13 @@ public void errorHandler(String errorMessage) {
     public void visistArrayAssignment(ArrayAssignmentNode node) {
         String identifier = node.getIdentifier().toString();
         Boolean found = false;
+        found = scopes.getFirst().containsKey(identifier);
+
+        for (int i = activeScope.getLast(); i < scopes.size(); i++) {
+            if (scopes.get(i).containsKey(identifier)) {
+                found = true;
+            }
+        }
         if (!found) {
             Type arrayType = scopes.getLast().get(identifier);
 
@@ -545,6 +588,11 @@ public Type getType(Object node) {
                 type = getVariable((IdentifierNode) node); // Vis x giv mig x value
             }
 
+        } else if (node instanceof ArrayAccessNode) {
+
+            visistArrayAccesNodeFn(((ArrayAccessNode) node));
+
+            type = getType(((ArrayAccessNode) node).getIdentifier());
         } else if (node instanceof BinaryOperatorNode) {
             type = binaryOperatorTypeCheck((BinaryOperatorNode) node);
         } else if (node instanceof RelationsAndLogicalOperatorNode) {

diff --git a/test.carl b/test.carl
@@ -5,6 +5,6 @@ var difficulty:int = 20
 var array: int[3][3]
 
 
-array[1]["hej"] = "hej"
 
-//var x: int = array[1][2]
+
+var x: int = array[2][2]