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