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 |
Line | |
---|---|
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 | |
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 | |
136 | } |
Note: See TracBrowser
for help on using the repository browser.