Commit | Line | Data |
---|---|---|
970ed795 | 1 | /****************************************************************************** |
3abe9331 | 2 | * Copyright (c) 2000-2015 Ericsson Telecom AB |
970ed795 EL |
3 | * All rights reserved. This program and the accompanying materials |
4 | * are made available under the terms of the Eclipse Public License v1.0 | |
5 | * which accompanies this distribution, and is available at | |
6 | * http://www.eclipse.org/legal/epl-v10.html | |
7 | ******************************************************************************/ | |
8 | module TtemplateBitstr { | |
9 | type component templateBitstr_mycomp {}; | |
10 | type record templateBitstr_rec { | |
11 | bitstring x1, | |
12 | bitstring x2, | |
13 | bitstring x3 optional }; | |
14 | template templateBitstr_rec templateBitstr_tSpec :={ //specific values | |
15 | x1:='001'B, | |
16 | x2:='010'B, | |
17 | x3:='100'B }; | |
18 | template templateBitstr_rec templateBitstr_tList :={ //specific value and value list | |
19 | x1:='001'B, | |
20 | x2:=('010'B,'011'B,'1100'B), | |
21 | x3:='100'B }; | |
22 | template templateBitstr_rec templateBitstr_tComp :={ //specific value and compl. list | |
23 | x1:='001'B, | |
24 | x2:=complement ('11'B,'00'B,'1000'B), | |
25 | x3:='100'B }; | |
26 | template templateBitstr_rec templateBitstr_tOmit :={ //omitting values | |
27 | x1:='001'B, | |
28 | x2:='010'B, | |
29 | x3:=omit } ; | |
30 | template templateBitstr_rec templateBitstr_tAny :={ //specific and any value | |
31 | x1:='001'B, | |
32 | x2:='010'B, | |
33 | x3:=? } ; | |
34 | template templateBitstr_rec templateBitstr_tAnyorNone :={ //specific and AnyorNone value | |
35 | x1:='001'B, | |
36 | x2:='010'B, | |
37 | x3:=* }; | |
38 | template templateBitstr_rec templateBitstr_tLength1 :={ //specific value and fix length | |
39 | x1:='001'B, | |
40 | x2:='010'B, | |
41 | x3:=* length(3) }; | |
42 | template templateBitstr_rec templateBitstr_tLength2 :={ //specific value and length (range) | |
43 | x1:='001'B, | |
44 | x2:='010'B, | |
45 | x3:=? length(2..4) }; | |
46 | template templateBitstr_rec templateBitstr_tLength3 :={ //specific value and length (range, infinity) | |
47 | x1:='001'B, | |
48 | x2:='010'B, | |
49 | x3:=? length(2..infinity) }; | |
50 | template templateBitstr_rec templateBitstr_tIfpresent :={ //specific value and ifpresent | |
51 | x1:='001'B, | |
52 | x2:='010'B, | |
53 | x3:='100'B ifpresent }; | |
54 | template templateBitstr_rec templateBitstr_tLengthIfp :={ //specific value and fix length and ifpresent | |
55 | x1:='001'B, | |
56 | x2:='010'B, | |
57 | x3:= ? length(3) ifpresent}; | |
58 | template templateBitstr_rec templateBitstr_tAnyEl :={ //specific value and any element inside value | |
59 | x1:='001'B, | |
60 | x2:='010'B, | |
61 | x3:='10?'B } ; | |
62 | template templateBitstr_rec templateBitstr_tAnyorNoneEl :={ //specific value and Any number of elements or none inside value | |
63 | x1:='001'B, | |
64 | x2:='010'B, | |
65 | x3:='10*'B }; | |
66 | ||
67 | template bitstring t_param1(templateBitstr_rec par) := substr(par.x1, 0, 1); // parameterised template | |
68 | ||
69 | testcase templateBitstrSpec() runs on templateBitstr_mycomp { | |
70 | var templateBitstr_rec x1,x2; //specific value | |
71 | x1:={ x1:='001'B, x2:='010'B, x3:='100'B }; | |
72 | x2:={ x1:='00'B, x2:='010'B, x3:='100'B }; | |
73 | //match | |
74 | if (match(x1,templateBitstr_tSpec)) {setverdict(pass);} | |
75 | else {setverdict(fail);} | |
76 | //no match | |
77 | if (not(match(x2,templateBitstr_tSpec))) {setverdict(pass);} | |
78 | else {setverdict(fail);} | |
79 | } | |
80 | ||
81 | testcase templateBitstrList() runs on templateBitstr_mycomp { | |
82 | var templateBitstr_rec x1,x2,x3; //value list | |
83 | x1:={ x1:='001'B, x2:='010'B, x3:='100'B }; | |
84 | x2:={ x1:='001'B, x2:='00'B, x3:='100'B }; | |
85 | x3:={ x1:='1'B, x2:='010'B, x3:='100'B }; | |
86 | //match | |
87 | if (match(x1,templateBitstr_tList)) {setverdict(pass);} | |
88 | else {setverdict(fail);} | |
89 | //no match: out of list | |
90 | if (not(match(x2,templateBitstr_tList))) {setverdict(pass);} | |
91 | else {setverdict(fail);} | |
92 | //no match: other field | |
93 | if (not(match(x3,templateBitstr_tList))) {setverdict(pass);} | |
94 | else {setverdict(fail);} | |
95 | } | |
96 | ||
97 | testcase templateBitstrComp() runs on templateBitstr_mycomp { | |
98 | var templateBitstr_rec x1,x2,x3; //complemented list | |
99 | x1:={ x1:='001'B, x2:='010'B, x3:='100'B }; | |
100 | x2:={ x1:='001'B, x2:='11'B, x3:='100'B }; | |
101 | x3:={ x1:='11'B, x2:='010'B, x3:='100'B }; | |
102 | //match | |
103 | if (match(x1,templateBitstr_tComp)) {setverdict(pass);} | |
104 | else {setverdict(fail);} | |
105 | //no match: in the list | |
106 | if (not(match(x2,templateBitstr_tComp))) {setverdict(pass);} | |
107 | else {setverdict(fail);} | |
108 | //no match: other field | |
109 | if (not(match(x3,templateBitstr_tComp))) {setverdict(pass);} | |
110 | else {setverdict(fail);} | |
111 | } | |
112 | ||
113 | testcase templateBitstrOmit() runs on templateBitstr_mycomp { | |
114 | var templateBitstr_rec x1,x2,x3; //omitting value | |
115 | x1:={ x1:='001'B, x2:='010'B, x3:=omit }; | |
116 | x2:={ x1:='001'B, x2:='010'B, x3:='000'B }; | |
117 | x3:={ x1:='00'B, x2:='010'B, x3:=omit }; | |
118 | //match | |
119 | if (match(x1,templateBitstr_tOmit)) {setverdict(pass);} | |
120 | else {setverdict(fail);} | |
121 | //no match: not omitted | |
122 | if (not(match(x2,templateBitstr_tOmit))) {setverdict(pass);} | |
123 | else {setverdict(fail);} | |
124 | //no match: other field | |
125 | if (not(match(x3,templateBitstr_tOmit))) {setverdict(pass);} | |
126 | else {setverdict(fail);} | |
127 | } | |
128 | ||
129 | testcase templateBitstrAny() runs on templateBitstr_mycomp { | |
130 | var templateBitstr_rec x1,x2,x3; //any value | |
131 | x1:={ x1:='001'B, x2:='010'B, x3:='111'B }; | |
132 | x2:={ x1:='001'B, x2:='010'B, x3:=omit }; | |
133 | x3:={ x1:='0'B, x2:='010'B, x3:='10'B }; | |
134 | //match | |
135 | if (match(x1,templateBitstr_tAny)) {setverdict(pass);} | |
136 | else {setverdict(fail);} | |
137 | //no match: field omitted | |
138 | if (not(match(x2,templateBitstr_tAny))) {setverdict(pass);} | |
139 | else {setverdict(fail);} | |
140 | //no match: other field | |
141 | if (not(match(x3,templateBitstr_tAny))) {setverdict(pass);} | |
142 | else {setverdict(fail);} | |
143 | } | |
144 | ||
145 | testcase templateBitstrAnyorNone() runs on templateBitstr_mycomp { | |
146 | var templateBitstr_rec x1,x2,x3; //AnyorNone value | |
147 | x1:={ x1:='001'B, x2:='010'B, x3:=omit }; | |
148 | x2:={ x1:='001'B, x2:='010'B, x3:='100'B }; | |
149 | x3:={ x1:='1'B, x2:='010'B, x3:=omit }; | |
150 | //match: omitted | |
151 | if (match(x1,templateBitstr_tAnyorNone)) {setverdict(pass);} | |
152 | else {setverdict(fail);} | |
153 | //match: value | |
154 | if (match(x2,templateBitstr_tAnyorNone)) {setverdict(pass);} | |
155 | else {setverdict(fail);} | |
156 | //no match: other field | |
157 | if (not(match(x3,templateBitstr_tAnyorNone))) {setverdict(pass);} | |
158 | else {setverdict(fail);} | |
159 | } | |
160 | ||
161 | testcase templateBitstrLength1() runs on templateBitstr_mycomp { | |
162 | var templateBitstr_rec x1,x2,x3,x4; //length (fix) | |
163 | x1:={ x1:='001'B, x2:='010'B, x3:='111'B }; | |
164 | x2:={ x1:='001'B, x2:='010'B, x3:=omit }; | |
165 | x3:={ x1:='001'B, x2:='010'B, x3:='10'B }; | |
166 | x4:={ x1:='0010'B, x2:='010'B, x3:='111'B }; | |
167 | //match: proper length | |
168 | if (match(x1,templateBitstr_tLength1)) {setverdict(pass);} | |
169 | else {setverdict(fail);} | |
170 | //match: omitted | |
171 | if (match(x2,templateBitstr_tLength1)) {setverdict(pass);} | |
172 | else {setverdict(fail);} | |
173 | // no match: not proper length | |
174 | if (not(match(x3,templateBitstr_tLength1))) {setverdict(pass);} | |
175 | else {setverdict(fail);} | |
176 | //no match: other field | |
177 | if (not(match(x4,templateBitstr_tLength1))) {setverdict(pass);} | |
178 | else {setverdict(fail);} | |
179 | } | |
180 | ||
181 | testcase templateBitstrLength2() runs on templateBitstr_mycomp { | |
182 | var templateBitstr_rec x1,x2,x3; //length (range) | |
183 | x1:={ x1:='001'B, x2:='010'B, x3:='111'B }; | |
184 | x2:={ x1:='001'B, x2:='010'B, x3:='1'B }; | |
185 | x3:={ x1:='0010'B, x2:='010'B, x3:='111'B }; | |
186 | //match | |
187 | if (match(x1,templateBitstr_tLength2)) {setverdict(pass);} | |
188 | else {setverdict(fail);} | |
189 | // no match: not proper length | |
190 | if (not(match(x2,templateBitstr_tLength2))) {setverdict(pass);} | |
191 | else {setverdict(fail);} | |
192 | //no match: other field | |
193 | if (not(match(x3,templateBitstr_tLength2))) {setverdict(pass);} | |
194 | else {setverdict(fail);} | |
195 | } | |
196 | ||
197 | testcase templateBitstrLength3() runs on templateBitstr_mycomp { | |
198 | var templateBitstr_rec x1,x2,x3; //length (range, infinity) | |
199 | x1:={ x1:='001'B, x2:='010'B, x3:='111'B }; | |
200 | x2:={ x1:='001'B, x2:='010'B, x3:='1'B }; | |
201 | x3:={ x1:='0010'B, x2:='010'B, x3:='111'B }; | |
202 | //match | |
203 | if (match(x1,templateBitstr_tLength3)) {setverdict(pass);} | |
204 | else {setverdict(fail);} | |
205 | // no match: not proper length | |
206 | if (not(match(x2,templateBitstr_tLength3))) {setverdict(pass);} | |
207 | else {setverdict(fail);} | |
208 | //no match: other field | |
209 | if (not(match(x3,templateBitstr_tLength3))) {setverdict(pass);} | |
210 | else {setverdict(fail);} | |
211 | } | |
212 | ||
213 | testcase templateBitstrIfpresent() runs on templateBitstr_mycomp { | |
214 | var templateBitstr_rec x1,x2,x3,x4; //ifpresent | |
215 | x1:={ x1:='001'B, x2:='010'B, x3:='100'B }; | |
216 | x2:={ x1:='001'B, x2:='010'B, x3:=omit }; | |
217 | x3:={ x1:='001'B, x2:='010'B, x3:='000'B }; | |
218 | x4:={ x1:='00'B, x2:='010'B, x3:=omit }; | |
219 | //match: present and match | |
220 | if (match(x1,templateBitstr_tIfpresent)) {setverdict(pass);} | |
221 | else {setverdict(fail);} | |
222 | //match: not present | |
223 | if (match(x2,templateBitstr_tIfpresent)) {setverdict(pass);} | |
224 | else {setverdict(fail);} | |
225 | //no match: present and not match | |
226 | if (not(match(x3,templateBitstr_tIfpresent))) {setverdict(pass);} | |
227 | else {setverdict(fail);} | |
228 | //no match: other field | |
229 | if (not(match(x4,templateBitstr_tIfpresent))) {setverdict(pass);} | |
230 | else {setverdict(fail);} | |
231 | } | |
232 | ||
233 | testcase templateBitstrLengthIfp() runs on templateBitstr_mycomp { | |
234 | var templateBitstr_rec x1,x2,x3,x4; //length (fix), ifpresent | |
235 | x1:={ x1:='001'B, x2:='010'B, x3:='111'B }; | |
236 | x2:={ x1:='001'B, x2:='010'B, x3:=omit }; | |
237 | x3:={ x1:='001'B, x2:='010'B, x3:='10'B }; | |
238 | x4:={ x1:='0010'B, x2:='010'B, x3:='111'B }; | |
239 | //match: proper length | |
240 | if (match(x1,templateBitstr_tLengthIfp)) {setverdict(pass);} | |
241 | else {setverdict(fail);} | |
242 | //match: omitted | |
243 | if (match(x2,templateBitstr_tLengthIfp)) {setverdict(pass);} | |
244 | else {setverdict(fail);} | |
245 | // no match: not proper length | |
246 | if (not(match(x3,templateBitstr_tLengthIfp))) {setverdict(pass);} | |
247 | else {setverdict(fail);} | |
248 | //no match: other field | |
249 | if (not(match(x4,templateBitstr_tLengthIfp))) {setverdict(pass);} | |
250 | else {setverdict(fail);} | |
251 | } | |
252 | ||
253 | testcase templateBitstrAnyEl() runs on templateBitstr_mycomp { | |
254 | var templateBitstr_rec x1,x2,x3,x4,x5; //any element | |
255 | x1:={ x1:='001'B, x2:='010'B, x3:='101'B }; | |
256 | x2:={ x1:='001'B, x2:='010'B, x3:='10'B }; | |
257 | x3:={ x1:='001'B, x2:='010'B, x3:='1000'B }; | |
258 | x4:={ x1:='001'B, x2:='010'B, x3:='001'B }; | |
259 | x5:={ x1:='0'B, x2:='010'B, x3:='101'B }; | |
260 | //match | |
261 | if (match(x1,templateBitstr_tAnyEl)) {setverdict(pass);} | |
262 | else {setverdict(fail);} | |
263 | //no match: no element | |
264 | if (not(match(x2,templateBitstr_tAnyEl))) {setverdict(pass);} | |
265 | else {setverdict(fail);} | |
266 | //no match: two element | |
267 | if (not(match(x3,templateBitstr_tAnyEl))) {setverdict(pass);} | |
268 | else {setverdict(fail);} | |
269 | //no match: wrong element | |
270 | if (not(match(x4,templateBitstr_tAnyEl))) {setverdict(pass);} | |
271 | else {setverdict(fail);} | |
272 | //no match: other field | |
273 | if (not(match(x5,templateBitstr_tAnyEl))) {setverdict(pass);} | |
274 | else {setverdict(fail);} | |
275 | } | |
276 | ||
277 | testcase templateBitstrAnyorNoneEl() runs on templateBitstr_mycomp { | |
278 | var templateBitstr_rec x1,x2,x3,x4,x5; //Any number of elements or none | |
279 | x1:={ x1:='001'B, x2:='010'B, x3:='10'B }; | |
280 | x2:={ x1:='001'B, x2:='010'B, x3:='100'B }; | |
281 | x3:={ x1:='001'B, x2:='010'B, x3:='1011'B }; | |
282 | x4:={ x1:='001'B, x2:='010'B, x3:='110'B }; | |
283 | x5:={ x1:='1'B, x2:='010'B, x3:='100'B }; | |
284 | //match: no element | |
285 | if (match(x1,templateBitstr_tAnyorNoneEl)) {setverdict(pass);} | |
286 | else {setverdict(fail);} | |
287 | //match: one element | |
288 | if (match(x2,templateBitstr_tAnyorNoneEl)) {setverdict(pass);} | |
289 | else {setverdict(fail);} | |
290 | //match: two element | |
291 | if (match(x3,templateBitstr_tAnyorNoneEl)) {setverdict(pass);} | |
292 | else {setverdict(fail);} | |
293 | //no match: other element | |
294 | if (not(match(x4,templateBitstr_tAnyorNoneEl))) {setverdict(pass);} | |
295 | else {setverdict(fail);} | |
296 | //no match: other field | |
297 | if (not(match(x5,templateBitstr_tAnyorNoneEl))) {setverdict(pass);} | |
298 | else {setverdict(fail);} | |
299 | } | |
300 | ||
301 | testcase CR_TR00018474() runs on templateBitstr_mycomp { | |
302 | // Indexing of string template variables. | |
303 | var template bitstring vtb1 := '0011110000'B | |
304 | var template bitstring vtb2 := '0*?1'B // It's a pattern, cannot be indexed, runtime error. | |
305 | vtb1[0] := '1'B | |
306 | if (match('1011110000'B, vtb1)) { setverdict(pass) } else { setverdict(fail) } | |
307 | vtb1[0] := '1'B // Indexed assignment notation cannot be used here. | |
308 | vtb1[1] := '0'B // Still works, nothing special. | |
309 | if (match('1011110000'B, vtb1)) { setverdict(pass) } else { setverdict(fail) } | |
310 | } | |
311 | ||
312 | control { | |
313 | execute(templateBitstrSpec()); | |
314 | execute(templateBitstrList()); | |
315 | execute(templateBitstrComp()); | |
316 | execute(templateBitstrOmit()); | |
317 | execute(templateBitstrAny()); | |
318 | execute(templateBitstrAnyorNone()); | |
319 | execute(templateBitstrLength1()); | |
320 | execute(templateBitstrLength2()); | |
321 | execute(templateBitstrLength3()); | |
322 | execute(templateBitstrIfpresent()); | |
323 | execute(templateBitstrLengthIfp()); | |
324 | execute(templateBitstrAnyEl()); | |
325 | execute(templateBitstrAnyorNoneEl()); | |
326 | execute(CR_TR00018474()); | |
327 | } | |
328 | } |