readme.md i incr length

readme.md

@@ -48,6 +48,33 @@ Jestem zadowolony z GCSE i kodu realizujacego wirtualne metody - były to wyzwan
 
 Nie jestem zadowolony z jakości kodu jaki oddaje - niestety czas naglił i odpuszczałem sobie refaktoryzacje. 
 
+W petli for, iterator jest prawostronny - nie jest mozliwe cos takiego:
+```
+    int [][]x;
+    x = new int[][2];
+    for (int[] y : x) {
+        y = new int[3];
+    }
+```
+natomiast nastepujacy kod jest w porządku:
+```
+    int [][]x;
+    x = new int[][2];
+    x[0]= new int[3];
+    x[1]= new int[3];
+    
+    x[0][0]=1; x[0][1]=2; x[0][2]=3;
+    x[1][0]=4; x[1][1]=5; x[1][2]=6;
+    
+    for (int[] y : x) {
+        y[0] = 10;
+        for (int z : y) {
+            printInt(z);
+        }
+    }
+```
+
+
 Kompliacja kompilatora za pomoca polecenia: `make`
 
 Uzycie: `./latc nazwa_pliku.lat`

src/latte/frontend/visitors/StmtChecker.java

@@ -87,9 +87,18 @@ public Void visit(latte.Absyn.Ass p, Environment arg) {
 
     public Void visit(latte.Absyn.Incr p, Environment arg) {
         Type exprType = p.expr_.accept(new ExprChecker(), arg);
+
+        if (p.expr_ instanceof EField) {
+            if (((EField) p.expr_).ident_.equals("length")) {
+                Type type = ((EField) p.expr_).expr_.accept(new ExprChecker(), arg);
+                if (type instanceof Array) {
+                    throw new SemanticError.IncrementingNonLValue(p.line_num);
+                }
+            }
+        }
+
         if (!(p.expr_ instanceof EVar) && !(p.expr_ instanceof EField) && !(p.expr_ instanceof EArrayElem) && !(p.expr_ instanceof EArrayElemR)) {
             throw new SemanticError.IncrementingNonLValue(p.line_num);
-
         }
         if (!exprType.equals(new Int())) {
             throw new SemanticError.OperatorCannotBeAppliedToType(p.line_num, "++", exprType);
@@ -99,6 +108,14 @@ public Void visit(latte.Absyn.Incr p, Environment arg) {
 
     public Void visit(latte.Absyn.Decr p, Environment arg) {
         Type exprType = p.expr_.accept(new ExprChecker(), arg);
+        if (p.expr_ instanceof EField) {
+            if (((EField) p.expr_).ident_.equals("length")) {
+                Type type = ((EField) p.expr_).expr_.accept(new ExprChecker(), arg);
+                if (type instanceof Array) {
+                    throw new SemanticError.DecrementingNonLValue(p.line_num);
+                }
+            }
+        }
         if (!(p.expr_ instanceof EVar) && !(p.expr_ instanceof EField) && !(p.expr_ instanceof EArrayElem) && !(p.expr_ instanceof EArrayElemR)) {
             throw new SemanticError.DecrementingNonLValue(p.line_num);
         }