Line | |
---|
1 | module checkZeroReferencedModuleDefinitions { |
---|
2 | |
---|
3 | //referenced |
---|
4 | type integer subtype_1 ( 1 .. 10 ); |
---|
5 | |
---|
6 | //not referenced |
---|
7 | |
---|
8 | type subtype_1 subtype_2 ( 4 .. 8 ); |
---|
9 | |
---|
10 | //referenced |
---|
11 | |
---|
12 | type port p_1 message { |
---|
13 | inout subtype_1 |
---|
14 | } |
---|
15 | |
---|
16 | //referenced |
---|
17 | |
---|
18 | type port p_2 message { |
---|
19 | out subtype_1 |
---|
20 | } |
---|
21 | |
---|
22 | //not referenced => referenced within import |
---|
23 | |
---|
24 | type component comp_1 { |
---|
25 | var subtype_1 localDef_2; |
---|
26 | port p_1 p1; |
---|
27 | |
---|
28 | //... |
---|
29 | } |
---|
30 | |
---|
31 | group g1 { |
---|
32 | group sg1{ |
---|
33 | } |
---|
34 | group sg1{} |
---|
35 | const integer x := 1; |
---|
36 | const integer x := 2; |
---|
37 | } |
---|
38 | |
---|
39 | group g2 { |
---|
40 | group sg1{ |
---|
41 | |
---|
42 | } |
---|
43 | } |
---|
44 | |
---|
45 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.