Merge branch 'refs/heads/main' into testsuites

src/main/java/de/maishai/typedast/Help/TypedExpressionHelp.java

@@ -8,44 +8,28 @@ public class TypedExpressionHelp {
 
     public static TypedExpression convertExpression( TypedProgram typedProgram, Expression expression) {
         if (expression instanceof BoolLiteral boolLiteral) {
-            TypedBoolLiteral typedBoolLiteral = new TypedBoolLiteral( typedProgram, boolLiteral);
+            return new TypedBoolLiteral(boolLiteral);
-            typedBoolLiteral.typeCheck( typedProgram);
-            return typedBoolLiteral;
         }
         else if (expression instanceof CharLiteral charLiteral) {
-            TypedCharLiteral typedCharLiteral = new TypedCharLiteral( typedProgram, charLiteral);
+            return new TypedCharLiteral(charLiteral);
-            typedCharLiteral.typeCheck( typedProgram);
-            return typedCharLiteral;
         }
         else if (expression instanceof IntLiteral intLiteral) {
-            TypedIntLiteral typedIntLiteral = new TypedIntLiteral( typedProgram, intLiteral);
+            return new TypedIntLiteral(intLiteral);
-            typedIntLiteral.typeCheck( typedProgram);
-            return typedIntLiteral;
         }
         else if (expression instanceof Binary binary) {
-            TypedBinary typedBinary = new TypedBinary( typedProgram, binary);
+            return new TypedBinary(typedProgram, binary);
-            typedBinary.typeCheck( typedProgram);
-            return typedBinary;
         }
         else if (expression instanceof FieldVarAccess fieldVarAccess) {
-            TypedFieldVarAccess typedFieldVarAccess = new TypedFieldVarAccess( typedProgram, fieldVarAccess);
+            return new TypedFieldVarAccess(typedProgram, fieldVarAccess);
-            typedFieldVarAccess.typeCheck( typedProgram);
-            return typedFieldVarAccess;
         }
         else if (expression instanceof MethodCall methodCall) {
-            TypedMethodCall typedMethodCall = new TypedMethodCall( typedProgram, methodCall);
+            return new TypedMethodCall(typedProgram, methodCall);
-            typedMethodCall.typeCheck(typedProgram);
-            return typedMethodCall;
         }
         else if (expression instanceof New newStmt) {
-            TypedNew typedNew = new TypedNew( typedProgram, newStmt);
+            return new TypedNew(typedProgram, newStmt);
-            typedNew.typeCheck( typedProgram);
-            return typedNew;
         }
         else if (expression instanceof Unary unary) {
-            TypedUnary typedUnary = new TypedUnary( typedProgram, unary);
+            return new TypedUnary(typedProgram, unary);
-            typedUnary.typeCheck( typedProgram);
-            return typedUnary;
         } else {
             return null;
         }

src/main/java/de/maishai/typedast/typedclass/TypedAssignment.java

@@ -20,12 +20,13 @@ public class TypedAssignment implements TypedStatement {
 
     public TypedAssignment(TypedProgram typedProgram, Assignment untyped) {
         convertToTypedAssignment(typedProgram, untyped);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedAssignment(TypedProgram typedProgram, Assignment untyped) {
         value = convertExpression(typedProgram, untyped.value());
         location = new TypedFieldVarAccess(typedProgram, untyped.location());
-        location.typeCheck(typedProgram);
+        //location.typeCheck(typedProgram);
     }
 
     @Override

src/main/java/de/maishai/typedast/typedclass/TypedBinary.java

@@ -27,6 +27,7 @@ public class TypedBinary implements TypedExpression {
 
     public TypedBinary(TypedProgram typedProgram, Binary unTypedBinary) {
         convertToTypedBinary(typedProgram, unTypedBinary);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedBinary(TypedProgram typedProgram, Binary unTypedBinary) {

src/main/java/de/maishai/typedast/typedclass/TypedBlock.java

@@ -18,11 +18,12 @@ import java.util.List;
 public class TypedBlock implements TypedNode {
     private List<TypedLocalVariable> vars = new ArrayList<>();
     private List<TypedStatement> stmts = new ArrayList<>();
-    private Type type;
+    private Type type = Type.VOID;
 
 
     public TypedBlock(TypedProgram typedProgram, Block unTypedBlock) {
         convertToTypedBlock(typedProgram, unTypedBlock);
+        clearLocalVariable(typedProgram);
     }
 
     public TypedBlock(List<TypedLocalVariable> vars, List<TypedStatement> stmts) {
@@ -41,45 +42,31 @@ public class TypedBlock implements TypedNode {
                 vars.add(new TypedLocalVariable(typedProgram, declaration));
             }
             if (stmt instanceof Assignment assignment) {
-                TypedAssignment typedAssignment = new TypedAssignment(typedProgram, assignment);
+                stmts.add(new TypedAssignment(typedProgram, assignment));
-                typedAssignment.typeCheck(typedProgram);
-                stmts.add(typedAssignment);
                 continue;
             }
             if (stmt instanceof For forStmt) {
-                TypedFor typedFor = new TypedFor(typedProgram, forStmt);
+                stmts.add(new TypedFor(typedProgram, forStmt));
-                typedFor.typeCheck(typedProgram);
-                stmts.add(typedFor);
                 continue;
             }
             if (stmt instanceof IfElse ifElse) {
-                TypedIfElse typedIfElse = new TypedIfElse(typedProgram, ifElse);
+                stmts.add(new TypedIfElse(typedProgram, ifElse));
-                typedIfElse.typeCheck(typedProgram);
-                stmts.add(typedIfElse);
                 continue;
             }
             if (stmt instanceof While whileStmt) {
-                TypedWhile typedWhile = new TypedWhile(typedProgram, whileStmt);
+                stmts.add(new TypedWhile(typedProgram, whileStmt));
-                typedWhile.typeCheck(typedProgram);
-                stmts.add(typedWhile);
                 continue;
             }
             if (stmt instanceof DoWhile doWhile) {
-                TypedDoWhile typedDoWhile = new TypedDoWhile(typedProgram, doWhile);
+                stmts.add(new TypedDoWhile(typedProgram, doWhile));
-                typedDoWhile.typeCheck(typedProgram);
-                stmts.add(typedDoWhile);
                 continue;
             }
             if (stmt instanceof Return returnStmt) {
-                TypedReturn typedReturn = new TypedReturn(typedProgram, returnStmt);
+                stmts.add(new TypedReturn(typedProgram, returnStmt));
-                typedReturn.typeCheck(typedProgram);
-                stmts.add(typedReturn);
                 continue;
             }
             if (stmt instanceof New newStmt) {
-                TypedNew typedNew = new TypedNew(typedProgram, newStmt);
+                stmts.add(new TypedNew(typedProgram, newStmt));
-                typedNew.typeCheck(typedProgram);
-                stmts.add(typedNew);
                 continue;
             }
 
@@ -94,9 +81,7 @@ public class TypedBlock implements TypedNode {
             }
 
             if (stmt instanceof MethodCall methodCall) {
-                TypedMethodCall typedMethodCall = new TypedMethodCall(typedProgram, methodCall);
+                stmts.add(new TypedMethodCall(typedProgram, methodCall));
-                typedMethodCall.typeCheck(typedProgram);
-                stmts.add(typedMethodCall);
             }
 
             if (stmt instanceof Print printStmt) {
@@ -105,24 +90,26 @@ public class TypedBlock implements TypedNode {
                 stmts.add(typedPrint);
             }
         }
-        this.typeCheck(typedProgram);
     }
 
     @Override
     public Type typeCheck(TypedProgram typedProgram) {
-        Type chekType = null;
+        return type;
-        for (TypedStatement stmt : stmts) {
-            stmt.typeCheck(typedProgram);
-            if (stmt instanceof TypedReturn returnStmt) {
-                chekType = returnStmt.getType();
-            }
     }
 
-        if (chekType == null) {
+    private void clearLocalVariable(TypedProgram typedProgram){
-            chekType = Type.VOID;
+        for(var typedLocalVariable : vars){
+            if (typedProgram.getCurrentClass().isCurrentMethodPresent() && !typedProgram.getCurrentClass().isCurrentConstructorPresent()) {
+                if (typedProgram.getCurrentClass().getCurrentMethod().isLocalVariableInMethod(typedLocalVariable.getName())) {
+                    typedProgram.getCurrentClass().getCurrentMethod().deleteLocalVariableInMethod(typedLocalVariable.getName());
+                }
+            }
+            if (!typedProgram.getCurrentClass().isCurrentMethodPresent() && typedProgram.getCurrentClass().isCurrentConstructorPresent()) {
+                if (typedProgram.getCurrentClass().getCurrentConstructor().isLocalVariableInConstructor(typedLocalVariable.getName())) {
+                    typedProgram.getCurrentClass().getCurrentConstructor().deleteLocalVariableInConstructor(typedLocalVariable.getName());
+                }
+            }
         }
-        type = chekType;
-        return type;
     }
 
     public void codeGen(MethodContext ctx) {

src/main/java/de/maishai/typedast/typedclass/TypedBoolLiteral.java

@@ -18,11 +18,11 @@ public class TypedBoolLiteral implements TypedExpression {
     private Type type;
 
 
-    public TypedBoolLiteral(TypedProgram typedProgram, BoolLiteral unTypedBoolLiteral) {
+    public TypedBoolLiteral(BoolLiteral unTypedBoolLiteral) {
-        convertToTypedBoolLiteral(typedProgram, unTypedBoolLiteral);
+        convertToTypedBoolLiteral(unTypedBoolLiteral);
     }
 
-    public void convertToTypedBoolLiteral(TypedProgram typedProgram, BoolLiteral unTypedBoolLiteral) {
+    public void convertToTypedBoolLiteral(BoolLiteral unTypedBoolLiteral) {
         value = unTypedBoolLiteral.value();
         type = Type.BOOL;
     }

src/main/java/de/maishai/typedast/typedclass/TypedCharLiteral.java

@@ -13,11 +13,11 @@ public class TypedCharLiteral implements TypedExpression {
     private char value;
     private Type type;
 
-    public TypedCharLiteral(TypedProgram typedProgram, CharLiteral unTypedCharLiteral) {
+    public TypedCharLiteral( CharLiteral unTypedCharLiteral) {
-        convertToCharLiteral(typedProgram, unTypedCharLiteral);
+        convertToCharLiteral(unTypedCharLiteral);
     }
 
-    public void convertToCharLiteral(TypedProgram typedProgram, CharLiteral unTypedCharLiteral) {
+    public void convertToCharLiteral(CharLiteral unTypedCharLiteral) {
         value = unTypedCharLiteral.value();
         type = Type.CHAR;
     }

src/main/java/de/maishai/typedast/typedclass/TypedConstructor.java

@@ -71,6 +71,9 @@ public class TypedConstructor implements TypedNode {
         this.typedBlock = new TypedBlock(typedProgram, unTypedConstructor.block());
         typeCheck(typedProgram);
     }
+    public void deleteLocalVariableInConstructor(String localVarName){
+        localVariables.removeIf(localVariable -> localVariable.getName().equals(localVarName));
+    }
 
     @Override
     public Type typeCheck(TypedProgram typedProgram) {

src/main/java/de/maishai/typedast/typedclass/TypedDoWhile.java

@@ -18,6 +18,7 @@ public class TypedDoWhile implements TypedStatement {
 
     public TypedDoWhile(TypedProgram typedProgram, DoWhile unTypedDoWhile) {
         convertToTypedDoWhile(typedProgram, unTypedDoWhile);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedDoWhile(TypedProgram typedProgram, DoWhile unTypedDoWhile) {

src/main/java/de/maishai/typedast/typedclass/TypedFieldVarAccess.java

@@ -25,6 +25,7 @@ public class TypedFieldVarAccess implements TypedExpression {
 
     public TypedFieldVarAccess(TypedProgram typedProgram, FieldVarAccess unTypedFieldVarAccess) {
         convertToTypedFieldVarAccess(typedProgram, unTypedFieldVarAccess);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedFieldVarAccess(TypedProgram typedProgram, FieldVarAccess unTypedFieldVarAccess) {

src/main/java/de/maishai/typedast/typedclass/TypedFor.java

@@ -22,6 +22,7 @@ public class TypedFor implements TypedStatement {
 
     public TypedFor(TypedProgram typedProgram, For unTypedFor) {
         convertToTypedFor(typedProgram, unTypedFor);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedFor(TypedProgram typedProgram, For unTypedFor) {

src/main/java/de/maishai/typedast/typedclass/TypedIfElse.java

@@ -21,6 +21,7 @@ public class TypedIfElse implements TypedStatement {
 
     public TypedIfElse(TypedProgram typedProgram, IfElse unTypedIfElse) {
         convertToTypedIfElse(typedProgram, unTypedIfElse);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedIfElse(TypedProgram typedProgram, IfElse unTypedIfElse) {

src/main/java/de/maishai/typedast/typedclass/TypedIntLiteral.java

@@ -20,11 +20,11 @@ public class TypedIntLiteral implements TypedExpression {
     private Type type;
 
 
-    public TypedIntLiteral(TypedProgram typedProgram, IntLiteral unTypedIntLiteral) {
+    public TypedIntLiteral(IntLiteral unTypedIntLiteral) {
-        convertToTypedIntLiteral(typedProgram, unTypedIntLiteral);
+        convertToTypedIntLiteral(unTypedIntLiteral);
     }
 
-    public void convertToTypedIntLiteral(TypedProgram typedProgram, IntLiteral unTypedIntLiteral) {
+    public void convertToTypedIntLiteral(IntLiteral unTypedIntLiteral) {
         value = unTypedIntLiteral.value();
         type = Type.INT;
     }

src/main/java/de/maishai/typedast/typedclass/TypedMethod.java

@@ -66,6 +66,9 @@ public class TypedMethod implements TypedNode {
         return isLocalVariablePresent(localVarName) || isParameterPresent(localVarName);
     }
 
+    public void deleteLocalVariableInMethod(String localVarName){
+        localVariables.removeIf(localVariable -> localVariable.getName().equals(localVarName));
+    }
     public Type getLocalVariableType(String localVarName) {
         return localVariables.stream().filter(localVariable -> localVariable.getName().equals(localVarName)).findFirst().get().getType();
     }

src/main/java/de/maishai/typedast/typedclass/TypedMethodCall.java

@@ -25,11 +25,12 @@ public class TypedMethodCall implements TypedExpression, TypedStatement {
 
     public TypedMethodCall(TypedProgram typedProgram, MethodCall unTypedMethodCall) {
         convertToTypedMethodCall(typedProgram, unTypedMethodCall);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedMethodCall(TypedProgram typedProgram, MethodCall unTypedMethodCall) {
         recipient = new TypedFieldVarAccess(typedProgram, unTypedMethodCall.recipient());
-        recipient.typeCheck(typedProgram);
+        //recipient.typeCheck(typedProgram);
         for (Expression arg : unTypedMethodCall.args()) {
             args.add(convertExpression(typedProgram, arg));
         }

src/main/java/de/maishai/typedast/typedclass/TypedNew.java

@@ -21,6 +21,7 @@ public class TypedNew implements TypedExpression, TypedStatement {
 
     public TypedNew(TypedProgram typedProgram, New unTypedNew) {
         convertToTypedNew(typedProgram, unTypedNew);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedNew(TypedProgram typedProgram, New unTypedNew) {

src/main/java/de/maishai/typedast/typedclass/TypedReturn.java

@@ -19,6 +19,7 @@ public class TypedReturn implements TypedStatement {
 
     public TypedReturn(TypedProgram typedProgram, Return unTypedReturn) {
         convertToTypedReturn(typedProgram, unTypedReturn);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedReturn(TypedProgram typedProgram, Return unTypedReturn) {

src/main/java/de/maishai/typedast/typedclass/TypedUnary.java

@@ -18,6 +18,7 @@ public class TypedUnary implements TypedExpression {
 
     public TypedUnary(TypedProgram typedProgram, Unary unTypedUnary) {
         convertToTypedUnary(typedProgram, unTypedUnary);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedUnary(TypedProgram typedProgram, Unary unTypedUnary) {

src/main/java/de/maishai/typedast/typedclass/TypedWhile.java

@@ -17,6 +17,7 @@ public class TypedWhile implements TypedStatement {
 
     public TypedWhile(TypedProgram typedProgram, While unTypedWhile) {
         convertToTypedWhile(typedProgram, unTypedWhile);
+        typeCheck(typedProgram);
     }
 
     public void convertToTypedWhile(TypedProgram typedProgram, While unTypedWhile) {