source:
trunk/t3q-examples/checkFunctionsModuleContainmentCheck/checkFunctionsModuleContainmentGood.ttcn3
@
12
Last change on this file since 12 was 4, checked in by phdmakk, 15 years ago | |
---|---|
File size: 424 bytes |
Rev | Line | |
---|---|---|
[4] | 1 | module checkFunctionsModuleContainmentGood { |
2 | import from LibCommon_time all; | |
3 | ||
4 | // good module, only functions and altsteps | |
5 | ||
6 | function f_1 () { | |
7 | } | |
8 | ||
9 | altstep a_1 () { | |
10 | } | |
11 | ||
12 | group GroupedDefs { | |
13 | function f_2 () { | |
14 | } | |
15 | altstep a_2 () { | |
16 | } | |
17 | } | |
18 | ||
19 | //depending on the configuration external functions | |
20 | //may (default) or may not be allowed | |
21 | ||
22 | external function ef_1 (); | |
23 | ||
24 | } |
Note: See TracBrowser
for help on using the repository browser.