Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
IPDSnelting
mjtest-tests
Commits
e3ca7e19
Commit
e3ca7e19
authored
Nov 13, 2018
by
ufebl
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Add some more semantic tests
parent
474e08ac
Changes
41
Show whitespace changes
Inline
Side-by-side
Showing
41 changed files
with
325 additions
and
0 deletions
+325
-0
semantic/array_access_not_a_statement.invalid.mj
semantic/array_access_not_a_statement.invalid.mj
+10
-0
semantic/array_access_on_non_array.invalid.mj
semantic/array_access_on_non_array.invalid.mj
+7
-0
semantic/assign_to_parameter.java
semantic/assign_to_parameter.java
+8
-0
semantic/boolean_constant_not_a_statement.invalid.mj
semantic/boolean_constant_not_a_statement.invalid.mj
+6
-0
semantic/compare_null_to_variable.java
semantic/compare_null_to_variable.java
+8
-0
semantic/compare_variable_to_null.java
semantic/compare_variable_to_null.java
+8
-0
semantic/cross_references.java
semantic/cross_references.java
+15
-0
semantic/field_access_not_a_statement.invalid.mj
semantic/field_access_not_a_statement.invalid.mj
+7
-0
semantic/field_access_without_this.java
semantic/field_access_without_this.java
+10
-0
semantic/illegal_access_of_nonstatic_method.invalid.mj
semantic/illegal_access_of_nonstatic_method.invalid.mj
+8
-0
semantic/illegal_this_in_static_method.invalid.mj
semantic/illegal_this_in_static_method.invalid.mj
+6
-0
semantic/integer_constant_not_a_statement.invalid.mj
semantic/integer_constant_not_a_statement.invalid.mj
+6
-0
semantic/integer_too_large.invalid.mj
semantic/integer_too_large.invalid.mj
+6
-0
semantic/invalid_assign_to_main_parameter.invalid.java
semantic/invalid_assign_to_main_parameter.invalid.java
+9
-0
semantic/invalid_int_as_if_condition.java
semantic/invalid_int_as_if_condition.java
+7
-0
semantic/invalid_int_as_while_condition.java
semantic/invalid_int_as_while_condition.java
+7
-0
semantic/invalid_null_integer.invalid.mj
semantic/invalid_null_integer.invalid.mj
+6
-0
semantic/invalid_object_as_if_condition.java
semantic/invalid_object_as_if_condition.java
+8
-0
semantic/invalid_object_as_while_condition.java
semantic/invalid_object_as_while_condition.java
+8
-0
semantic/invalid_this_assignment.invalid.mj
semantic/invalid_this_assignment.invalid.mj
+9
-0
semantic/logical_negation_of_int.invalid.mj
semantic/logical_negation_of_int.invalid.mj
+5
-0
semantic/mathematical_negation_of_boolean.invalid.mj
semantic/mathematical_negation_of_boolean.invalid.mj
+5
-0
semantic/multidimensional_array_access.java
semantic/multidimensional_array_access.java
+8
-0
semantic/multidimensional_array_creation.java
semantic/multidimensional_array_creation.java
+5
-0
semantic/not_a_statement_in_else.invalid.mj
semantic/not_a_statement_in_else.invalid.mj
+15
-0
semantic/not_a_statement_in_if.invalid.mj
semantic/not_a_statement_in_if.invalid.mj
+9
-0
semantic/not_a_statement_in_while.invalid.mj
semantic/not_a_statement_in_while.invalid.mj
+10
-0
semantic/not_a_statement_nested_function_call.invalid.mj
semantic/not_a_statement_nested_function_call.invalid.mj
+13
-0
semantic/null_constant_not_a_statement.invalid.mj
semantic/null_constant_not_a_statement.invalid.mj
+6
-0
semantic/redeclaration_main_parameter.invalid.mj
semantic/redeclaration_main_parameter.invalid.mj
+5
-0
semantic/too_many_arguments.invalid.mj
semantic/too_many_arguments.invalid.mj
+12
-0
semantic/undefined_class.invalid.mj
semantic/undefined_class.invalid.mj
+5
-0
semantic/undefined_field.invalid.mj
semantic/undefined_field.invalid.mj
+5
-0
semantic/undefined_method.invalid.mj
semantic/undefined_method.invalid.mj
+8
-0
semantic/undefined_method_on_class.invalid.mj
semantic/undefined_method_on_class.invalid.mj
+5
-0
semantic/unexpected_return_value.invalid.mj
semantic/unexpected_return_value.invalid.mj
+8
-0
semantic/variable_access_not_a_statement.invalid.mj
semantic/variable_access_not_a_statement.invalid.mj
+7
-0
semantic/variable_can_be_uninitialized.mj
semantic/variable_can_be_uninitialized.mj
+12
-0
semantic/void_array.invalid.mj
semantic/void_array.invalid.mj
+5
-0
semantic/void_cannot_be_array_type.invalid.mj
semantic/void_cannot_be_array_type.invalid.mj
+6
-0
semantic/wrong_argument_type.invalid.mj
semantic/wrong_argument_type.invalid.mj
+12
-0
No files found.
semantic/array_access_not_a_statement.invalid.mj
0 → 100644
View file @
e3ca7e19
class ArrayAccessNotAStatement {
public int[] test;
public static void main(String[] args) {
}
public void foo() {
test[1];
}
}
semantic/array_access_on_non_array.invalid.mj
0 → 100644
View file @
e3ca7e19
class Test {
public static void main(String[] args) {
int foo = 0;
int bar = foo[12];
}
}
semantic/assign_to_parameter.java
0 → 100644
View file @
e3ca7e19
class
Test
{
public
static
void
main
(
String
[]
args
)
{
}
public
void
foo
(
int
a
)
{
a
=
5
;
}
}
semantic/boolean_constant_not_a_statement.invalid.mj
0 → 100644
View file @
e3ca7e19
class BooleanConstantNotAStatement {
public static void main(String[] args) {
true;
}
}
semantic/compare_null_to_variable.java
0 → 100644
View file @
e3ca7e19
class
Test
{
public
static
void
main
(
String
[]
args
)
{
Test
test
=
new
Test
();
if
(
null
==
test
)
{
return
;
}
}
}
semantic/compare_variable_to_null.java
0 → 100644
View file @
e3ca7e19
class
Test
{
public
static
void
main
(
String
[]
args
)
{
Test
test
=
new
Test
();
if
(
test
==
null
)
{
return
;
}
}
}
semantic/cross_references.java
0 → 100644
View file @
e3ca7e19
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
0 → 100644
View file @
e3ca7e19
class FieldAccessNotAStatement {
public int test;
public static void main(String[] args) {
test;
}
}
semantic/field_access_without_this.java
0 → 100644
View file @
e3ca7e19
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
0 → 100644
View file @
e3ca7e19
class Test {
public static void main(String[] args) {
foo();
}
public void foo() {
}
}
semantic/illegal_this_in_static_method.invalid.mj
0 → 100644
View file @
e3ca7e19
class IllegalThisInStaticMethod {
public static void main(String[] args) {
IllegalThisInStaticMethod a = this;
}
}
semantic/integer_constant_not_a_statement.invalid.mj
0 → 100644
View file @
e3ca7e19
class IntegerConstantNotAStatement {
public static void main(String[] args) {
1;
}
}
semantic/integer_too_large.invalid.mj
0 → 100644
View file @
e3ca7e19
class IntegerTooLarge {
public static void main(String[] args) {
int large = 100000000000;
}
}
semantic/invalid_assign_to_main_parameter.invalid.java
0 → 100644
View file @
e3ca7e19
class
InvalidAssignToMainParameter
{
public
static
void
main
(
String
[]
test
)
{
test
=
new
String
[
5
];
}
}
class
String
{
}
semantic/invalid_int_as_if_condition.java
0 → 100644
View file @
e3ca7e19
class
Test
{
public
static
void
main
(
String
[]
args
)
{
if
(
1234
)
{
return
;
}
}
}
semantic/invalid_int_as_while_condition.java
0 → 100644
View file @
e3ca7e19
class
Test
{
public
static
void
main
(
String
[]
args
)
{
while
(
1234
)
{
return
;
}
}
}
semantic/invalid_null_integer.invalid.mj
0 → 100644
View file @
e3ca7e19
class InvalidNullInteger {
public static void main(String[] args) {
int notNull = null;
}
}
semantic/invalid_object_as_if_condition.java
0 → 100644
View file @
e3ca7e19
class
Test
{
public
static
void
main
(
String
[]
args
)
{
Test
test
=
new
Test
();
if
(
test
)
{
return
;
}
}
}
semantic/invalid_object_as_while_condition.java
0 → 100644
View file @
e3ca7e19
class
Test
{
public
static
void
main
(
String
[]
args
)
{
Test
test
=
new
Test
();
while
(
test
)
{
return
;
}
}
}
semantic/invalid_this_assignment.invalid.mj
0 → 100644
View file @
e3ca7e19
class Test {
public static void main(String[] args) {
new Test().foo();
}
public void foo() {
this = new Test();
}
}
semantic/logical_negation_of_int.invalid.mj
0 → 100644
View file @
e3ca7e19
class Test {
public static void main(String[] args) {
int test = !1;
}
}
semantic/mathematical_negation_of_boolean.invalid.mj
0 → 100644
View file @
e3ca7e19
class Test {
public static void main(String[] args) {
boolean test = -false;
}
}
semantic/multidimensional_array_access.java
0 → 100644
View file @
e3ca7e19
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
0 → 100644
View file @
e3ca7e19
class
Test
{
public
static
void
main
(
String
[]
args
)
{
Test
[][]
test
=
new
Test
[
1
][];
}
}
semantic/not_a_statement_in_else.invalid.mj
0 → 100644
View file @
e3ca7e19
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
0 → 100644
View file @
e3ca7e19
class NotAStatementInIf {
public static void main(String[] args) {
}
public void foo() {
if (true) 1;
}
}
semantic/not_a_statement_in_while.invalid.mj
0 → 100644
View file @
e3ca7e19
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
0 → 100644
View file @
e3ca7e19
class NotAStatementNestedFunctionCall {
public static void main(String[] args) {
}
public void foo() {
true && bar();
}
public void bar() {
}
}
semantic/null_constant_not_a_statement.invalid.mj
0 → 100644
View file @
e3ca7e19
class NullConstantNotAStatement {
public static void main(String[] args) {
null;
}
}
semantic/redeclaration_main_parameter.invalid.mj
0 → 100644
View file @
e3ca7e19
class RedefineMainParameter {
public static void main(String[] args) {
int args = 0;
}
}
semantic/too_many_arguments.invalid.mj
0 → 100644
View file @
e3ca7e19
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
0 → 100644
View file @
e3ca7e19
class UndefinedClass {
public Undefined test;
public static void main(String[] args) {
}
}
semantic/undefined_field.invalid.mj
0 → 100644
View file @
e3ca7e19
class UndefinedField {
public static void main(String[] args) {
new UndefinedField().undefined = 5;
}
}
semantic/undefined_method.invalid.mj
0 → 100644
View file @
e3ca7e19
class UndefinedMethod {
public static void main(String[] args) {
}
public void foo() {
undefined();
}
}
semantic/undefined_method_on_class.invalid.mj
0 → 100644
View file @
e3ca7e19
class UndefinedMethodOnClass {
public static void main(String[] args) {
new UndefinedMethodOnClass().undefined();
}
}
semantic/unexpected_return_value.invalid.mj
0 → 100644
View file @
e3ca7e19
class UnexpectedReturnValue {
public static void main(String[] args) {
}
public void test() {
return 1;
}
}
semantic/variable_access_not_a_statement.invalid.mj
0 → 100644
View file @
e3ca7e19
class VariableAccessNotAStatement {
public static void main(String[] args) {
int test = 5;
test;
}
}
semantic/variable_can_be_uninitialized.mj
0 → 100644
View file @
e3ca7e19
class VariableCanBeUninitialized {
public static void main(String[] args) {
Foo foo;
foo.bar();
}
}
class Foo {
public void bar() {
}
}
semantic/void_array.invalid.mj
0 → 100644
View file @
e3ca7e19
class Test {
public static void main(String[] args) {
void[] test;
}
}
semantic/void_cannot_be_array_type.invalid.mj
0 → 100644
View file @
e3ca7e19
class VoidCannotBeArrayType {
public static void main(String[] args) {
void[] invalid = new void[5];
}
}
semantic/wrong_argument_type.invalid.mj
0 → 100644
View file @
e3ca7e19
class WrongArgumentType {
public static void main(String[] args) {
}
public void test() {
foo (1);
}
public void foo(boolean a) {
}
}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment