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