projects / deliverable / titan.core.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Update README.linux
[deliverable/titan.core.git] / regression_test / templateInt / TtemplateInt.ttcn
CommitLineData
970ed795
EL		 1/******************************************************************************
2 * Copyright (c) 2000-2014 Ericsson Telecom AB
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 ******************************************************************************/
8module TtemplateInt {
9type component templateInt_mycomp {};
10type record templateInt_rec {
11 integer x1,
12 integer x2,
13 integer x3 optional };
14template templateInt_rec templateInt_tSpec :={ //specific values
15 x1:=1,
16 x2:=2,
17 x3:=3 };
18template templateInt_rec templateInt_tList :={ //specific value and value list
19 x1:=1,
20 x2:=(2,3,6),
21 x3:=3 };
22template templateInt_rec templateInt_tComp :={ //specific value and compl. list
23 x1:=1,
24 x2:=complement (2,3,6),
25 x3:=3 };
26template templateInt_rec templateInt_tOmit :={ //omitting values
27 x1:=1,
28 x2:=2,
29 x3:=omit } ;
30template templateInt_rec templateInt_tAny :={ //specific and any value
31 x1:=1,
32 x2:=2,
33 x3:=? } ;
34template templateInt_rec templateInt_tAnyorNone :={ //specific and AnyorNone value
35 x1:=1,
36 x2:=2,
37 x3:=* };
38template templateInt_rec templateInt_tRange1 :={ //specific value and Range
39 x1:=1,
40 x2:=(2 ..4),
41 x3:=3 };
42template templateInt_rec templateInt_tRange2 :={ //specific value and Range
43 x1:=1,
44 x2:=(2 .. 4),
45 x3:=3 };
46template templateInt_rec templateInt_tRange3 :={ //specific value and Range
47 x1:=1,
48 x2:=(2 .. infinity),
49 x3:=3 };
50template templateInt_rec templateInt_tRange4 :={ //specific value and Range
51 x1:=1,
52 x2:=(-infinity .. 4),
53 x3:=3 };
54template templateInt_rec templateInt_tIfpresent :={ //specific value and ifpresent
55 x1:=1,
56 x2:=2,
57 x3:=3 ifpresent };
58
59testcase templateIntSpec() runs on templateInt_mycomp {
60var templateInt_rec x1,x2; //specific value
61x1:={ x1:=1, x2:=2, x3:=3 };
62x2:={ x1:=2, x2:=2, x3:=3 };
63//match
64if (match(x1,templateInt_tSpec)) {setverdict(pass);}
65 else {setverdict(fail);}
66//no match
67if (not(match(x2,templateInt_tSpec))) {setverdict(pass);}
68 else {setverdict(fail);}
69}
70
71testcase templateIntList() runs on templateInt_mycomp {
72var templateInt_rec x1,x2,x3; //value list
73x1:={ x1:=1, x2:=6, x3:=3 };
74x2:={ x1:=1, x2:=7, x3:=3 };
75x3:={ x1:=2, x2:=6, x3:=3 };
76//match
77if (match(x1,templateInt_tList)) {setverdict(pass);}
78 else {setverdict(fail);}
79//no match: out of list
80if (not(match(x2,templateInt_tList))) {setverdict(pass);}
81 else {setverdict(fail);}
82//no match: other field
83if (not(match(x3,templateInt_tList))) {setverdict(pass);}
84 else {setverdict(fail);}
85}
86
87testcase templateIntComp() runs on templateInt_mycomp {
88var templateInt_rec x1,x2,x3; //complemented list
89x1:={ x1:=1, x2:=7, x3:=3 };
90x2:={ x1:=1, x2:=6, x3:=3 };
91x3:={ x1:=2, x2:=7, x3:=3 };
92//match
93if (match(x1,templateInt_tComp)) {setverdict(pass);}
94 else {setverdict(fail);}
95//no match: in the list
96if (not(match(x2,templateInt_tComp))) {setverdict(pass);}
97 else {setverdict(fail);}
98//no match: other field
99if (not(match(x3,templateInt_tComp))) {setverdict(pass);}
100 else {setverdict(fail);}
101}
102
103testcase templateIntOmit() runs on templateInt_mycomp {
104var templateInt_rec x1,x2,x3; //omitting value
105x1:={ x1:=1, x2:=2, x3:=omit };
106x2:={ x1:=1, x2:=2, x3:=3 };
107x3:={ x1:=2, x2:=2, x3:=omit };
108//match
109if (match(x1,templateInt_tOmit)) {setverdict(pass);}
110 else {setverdict(fail);}
111//no match: not omitted
112if (not(match(x2,templateInt_tOmit))) {setverdict(pass);}
113 else {setverdict(fail);}
114//no match: other field
115if (not(match(x3,templateInt_tOmit))) {setverdict(pass);}
116 else {setverdict(fail);}
117}
118
119testcase templateIntAny() runs on templateInt_mycomp {
120var templateInt_rec x1,x2,x3; //any value
121x1:={ x1:=1, x2:=2, x3:=3 };
122x2:={ x1:=1, x2:=2, x3:=omit };
123x3:={ x1:=2, x2:=2, x3:=3 };
124//match
125if (match(x1,templateInt_tAny)) {setverdict(pass);}
126 else {setverdict(fail);}
127//no match: field omitted
128if (not(match(x2,templateInt_tAny))) {setverdict(pass);}
129 else {setverdict(fail);}
130//no match: other field
131if (not(match(x3,templateInt_tAny))) {setverdict(pass);}
132 else {setverdict(fail);}
133}
134
135testcase templateIntAnyorNone() runs on templateInt_mycomp {
136var templateInt_rec x1,x2,x3; //AnyorNone value
137x1:={ x1:=1, x2:=2, x3:=omit };
138x2:={ x1:=1, x2:=2, x3:=3 };
139x3:={ x1:=2, x2:=2, x3:=omit };
140//match: omitted
141if (match(x1,templateInt_tAnyorNone)) {setverdict(pass);}
142 else {setverdict(fail);}
143//match: value
144if (match(x2,templateInt_tAnyorNone)) {setverdict(pass);}
145 else {setverdict(fail);}
146//no match: other field
147if (not(match(x3,templateInt_tAnyorNone))) {setverdict(pass);}
148 else {setverdict(fail);}
149}
150
151testcase templateIntRange1() runs on templateInt_mycomp {
152var templateInt_rec x1,x2,x3; //Range (x .. y)
153x1:={ x1:=1, x2:=2, x3:=3 };
154x2:={ x1:=1, x2:=5, x3:=3 };
155x3:={ x1:=2, x2:=2, x3:=3 };
156//match
157if (match(x1,templateInt_tRange1)) {setverdict(pass);}
158 else {setverdict(fail);}
159//no match: out of range
160if (not(match(x2,templateInt_tRange1))) {setverdict(pass);}
161 else {setverdict(fail);}
162//no match: other field
163if (not(match(x3,templateInt_tRange1))) {setverdict(pass);}
164 else {setverdict(fail);}
165}
166
167testcase templateIntRange2() runs on templateInt_mycomp {
168var templateInt_rec x1,x2,x3; //Range (x to y)
169x1:={ x1:=1, x2:=2, x3:=3 };
170x2:={ x1:=1, x2:=5, x3:=3 };
171x3:={ x1:=2, x2:=2, x3:=3 };
172//match
173if (match(x1,templateInt_tRange2)) {setverdict(pass);}
174 else {setverdict(fail);}
175//no match: out of range
176if (not(match(x2,templateInt_tRange2))) {setverdict(pass);}
177 else {setverdict(fail);}
178//no match: other field
179if (not(match(x3,templateInt_tRange2))) {setverdict(pass);}
180 else {setverdict(fail);}
181}
182
183testcase templateIntRange3() runs on templateInt_mycomp {
184var templateInt_rec x1,x2,x3; //Range, with infinity
185x1:={ x1:=1, x2:=8, x3:=3 };
186x2:={ x1:=1, x2:=-5, x3:=3 };
187x3:={ x1:=2, x2:=2, x3:=3 };
188//match
189if (match(x1,templateInt_tRange3)) {setverdict(pass);}
190 else {setverdict(fail);}
191//no match: out of range
192if (not(match(x2,templateInt_tRange3))) {setverdict(pass);}
193 else {setverdict(fail);}
194//no match: other field
195if (not(match(x3,templateInt_tRange3))) {setverdict(pass);}
196 else {setverdict(fail);}
197}
198
199testcase templateIntRange4() runs on templateInt_mycomp {
200var templateInt_rec x1,x2,x3; //Range with - infinity
201x1:={ x1:=1, x2:=-2, x3:=3 };
202x2:={ x1:=1, x2:=5, x3:=3 };
203x3:={ x1:=2, x2:=2, x3:=3 };
204//match
205if (match(x1,templateInt_tRange4)) {setverdict(pass);}
206 else {setverdict(fail);}
207//no match: out of range
208if (not(match(x2,templateInt_tRange4))) {setverdict(pass);}
209 else {setverdict(fail);}
210//no match: other field
211if (not(match(x3,templateInt_tRange4))) {setverdict(pass);}
212 else {setverdict(fail);}
213}
214
215testcase templateIntIfpresent() runs on templateInt_mycomp {
216var templateInt_rec x1,x2,x3,x4; //ifpresent
217x1:={ x1:=1, x2:=2, x3:=3 };
218x2:={ x1:=1, x2:=2, x3:=omit };
219x3:={ x1:=1, x2:=2, x3:=4 };
220x4:={ x1:=2, x2:=2, x3:=omit };
221//match: present and match
222if (match(x1,templateInt_tIfpresent)) {setverdict(pass);}
223 else {setverdict(fail);}
224//match: not present
225if (match(x2,templateInt_tIfpresent)) {setverdict(pass);}
226 else {setverdict(fail);}
227//no match: present and not match
228if (not(match(x3,templateInt_tIfpresent))) {setverdict(pass);}
229 else {setverdict(fail);}
230//no match: other field
231if (not(match(x4,templateInt_tIfpresent))) {setverdict(pass);}
232 else {setverdict(fail);}
233}
234
235// Types for TR_HJ94652.
236type record TR_HJ94652_myrec {
237 integer myrecint
238}
239
240template TR_HJ94652_myrec TR_HJ94652_mytemp(integer myint) := {
241 myrecint := (myint - 100 .. myint)
242}
243
244type record of TR_HJ94652_myrec TR_HJ94652_mylist
245
246testcase TR_HJ94652() runs on templateInt_mycomp {
247 // INTEGER_template::copy_template() was not implemented correctly for
248 // VALUE_RANGE templates.
249 var template TR_HJ94652_mylist myownlist := { }
250 for (var integer i := 1; i <= 3; i := i + 1) {
251 myownlist[i] := TR_HJ94652_mytemp(i * 100)
252 }
253 for (var integer i := 1; i <= 3; i := i + 1) {
254 var charstring s1 := log2str(myownlist[i])
255 var charstring s2 := log2str(TR_HJ94652_mytemp(i * 100))
256 if (s1 == s2) { setverdict(pass) }
257 else { setverdict(fail) }
258 }
259}
260
261control {
262 execute(templateIntSpec());
263 execute(templateIntList());
264 execute(templateIntComp());
265 execute(templateIntOmit());
266 execute(templateIntAny());
267 execute(templateIntAnyorNone());
268 execute(templateIntRange1());
269 execute(templateIntRange2());
270 execute(templateIntRange3());
271 execute(templateIntRange4());
272 execute(templateIntIfpresent());
273 execute(TR_HJ94652());
274}
275}
Titan Core - Deliverables
This page took 0.033065 seconds and 5 git commands to generate.