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

@@ -0,0 +1,13 @@
+// @expected: TypeMismatchException
+public class Test{
+
+    public void test(boolean b){
+        if(b == 2){
+
+        } else {
+
+        }
+
+    }
+
+}

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

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

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

@@ -0,0 +1,12 @@
+public class Test{
+
+    public void test(boolean b){
+        if(b == true){
+
+        } else {
+  
+        }
+
+    }
+
+}

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

@@ -0,0 +1,25 @@
+
+public class Test {
+
+    public Car c;
+
+    public int test(boolean b, int x) {
+        if (b == true) {
+            return c.getSpeed();
+        } else {
+            return x;
+        }
+    }
+
+}
+
+public class Car {
+
+    private int speed;
+
+    public int getSpeed() {
+        return speed;
+    }
+
+}
+