You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: language/nl.tue.robotsupervisorycontrollerdsl.tests/src/nl/tue/robotsupervisorycontrollerdsl/tests/validation/rules/CorrectResultTypeRuleTest.xtend
+12-4Lines changed: 12 additions & 4 deletions
Original file line number
Diff line number
Diff line change
@@ -22,9 +22,11 @@ class CorrectResultTypeRuleTest {
22
22
defvoidcheckValid() {
23
23
"
24
24
robot UnitTestRobot {
25
+
interface unit use Unit from package
26
+
25
27
component Component {
26
28
incoming message test_message with type: boolean
27
-
service test_service with request: boolean, response: boolean
29
+
service test_service with request: boolean, response: boolean links unit
28
30
29
31
behaviour {
30
32
initial state idle {
@@ -42,9 +44,11 @@ class CorrectResultTypeRuleTest {
42
44
defvoidcheckServiceFeedbackError() {
43
45
"
44
46
robot UnitTestRobot {
47
+
interface unit use Unit from package
48
+
45
49
component Component {
46
50
incoming message test_message with type: boolean
47
-
service test_service with request: boolean, response: boolean
51
+
service test_service with request: boolean, response: boolean links unit
48
52
49
53
behaviour {
50
54
initial state idle {
@@ -63,9 +67,11 @@ class CorrectResultTypeRuleTest {
63
67
defvoidcheckMessageResponseError() {
64
68
"
65
69
robot UnitTestRobot {
70
+
interface unit use Unit from package
71
+
66
72
component Component {
67
73
outgoing message test_message with type: boolean
68
-
service test_service with request: boolean, response: boolean
74
+
service test_service with request: boolean, response: boolean links unit
69
75
70
76
behaviour {
71
77
initial state idle {
@@ -84,9 +90,11 @@ class CorrectResultTypeRuleTest {
84
90
defvoidcheckMessageRequestError() {
85
91
"
86
92
robot UnitTestRobot {
93
+
interface unit use Unit from package
94
+
87
95
component Component {
88
96
incoming message test_message with type: boolean
89
-
service test_service with request: boolean, response: boolean
97
+
service test_service with request: boolean, response: boolean links unit
0 commit comments