| 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.