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
Compare Revisions
cd1682c7d1a460006397d87899004bdf51ea0fd8...d552f3645322dc77d2a262948df85d07bd1fdd79
Commits (3)
Group 5: Additional semantic test cases
· e338d07a
uwgwb
authored
Nov 17, 2018
e338d07a
Merge branch 'semantic/edge_cases' into 'master'
· cafb0d6b
uwdkn
authored
Nov 17, 2018
Group 5: Additional semantic test cases See merge request
!39
cafb0d6b
Delete invalid test case
· d552f364
uwdkn
authored
Nov 18, 2018
Closes
#9
d552f364
Hide whitespace changes
Inline
Side-by-side
Showing
5 changed files
with
45 additions
and
0 deletions
+45
-0
semantic/adding_booleans.invalid.mj
semantic/adding_booleans.invalid.mj
+6
-0
semantic/binary_operations_on_int.invalid.mj
semantic/binary_operations_on_int.invalid.mj
+8
-0
semantic/main_access_args.invalid.mj
semantic/main_access_args.invalid.mj
+5
-0
semantic/same_method_name_different_classes.mj
semantic/same_method_name_different_classes.mj
+10
-0
semantic/system_shadowing_wrong_parameter_type.invalid.mj
semantic/system_shadowing_wrong_parameter_type.invalid.mj
+16
-0
No files found.
semantic/adding_booleans.invalid.mj
0 → 100644
View file @
d552f364
class Foo {
public static void main(String[] args) {
boolean bar = true + false;
}
}
semantic/binary_operations_on_int.invalid.mj
0 → 100644
View file @
d552f364
class Foo {
public static void main(String[] args) {
if(1 && 0) {
System.out.println(42);
}
}
}
semantic/main_access_args.invalid.mj
0 → 100644
View file @
d552f364
class Foo {
public static void main(String[] args) {
args[0] = null;
}
}
semantic/same_method_name_different_classes.mj
0 → 100644
View file @
d552f364
class Foo {
public void bar() {}
public static void main(String[] args) {
(new Foo()).bar();
(new Bar()).bar();
}
}
class Bar {
public void bar() {}
}
semantic/system_shadowing_wrong_parameter_type.invalid.mj
0 → 100644
View file @
d552f364
class SystemShadowing {
public SystemShadowing System;
public SystemShadowing out;
public void println(boolean x) { }
public void nonstatic() {
System.out.println(42);
}
public static void main(String[] args) {
SystemShadowing x = new SystemShadowing();
x.nonstatic();
}
}