Last change
on this file since 44 was
37,
checked in by phdmakk, 14 years ago
|
+ changed example to reflect a changed requirement
|
File size:
386 bytes
|
Line | |
---|
1 | module checkInterfaceModuleContainmentGood {
|
---|
2 | import from LibCommon_time all;
|
---|
3 |
|
---|
4 | // good module, only component, port, and type definitions
|
---|
5 |
|
---|
6 | type component component_1 {
|
---|
7 | }
|
---|
8 |
|
---|
9 | type record x {integer x}
|
---|
10 |
|
---|
11 | group g_1{
|
---|
12 | type component component_2 {
|
---|
13 | }
|
---|
14 | type port port_1 message{
|
---|
15 | in integer
|
---|
16 | }
|
---|
17 | }
|
---|
18 |
|
---|
19 | //are control parts permissible?
|
---|
20 | control {
|
---|
21 |
|
---|
22 | }
|
---|
23 |
|
---|
24 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.