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
|
Rev | Line | |
---|
[4] | 1 | module checkInterfaceModuleContainmentGood {
|
---|
| 2 | import from LibCommon_time all;
|
---|
| 3 |
|
---|
[37] | 4 | // good module, only component, port, and type definitions
|
---|
[4] | 5 |
|
---|
| 6 | type component component_1 {
|
---|
| 7 | }
|
---|
| 8 |
|
---|
[37] | 9 | type record x {integer x}
|
---|
| 10 |
|
---|
[4] | 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.