Rev | Line | |
---|
[4] | 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.