Line | |
---|
1 | module checkNoUnusedImportsBad { |
---|
2 | import from importAll all except {type comp_A, comp_Aa; altstep a_Aa}; |
---|
3 | |
---|
4 | import from exactImports {function f_B, f_C; type comp_B}; |
---|
5 | import from exactImports {function f_D; type comp_C}; |
---|
6 | import from exactImports {const c_Bx}; |
---|
7 | //import from importAll {const c_B}; |
---|
8 | //import from exactImports {group ports except {type p_A}}; |
---|
9 | //import from exactImports {group all except ports}; |
---|
10 | import from exactImports {group ports.a.b}; |
---|
11 | //import from exactImports {group b}; |
---|
12 | //import from exactImports {group all}; |
---|
13 | //import from exactImports {type p_A}; |
---|
14 | import from exactImports {altstep all except a_A, a_C}; |
---|
15 | import from exactImports {testcase all; function all}; |
---|
16 | |
---|
17 | |
---|
18 | type component comp_D { |
---|
19 | port p_Ax port_A; |
---|
20 | //var integer x := exactImports.c_B; |
---|
21 | } |
---|
22 | |
---|
23 | |
---|
24 | |
---|
25 | function f_E() runs on comp_B{ |
---|
26 | f_A(); |
---|
27 | a_D(); |
---|
28 | } |
---|
29 | |
---|
30 | function f_F() { |
---|
31 | |
---|
32 | } |
---|
33 | |
---|
34 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.