source:
trunk/t3q-examples/checkTestSystemModuleContainmentCheck/checkTestSystemModuleContainmentBad.ttcn3
@
18
Last change on this file since 18 was 4, checked in by phdmakk, 15 years ago | |
---|---|
File size: 390 bytes |
Line | |
---|---|
1 | module checkTestSystemModuleContainmentBad { |
2 | import from LibCommon_time all; |
3 | |
4 | // bad module, port definitions as well |
5 | |
6 | type component component_1 { |
7 | } |
8 | |
9 | type port port_1 message{ |
10 | in integer |
11 | } |
12 | |
13 | group g_1{ |
14 | type component component_2 { |
15 | } |
16 | type port port_2 message{ |
17 | out integer |
18 | } |
19 | |
20 | |
21 | } |
22 | |
23 | //are control parts permissible? |
24 | control { |
25 | |
26 | } |
27 | |
28 | } |
Note: See TracBrowser
for help on using the repository browser.