Line | |
---|
1 | module checkTestcasesModuleContainmentGood {
|
---|
2 | import from LibCommon_sync all;
|
---|
3 |
|
---|
4 | // good module, only testcases and functions in start statements
|
---|
5 | function f_1() runs on component_1{
|
---|
6 | }
|
---|
7 |
|
---|
8 | testcase tc_1() runs on component_1{
|
---|
9 | var component_1 ptc0 := component_1.create;
|
---|
10 | ptc0.start(f_1());
|
---|
11 | ptc0.start(f_0()); // defined elsewhere
|
---|
12 |
|
---|
13 | }
|
---|
14 |
|
---|
15 | group GroupedDefs{
|
---|
16 | function f_2() runs on component_1{
|
---|
17 | var component_1 ptc1 := component_1.create;
|
---|
18 | ptc1.start(f_1());
|
---|
19 | ptc1.start(f_0()); // defined elsewhere
|
---|
20 | }
|
---|
21 |
|
---|
22 | testcase tc_2() runs on component_1{
|
---|
23 | var component_1 ptc2 := component_1.create;
|
---|
24 | ptc2.start(f_2());
|
---|
25 | ptc2.start(f_0()); // defined elsewhere
|
---|
26 |
|
---|
27 | }
|
---|
28 |
|
---|
29 | }
|
---|
30 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.