source:
trunk/t3q-examples/checkTypeDefOrderInGroup/checkTypeDefOrderInGroup.ttcn3
Last change on this file was 11, checked in by phdmakk, 14 years ago | |
---|---|
File size: 1.6 KB |
Rev | Line | |
---|---|---|
[4] | 1 | module checkTypeDefOrderInGroup { |
2 | type record typeX { | |
3 | ||
4 | } | |
5 | ||
6 | group emptyGroup { | |
7 | ||
8 | } | |
9 | ||
10 | type integer modInt; | |
11 | ||
12 | //the good ones | |
13 | group typeDefs { | |
14 | ||
15 | type integer groupedInt; | |
16 | ||
17 | type component P_compA { | |
18 | var integer a := 3; | |
19 | } | |
20 | ||
21 | type component P_comp1 { | |
22 | ||
23 | } | |
24 | ||
25 | ||
26 | type record typeA { | |
27 | ||
28 | } | |
29 | type record typea { | |
30 | ||
31 | } | |
32 | // type record typeab { | |
33 | ||
34 | // } | |
35 | ||
36 | ||
37 | type record typeB { | |
38 | ||
39 | } | |
40 | type record typeC { | |
41 | ||
42 | } | |
43 | } | |
44 | ||
45 | type record typeY { | |
46 | ||
47 | } | |
48 | ||
49 | group otherDefs { | |
50 | altstep as_a(){ | |
51 | ||
52 | } | |
53 | ||
54 | function f_a(){ | |
55 | ||
56 | } | |
57 | ||
58 | } | |
59 | ||
60 | group mixedDefs { | |
61 | ||
62 | type component compA { | |
63 | ||
64 | } | |
65 | ||
66 | type component compB { | |
67 | ||
68 | } | |
69 | ||
70 | ||
71 | type record typeD { | |
72 | ||
73 | } | |
74 | ||
75 | const integer z := 5; | |
76 | ||
77 | type record typeE { | |
78 | ||
79 | } | |
80 | ||
81 | const integer x := 2; | |
82 | ||
83 | type record typeF { | |
84 | ||
85 | } | |
86 | ||
87 | const integer y := 3; | |
88 | } | |
89 | ||
90 | //the bad ones | |
91 | ||
92 | group mixedDefsBad { | |
93 | //E comes before D | |
94 | type record typeE { | |
95 | ||
96 | } | |
97 | ||
98 | type record typeD { | |
99 | ||
100 | } | |
101 | ||
102 | const integer z := 5; | |
103 | ||
104 | ||
105 | const integer x := 2; | |
106 | ||
107 | type record typeF { | |
108 | ||
109 | } | |
110 | ||
111 | //comp? come after type? | |
112 | //+ compB before compA | |
113 | type component compB { | |
114 | ||
115 | } | |
116 | ||
117 | type component compA { | |
118 | ||
119 | } | |
120 | ||
121 | ||
122 | ||
123 | ||
124 | const integer y := 3; | |
125 | } | |
126 | ||
127 | ||
[11] | 128 | group g1{ |
129 | type integer m1; | |
130 | type record m2 {} | |
131 | type set m3 {} | |
132 | type record m4 {} | |
133 | type m1 m5; | |
134 | } | |
135 | ||
[4] | 136 | } |
Note: See TracBrowser
for help on using the repository browser.