Merge branch 'even-more-semantic-tests' into 'master'

Even more semantic tests

See merge request IPDSnelting/mjtest-tests!40

semantic/illegal_call_of_main.invalid.mj

+class Hello {
+  public static void main(String[] args) {
+    new Hello().main();
+  }
+}

semantic/illegal_call_of_main_with_parameter.invalid.java

+class Hello {
+  public static void main(String[] args) {
+    new Hello().main(null);
+  }
+}

semantic/invalid_null_boolean.invalid.mj

+class InvalidNullBoolean {
+    public static void main(String[] args) {
+        boolean notNull = null;
+    }
+}
+

semantic/invalid_null_integer_parameter.invalid.mj

+class Test {
+    public static void main(String[] args) {
+    }
+
+    public void foo() {
+        bar(null);
+    }
+    public void bar(int param) {
+    }
+}

semantic/invalid_null_integer_return.invalid.mj

+class Test {
+    public static void main(String[] args) {
+    }
+
+    public int test() {
+        return null;
+    }
+}

semantic/method_multi_param_same_name.invalid.mj

@@ -3,5 +3,7 @@ class Juhuu {
     /* :) */
   }
 
-  public Juhuu jippii(int buch, int buch) {}
-}
\ No newline at end of file
+  public Juhuu jippii(int buch, int buch) {
+    return new Juhuu();
+  }
+}

semantic/null_everywhere.java

+class Test {
+    public static void main(String[] args) {
+    }
+
+    public Test field;
+
+
+    public void test() {
+        field = null;
+        Test variable = null;
+        Test[] array = null;
+        Test[][] array2 = null;
+        method(null);
+        new Test().method(null);
+
+        method2(null);
+        new Test().method2(null);
+
+        if (null == variable) {
+
+        } else if (variable == null) {
+
+        }
+        
+        while (null != variable) {
+
+        } 
+
+        while (field != null) {
+
+        }
+
+        if (null == null) {
+
+        }       
+    }
+
+    public Test method(Test test) {
+        return null;
+    }
+
+    public Test[] method2(Test[] test) {
+        return null;
+    }
+}

semantic/void_array_field.invalid.mj

+class Test {
+    public static void main(String[] args) {
+    }
+    public void[] field;
+}

semantic/void_array_parameter.invalid.mj

+class Test {
+    public static void main(String[] args) {
+    }
+    public void test(void[] param) {
+
+    }
+}

semantic/void_array_return_type.invalid.mj

+class Test {
+    public static void main(String[] args) {
+    }
+    public void[] test() {
+        return null;
+    }
+}

semantic/wrong_ident_type_assignment.invalid.mj

+class Main {
+    public static void main(String[] arguments) {
+        A a;
+        a = new B();
+    }
+}
+
+class A {
+
+}
+
+class B {
+
+}

semantic/wrong_ident_type_comparison.invalid.mj

+class Main {
+    public static void main(String[] arguments) {
+        if (new A() == new B()) {
+
+        }
+    }
+}
+
+class A {
+
+}
+
+class B {
+
+}

semantic/wrong_ident_type_function_call.invalid.mj

+class Main {
+    public static void main(String[] arguments) {
+    }
+
+    public void foo() {
+        bar(new B());
+    }
+
+    public void bar(A a) {
+
+    }
+}
+
+class A {
+
+}
+
+class B {
+
+}

semantic/wrong_ident_type_method_call.invalid.mj

+class Main {
+    public static void main(String[] arguments) {
+        new Main().test(new B());
+    }
+
+    public void test(A a) {
+
+    }
+}
+
+class A {
+
+}
+
+class B {
+
+}

semantic/wrong_ident_type_new_array.invalid.mj

+class Main {
+    public static void main(String[] arguments) {
+        A[] a = new B[2];
+    }
+}
+
+class A {
+
+}
+
+class B {
+
+}

semantic/wrong_ident_type_new_object.invalid.mj

+class Main {
+    public static void main(String[] arguments) {
+        A a = new B();
+    }
+}
+
+class A {
+
+}
+
+class B {
+
+}

semantic/wrong_ident_type_parameter.invalid.mj

+class Main {
+    public static void main(String[] arguments) {
+        A a = new A();
+        a.foo(new B());
+    }
+}
+
+class A {
+    public void foo(A a) {
+
+    }
+}
+
+class B {
+
+}

semantic/wrong_ident_type_parameter_function_call.invalid.mj

+class Main {
+    public static void main(String[] arguments) {
+        A a = new A();
+        a.foo();
+    }
+}
+
+class A {
+    public void foo() {
+        bar (new B());
+    }
+    public void bar(A a) {
+
+    }
+}
+
+class B {
+
+}

semantic/wrong_ident_type_return.invalid.mj

+class Main {
+    public static void main(String[] arguments) {
+        A a = new A();
+        A a2 = a.foo();
+    }
+}
+
+class A {
+    public A foo() {
+        return new B();
+    }
+}
+
+class B {
+
+}