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

More semantic tests

See merge request IPDSnelting/mjtest-tests!38

semantic/array_access_not_a_statement.invalid.mj

+class ArrayAccessNotAStatement {
+    public int[] test;
+    public static void main(String[] args) {
+    }
+
+    public void foo() {
+       test[1];
+    }
+}
+

semantic/array_access_on_non_array.invalid.mj

+class Test {
+    public static void main(String[] args) {
+        int foo = 0;
+
+        int bar = foo[12];
+    }
+}

semantic/assign_to_parameter.java

+class Test {
+    public static void main(String[] args) {
+        
+    }
+    public void foo(int a) {
+        a = 5;
+    }
+}

semantic/boolean_constant_not_a_statement.invalid.mj

+class BooleanConstantNotAStatement {
+    public static void main(String[] args) {
+        true;
+    }
+}
+

semantic/compare_null_to_variable.java

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

semantic/compare_variable_to_null.java

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

semantic/cross_references.java

+class Test {
+    public static void main(String[] args) {
+       
+    }
+    public void test() {
+        Foo foo = new Foo();
+        foo.bar(this);
+    }
+}
+
+class Foo {
+    public void bar(Test test) {
+        test.test();
+    }
+}

semantic/field_access_not_a_statement.invalid.mj

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

semantic/field_access_without_this.java

+class FieldAccessWithoutThis {
+    public static void main(String[] args) {
+        new FieldAccessWithoutThis().test();
+    }
+
+    public int field;
+    public void test() {
+        field = 10;
+    }
+}

semantic/illegal_access_of_nonstatic_method.invalid.mj

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

semantic/illegal_this_in_static_method.invalid.mj

+class IllegalThisInStaticMethod {
+    public static void main(String[] args) {
+        IllegalThisInStaticMethod a = this;
+    }
+}
+

semantic/integer_constant_not_a_statement.invalid.mj

+class IntegerConstantNotAStatement {
+    public static void main(String[] args) {
+        1;
+    }
+}
+

semantic/integer_too_large.invalid.mj

+class IntegerTooLarge {
+    public static void main(String[] args) {
+        int large = 100000000000;
+    }
+}
+

semantic/invalid_assign_to_main_parameter.invalid.java

+class InvalidAssignToMainParameter {
+    public static void main(String[] test) {
+        test = new String[5];
+    }
+}
+
+class String {
+}
+

semantic/invalid_int_as_if_condition.invalid.mj

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

semantic/invalid_int_as_while_condition.invalid.mj

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

semantic/invalid_null_integer.invalid.mj

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

semantic/invalid_object_as_if_condition.invalid.mj

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

semantic/invalid_object_as_while_condition.invalid.mj

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

semantic/invalid_this_assignment.invalid.mj

+class Test {
+    public static void main(String[] args) {
+        new Test().foo();
+    }
+
+    public void foo() {
+        this = new Test();
+    }
+}

semantic/logical_negation_of_int.invalid.mj

+class Test {
+    public static void main(String[] args) {
+        int test = !1;
+    }
+}

semantic/mathematical_negation_of_boolean.invalid.mj

+class Test {
+    public static void main(String[] args) {
+        boolean test = -false;
+    }
+}

semantic/multidimensional_array_access.java

+class Test {
+    public static void main(String[] args) {
+        Test[][][] a = new Test[1][][];
+        Test[][] b = a[0];
+        Test[] c = b[0];
+        Test d = c[0];
+    }
+}

semantic/multidimensional_array_creation.java

+class Test {
+    public static void main(String[] args) {
+        Test[][] test = new Test[1][];
+    }
+}

semantic/not_a_statement_in_else.invalid.mj

+class NotAStatementInElse {
+
+    public static void main(String[] args) {
+    }
+
+    public void foo() {
+        if (true) {
+            bar();   
+        } else 1 && 1;
+    }
+
+    public void bar() {
+
+    }
+}

semantic/not_a_statement_in_if.invalid.mj

+class NotAStatementInIf {
+
+    public static void main(String[] args) {
+    }
+
+    public void foo() {
+        if (true) 1;
+    }
+}

semantic/not_a_statement_in_while.invalid.mj

+class NotAStatementInWhile {
+
+    public static void main(String[] args) {
+    }
+
+    public void foo() {
+        int a = 5;
+        while (true) a;
+    }
+}

semantic/not_a_statement_nested_function_call.invalid.mj

+class NotAStatementNestedFunctionCall {
+
+    public static void main(String[] args) {
+    }
+
+    public void foo() {
+        true && bar();
+    }
+
+    public void bar() {
+
+    }
+}

semantic/null_constant_not_a_statement.invalid.mj

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

semantic/redeclaration_main_parameter.invalid.mj

+class RedefineMainParameter {
+    public static void main(String[] args) {
+        int args = 0;
+    }
+}

semantic/too_many_arguments.invalid.mj

+class TooManyArguments {
+    public static void main(String[] args) {
+    }
+
+    public void test() {
+        foo (1,2,3);
+    }
+
+    public void foo(int a) {
+
+    }
+}

semantic/undefined_class.invalid.mj

+class UndefinedClass {
+    public Undefined test;
+    public static void main(String[] args) {
+    }
+}

semantic/undefined_field.invalid.mj

+class UndefinedField {
+    public static void main(String[] args) {
+        new UndefinedField().undefined = 5;
+    }
+}

semantic/undefined_method.invalid.mj

+class UndefinedMethod {
+    public static void main(String[] args) {
+    }
+
+    public void foo() {
+       undefined();
+    }
+}

semantic/undefined_method_on_class.invalid.mj

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

semantic/unexpected_return_value.invalid.mj

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

semantic/variable_access_not_a_statement.invalid.mj

+class VariableAccessNotAStatement {
+    public static void main(String[] args) {
+        int test = 5;
+        test;
+    }
+}
+

semantic/variable_can_be_uninitialized.mj

+class VariableCanBeUninitialized {
+    public static void main(String[] args) {
+        Foo foo;
+        foo.bar();
+    }
+}
+
+class Foo {
+    public void bar() {
+
+    }
+}

semantic/void_array.invalid.mj

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

semantic/void_cannot_be_array_type.invalid.mj

+class VoidCannotBeArrayType {
+    public static void main(String[] args) {
+        void[] invalid = new void[5];
+    }
+}
+

semantic/wrong_argument_type.invalid.mj

+class WrongArgumentType {
+    public static void main(String[] args) {
+    }
+
+    public void test() {
+        foo (1);
+    }
+
+    public void foo(boolean a) {
+
+    }
+}