Merge branch 'johns-branch' of https://gitea.hb.dhbw-stuttgart.de/i22005/NichtHaskell2.0 into NewParser

src/main/java/ast/members/ConstructorNode.java

@@ -10,14 +10,10 @@ import java.util.ArrayList;
 import java.util.List;
 import java.util.Objects;
 
-public class ConstructorNode extends MethodNode implements Visitable {
+public class ConstructorNode extends MethodNode  {
-    public AccessModifierNode accessType;
-    public String identifier;
-    public List<ParameterNode> parameters = new ArrayList<>();
-    public BlockNode block;
 
     public ConstructorNode(String accessType, String identifier, BlockNode block) {
-        this.accessType = new AccessModifierNode(accessType);
+        this.accesModifier = new AccessModifierNode(accessType);
         this.identifier = identifier;
         this.block = block;
     }

src/main/java/ast/members/MethodNode.java

@@ -17,7 +17,7 @@ public class MethodNode implements MemberNode, Visitable {
     public AccessModifierNode accesModifier;
     private ITypeNode type;
     public Boolean voidType;
-    private String identifier;
+    protected String identifier;
     public List<ParameterNode> parameters = new ArrayList<>();
     public BlockNode block;
 

src/main/java/bytecode/MethodCodeGen.java

@@ -53,7 +53,7 @@ public class MethodCodeGen implements bytecode.visitor.MethodVisitor {
     @Override
     public void visit(ConstructorNode constructorNode) {
         methodVisitor =
-                classWriter.visitMethod(mapper.mapAccessTypeToOpcode(constructorNode.accessType),
+                classWriter.visitMethod(mapper.mapAccessTypeToOpcode(constructorNode.accesModifier),
                         "<init>",
                         mapper.generateMethodDescriptor(new BaseType(TypeEnum.VOID), constructorNode.parameters),
                         null,

src/main/java/semantic/Scope.java

@@ -16,7 +16,7 @@ public class Scope {
 
     public void addLocalVar(String name, ITypeNode type) {
         if (this.contains(name)) {
-            throw new AlreadyDeclaredException("Variable " + name + " already exists in this scope");
+            SemanticAnalyzer.errors.add(new AlreadyDeclaredException("Duplicate local variable " + name));
         }
         localVars.peek().put(name, type);
     }

src/main/java/semantic/SemanticAnalyzer.java

@@ -112,9 +112,6 @@ public class SemanticAnalyzer implements SemanticVisitor {
 
     @Override
     public TypeCheckResult analyze(MethodNode methodNode) {
-        if (methodNode instanceof ConstructorNode) {
-            return new TypeCheckResult(true, new BaseType(TypeEnum.VOID));
-        } else {
 
         var valid = true;
 
@@ -159,7 +156,6 @@ public class SemanticAnalyzer implements SemanticVisitor {
         return new TypeCheckResult(valid, resultType);
 
     }
-    }
 
     @Override
     public TypeCheckResult analyze(FieldNode toCheck) {
@@ -224,7 +220,7 @@ public class SemanticAnalyzer implements SemanticVisitor {
         }
         for (IStatementNode statementNode : blockNode.statements) {
             var result = statementNode.accept(this);
-            if(!(statementNode instanceof IncrementNode) && !(statementNode instanceof DecrementNode)){
+            if (!(statementNode instanceof IncrementNode) && !(statementNode instanceof DecrementNode)) {
                 if (result.getType() != null) {
                     if (blockReturnType == null) {
                         blockReturnType = result.getType();
@@ -250,6 +246,9 @@ public class SemanticAnalyzer implements SemanticVisitor {
             if (currentFields.get(toCheck.identifier) != null) {
                 var type = currentFields.get(toCheck.identifier);
                 toCheck.setTypeNode(type);
+                MemberAccessNode memberAccessNode = new MemberAccessNode(false);
+                memberAccessNode.identifiers.add(currentClass.identifier);
+                toCheck.memberAccess = memberAccessNode;
                 return new TypeCheckResult(true, type);
             } else if (currentScope.getLocalVar(toCheck.identifier) != null) {
                 var type = currentScope.getLocalVar(toCheck.identifier);
@@ -409,6 +408,7 @@ public class SemanticAnalyzer implements SemanticVisitor {
                     case PLUS, MINUS:
                         if (calcRes.getType() instanceof BaseType calcType && dotRes.getType() instanceof BaseType dotType &&
                                 calcType.getTypeEnum().equals(TypeEnum.INT) && dotType.getTypeEnum().equals(TypeEnum.INT)) {
+                            calcNode.setType(new BaseType(TypeEnum.INT));
                             return new TypeCheckResult(true, new BaseType(TypeEnum.INT));
                         }
                         break;
@@ -416,10 +416,12 @@ public class SemanticAnalyzer implements SemanticVisitor {
                 }
 
             } else {
+                calcNode.setType(calcRes.getType());
                 return new TypeCheckResult(calcRes.isValid(), calcRes.getType());
             }
         } else if (calcNode.dotExpression != null) {
             var dotRes = calcNode.dotExpression.accept(this);
+            calcNode.setType(dotRes.getType());
             return new TypeCheckResult(dotRes.isValid(), dotRes.getType());
         }
         return new TypeCheckResult(false, null);
@@ -462,6 +464,7 @@ public class SemanticAnalyzer implements SemanticVisitor {
             case LESS, LESS_EQUAL, GREATER, GREATER_EQUAL:
                 if (expResult.getType() instanceof BaseType expResultType && expResultType.getTypeEnum().equals(TypeEnum.INT) &&
                         unaryResult.getType() instanceof BaseType unaryResultType && unaryResultType.getTypeEnum().equals(TypeEnum.INT)) {
+                    nonCalculationNode.setType(new BaseType(TypeEnum.BOOL));
                     return new TypeCheckResult(true, new BaseType(TypeEnum.BOOL));
                 } else {
                     errors.add(new TypeMismatchException("Both types must be Integer"));
@@ -470,6 +473,7 @@ public class SemanticAnalyzer implements SemanticVisitor {
             case OR, AND:
                 if (expResult.getType() instanceof BaseType expResultType && expResultType.getTypeEnum().equals(TypeEnum.INT) &&
                         unaryResult.getType() instanceof BaseType unaryResultType && unaryResultType.getTypeEnum().equals(TypeEnum.INT)) {
+                    nonCalculationNode.setType(new BaseType(TypeEnum.BOOL));
                     return new TypeCheckResult(true, new BaseType(TypeEnum.BOOL));
                 } else {
                     errors.add(new TypeMismatchException("Both types must be Boolean"));
@@ -478,6 +482,7 @@ public class SemanticAnalyzer implements SemanticVisitor {
             case EQUAL, NOT_EQUAL:
                 if (expResult.getType() instanceof BaseType expResultType && unaryResult.getType() instanceof BaseType unaryResultType
                         && Objects.equals(expResultType, unaryResultType)) {
+                    nonCalculationNode.setType(new BaseType(TypeEnum.BOOL));
                     return new TypeCheckResult(true, new BaseType(TypeEnum.BOOL));
                 } else {
                     errors.add(new TypeMismatchException("Both types must be the same"));
@@ -493,9 +498,13 @@ public class SemanticAnalyzer implements SemanticVisitor {
 
         if (unary.identifier != null) {
             if (currentScope.contains(unary.identifier)) {
-                return new TypeCheckResult(valid, currentScope.getLocalVar(unary.identifier));
+                var type = currentScope.getLocalVar(unary.identifier);
+                unary.setType(type);
+                return new TypeCheckResult(valid, type);
             } else if (currentFields.get(unary.identifier) != null) {
-                return new TypeCheckResult(valid, currentFields.get(unary.identifier));
+                var type = currentFields.get(unary.identifier);
+                unary.setType(type);
+                return new TypeCheckResult(valid, type);
             } else if (unary.statement != null) {
                 var result = unary.statement.accept(this);
                 unary.setType(result.getType());
@@ -505,15 +514,19 @@ public class SemanticAnalyzer implements SemanticVisitor {
             }
         } else if (unary.statement != null) {
             var result = unary.statement.accept(this);
+            unary.setType(result.getType());
             return new TypeCheckResult(result.isValid(), result.getType());
         } else if (unary.value != null) {
             var result = unary.value.accept(this);
+            unary.setType(result.getType());
             return new TypeCheckResult(result.isValid(), result.getType());
         } else if (unary.memberAccess != null) {
             var result = unary.memberAccess.accept(this);
+            unary.setType(result.getType());
             return new TypeCheckResult(result.isValid(), result.getType());
         } else if (unary.expression != null) {
             var result = unary.expression.accept(this);
+            unary.setType(result.getType());
             return new TypeCheckResult(result.isValid(), result.getType());
         }
 
@@ -525,6 +538,10 @@ public class SemanticAnalyzer implements SemanticVisitor {
 
         ITypeNode currentType = null;
 
+        if (memberAccessNode.thisExpr) {
+            currentType = new ReferenceType(currentClass.identifier);
+        }
+
         for (String s : memberAccessNode.identifiers) {
             if (currentType == null) {
                 if (currentScope.getLocalVar(s) != null) {
@@ -542,7 +559,7 @@ public class SemanticAnalyzer implements SemanticVisitor {
                     var currentTypeClass = context.getClass(reference.getIdentifier());
 
                     var currentField = currentTypeClass.getField(s);
-                    if (currentField.getAccessModifier().accessType == EnumAccessModifierNode.PUBLIC) {
+                    if (currentField.getAccessModifier().accessType == EnumAccessModifierNode.PUBLIC || memberAccessNode.thisExpr) {
                         currentType = currentField.getType();
                     } else {
                         errors.add(new NotVisibleException("This field is not visible"));

src/main/java/semantic/context/FieldContext.java

@@ -4,13 +4,15 @@ import ast.members.FieldNode;
 import ast.type.*;
 import ast.type.type.*;
 
+import java.util.Objects;
+
 public class FieldContext {
 
   private AccessModifierNode accessModifier;
   private ITypeNode type;
 
   public FieldContext(FieldNode field) {
-    accessModifier = field.accessTypeNode;
+      accessModifier = Objects.requireNonNullElseGet(field.accessTypeNode, () -> new AccessModifierNode("private"));
     type = field.type;
   }
 

src/test/resources/input/typedAstExceptionsTests/DuplicatedConstructor.java

@@ -0,0 +1,12 @@
+// @expected: AlreadyDeclaredException
+public class AllFeaturesClassExample {
+
+    public AllFeaturesClassExample(boolean b){
+
+    }
+
+    public AllFeaturesClassExample(boolean b){
+
+    }
+
+}

src/test/resources/input/typedAstExceptionsTests/FieldOrParameterTypeMismatch.java

@@ -0,0 +1,10 @@
+// @expected: TypeMismatchException
+public class AllFeaturesClassExample {
+    int x;
+
+    public boolean test(boolean x){
+        return this.x;
+    }
+
+}
+

src/test/resources/input/typedAstFeaturesTests/ConstructorOverloading.java

@@ -0,0 +1,11 @@
+public class AllFeaturesClassExample {
+
+    public AllFeaturesClassExample(boolean b){
+
+    }
+
+    public AllFeaturesClassExample(boolean b, int a){
+
+    }
+
+}

src/test/resources/input/typedAstFeaturesTests/CorrectTest.java

@@ -1,38 +1,10 @@
+
 public class AllFeaturesClassExample {
-    int a;
+    int x;
-    boolean b;
-    char c;
 
-    public void controlStructures(int adf, boolean bool) {
+    public void test(){
-        if (a > (10 + 8)) {
+        x = 1;
-        } else {
     }
 
-
-        while (a > adf) {
-            a--;
-        }
-
-        for (int i = 0; i < 5; i++) {
-        }
-
-
-    }
-
-//    void logicalOperations() {
-        // Logische UND-Operation
-//        if (b && a > 5) {
-//            System.out.println("a ist größer als 5 und b ist wahr");
-//        }
-
-        // Logische ODER-Operation
-//        if (b || a < 5) {
-//            System.out.println("b ist wahr oder a ist kleiner als 5");
-//        }
-//    }
-
-//    public static void main(String[] args) {
-//        AllFeaturesClassExample obj = new AllFeaturesClassExample(12, true, 'a');
-//        obj.controlStructures();
-//    }
 }
+