Line | |
---|
1 | module NC_parameters_functions_testCases_altsteps {
|
---|
2 |
|
---|
3 | //module parameters, good and bad
|
---|
4 | modulepar boolean PC_UAS := true
|
---|
5 | with {extension "Description: Does IUT behaves as UA Server ?"}
|
---|
6 |
|
---|
7 | modulepar integer MP_1;
|
---|
8 |
|
---|
9 | modulepar {
|
---|
10 | integer MP_2:=3, Mp_3;
|
---|
11 | }
|
---|
12 |
|
---|
13 | modulepar integer mP_4, MP_5;
|
---|
14 |
|
---|
15 | //altsteps, good and bad
|
---|
16 | altstep a_a1() {
|
---|
17 | } with {extension "Description: Does IUT behaves as UA Server ?"}
|
---|
18 |
|
---|
19 | altstep a_1() {
|
---|
20 | }
|
---|
21 |
|
---|
22 | altstep aa_1() {
|
---|
23 | }
|
---|
24 |
|
---|
25 | //functions, good and bad
|
---|
26 | //also variables, component instances and constants
|
---|
27 | function f_a0() {
|
---|
28 | var integer v_a1, b;
|
---|
29 | var comp_1 ptc1;
|
---|
30 | const integer c_a1 := 1, c_2 := 1;
|
---|
31 | }
|
---|
32 |
|
---|
33 | function ef_0() {
|
---|
34 | }
|
---|
35 |
|
---|
36 | testcase tc_1() runs on comp_1 {
|
---|
37 | }
|
---|
38 |
|
---|
39 | testcase TC_1() runs on comp_1 {
|
---|
40 | map(self:P2, system:p1);
|
---|
41 | }
|
---|
42 |
|
---|
43 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.