Line | |
---|
1 | module exactImports { |
---|
2 | type component comp_B { |
---|
3 | |
---|
4 | } |
---|
5 | |
---|
6 | type component comp_C { |
---|
7 | |
---|
8 | } |
---|
9 | |
---|
10 | function f_B () runs on comp_B { |
---|
11 | |
---|
12 | } |
---|
13 | function f_C () runs on comp_B { |
---|
14 | |
---|
15 | } |
---|
16 | function f_D() { |
---|
17 | |
---|
18 | } |
---|
19 | |
---|
20 | const integer c_Bc := 42; |
---|
21 | |
---|
22 | altstep a_B(){ |
---|
23 | } |
---|
24 | altstep a_C(){ |
---|
25 | } |
---|
26 | |
---|
27 | altstep a_D(){ |
---|
28 | } |
---|
29 | |
---|
30 | |
---|
31 | group ports{ |
---|
32 | group a{ |
---|
33 | group b{ |
---|
34 | type port p_Ax message{ |
---|
35 | inout all |
---|
36 | } |
---|
37 | |
---|
38 | } |
---|
39 | } |
---|
40 | type port p_A message{ |
---|
41 | inout all |
---|
42 | } |
---|
43 | |
---|
44 | type port p_B message{ |
---|
45 | inout all |
---|
46 | } |
---|
47 | } |
---|
48 | |
---|
49 | testcase tc_B () runs on comp_B { |
---|
50 | |
---|
51 | } |
---|
52 | testcase tc_C () runs on comp_B { |
---|
53 | |
---|
54 | } |
---|
55 | |
---|
56 | |
---|
57 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.