src/main/java/ast/expressions/unaryexpressions/MemberAccessNode.java

@@ -1,11 +1,14 @@
 package ast.expressions.unaryexpressions;
 
 import ast.ASTNode;
+import semantic.SemanticVisitor;
+import typechecker.TypeCheckResult;
+import visitor.Visitable;
 
 import java.util.ArrayList;
 import java.util.List;
 
-public class MemberAccessNode implements ASTNode {
+public class MemberAccessNode implements ASTNode, Visitable {
     public Boolean thisExpr;
     public List<String> identifiers = new ArrayList<>();
 
@@ -17,4 +20,9 @@ public class MemberAccessNode implements ASTNode {
         identifiers.add(identifier);
     }
 
+    @Override
+    public TypeCheckResult accept(SemanticVisitor visitor) {
+        return visitor.analyze(this);
+    }
+
 }

src/main/java/ast/statementexpressions/methodcallstatementnexpressions/TargetNode.java

@@ -3,8 +3,11 @@ package ast.statementexpressions.methodcallstatementnexpressions;
 import ast.ASTNode;
 import ast.expressions.unaryexpressions.MemberAccessNode;
 import ast.statementexpressions.NewDeclarationNode;
+import semantic.SemanticVisitor;
+import typechecker.TypeCheckResult;
+import visitor.Visitable;
 
-public class TargetNode implements ASTNode {
+public class TargetNode implements ASTNode, Visitable {
     public Boolean thisTar;
     public MemberAccessNode memberAccess;
     public NewDeclarationNode newDeclaration;
@@ -25,4 +28,11 @@ public class TargetNode implements ASTNode {
     public TargetNode(String identifier) {
         this.identifier = identifier;
     }
+
+    @Override
+    public TypeCheckResult accept(SemanticVisitor visitor) {
+        return visitor.analyze(this);
+    }
+
+
 }

src/main/java/semantic/SemanticAnalyzer.java

@@ -9,6 +9,7 @@ import java.util.Objects;
 import ast.*;
 import ast.expressions.IExpressionNode;
 import ast.expressions.binaryexpressions.*;
+import ast.expressions.unaryexpressions.MemberAccessNode;
 import ast.expressions.unaryexpressions.UnaryNode;
 import ast.members.ConstructorNode;
 import ast.members.FieldNode;
@@ -21,7 +22,9 @@ import ast.statementexpressions.NewDeclarationNode;
 import ast.statementexpressions.crementexpressions.DecrementNode;
 import ast.statementexpressions.crementexpressions.IncrementNode;
 import ast.statementexpressions.methodcallstatementnexpressions.MethodCallNode;
+import ast.statementexpressions.methodcallstatementnexpressions.TargetNode;
 import ast.statements.*;
+import ast.type.EnumAccessModifierNode;
 import ast.type.type.*;
 import semantic.context.Context;
 import semantic.exceptions.*;
@@ -268,15 +271,12 @@ public class SemanticAnalyzer implements SemanticVisitor {
             variable = currentFields.get(toCheck.assignable.identifier);
         }
 
-        if (!Objects.equals(variable, rExpression.getType())) {
+        if (!Objects.equals(variable, rResult.getType())) {
             errors.add(new TypeMismatchException(
                     "Mismatch types in Assign-Statement: cannot convert from \"" + lResult.getType() + "\" to \""
                             + rResult.getType() + "\""));
             valid = false;
         }
-//        else {
-//            toCheck.setType(assignable.getType());
-//        }
         valid = valid && lResult.isValid() && rResult.isValid();
         currentNullType = null;
         return new TypeCheckResult(valid, null); // return type is null to get the return type sufficently
@@ -295,25 +295,43 @@ public class SemanticAnalyzer implements SemanticVisitor {
     @Override
     public TypeCheckResult analyze(MethodCallNode toCheck) {
 
+        if (toCheck.target.identifier != null) {
             var targetType = currentScope.getLocalVar(toCheck.target.identifier);
             if (targetType == null) {
                 targetType = currentFields.get(toCheck.target.identifier);
             }
             if (targetType instanceof ReferenceType reference) {
+                return new TypeCheckResult(true, getTypeFromMethod(toCheck, reference));
+            }
+        } else {
+            if(toCheck.target.thisTar){
+                return new TypeCheckResult(true, getTypeFromMethod(toCheck, new ReferenceType(currentClass.identifier)));
+            } else {
+                var result = toCheck.target.accept(this);
+                if (result.getType() instanceof ReferenceType reference) {
+                    return new TypeCheckResult(true, getTypeFromMethod(toCheck, reference));
+                }
+            }
+        }
+        return null;
+    }
+
+    private ITypeNode getTypeFromMethod(MethodCallNode toCheck, ReferenceType reference) {
         var classContext = context.getClass(reference.getIdentifier());
 
         if (classContext == null) {
-                errors.add(new NotDefinedException(toCheck.target.identifier + "is not Defined"));
+            errors.add(new NotDeclaredException(toCheck.target.identifier + "is not Defined"));
         } else {
             var methods = classContext.getMethods();
             for (var method : methods) {
                 if (toCheck.identifier.equals(method.getIdentifier()) && method.getParameters().size() == toCheck.parameters.size()) {
-                        return new TypeCheckResult(true, method.getType());
-                    }
-                }
-            }
+                    if(method.accesModifier.accessType == EnumAccessModifierNode.PUBLIC){
+                        return method.getType();
                     }else {
-
+                        errors.add(new NotVisibleException("This Method is not Visible"));
+                    }
+                }
+            }
         }
         return null;
     }
@@ -406,4 +424,46 @@ public class SemanticAnalyzer implements SemanticVisitor {
         return new TypeCheckResult(valid, null);
     }
 
+    @Override
+    public TypeCheckResult analyze(MemberAccessNode memberAccessNode) {
+
+        ITypeNode currentType = null;
+
+        for (String s : memberAccessNode.identifiers) {
+            if (currentType == null) {
+                if (currentScope.getLocalVar(s) != null) {
+                    currentType = currentScope.getLocalVar(s);
+
+                } else if (currentFields.get(s) != null) {
+                    currentType = currentFields.get(s);
+                } else {
+                    errors.add(new NotDeclaredException(s + "Not Declared"));
+                    return new TypeCheckResult(false, null);
+                }
+
+            } else {
+                if(currentType instanceof ReferenceType reference) {
+                    var currentTypeClass = context.getClass(reference.getIdentifier());
+
+                    var currentField = currentTypeClass.getField(s);
+                    currentType = currentField.getType();
+                }
+            }
+
+        }
+
+        return new TypeCheckResult(true, currentType);
+    }
+
+    @Override
+    public TypeCheckResult analyze(TargetNode targetNode) {
+
+        if (targetNode.memberAccess != null) {
+            return targetNode.memberAccess.accept(this);
+        }
+        return null;
+    }
+
+
+
 }

src/main/java/semantic/SemanticVisitor.java

@@ -2,6 +2,7 @@ package semantic;
 
 import ast.*;
 import ast.expressions.binaryexpressions.*;
+import ast.expressions.unaryexpressions.MemberAccessNode;
 import ast.expressions.unaryexpressions.UnaryNode;
 import ast.members.*;
 import ast.parameters.ParameterNode;
@@ -11,6 +12,7 @@ import ast.statementexpressions.NewDeclarationNode;
 import ast.statementexpressions.crementexpressions.DecrementNode;
 import ast.statementexpressions.crementexpressions.IncrementNode;
 import ast.statementexpressions.methodcallstatementnexpressions.MethodCallNode;
+import ast.statementexpressions.methodcallstatementnexpressions.TargetNode;
 import ast.statements.*;
 import typechecker.TypeCheckResult;
 
@@ -38,8 +40,6 @@ public interface SemanticVisitor {
 
     TypeCheckResult analyze(ElseNode toCheck);
 
-    //TypeCheckResult analyze(ForNode toCheck);
-
     TypeCheckResult analyze(AssignNode toCheck);
 
     TypeCheckResult analyze(DecrementNode toCheck);
@@ -66,4 +66,8 @@ public interface SemanticVisitor {
 
     TypeCheckResult analyze(UnaryNode toCheck);
 
+    TypeCheckResult analyze(MemberAccessNode toCheck);
+
+    TypeCheckResult analyze(TargetNode toCheck);
+
 }

src/main/java/semantic/exceptions/NotVisibleException.java

@@ -0,0 +1,9 @@
+package semantic.exceptions;
+
+public class NotVisibleException extends RuntimeException {
+
+    public NotVisibleException(String message) {
+        super(message);
+    }
+
+}

src/test/java/semantic/EndToTypedAstTest.java

@@ -26,11 +26,37 @@ import java.util.regex.Matcher;
 import java.util.regex.Pattern;
 
 import org.junit.jupiter.api.Test;
+
 import static org.junit.jupiter.api.Assertions.*;
 
 public class EndToTypedAstTest {
     private static final Map<String, Class<?>> exceptionMap = new HashMap<>();
 
+    @Test
+    public void testOnlyOneFile() {
+        SemanticAnalyzer.clearAnalyzer();
+
+        CharStream codeCharStream = null;
+        try {
+            codeCharStream = CharStreams.fromPath(Paths.get("src/test/resources/input/typedAstFeaturesTests/CorrectTest.java"));
+        } catch (IOException e) {
+            throw new RuntimeException(e);
+        }
+        SimpleJavaLexer lexer = new SimpleJavaLexer(codeCharStream);
+        CommonTokenStream tokenStream = new CommonTokenStream(lexer);
+
+        SimpleJavaParser parser = new SimpleJavaParser(tokenStream);
+        ParseTree parseTree = parser.program(); // parse the input
+
+        /* ------------------------- AST builder -> AST ------------------------- */
+        ASTBuilder astBuilder = new ASTBuilder();
+        ProgramNode abstractSyntaxTree = (ProgramNode) astBuilder.visit(parseTree);
+
+        var result = SemanticAnalyzer.generateTast(abstractSyntaxTree);
+
+        assertTrue(SemanticAnalyzer.errors.isEmpty());
+    }
+
     @Test
     public void exceptionsTest() {
         String directoryPath = "src/test/resources/input/typedAstExceptionsTests";
@@ -127,9 +153,8 @@ public class EndToTypedAstTest {
     }
 
 
-
-
     // ------------------ Helpers ------------------
+
     /**
      * This method is used to extract the expected exception from a given file.
      * It reads the file line by line and uses a regular expression to match the expected exception annotation.

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

@@ -0,0 +1,21 @@
+// @expected: NotVisibleException
+public class Test {
+
+    public int firstInt;
+    public Car ca;
+
+    public int speed(){
+        return ca.getSpeed();
+    }
+
+}
+
+public class Car{
+
+    private int speed;
+
+    private int getSpeed(){
+        return speed;
+    }
+
+}

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

@@ -1,8 +0,0 @@
-// @expected: TypeMismatchException
-public class Example {
-
-    public static void testMethod(int x){
-
-    }
-
-}

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

@@ -0,0 +1,20 @@
+public class Test {
+
+    public int firstInt;
+    public Car ca;
+
+    public int speed(){
+        return ca.getSpeed();
+    }
+
+}
+
+public class Car{
+
+    private int speed;
+
+    public int getSpeed(){
+        return speed;
+    }
+
+}

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

@@ -1,41 +1,8 @@
-public class Example {
-
-    public int a;
-
-    public Car c;
-
-    public void test(){
-        c = new Car();
-        int speed = c.getSpeed();
-    }
-
-    public static int testReturnMethod(int b, boolean bo){
-        a = b;
-        return a;
-    }
-
-    public void testOjektMethod(int testInt){
-        Test testClass = new Test();
-        int b = testClass.getFirstInt(testInt);
-    }
-
-}
-
-public class Test {
-
-    public int firstInt;
-
-    public int getFirstInt(int b){
-        return firstInt--;
-    }
-
-}
-
 public class Car{
 
     private int speed;
 
-    public int getSpeed(){
+    public int getSpeed(boolean boo){
         return speed;
     }
 

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

@@ -0,0 +1,13 @@
+public class Car{
+
+    private int speed;
+
+    public int getSpeed(){
+        return speed;
+    }
+
+    public int test(){
+        return this.getSpeed();
+    }
+
+}