source:
trunk/t3q-examples/checkInterfaceModuleContainmentCheck/checkInterfaceModuleContainmentBad.ttcn3
@
44
Last change on this file since 44 was 4, checked in by phdmakk, 15 years ago | |
---|---|
File size: 413 bytes |
Rev | Line | |
---|---|---|
[4] | 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.