Rev | Line | |
---|
[4] | 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.