Group 5: Semantic test cases

semantic/assign_null_array.mj

+class Arr {
+    public static void main(String[] args) {
+        int[] x = null; 
+    }
+}
+

semantic/bool_int.invalid.mj

+class IntBool {
+    public static void main(String[] args) {
+        boolean x = 0;
+    }
+}

semantic/empty_statement.mj

+class Foo {
+    public int bar(int x) {
+        ;;;;
+        return x;
+    }
+    public static void main(String[] args) {
+        Foo foo = new Foo();
+        foo.bar(0);
+    }
+}

semantic/equality_different_array_dimensions.invalid.mj

+class Arrays {
+
+    public int[] x;
+    public int[][] y;
+    public static void main(String[] args) {
+        eq();
+    }
+    public boolean eq() {
+        return x == y;
+    }
+}

semantic/equality_different_classes.invalid.mj

+class A {}
+class B {}
+class AB {
+    public static void main(String[] agrs) {
+        eq(new A(), new B());
+    }
+    public boolean eq(A a, B b) {
+        return a == b; 
+    } 
+}

semantic/int_bool.invalid.mj

+class IntBool {
+     public static void main(String[] args) {
+         int x = false;
+     }
+}

semantic/not_a_statement_just_a_constructor.invalid.mj

+class Foo {
+    public static void main(String[] args) {
+        new Foo();
+    }
+}
\ No newline at end of file

semantic/not_a_statement_just_an_array.invalid.mj

+class Foo {
+    public static void main(String[] args) {
+        new int[5];
+    }
+}
\ No newline at end of file

semantic/otherclass.mj

+class A {
+    public int a() {
+        return 42;
+    }
+}
+class B {
+    public A a;
+}
+class C {
+    public B a;
+}
+class D {
+    public C a;
+}
+class E {
+    public int a() {
+        return new D().a.a.a.a();
+    }
+
+    public static void main(String[] args) {}
+}

semantic/recursion.mj

+class Fac {
+    public int factorial(int i) {
+        if(i == 1) return 1;
+        return factorial(i - 1);
+    }
+    public static void main(String[] args) {}
+}

semantic/same_methode_and_field_name.mj

+class Foo {
+    public int x;
+    public int x() { return 2; }
+
+    public static void main(String[] args) {
+        Foo foo = new Foo();
+        int a = foo.x();
+        int b = foo.x;
+    }
+
+}
\ No newline at end of file

semantic/shadowing_field.mj

+class Shadow {
+    public int x;
+
+    public boolean secret() {
+        boolean x = false;
+        return x;
+    }
+    public static void main(String[] args) {
+    }
+}

semantic/shadowing_field2.invalid.mj

+class Shadow {
+    public boolean x;
+    public boolean secret() {
+        int x = 42;
+        return x;
+    }
+    public static void main(String[] args) {
+    }
+}

semantic/throws_ident.mj

+class Foo {
+    public int x(int y) throws abc {
+        return 42; 
+    }
+    public static void main(String[] args) {
+    }
+}