abstract syntax tree as defined on 02.05.2024

Source/TypeCheck/AbstractType.java

@@ -0,0 +1,15 @@
+package TypeCheck;
+
+import TypeCheck.TypeCheckResult;
+
+public abstract class AbstractType {
+    TypeCheckResult typeCheckResult;
+
+    public void setTypeCheckResult(TypeCheckResult typeCheckResult) {
+        this.typeCheckResult = typeCheckResult;
+    }
+
+    public TypeCheckResult getTypeCheckResult() {
+        return typeCheckResult;
+    }
+}

Source/TypeCheck/TypeCheckHelper.java

@@ -0,0 +1,23 @@
+package TypeCheck;
+
+import java.util.Objects;
+
+public class TypeCheckHelper {
+    public String upperBound(String type1, String type2) throws Exception{
+        boolean type1Primitiv = Objects.equals(type1, "bool") || Objects.equals(type1, "int") || Objects.equals(type1, "char");
+        boolean type2Primitiv = Objects.equals(type2, "bool") || Objects.equals(type2, "int") || Objects.equals(type2, "char");
+
+        String result;
+        if(type1Primitiv && type2Primitiv){
+            if(Objects.equals(type1, type2)){
+                result = type1;
+            }
+            throw new Exception("no upper bound");
+        }else if(type1Primitiv || type2Primitiv){
+            throw new Exception("no upper bound");
+        }else{
+            result = "class";
+        }
+        return result;
+    }
+}

Source/TypeCheck/TypeCheckResult.java

@@ -0,0 +1,7 @@
+package TypeCheck;
+
+public class TypeCheckResult {
+    public String type;
+    public boolean valid;
+
+}

Source/abstractSyntaxTree/Class/FieldDecl.java

@@ -0,0 +1,4 @@
+package abstractSyntaxTree.Class;
+
+public class FieldDecl implements IClass {
+}

Source/abstractSyntaxTree/Class/IClass.java

@@ -0,0 +1,7 @@
+package abstractSyntaxTree.Class;
+
+public interface IClass {
+    // not type or type check
+
+    // visit method for code generation
+}

Source/abstractSyntaxTree/Class/MethodDecl.java

@@ -0,0 +1,4 @@
+package abstractSyntaxTree.Class;
+
+public class MethodDecl implements IClass {
+}

Source/abstractSyntaxTree/Comment/CommentComment.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Comment;
-
-public class CommentComment {
-}

Source/abstractSyntaxTree/Comment/IComment.java

@@ -1,8 +0,0 @@
-package abstractSyntaxTree.Comment;
-
-public interface IComment {
-    // typeCheck method
-    // get type
-
-    // visit method for code generation
-}

Source/abstractSyntaxTree/Datatype/BoolDatatype.java

@@ -1,4 +1,6 @@
 package abstractSyntaxTree.Datatype;
 
-public class BoolDatatype implements IDatatype{
+import TypeCheck.AbstractType;
+
+public class BoolDatatype extends AbstractType implements IDatatype{
 }

Source/abstractSyntaxTree/Datatype/CharDatatype.java

@@ -1,4 +1,6 @@
 package abstractSyntaxTree.Datatype;
 
-public class CharDatatype implements IDatatype{
+import TypeCheck.AbstractType;
+
+public class CharDatatype extends AbstractType implements IDatatype{
 }

Source/abstractSyntaxTree/Datatype/IDatatype.java

@@ -1,8 +1,10 @@
 package abstractSyntaxTree.Datatype;
 
+import TypeCheck.TypeCheckResult;
+
 public interface IDatatype {
     // typeCheck method
-    // get type
+    TypeCheckResult typeCheck() throws Exception;
 
     // visit method for code generation
 }

Source/abstractSyntaxTree/Datatype/IntDatatype.java

@@ -1,4 +1,6 @@
 package abstractSyntaxTree.Datatype;
 
-public class IntDatatype implements IDatatype{
+import TypeCheck.AbstractType;
+
+public class IntDatatype extends AbstractType implements IDatatype{
 }

Source/abstractSyntaxTree/Datatype/RefType.java

@@ -0,0 +1,21 @@
+package abstractSyntaxTree.Datatype;
+
+import TypeCheck.AbstractType;
+import TypeCheck.TypeCheckResult;
+import abstractSyntaxTree.Class.FieldDecl;
+import abstractSyntaxTree.Class.MethodDecl;
+
+import java.util.List;
+
+public class RefType extends AbstractType implements IDatatype {
+    public RefType(List<FieldDecl> fieldDecls, List<MethodDecl> methodDecls){
+        this.fieldDecls = fieldDecls;
+        this.methodDecls = methodDecls;
+    }
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        return null;
+    }
+    List<FieldDecl> fieldDecls;
+    List<MethodDecl> methodDecls;
+}

Source/abstractSyntaxTree/Expression/AssignExpression.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Expression;
-
-public class AssignExpression implements IExpression{
-}

Source/abstractSyntaxTree/Expression/BinaryExpression.java

@@ -1,4 +1,39 @@
 package abstractSyntaxTree.Expression;
 
-public class BinaryExpression implements IExpression{
+import TypeCheck.TypeCheckResult;
+import TypeCheck.TypeCheckHelper;
+import TypeCheck.AbstractType;
+
+import java.util.Objects;
+
+public class BinaryExpression extends AbstractType implements IExpression{
+
+
+    public String operator;
+    public IExpression left;
+    public IExpression right;
+
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        TypeCheckHelper helper = new TypeCheckHelper();
+        TypeCheckResult result = new TypeCheckResult();
+
+        TypeCheckResult leftType = left.typeCheck();
+        TypeCheckResult rightType = right.typeCheck();
+
+        switch (operator) {
+            case "and":
+            case "or" :{
+                if (Objects.equals(helper.upperBound(leftType.type, rightType.type), "bool")){
+                    result.valid = true;
+                    result.type = "bool";
+                }
+                break;
+            }
+            // ==, !=
+        }
+
+        setTypeCheckResult(result); // writes to attribute in abstract type class
+        return result;
+    }
 }

Source/abstractSyntaxTree/Expression/IExpression.java

@@ -1,8 +1,10 @@
 package abstractSyntaxTree.Expression;
 
+import TypeCheck.TypeCheckResult;
+
 public interface IExpression {
     // typeCheck method
-    // get type
+    TypeCheckResult typeCheck() throws Exception;
 
     // visit method for code generation
 }

Source/abstractSyntaxTree/Expression/MethodCall.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Expression;
-
-public class MethodCall implements IExpression{
-}

Source/abstractSyntaxTree/Modifier/IModifier.java

@@ -1,8 +1,7 @@
 package abstractSyntaxTree.Modifier;
 
 public interface IModifier {
-    // typeCheck method
+    // not type or type check
-    // get type
 
     // visit method for code generation
 }

Source/abstractSyntaxTree/Object/ClassObject.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Object;
-
-public class ClassObject implements IObject{
-}

Source/abstractSyntaxTree/Object/FieldDeclObject.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Object;
-
-public class FieldDeclObject implements IObject{
-}

Source/abstractSyntaxTree/Object/IObject.java

@@ -1,8 +0,0 @@
-package abstractSyntaxTree.Object;
-
-public interface IObject {
-    // typeCheck method
-    // get type
-
-    // visit method for code generation
-}

Source/abstractSyntaxTree/Object/MethodeDeclObject.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Object;
-
-public class MethodeDeclObject implements IObject{
-}

Source/abstractSyntaxTree/Object/NewObject.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Object;
-
-public class NewObject implements IObject{
-}

Source/abstractSyntaxTree/Object/ThisObject.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Object;
-
-public class ThisObject implements IObject{
-}

Source/abstractSyntaxTree/Object/VoidObject.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Object;
-
-public class VoidObject implements IObject{
-}

Source/abstractSyntaxTree/Statement/AssignmentStatement.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Statement;
-
-public class AssignmentStatement implements IStatement{
-}

Source/abstractSyntaxTree/Statement/BlockStatement.java

@@ -1,4 +1,11 @@
 package abstractSyntaxTree.Statement;
 
-public class BlockStatement implements IStatement{
+import TypeCheck.TypeCheckResult;
+import TypeCheck.AbstractType;
+
+public class BlockStatement extends AbstractType implements IStatement{
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        return null;
+    }
 }

Source/abstractSyntaxTree/Statement/BreakStatement.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Statement;
-
-public class BreakStatement implements IStatement{
-}

Source/abstractSyntaxTree/Statement/ContinueStatement.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Statement;
-
-public class ContinueStatement implements IStatement{
-}

Source/abstractSyntaxTree/Statement/DoWhileStatement.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Statement;
-
-public class DoWhileStatement implements IStatement{
-}

Source/abstractSyntaxTree/Statement/EmptyStatement.java

@@ -1,4 +1,11 @@
 package abstractSyntaxTree.Statement;
 
-public class EmptyStatement implements IStatement{
+import TypeCheck.TypeCheckResult;
+import TypeCheck.AbstractType;
+
+public class EmptyStatement  extends AbstractType implements IStatement{
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        return null;
+    }
 }

Source/abstractSyntaxTree/Statement/ForStatement.java

@@ -1,4 +0,0 @@
-package abstractSyntaxTree.Statement;
-
-public class ForStatement implements IStatement{
-}

Source/abstractSyntaxTree/Statement/IStatement.java

@@ -1,8 +1,10 @@
 package abstractSyntaxTree.Statement;
 
+import TypeCheck.TypeCheckResult;
+
 public interface IStatement {
-    // typeCheck method
+
-    // get type
+    TypeCheckResult typeCheck() throws Exception;
 
     // visit method for code generation
 }

Source/abstractSyntaxTree/Statement/IfElseStatement.java

@@ -1,4 +1,11 @@
 package abstractSyntaxTree.Statement;
 
-public class IfElseStatement implements IStatement{
+import TypeCheck.TypeCheckResult;
+import TypeCheck.AbstractType;
+
+public class IfElseStatement extends AbstractType implements IStatement{
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        return null;
+    }
 }

Source/abstractSyntaxTree/Statement/IfStatement.java

@@ -1,4 +1,11 @@
 package abstractSyntaxTree.Statement;
 
-public class IfStatement implements IStatement{
+import TypeCheck.TypeCheckResult;
+import TypeCheck.AbstractType;
+
+public class IfStatement extends AbstractType implements IStatement{
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        return null;
+    }
 }

Source/abstractSyntaxTree/Statement/ReturnStatement.java

@@ -1,4 +1,11 @@
 package abstractSyntaxTree.Statement;
 
-public class ReturnStatement implements IStatement{
+import TypeCheck.TypeCheckResult;
+import TypeCheck.AbstractType;
+
+public class ReturnStatement extends AbstractType implements IStatement{
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        return null;
+    }
 }

Source/abstractSyntaxTree/Statement/SwitchStatement.java

@@ -1,6 +0,0 @@
-package abstractSyntaxTree.Statement;
-
-import java.sql.Statement;
-
-public class SwitchStatement implements IStatement {
-}

Source/abstractSyntaxTree/Statement/WhileStatement.java

@@ -1,4 +1,11 @@
 package abstractSyntaxTree.Statement;
 
-public class WhileStatement implements IStatement{
+import TypeCheck.TypeCheckResult;
+import TypeCheck.AbstractType;
+
+public class WhileStatement extends AbstractType implements IStatement{
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        return null;
+    }
 }

Source/abstractSyntaxTree/StatementExpression/AssignExpression.java

@@ -0,0 +1,13 @@
+package abstractSyntaxTree.StatementExpression;
+
+import TypeCheck.AbstractType;
+import TypeCheck.TypeCheckResult;
+import abstractSyntaxTree.Expression.IExpression;
+import abstractSyntaxTree.Statement.IStatement;
+
+public class AssignExpression extends AbstractType implements IExpression, IStatement {
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        return null;
+    }
+}

Source/abstractSyntaxTree/StatementExpression/MethodCall.java

@@ -0,0 +1,13 @@
+package abstractSyntaxTree.StatementExpression;
+
+import TypeCheck.AbstractType;
+import TypeCheck.TypeCheckResult;
+import abstractSyntaxTree.Expression.IExpression;
+import abstractSyntaxTree.Statement.IStatement;
+
+public class MethodCall extends AbstractType implements IExpression, IStatement {
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        return null;
+    }
+}

Source/abstractSyntaxTree/StatementExpression/NewStatementExpression.java

@@ -0,0 +1,13 @@
+package abstractSyntaxTree.StatementExpression;
+
+import TypeCheck.AbstractType;
+import TypeCheck.TypeCheckResult;
+import abstractSyntaxTree.Expression.IExpression;
+import abstractSyntaxTree.Statement.IStatement;
+
+public class NewStatementExpression extends AbstractType implements IExpression, IStatement {
+    @Override
+    public TypeCheckResult typeCheck() throws Exception {
+        return null;
+    }
+}