src/main/java/Input.java

@@ -1,21 +1,17 @@
-class ExampleEmpty {
-
-}
-
 class Example {
     int i;
     boolean b;
     char c;
-    void callM(){
-        Example2 example2 = new Example2();
-        example2.m(1);
-    }
 
 }
 class Example2 {
     boolean instVarBool;
     int m(int n){
-        boolean a = this.instVarBool;
-        return n;
+        boolean localBool;
+        localBool = true;
+        if(localBool){
+            return n;
+        }
+        return -1;
     }
 }

src/main/java/abstractSyntaxTree/Class/RefType.java

@@ -15,8 +15,8 @@ import java.util.Objects;
 
 public class RefType extends AbstractType implements Node {
 
-
-    public String name; // Class Name
+    //Class Name
+    public String name;
     public List<FieldDecl> fieldDecls;
     public List<MethodDecl> methodDecls;
     boolean hasMain;

src/main/java/abstractSyntaxTree/Datatype/BoolDatatype.java

@@ -35,8 +35,5 @@ public class BoolDatatype extends AbstractType implements IDatatype{
         }
     }
 
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
+
 }

src/main/java/abstractSyntaxTree/Datatype/CharDatatype.java

@@ -34,9 +34,4 @@ public class CharDatatype extends AbstractType implements IDatatype{
         CharDatatype charDatatype = (CharDatatype) o;
         return (Objects.equals(value, charDatatype.value));
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Datatype/IDatatype.java

@@ -10,8 +10,6 @@ public interface IDatatype {
     // visit method for code generation
 
     void codeGen(MethodVisitor mv) throws Exception;
-
-    TypeCheckResult getTypeCheckResult();
 }
 
 //TODO: Check if we need to differentiate between primitive types and reference types --> for example in "=="

src/main/java/abstractSyntaxTree/Datatype/IntDatatype.java

@@ -41,9 +41,4 @@ public class IntDatatype extends AbstractType implements IDatatype{
         IntDatatype intDatatype = (IntDatatype) o;
         return (Objects.equals(value, intDatatype.value));
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Expression/BinaryExpression.java

@@ -3,6 +3,7 @@ package abstractSyntaxTree.Expression;
 import TypeCheck.TypeCheckResult;
 import TypeCheck.TypeCheckHelper;
 import TypeCheck.AbstractType;
+import abstractSyntaxTree.Datatype.IntDatatype;
 import abstractSyntaxTree.Parameter.ParameterList;
 import org.objectweb.asm.*;
 
@@ -186,9 +187,4 @@ public class BinaryExpression extends AbstractType implements IExpression{
                 &&  Objects.equals(right, binaryExpression.right)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Expression/IExpression.java

@@ -15,6 +15,4 @@ public interface IExpression extends Node {
 
     // visit method for code generation
     void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception;
-
-    TypeCheckResult getTypeCheckResult();
 }

src/main/java/abstractSyntaxTree/Expression/InstVarExpression.java

@@ -9,6 +9,7 @@ import org.objectweb.asm.Opcodes;
 
 import java.util.HashMap;
 import java.util.LinkedHashMap;
+import java.util.Objects;
 
 public class InstVarExpression implements IExpression{
 
@@ -73,9 +74,4 @@ public class InstVarExpression implements IExpression{
                 &&  Objects.equals(fieldName, instVarExpression.fieldName)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Expression/IntConstantExpression.java

@@ -35,9 +35,4 @@ public class IntConstantExpression extends AbstractType implements IExpression{
         return (Objects.equals(value, intConstantExpression.value)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Expression/LocalVarIdentifier.java

@@ -81,9 +81,4 @@ public class LocalVarIdentifier implements IExpression{
         return (Objects.equals(identifier, localVarIdentifier.identifier)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Expression/UnaryExpression.java

@@ -80,9 +80,4 @@ public class UnaryExpression extends AbstractType implements IExpression{
                 &&  Objects.equals(operand, unaryExpression.operand)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Statement/BlockStatement.java

@@ -99,9 +99,4 @@ public class BlockStatement extends AbstractType implements IStatement {
                 &&  Objects.equals(statements, blockStatement.statements)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Statement/EmptyStatement.java

@@ -28,9 +28,4 @@ public class EmptyStatement  extends AbstractType implements IStatement{
     public boolean equals(Object o) {
         return true;
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Statement/IStatement.java

@@ -14,5 +14,4 @@ public interface IStatement extends Node {
     TypeCheckResult typeCheck(HashMap<String, HashMap<String, HashMap<String, ParameterList>>> methodContext, HashMap<String, HashMap<String, String>> typeContext, HashMap<String, String> localVars) throws Exception;
 
     void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception;
-    TypeCheckResult getTypeCheckResult();
 }

src/main/java/abstractSyntaxTree/Statement/IfElseStatement.java

@@ -81,9 +81,4 @@ public class IfElseStatement extends AbstractType implements IStatement{
                 &&  Objects.equals(elseStatement, ifElseStatement.elseStatement)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Statement/IfStatement.java

@@ -61,11 +61,6 @@ public class IfStatement extends AbstractType implements IStatement{
                 &&  Objects.equals(ifStatement, ifStatementObj.ifStatement)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }
 
 

src/main/java/abstractSyntaxTree/Statement/LocalVarDecl.java

@@ -59,9 +59,4 @@ public class LocalVarDecl implements IStatement{
                 &&  Objects.equals(identifier, localVarDecl.identifier)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Statement/ReturnStatement.java

@@ -63,9 +63,4 @@ public class ReturnStatement extends AbstractType implements IStatement{
         return (Objects.equals(expression, returnStatement.expression)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/Statement/WhileStatement.java

@@ -70,9 +70,4 @@ public class WhileStatement extends AbstractType implements IStatement {
                 &&  Objects.equals(statement, whileStatement.statement)
         );
     }
-
-    @Override
-    public TypeCheckResult getTypeCheckResult() {
-        return getTypeCheckResult();
-    }
 }

src/main/java/abstractSyntaxTree/StatementExpression/MethodCallStatementExpression.java

@@ -67,10 +67,10 @@ public class MethodCallStatementExpression extends AbstractType implements IExpr
             for (MethodDecl methodDecl : methodDecls) {
                 if (methodDecl.name.equals(methodName)) {
                     //Get the method descriptor
-                   // descriptor = methodDecl.getMethodDescriptor(methodContext);
+                    descriptor = methodDecl.getMethodDescriptor(methodContext);
                 }
             }
-        //    mv.visitMethodInsn(Opcodes.INVOKEVIRTUAL, classThatHasTheMethodIfNotThis.name, methodName, descriptor, false);
+            mv.visitMethodInsn(Opcodes.INVOKEVIRTUAL, classThatHasTheMethodIfNotThis.name, methodName, descriptor, false);
 
         } else {
             // Load this onto the stack
@@ -86,10 +86,10 @@ public class MethodCallStatementExpression extends AbstractType implements IExpr
             for (MethodDecl methodDecl : methodDecls) {
                 if (methodDecl.name.equals(methodName)) {
                     //Get the method descriptor
-        //            descriptor = methodDecl.getMethodDescriptor(methodContext);
+                    descriptor = methodDecl.getMethodDescriptor(methodContext);
                 }
             }
-       //     mv.visitMethodInsn(Opcodes.INVOKEVIRTUAL, thisClass.name, methodName, descriptor, false);
+            mv.visitMethodInsn(Opcodes.INVOKEVIRTUAL, thisClass.name, methodName, descriptor, false);
         }
     }
 

src/main/java/abstractSyntaxTree/StatementExpression/NewStatementExpression.java

@@ -1,7 +1,6 @@
 package abstractSyntaxTree.StatementExpression;
 
 import TypeCheck.AbstractType;
-import TypeCheck.TypeCheckHelper;
 import TypeCheck.TypeCheckResult;
 import abstractSyntaxTree.Expression.IExpression;
 import abstractSyntaxTree.Parameter.ParameterList;
@@ -9,7 +8,6 @@ import abstractSyntaxTree.Statement.IStatement;
 import org.objectweb.asm.MethodVisitor;
 import org.objectweb.asm.Opcodes;
 
-import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.LinkedHashMap;
 import java.util.List;
@@ -24,13 +22,7 @@ public class NewStatementExpression extends AbstractType implements IExpression,
 
     @Override
     public TypeCheckResult typeCheck(HashMap<String, HashMap<String, HashMap<String, ParameterList>>> methodContext, HashMap<String, HashMap<String, String>> typeContext, HashMap<String, String> localVars) throws Exception {
-        if(!TypeCheckHelper.typeExists(className, new ArrayList<>(typeContext.keySet()))){
-            throw new Exception("TypeCheck Exception: An instance of " + className + " is created, but the type does not exist.");
-        }
-        TypeCheckResult result = new TypeCheckResult();
-        result.type = className;
-        setTypeCheckResult(result);
-        return result;
+        return null;
     }
 
     @Override