diff --git a/semantic/array_access_not_a_statement.invalid.mj b/semantic/array_access_not_a_statement.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..bdd08a16bf320e71a38bfd414fc8a28db8e960c5 --- /dev/null +++ b/semantic/array_access_not_a_statement.invalid.mj @@ -0,0 +1,10 @@ +class ArrayAccessNotAStatement { + public int[] test; + public static void main(String[] args) { + } + + public void foo() { + test[1]; + } +} + diff --git a/semantic/array_access_on_non_array.invalid.mj b/semantic/array_access_on_non_array.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..507a7f8e6b016cca73c71f037654cc450fba82b5 --- /dev/null +++ b/semantic/array_access_on_non_array.invalid.mj @@ -0,0 +1,7 @@ +class Test { + public static void main(String[] args) { + int foo = 0; + + int bar = foo[12]; + } +} diff --git a/semantic/assign_to_parameter.java b/semantic/assign_to_parameter.java new file mode 100644 index 0000000000000000000000000000000000000000..dab49c2ae903940c16e82ac31dd1f2c47953373c --- /dev/null +++ b/semantic/assign_to_parameter.java @@ -0,0 +1,8 @@ +class Test { + public static void main(String[] args) { + + } + public void foo(int a) { + a = 5; + } +} diff --git a/semantic/boolean_constant_not_a_statement.invalid.mj b/semantic/boolean_constant_not_a_statement.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..9bc4406fde1b75dbb68818367bb7b8009972304e --- /dev/null +++ b/semantic/boolean_constant_not_a_statement.invalid.mj @@ -0,0 +1,6 @@ +class BooleanConstantNotAStatement { + public static void main(String[] args) { + true; + } +} + diff --git a/semantic/compare_null_to_variable.java b/semantic/compare_null_to_variable.java new file mode 100644 index 0000000000000000000000000000000000000000..731727587f18a5ce59de68f747fd9fcb1844fdbc --- /dev/null +++ b/semantic/compare_null_to_variable.java @@ -0,0 +1,8 @@ +class Test { + public static void main(String[] args) { + Test test = new Test(); + if (null == test) { + return; + } + } +} diff --git a/semantic/compare_variable_to_null.java b/semantic/compare_variable_to_null.java new file mode 100644 index 0000000000000000000000000000000000000000..91c8feb82f0b2ed9ae202ab32e7b4ef6a4fc3650 --- /dev/null +++ b/semantic/compare_variable_to_null.java @@ -0,0 +1,8 @@ +class Test { + public static void main(String[] args) { + Test test = new Test(); + if (test == null) { + return; + } + } +} diff --git a/semantic/cross_references.java b/semantic/cross_references.java new file mode 100644 index 0000000000000000000000000000000000000000..9bda0f26e63a4a3ebb90dab928bf634c2e0aa81f --- /dev/null +++ b/semantic/cross_references.java @@ -0,0 +1,15 @@ +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(); + } +} diff --git a/semantic/field_access_not_a_statement.invalid.mj b/semantic/field_access_not_a_statement.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..509513eb49837764ac69954ea034df99f1466a34 --- /dev/null +++ b/semantic/field_access_not_a_statement.invalid.mj @@ -0,0 +1,7 @@ +class FieldAccessNotAStatement { + public int test; + public static void main(String[] args) { + test; + } +} + diff --git a/semantic/field_access_without_this.java b/semantic/field_access_without_this.java new file mode 100644 index 0000000000000000000000000000000000000000..f92d7db898022f266a2ed52f113bf8741010f247 --- /dev/null +++ b/semantic/field_access_without_this.java @@ -0,0 +1,10 @@ +class FieldAccessWithoutThis { + public static void main(String[] args) { + new FieldAccessWithoutThis().test(); + } + + public int field; + public void test() { + field = 10; + } +} diff --git a/semantic/illegal_access_of_nonstatic_method.invalid.mj b/semantic/illegal_access_of_nonstatic_method.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..9c3494577d481b11ce0858ce0cbcb12cd9066887 --- /dev/null +++ b/semantic/illegal_access_of_nonstatic_method.invalid.mj @@ -0,0 +1,8 @@ +class Test { + public static void main(String[] args) { + foo(); + } + public void foo() { + + } +} diff --git a/semantic/illegal_this_in_static_method.invalid.mj b/semantic/illegal_this_in_static_method.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..87822edce21a2c278eccc478984e9c920195c208 --- /dev/null +++ b/semantic/illegal_this_in_static_method.invalid.mj @@ -0,0 +1,6 @@ +class IllegalThisInStaticMethod { + public static void main(String[] args) { + IllegalThisInStaticMethod a = this; + } +} + diff --git a/semantic/integer_constant_not_a_statement.invalid.mj b/semantic/integer_constant_not_a_statement.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..a1f7807ec63a8303f7acf31f181ec7d37f560c7f --- /dev/null +++ b/semantic/integer_constant_not_a_statement.invalid.mj @@ -0,0 +1,6 @@ +class IntegerConstantNotAStatement { + public static void main(String[] args) { + 1; + } +} + diff --git a/semantic/integer_too_large.invalid.mj b/semantic/integer_too_large.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..202d748f3c2f204f3ddc5d664cf0cf593d098d02 --- /dev/null +++ b/semantic/integer_too_large.invalid.mj @@ -0,0 +1,6 @@ +class IntegerTooLarge { + public static void main(String[] args) { + int large = 100000000000; + } +} + diff --git a/semantic/invalid_assign_to_main_parameter.invalid.java b/semantic/invalid_assign_to_main_parameter.invalid.java new file mode 100644 index 0000000000000000000000000000000000000000..870019e32c560dba382a6e64acb6418f7aafc84f --- /dev/null +++ b/semantic/invalid_assign_to_main_parameter.invalid.java @@ -0,0 +1,9 @@ +class InvalidAssignToMainParameter { + public static void main(String[] test) { + test = new String[5]; + } +} + +class String { +} + diff --git a/semantic/invalid_int_as_if_condition.invalid.mj b/semantic/invalid_int_as_if_condition.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..f954afe4d291576c930283fe9bcfb0fec748b2a3 --- /dev/null +++ b/semantic/invalid_int_as_if_condition.invalid.mj @@ -0,0 +1,7 @@ +class Test { + public static void main(String[] args) { + if (1234) { + return; + } + } +} diff --git a/semantic/invalid_int_as_while_condition.invalid.mj b/semantic/invalid_int_as_while_condition.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..3062ab283ff5338217ddd5aebc2476f24d3f9664 --- /dev/null +++ b/semantic/invalid_int_as_while_condition.invalid.mj @@ -0,0 +1,7 @@ +class Test { + public static void main(String[] args) { + while (1234) { + return; + } + } +} diff --git a/semantic/invalid_null_integer.invalid.mj b/semantic/invalid_null_integer.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..b36ec3c61783f8311d162e3131060fe4e97f2042 --- /dev/null +++ b/semantic/invalid_null_integer.invalid.mj @@ -0,0 +1,6 @@ +class InvalidNullInteger { + public static void main(String[] args) { + int notNull = null; + } +} + diff --git a/semantic/invalid_object_as_if_condition.invalid.mj b/semantic/invalid_object_as_if_condition.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..9f77a0800f76089757fe90de9af4b16c335b04f0 --- /dev/null +++ b/semantic/invalid_object_as_if_condition.invalid.mj @@ -0,0 +1,8 @@ +class Test { + public static void main(String[] args) { + Test test = new Test(); + if (test) { + return; + } + } +} diff --git a/semantic/invalid_object_as_while_condition.invalid.mj b/semantic/invalid_object_as_while_condition.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..d2b82d65699968af8e7577e7bf321330100940fd --- /dev/null +++ b/semantic/invalid_object_as_while_condition.invalid.mj @@ -0,0 +1,8 @@ +class Test { + public static void main(String[] args) { + Test test = new Test(); + while (test) { + return; + } + } +} diff --git a/semantic/invalid_this_assignment.invalid.mj b/semantic/invalid_this_assignment.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..80312a23ce34d5352c10af308303790e89af0979 --- /dev/null +++ b/semantic/invalid_this_assignment.invalid.mj @@ -0,0 +1,9 @@ +class Test { + public static void main(String[] args) { + new Test().foo(); + } + + public void foo() { + this = new Test(); + } +} diff --git a/semantic/logical_negation_of_int.invalid.mj b/semantic/logical_negation_of_int.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..76dccbd3dffdbb21ec9c2f2ee4fecea304a410f1 --- /dev/null +++ b/semantic/logical_negation_of_int.invalid.mj @@ -0,0 +1,5 @@ +class Test { + public static void main(String[] args) { + int test = !1; + } +} diff --git a/semantic/mathematical_negation_of_boolean.invalid.mj b/semantic/mathematical_negation_of_boolean.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..e839ccd88d4e2a40f55ee0de510057a6f5507f90 --- /dev/null +++ b/semantic/mathematical_negation_of_boolean.invalid.mj @@ -0,0 +1,5 @@ +class Test { + public static void main(String[] args) { + boolean test = -false; + } +} diff --git a/semantic/multidimensional_array_access.java b/semantic/multidimensional_array_access.java new file mode 100644 index 0000000000000000000000000000000000000000..a8131ad63d22d26403d7dd8eb37a7f51c5fb1214 --- /dev/null +++ b/semantic/multidimensional_array_access.java @@ -0,0 +1,8 @@ +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]; + } +} diff --git a/semantic/multidimensional_array_creation.java b/semantic/multidimensional_array_creation.java new file mode 100644 index 0000000000000000000000000000000000000000..e7ed70e12d4bf5bf80275bfeba60781aae4abfd6 --- /dev/null +++ b/semantic/multidimensional_array_creation.java @@ -0,0 +1,5 @@ +class Test { + public static void main(String[] args) { + Test[][] test = new Test[1][]; + } +} diff --git a/semantic/not_a_statement_in_else.invalid.mj b/semantic/not_a_statement_in_else.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..eabcc377bfb80c6499c25c2ddb477c0ed5a07769 --- /dev/null +++ b/semantic/not_a_statement_in_else.invalid.mj @@ -0,0 +1,15 @@ +class NotAStatementInElse { + + public static void main(String[] args) { + } + + public void foo() { + if (true) { + bar(); + } else 1 && 1; + } + + public void bar() { + + } +} diff --git a/semantic/not_a_statement_in_if.invalid.mj b/semantic/not_a_statement_in_if.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..5a7accbc6ecc643e2ec825261ed1b1fa6e70ce68 --- /dev/null +++ b/semantic/not_a_statement_in_if.invalid.mj @@ -0,0 +1,9 @@ +class NotAStatementInIf { + + public static void main(String[] args) { + } + + public void foo() { + if (true) 1; + } +} diff --git a/semantic/not_a_statement_in_while.invalid.mj b/semantic/not_a_statement_in_while.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..b3b4cad30b42a54b6be15e55a815a7e1bfe9aacd --- /dev/null +++ b/semantic/not_a_statement_in_while.invalid.mj @@ -0,0 +1,10 @@ +class NotAStatementInWhile { + + public static void main(String[] args) { + } + + public void foo() { + int a = 5; + while (true) a; + } +} diff --git a/semantic/not_a_statement_nested_function_call.invalid.mj b/semantic/not_a_statement_nested_function_call.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..8d93a40de97b60aa2923002451d78b1552268d05 --- /dev/null +++ b/semantic/not_a_statement_nested_function_call.invalid.mj @@ -0,0 +1,13 @@ +class NotAStatementNestedFunctionCall { + + public static void main(String[] args) { + } + + public void foo() { + true && bar(); + } + + public void bar() { + + } +} diff --git a/semantic/null_constant_not_a_statement.invalid.mj b/semantic/null_constant_not_a_statement.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..135205ff153de2b2c8445bd1dfd5e1f951329f7f --- /dev/null +++ b/semantic/null_constant_not_a_statement.invalid.mj @@ -0,0 +1,6 @@ +class NullConstantNotAStatement { + public static void main(String[] args) { + null; + } +} + diff --git a/semantic/redeclaration_main_parameter.invalid.mj b/semantic/redeclaration_main_parameter.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..db5d138b5e6c9b7688f58249a56676f8a53d95e4 --- /dev/null +++ b/semantic/redeclaration_main_parameter.invalid.mj @@ -0,0 +1,5 @@ +class RedefineMainParameter { + public static void main(String[] args) { + int args = 0; + } +} diff --git a/semantic/too_many_arguments.invalid.mj b/semantic/too_many_arguments.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..53c59dd9fada82f4a97bb50582b8ff260af8a2f8 --- /dev/null +++ b/semantic/too_many_arguments.invalid.mj @@ -0,0 +1,12 @@ +class TooManyArguments { + public static void main(String[] args) { + } + + public void test() { + foo (1,2,3); + } + + public void foo(int a) { + + } +} diff --git a/semantic/undefined_class.invalid.mj b/semantic/undefined_class.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..5d1a6934ae2a7c17a743a00144d3e8b793fc79f8 --- /dev/null +++ b/semantic/undefined_class.invalid.mj @@ -0,0 +1,5 @@ +class UndefinedClass { + public Undefined test; + public static void main(String[] args) { + } +} diff --git a/semantic/undefined_field.invalid.mj b/semantic/undefined_field.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..7a1efe93ee23aafe349fced0a7d0b12b96cea314 --- /dev/null +++ b/semantic/undefined_field.invalid.mj @@ -0,0 +1,5 @@ +class UndefinedField { + public static void main(String[] args) { + new UndefinedField().undefined = 5; + } +} diff --git a/semantic/undefined_method.invalid.mj b/semantic/undefined_method.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..091465c1cd56dbb1b88c8df9b016e46f72f04357 --- /dev/null +++ b/semantic/undefined_method.invalid.mj @@ -0,0 +1,8 @@ +class UndefinedMethod { + public static void main(String[] args) { + } + + public void foo() { + undefined(); + } +} diff --git a/semantic/undefined_method_on_class.invalid.mj b/semantic/undefined_method_on_class.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..8bf969e74ce365a94f0da460f8534127b41e7aed --- /dev/null +++ b/semantic/undefined_method_on_class.invalid.mj @@ -0,0 +1,5 @@ +class UndefinedMethodOnClass { + public static void main(String[] args) { + new UndefinedMethodOnClass().undefined(); + } +} diff --git a/semantic/unexpected_return_value.invalid.mj b/semantic/unexpected_return_value.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..9b9f2dc92c0ed67c9c14e4013e13cdae636ef256 --- /dev/null +++ b/semantic/unexpected_return_value.invalid.mj @@ -0,0 +1,8 @@ +class UnexpectedReturnValue { + public static void main(String[] args) { + } + + public void test() { + return 1; + } +} diff --git a/semantic/variable_access_not_a_statement.invalid.mj b/semantic/variable_access_not_a_statement.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..87ac60a014e6ab1118679b3e9fc2db2562b5ca9f --- /dev/null +++ b/semantic/variable_access_not_a_statement.invalid.mj @@ -0,0 +1,7 @@ +class VariableAccessNotAStatement { + public static void main(String[] args) { + int test = 5; + test; + } +} + diff --git a/semantic/variable_can_be_uninitialized.mj b/semantic/variable_can_be_uninitialized.mj new file mode 100644 index 0000000000000000000000000000000000000000..db16fa66bbdfc496d8a2968ed0b695b301a0b5c2 --- /dev/null +++ b/semantic/variable_can_be_uninitialized.mj @@ -0,0 +1,12 @@ +class VariableCanBeUninitialized { + public static void main(String[] args) { + Foo foo; + foo.bar(); + } +} + +class Foo { + public void bar() { + + } +} diff --git a/semantic/void_array.invalid.mj b/semantic/void_array.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..b57236b3a8c5d9ee617d2e07deb9462f19f991b2 --- /dev/null +++ b/semantic/void_array.invalid.mj @@ -0,0 +1,5 @@ +class Test { + public static void main(String[] args) { + void[] test; + } +} diff --git a/semantic/void_cannot_be_array_type.invalid.mj b/semantic/void_cannot_be_array_type.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..a8e5ac6a6ed84d2772b469938f4760e423618563 --- /dev/null +++ b/semantic/void_cannot_be_array_type.invalid.mj @@ -0,0 +1,6 @@ +class VoidCannotBeArrayType { + public static void main(String[] args) { + void[] invalid = new void[5]; + } +} + diff --git a/semantic/wrong_argument_type.invalid.mj b/semantic/wrong_argument_type.invalid.mj new file mode 100644 index 0000000000000000000000000000000000000000..269b29ff22a48031cbbdd1df6dcfa8fe7ca818a2 --- /dev/null +++ b/semantic/wrong_argument_type.invalid.mj @@ -0,0 +1,12 @@ +class WrongArgumentType { + public static void main(String[] args) { + } + + public void test() { + foo (1); + } + + public void foo(boolean a) { + + } +}