regression_test/text2ttcn/array_test.ttcn

   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  ******************************************************************************/
   8 module array_test
   9 {
  10 //=========================================================================
  11 // Import Part
  12 //=========================================================================
  13 import from types all;
  14 import from functions all;
  15 //=========================================================================
  16 // Module Parameters
  17 //=========================================================================
  18 modulepar {
  19   template AI3 tspt_array_i3_a := *
  20   template AI3 tspt_array_i3_q := ?
  21   template AI3 tspt_array_i3_v0 := {-,-,-} //error, length shall be 3
  22   template AI3 tspt_array_i3_v1:= {1,-,-}
  23   template AI3 tspt_array_i3_v2:= {1,2,-}
  24   template AI3 tspt_array_i3_v3v := {0, 1, 2}
  25   //template AI3 tspt_array_i3_v4 := {0, 1, 2, 3} //error, length shall be 3
  26   template AI3 tspt_array_i3_v3a := {0, *, 2}
  27   template AI3 tspt_array_i3_v3q := {?, 1, 2}
  28   //template AI3 tspt_array_i3_v3o := {omit, 1, 2} //"error: `omit' value is not allowed in this context"
  29   template AI3 tspt_array_i3_v3vl := {0, 1, (1,2)} //value list
  30   template AI3 tspt_array_i3_vl := ( {0,1,2},{9,10,11})
  31   template AI3 tspt_array_i3_v3r := {0, 1, (1..3)} //range
  32   template AI3 tspt_array_i3_v3mix := {(0,1), 1, (1..3)}
  33   template AI3 tspt_array_i3_v3c := {(0,1), 1, complement(2,3)}
  34   template AI3 tspt_array_i3_v3p := { permutation(1,2,3) } //TR: HS10539, fixed
  35   template AI3 tspt_array_i3_v3pa := { permutation(1,2,*) }
  36
  37   template AI3 tspt_array_i3_mod4a := {9,10,11}
  38   template AI3 tspt_array_i3_mod4q := {9,10,11}
  39   template AI3 tspt_array_i3_mod4o := *
  40   template AI3 tspt_array_i3_mod4v0 := {1,2,3}
  41   template AI3 tspt_array_i3_mod4v1:= {-,2,3}
  42   template AI3 tspt_array_i3_mod4v2:= {-,-,3}
  43   template AI3 tspt_array_i3_mod4v3v := {-,-,-}
  44   //template AI3 tspt_array_i3_mod4v4 := {-,-,-}
  45   template AI3 tspt_array_i3_mod4v3a := {9,10,11}
  46   template AI3 tspt_array_i3_mod4v3q := {9,10,11}
  47   //template AI3 tspt_array_i3_mod4v3o := *
  48   template AI3 tspt_array_i3_mod4v3vl := {-,-,-}
  49   template AI3 tspt_array_i3_mod4vl := *
  50   template AI3 tspt_array_i3_mod4v3r := {-,-,-}
  51   template AI3 tspt_array_i3_mod4v3mix := {-,-,-}
  52   template AI3 tspt_array_i3_mod4v3c := {-,-,-}
  53   template AI3 tspt_array_i3_mod4field1 := { (0, 1), 1, (1 .. 3) }
  54
  55   template AI3 tspt_array_i3_mod4aifp := {9,10,11}
  56   template AI3 tspt_array_i3_mod4qifp := {9,10,11}
  57   template AI3 tspt_array_i3_mod4v0ifp := *
  58   template AI3 tspt_array_i3_mod4v1ifp := *
  59   template AI3 tspt_array_i3_mod4v2ifp := *
  60   template AI3 tspt_array_i3_mod4v3vifp := *
  61   template AI3 tspt_array_i3_mod4v4 := ?
  62   template AI3 tspt_array_i3_mod4v3aifp := {9,10,11}
  63   template AI3 tspt_array_i3_mod4v3qifp := {9,10,11}
  64   //template AI3 tspt_array_i3_mod4v3o ifp := *
  65   template AI3 tspt_array_i3_mod4v3vlifp := {9,10,11}
  66   template AI3 tspt_array_i3_mod4vlifp := *
  67   template AI3 tspt_array_i3_mod4v3rifp := {9,10,11}
  68   template AI3 tspt_array_i3_mod4v3mixifp := ?
  69   template AI3 tspt_array_i3_mod4v3cifp := ?;
  70   // template AI3 tspt_array_i3_mod4v3crifp := *;
  71   // template AI3 tspt_array_i3_mod4v3pifp := *;
  72   template AI3 tspt_array_i3_mod4field1ifp := { (0, 1), 1, (1 .. 3) } ifpresent;
  73 }
  74
  75 //=========================================================================
  76 // Templates
  77 //=========================================================================
  78 //array
  79 template AI3 t_array_i3_a := *
  80 template AI3 t_array_i3_q := ?
  81 template AI3 t_array_i3_v0 := {-,-,-} //error
  82 template AI3 t_array_i3_v1:= {1,-,-} //error
  83 template AI3 t_array_i3_v2:= {1,2,-} //error
  84 template AI3 t_array_i3_v3v := {0, 1, 2}
  85 //template AI3 t_array_i3_v4 := {0, 1, 2, 3}
  86 template AI3 t_array_i3_v3a := {0, *, 2}
  87 template AI3 t_array_i3_v3q := {?, 1, 2}
  88 //template AI3 t_array_i3_v3o := {omit, 1, 2} //error
  89 template AI3 t_array_i3_v3vl := {0, 1, (1,2)} //value list
  90 template AI3 t_array_i3_vl := ( {0,1,2},{0,1,3})
  91 template AI3 t_array_i3_v3r := {0, 1, (1..3)} //range
  92 template AI3 t_array_i3_v3mix := {(0,1), 1, (1..3)}
  93 template AI3 t_array_i3_v3c := {(0,1), 1, complement(2,3)}
  94 template AI3 t_array_i3_v3cr := {(0..1), 1, complement(2,4)}
  95 template AI3 t_array_i3_v3p := { permutation(1,2,3) } //TR: HS10539, fixed
  96 template AI3 t_array_i3_v3pa := { permutation(1,2,*) }
  97
  98 template AI3 tt := { 1,2,* };
  99 template AI3 tt1x3 := { 1,*,3 };
 100 template AI3 ttx45 := { *,4,5 };
 101
 102
 103 template REC_BAI3 t_array_bai3( template boolean t_b, template AI3 t_ai3) := {
 104   b:= t_b,
 105   ai3:=t_ai3
 106 }
 107
 108 type component MyComp_CT {
 109   var template integer v_AI3literal[3] := { permutation(1,*,3) };
 110   var template integer v_AI3allfrom[3] := { permutation(all from tt) };
 111 }
 112
 113
 114 //=========================================================================
 115 // Functions
 116 //=========================================================================
 117
 118 //template string -> template conversion
 119 //expected result: success
 120 function f_string2ttcn_REC_BAI3_t(in charstring pl_cs, in template REC_BAI3 pl_expected_result) {
 121   var template REC_BAI3 vl_result;
 122   @try {
 123     string2ttcn(pl_cs, vl_result);
 124     setverdict(pass);
 125   }
 126   @catch(err_str) {
 127     log("str2ttcn() failed: ",err_str);
 128     setverdict(fail);
 129   }
 130   log(pl_expected_result);
 131   log(vl_result);
 132   if( log2str(pl_expected_result) == log2str(vl_result) ) { setverdict(pass) } else { setverdict(fail) }
 133 }
 134
 135 //template string -> template conversion
 136 //expected result: success, expected result struct in charstring
 137 function f_string2ttcn_REC_BAI3_t_str(in charstring pl_cs, in charstring pl_expected_result) {
 138   var template REC_BAI3 vl_result;
 139   @try {
 140     string2ttcn(pl_cs, vl_result);
 141     setverdict(pass);
 142   }
 143   @catch(err_str) {
 144     log("str2ttcn() failed: ",err_str);
 145     setverdict(fail);
 146   }
 147   log("Expected result: ", pl_expected_result);
 148   log("Result: ", vl_result);
 149   if( pl_expected_result == log2str(vl_result) ) { setverdict(pass) } else { setverdict(fail) }
 150 }
 151
 152 //template string -> variable conversion
 153 //expected result: error
 154 function f_string2ttcn_REC_BAI3_v(in charstring pl_cs, in template REC_BAI3 pl_expected_result, in boolean pl_ok_expected) {
 155   var REC_BAI3 vl_result;
 156   if( pl_ok_expected ) {
 157     @try {
 158       string2ttcn(pl_cs, vl_result);
 159       setverdict(pass);
 160     }
 161     @catch(err_str) {
 162       log("str2ttcn() failed: ",err_str);
 163       setverdict(fail);
 164     }
 165     if( log2str(pl_expected_result) == log2str(vl_result) ) { setverdict(pass) } else { setverdict(fail) }
 166   }
 167   else
 168   {
 169     @try {
 170       string2ttcn(pl_cs, vl_result);
 171       setverdict(fail);
 172     }
 173     @catch(err_str) {
 174       log("str2ttcn() conversion error: ",err_str);
 175       setverdict(pass,"Expected error, ok");
 176     }
 177
 178   }
 179   log("Expected result: ",pl_expected_result );
 180   log("Result: ", vl_result);
 181 }
 182
 183 //this function is the same but uses
 184 function f_string2ttcn_REC_BAI3_v_str(in charstring pl_cs, charstring pl_expected_result, in boolean pl_ok_expected) {
 185   var REC_BAI3 vl_result;
 186   if( pl_ok_expected ) {
 187     @try {
 188       string2ttcn(pl_cs, vl_result);
 189       setverdict(pass);
 190     }
 191     @catch(err_str) {
 192       log("str2ttcn() failed: ",err_str);
 193       setverdict(fail);
 194     }
 195     if( pl_expected_result == log2str(vl_result) ) { setverdict(pass) } else { setverdict(fail) }
 196   }
 197   else
 198   {
 199     @try {
 200       string2ttcn(pl_cs, vl_result);
 201       setverdict(fail);
 202     }
 203     @catch(err_str) {
 204       log("str2ttcn() conversion error: ",err_str);
 205       setverdict(pass,"Expected error, ok");
 206     }
 207
 208   }
 209   log("Expected result: ", pl_expected_result );
 210   log("Result: ", vl_result);
 211 }
 212
 213
 214
 215
 216 //=========================================================================
 217 // Testcases
 218 //=========================================================================
 219
 220 testcase tc_array_i_NoModulePar() runs on MC {
 221
 222   if( log2str(t_array_i3_a) != "*" ) {setverdict(fail) } else { setverdict(pass) };
 223   if( log2str(t_array_i3_q) != "?" ) {setverdict(fail) } else { setverdict(pass) };
 224   log(t_array_i3_v3v);
 225   if( log2str(t_array_i3_v3v) != "{ 0, 1, 2 }" ) {setverdict(fail) } else { setverdict(pass) };
 226   log(t_array_i3_v3a);
 227   if( log2str(t_array_i3_v3a) != "{ 0, *, 2 }" ) {setverdict(fail) } else { setverdict(pass) };
 228   log(t_array_i3_v3q);
 229   if( log2str(t_array_i3_v3q) != "{ ?, 1, 2 }" ) {setverdict(fail) } else { setverdict(pass) };
 230   log(t_array_i3_v3vl);
 231   if( log2str(t_array_i3_v3vl) != "{ 0, 1, (1, 2) }" ) {setverdict(fail) } else { setverdict(pass) };
 232   log(t_array_i3_vl);
 233   if( log2str(t_array_i3_vl) != "({ 0, 1, 2 }, { 0, 1, 3 })" ) {setverdict(fail) } else { setverdict(pass) };
 234   log(t_array_i3_v3r);
 235   if( log2str(t_array_i3_v3r) != "{ 0, 1, (1 .. 3) }" ) {setverdict(fail) } else { setverdict(pass) };
 236   log(t_array_i3_v3mix);
 237   if( log2str(t_array_i3_v3mix) != "{ (0, 1), 1, (1 .. 3) }" ) {setverdict(fail) } else { setverdict(pass) };
 238   log(t_array_i3_v3c);
 239   if( log2str(t_array_i3_v3c) != "{ (0, 1), 1, complement (2, 3) }" ) {setverdict(fail) } else { setverdict(pass) };
 240   log(t_array_i3_v3p);
 241   if( log2str(t_array_i3_v3p) != "{ permutation(1, 2, 3) }" ) {setverdict(fail) } else { setverdict(pass) };
 242 }
 243
 244 testcase tc_array_i_ModulePar() runs on MC {
 245
 246   if( log2str(tspt_array_i3_a) != "*" ) {setverdict(fail) } else { setverdict(pass) };
 247   if( log2str(tspt_array_i3_q) != "?" ) {setverdict(fail) } else { setverdict(pass) };
 248   log(tspt_array_i3_v3v);
 249   if( log2str(tspt_array_i3_v3v) != "{ 0, 1, 2 }" ) {setverdict(fail) } else { setverdict(pass) };
 250   log(tspt_array_i3_v3a);
 251   if( log2str(tspt_array_i3_v3a) != "{ 0, *, 2 }" ) {setverdict(fail) } else { setverdict(pass) };
 252   log(tspt_array_i3_v3q);
 253   if( log2str(tspt_array_i3_v3q) != "{ ?, 1, 2 }" ) {setverdict(fail) } else { setverdict(pass) };
 254   log(tspt_array_i3_v3vl);
 255   if( log2str(tspt_array_i3_v3vl) != "{ 0, 1, (1, 2) }" ) {setverdict(fail) } else { setverdict(pass) };
 256   log(tspt_array_i3_vl);
 257   if( log2str(tspt_array_i3_vl) != "({ 0, 1, 2 }, { 9, 10, 11 })" ) {setverdict(fail) } else { setverdict(pass) };
 258   log(tspt_array_i3_v3r);
 259   if( log2str(tspt_array_i3_v3r) != "{ 0, 1, (1 .. 3) }" ) {setverdict(fail) } else { setverdict(pass) };
 260   log(tspt_array_i3_v3mix);
 261   if( log2str(tspt_array_i3_v3mix) != "{ (0, 1), 1, (1 .. 3) }" ) {setverdict(fail) } else { setverdict(pass) };
 262   log(tspt_array_i3_v3c);
 263   if( log2str(tspt_array_i3_v3c) != "{ (0, 1), 1, complement (2, 3) }" ) {setverdict(fail) } else { setverdict(pass) };
 264   log(tspt_array_i3_v3p);
 265   if( log2str(tspt_array_i3_v3p) != "{ permutation(1, 2, 3) }" ) {setverdict(fail) } else { setverdict(pass) }; //TR: HS10539, fixed
 266   log(tspt_array_i3_v3pa);
 267   if( log2str(tspt_array_i3_v3pa) != "{ permutation(1, 2, *) }" ) {setverdict(fail) } else { setverdict(pass) }; //TR: HS10539, fixed
 268 }
 269
 270 testcase tc_array_i_v3p() runs on MC {
 271   var RoAI3 vl_good_values := { {1,2,3}, {1,3,2},{2,1,3},{2,3,1},{3,1,2},{3,2,1} }
 272   var RoAI3 vl_wrong_values := { {1,2,4}, {1,5,6},{20,10,30} }
 273   f_checkMatchingValues_ai3(tspt_array_i3_v3p,vl_good_values,vl_wrong_values);
 274   f_checkMatchingValues_ai3(t_array_i3_v3p,vl_good_values,vl_wrong_values);
 275 }
 276
 277 testcase tc_array_i_v3pa() runs on MC {
 278   var RoAI3 vl_good_values := { {1,2,3}, {1,3,2},{2,1,3},{2,3,1},{3,1,2},{3,2,1}, {1,2,4}, {5,2,1}}
 279   var RoAI3 vl_wrong_values := { {1,5,6},{20,10,30} }
 280   f_checkMatchingValues_ai3(tspt_array_i3_v3pa,vl_good_values,vl_wrong_values);
 281   f_checkMatchingValues_ai3(t_array_i3_v3pa,vl_good_values,vl_wrong_values);
 282 }
 283
 284 testcase tc_array_i_a() runs on MC {
 285   log(tspt_array_i3_a);
 286   var RoAI3 vl_good_values := { {1,1,3}, {1,2,3}, {1,3,3}, {1,4,3}, {1,9999,3} };
 287   var RoAI3 vl_wrong_values := { };
 288   f_checkMatchingValues_ai3(tspt_array_i3_a,vl_good_values,vl_wrong_values);
 289 }
 290
 291 testcase tc_array_i_q() runs on MC {
 292   log(tspt_array_i3_q);
 293   var RoAI3 vl_good_values := { {1,1,3}, {1,2,3}, {1,3,3}, {1,4,3}, {1,9999,3} };
 294   var RoAI3 vl_wrong_values := { };
 295   f_checkMatchingValues_ai3(tspt_array_i3_q,vl_good_values,vl_wrong_values);
 296 }
 297
 298 testcase tc_array_i_v3v() runs on MC {
 299   log(tspt_array_i3_v3v);
 300   var RoAI3 vl_good_values := { {0,1,2} };
 301   var RoAI3 vl_wrong_values := {{0,1,3},{0,2,2},{0,3,2},{0,-1,2},{0,-,2},{1,1,3}, {1,2,3}, {1,3,3}, {1,4,3}, {1,9999,3} };
 302   f_checkMatchingValues_ai3(tspt_array_i3_v3v,vl_good_values,vl_wrong_values);
 303 }
 304
 305 testcase tc_array_i_v3a() runs on MC {
 306   log(tspt_array_i3_v3a);
 307   var RoAI3 vl_good_values := { {0,1,2},{0,2,2},{0,3,2},{0,-1,2},{0,-,2}};
 308   var RoAI3 vl_wrong_values := {{0,1,3},{1,1,3}, {1,2,3}, {1,3,3}, {1,4,3}, {1,9999,3} };
 309   f_checkMatchingValues_ai3(tspt_array_i3_v3a,vl_good_values,vl_wrong_values);
 310 }
 311
 312 testcase tc_array_i_v3q() runs on MC {
 313   log(tspt_array_i3_v3q);
 314   var RoAI3 vl_good_values := { {0,1,2},{0,2,2},{0,3,2},{0,-1,2},{0,-,2}};
 315   var RoAI3 vl_wrong_values := {{0,1,3},{1,1,3}, {0,2,3}, {1,3,3}, {0,4,9}, {1,9999,2} };
 316   f_checkMatchingValues_ai3(tspt_array_i3_v3a,vl_good_values,vl_wrong_values);
 317 }
 318
 319 testcase tc_array_i_v3vl() runs on MC {
 320   log(tspt_array_i3_v3vl);
 321   var RoAI3 vl_good_values := { {0,1,1},{0,1,2}};
 322   var RoAI3 vl_wrong_values := {{0,1,3},{1,1,3}, {0,2,3}, {1,3,3} };
 323   f_checkMatchingValues_ai3(tspt_array_i3_v3vl,vl_good_values,vl_wrong_values);
 324 }
 325
 326 testcase tc_array_i_vl() runs on MC {
 327   log(tspt_array_i3_vl);
 328   var RoAI3 vl_good_values := { {0,1,2},{9,10,11}};
 329   var RoAI3 vl_wrong_values := {{0,1,3},{1,1,2}, {0,2,2}, {9,10,12},{9,11,11},{4,4,4}  };
 330   f_checkMatchingValues_ai3(tspt_array_i3_vl,vl_good_values,vl_wrong_values);
 331 }
 332
 333 testcase tc_array_i_v3r() runs on MC {
 334   log(tspt_array_i3_v3r);
 335   var RoAI3 vl_good_values := { {0,1,1},{0,1,2},{0,1,3} };
 336   var RoAI3 vl_wrong_values := {{0,1,4},{0,1,0}, {0,2,2}, {9,10,12},{9,11,11},{4,4,4}  };
 337   f_checkMatchingValues_ai3(tspt_array_i3_v3r,vl_good_values,vl_wrong_values);
 338 }
 339
 340 testcase tc_array_i_v3mix() runs on MC {
 341   log(tspt_array_i3_v3mix);
 342   var RoAI3 vl_good_values := { {0,1,1},{0,1,2},{0,1,3},{1,1,1},{1,1,2},{1,1,3} };
 343   var RoAI3 vl_wrong_values := {{0,1,4},{0,1,0}, {0,2,2},{1,1,4},{1,1,4},{1,1,0}, {9,10,12},{9,11,11},{4,4,4}  };
 344   f_checkMatchingValues_ai3(tspt_array_i3_v3mix,vl_good_values,vl_wrong_values);
 345 }
 346
 347 testcase tc_array_i_v3c() runs on MC {
 348   log(tspt_array_i3_v3c);
 349   var RoAI3 vl_good_values := { {0,1,1},{0,1,4},{0,1,5},{1,1,1},{1,1,4},{1,1,5}, {1,1,-1} , {1,1,-100}};
 350   var RoAI3 vl_wrong_values := {{0,1,2},{0,1,3}, {1,1,2},{1,1,3},{1,2,4},{1,2,0}, {9,10,12},{9,11,11},{4,4,4}  };
 351   f_checkMatchingValues_ai3(tspt_array_i3_v3c,vl_good_values,vl_wrong_values);
 352 }
 353 //
 354 testcase tc_array_i_mod4a() runs on MC {
 355   log(tspt_array_i3_mod4a);
 356   var RoAI3 vl_good_values := { {1,1,3}, {1,2,3}, {1,3,3}, {1,4,3}, {1,9999,3} };
 357   var RoAI3 vl_wrong_values := { };
 358   f_checkMatchingValues_ai3(tspt_array_i3_mod4a,vl_good_values,vl_wrong_values);
 359 }
 360
 361 testcase tc_array_i_mod4q() runs on MC {
 362   log(tspt_array_i3_mod4q);
 363   var RoAI3 vl_good_values := { {1,1,3}, {1,2,3}, {1,3,3}, {1,4,3}, {1,9999,3} };
 364   var RoAI3 vl_wrong_values := { };
 365   f_checkMatchingValues_ai3(tspt_array_i3_mod4q,vl_good_values,vl_wrong_values);
 366 }
 367
 368
 369 testcase tc_array_i_mod4v0() runs on MC {
 370   log(tspt_array_i3_mod4v0);
 371   var RoAI3 vl_good_values := {{1,2,3} };
 372   var RoAI3 vl_wrong_values := { {0,1,2} } // compilation error for {1},{1,2} TODO: put into negative test
 373   f_checkMatchingValues_ai3(tspt_array_i3_mod4v0,vl_good_values,vl_wrong_values,true);
 374 }
 375
 376 testcase tc_array_i_mod4v1() runs on MC {
 377   log(tspt_array_i3_mod4v1);
 378   var RoAI3 vl_good_values := {{1,2,3}};//TODO: put {{1}} into the negative test
 379   var RoAI3 vl_wrong_values := { {0,1,2} } // compilation error for {1},{1,2} TODO: put into neg test
 380   f_checkMatchingValues_ai3(tspt_array_i3_mod4v1,vl_good_values,vl_wrong_values,true);
 381 }
 382
 383 testcase tc_array_i_mod4v2() runs on MC {
 384   log(tspt_array_i3_mod4v2);
 385   var RoAI3 vl_good_values := {{1,2,3}};//TODO: put {{1,2}} into the negative test
 386   var RoAI3 vl_wrong_values := { {0,1,2} } // compilation error for {1},{1,2} TODO: put into neg test
 387   f_checkMatchingValues_ai3(tspt_array_i3_mod4v2,vl_good_values,vl_wrong_values,true);
 388 }
 389
 390
 391 testcase tc_array_i_mod4v3v() runs on MC {
 392   log(tspt_array_i3_mod4v3v);
 393   var RoAI3 vl_good_values := { {0,1,2} };
 394   var RoAI3 vl_wrong_values := {{0,1,3},{0,2,2},{0,3,2},{0,-1,2},{0,-,2},{1,1,3}, {1,2,3}, {1,3,3}, {1,4,3}, {1,9999,3} };
 395   f_checkMatchingValues_ai3(tspt_array_i3_mod4v3v,vl_good_values,vl_wrong_values);
 396 }
 397
 398 testcase tc_array_i_mod4v3a() runs on MC {
 399   log(tspt_array_i3_mod4v3a);
 400   var RoAI3 vl_good_values := { {0,1,2},{0,2,2},{0,3,2},{0,-1,2},{0,-,2}};
 401   var RoAI3 vl_wrong_values := {{0,1,3},{1,1,3}, {1,2,3}, {1,3,3}, {1,4,3}, {1,9999,3} };
 402   f_checkMatchingValues_ai3(tspt_array_i3_mod4v3a,vl_good_values,vl_wrong_values);
 403 }
 404
 405 testcase tc_array_i_mod4v3q() runs on MC {
 406   log(tspt_array_i3_mod4v3q);
 407   var RoAI3 vl_good_values := { {0,1,2},{0,2,2},{0,3,2},{0,-1,2},{0,-,2}};
 408   var RoAI3 vl_wrong_values := {{0,1,3},{1,1,3}, {0,2,3}, {1,3,3}, {0,4,9}, {1,9999,2} };
 409   f_checkMatchingValues_ai3(tspt_array_i3_mod4v3a,vl_good_values,vl_wrong_values);
 410 }
 411
 412 testcase tc_array_i_mod4v3vl() runs on MC {
 413   log(tspt_array_i3_mod4v3vl);
 414   var RoAI3 vl_good_values := { {0,1,1},{0,1,2}};
 415   var RoAI3 vl_wrong_values := {{0,1,3},{1,1,3}, {0,2,3}, {1,3,3} };
 416   f_checkMatchingValues_ai3(tspt_array_i3_mod4v3vl,vl_good_values,vl_wrong_values);
 417 }
 418
 419 testcase tc_array_i_mod4vl() runs on MC {
 420   log(tspt_array_i3_mod4vl);
 421   var RoAI3 vl_good_values := { {0,1,2},{9,10,11}};
 422   var RoAI3 vl_wrong_values := {{0,1,3},{1,1,2}, {0,2,2}, {9,10,12},{9,11,11},{4,4,4}  };
 423   f_checkMatchingValues_ai3(tspt_array_i3_mod4vl,vl_good_values,vl_wrong_values);
 424 }
 425
 426 testcase tc_array_i_mod4v3r() runs on MC {
 427   log(tspt_array_i3_mod4v3r);
 428   var RoAI3 vl_good_values := { {0,1,1},{0,1,2},{0,1,3} };
 429   var RoAI3 vl_wrong_values := {{0,1,4},{0,1,0}, {0,2,2}, {9,10,12},{9,11,11},{4,4,4}  };
 430   f_checkMatchingValues_ai3(tspt_array_i3_mod4v3r,vl_good_values,vl_wrong_values);
 431 }
 432
 433 testcase tc_array_i_mod4v3mix() runs on MC {
 434   log(tspt_array_i3_mod4v3mix);
 435   var RoAI3 vl_good_values := { {0,1,1},{0,1,2},{0,1,3},{1,1,1},{1,1,2},{1,1,3} };
 436   var RoAI3 vl_wrong_values := {{0,1,4},{0,1,0}, {0,2,2},{1,1,4},{1,1,4},{1,1,0}, {9,10,12},{9,11,11},{4,4,4}  };
 437   f_checkMatchingValues_ai3(tspt_array_i3_mod4v3mix,vl_good_values,vl_wrong_values);
 438 }
 439
 440 testcase tc_array_i_mod4v3c() runs on MC {
 441   log(tspt_array_i3_mod4v3c);
 442   var RoAI3 vl_good_values := { {0,1,1},{0,1,4},{0,1,5},{1,1,1},{1,1,4},{1,1,5}, {1,1,-1} , {1,1,-100}};
 443   var RoAI3 vl_wrong_values := {{0,1,2},{0,1,3}, {1,1,2},{1,1,3},{1,2,4},{1,2,0}, {9,10,12},{9,11,11},{4,4,4}  };
 444   f_checkMatchingValues_ai3(tspt_array_i3_mod4v3c,vl_good_values,vl_wrong_values);
 445 }
 446
 447 //{ (0, 1), 1, (1 .. 3) } -{0, -, -}--> { 1, 1, (1 .. 3) }
 448 testcase tc_array_i_mod4field1() runs on MC {
 449   log(tspt_array_i3_mod4field1);
 450   var RoAI3 vl_good_values := { {0,1,1},{0,1,2},{0,1,3}};
 451   var RoAI3 vl_wrong_values := {{0,1,4},{0,1,5}, {1,1,1},{1,1,2},{1,1,3},{1,1,4}, {9,10,12} };
 452   f_checkMatchingValues_ai3(tspt_array_i3_mod4field1,vl_good_values,vl_wrong_values);
 453 }
 454 //====
 455
 456 testcase tc_array_i_mod4aifp_emb() runs on MC {
 457   log(t_rai3(tspt_array_i3_mod4aifp));
 458   var RoRAI3 vl_good_values := { {omit},{{1,1,3}}, {{1,2,3}}, {{1,3,3}}, {{1,4,3}}, {{1,9999,3}} };
 459   var RoRAI3 vl_wrong_values := {{}};
 460   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4aifp),vl_good_values,vl_wrong_values);
 461 }
 462
 463 testcase tc_array_i_mod4qifp_emb() runs on MC {
 464   log(t_rai3(tspt_array_i3_mod4qifp));
 465   var RoRAI3 vl_good_values := { {omit},{{1,1,3}}, {{1,2,3}}, {{1,3,3}}, {{1,4,3}}, {{1,9999,3}} };
 466   var RoRAI3 vl_wrong_values := {{} };
 467   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4qifp),vl_good_values,vl_wrong_values);
 468 }
 469 testcase tc_array_i_mod4v0ifp_emb() runs on MC {
 470   log(t_rai3(tspt_array_i3_mod4v0ifp));
 471   var RoRAI3 vl_good_values := {{omit},{}}; //TODO: put {{}} into the negative test
 472   var RoRAI3 vl_wrong_values := { {{0,1,2}} } // compilation error for {1},{1,2} TODO: put into negative test
 473   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4v0ifp),vl_good_values,vl_wrong_values);
 474 }
 475
 476 testcase tc_array_i_mod4v1ifp_emb() runs on MC {
 477   log(t_rai3(tspt_array_i3_mod4v1ifp));
 478   var RoRAI3 vl_good_values := {{omit},{}};//TODO: put {{1}} into the negative test
 479   var RoRAI3 vl_wrong_values := { {{0,1,2}} } // compilation error for {1},{1,2} TODO: put into neg test
 480   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4v1ifp),vl_good_values,vl_wrong_values);
 481 }
 482
 483 testcase tc_array_i_mod4v2ifp_emb() runs on MC {
 484   log(t_rai3(tspt_array_i3_mod4v2ifp));
 485   var RoRAI3 vl_good_values := {{omit},{}};//TODO: put {{1,2}} into the negative test
 486   var RoRAI3 vl_wrong_values := { {{0,1,2}} } // compilation error for {1},{1,2} TODO: put into neg test
 487   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4v2ifp),vl_good_values,vl_wrong_values);
 488 }
 489
 490 testcase tc_array_i_mod4v3vifp_emb() runs on MC {
 491   log(t_rai3(tspt_array_i3_mod4v3vifp));
 492   var RoRAI3 vl_good_values := {{omit}, {{0,1,2}} };
 493   var RoRAI3 vl_wrong_values := { {{0,1,3}},{{0,2,2}},{{0,3,2}},{{0,-1,2}},{{0,-,2}},{{1,1,3}},{{1,2,3}},{{1,3,3}},{{1,4,3}},{{1,9999,3}} };
 494   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4v3vifp),vl_good_values,vl_wrong_values);
 495 }
 496
 497 testcase tc_array_i_mod4v3aifp_emb() runs on MC {
 498   log(t_rai3(tspt_array_i3_mod4v3aifp));
 499   var RoRAI3 vl_good_values := { {omit},{{0,1,2}},{{0,2,2}},{{0,3,2}},{{0,-1,2}},{{0,-,2}}};
 500   var RoRAI3 vl_wrong_values := { {{0,1,3}},{{1,1,3}},{{1,2,3}}, {{1,3,3}},{{1,4,3}},{{1,9999,3}} };
 501   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4v3aifp),vl_good_values,vl_wrong_values);
 502 }
 503
 504 testcase tc_array_i_mod4v3qifp_emb() runs on MC {
 505   log(t_rai3(tspt_array_i3_mod4v3qifp));
 506   var RoRAI3 vl_good_values := { {omit},{{0,1,2}},{{0,2,2}},{{0,3,2}},{{0,-1,2}},{{0,-,2}} };
 507   var RoRAI3 vl_wrong_values :={ {{0,1,3}},{{1,1,3}},{{0,2,3}},{{1,3,3}},{{0,4,9}},{{1,9999,2}} };
 508   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4v3aifp),vl_good_values,vl_wrong_values);
 509 }
 510
 511 testcase tc_array_i_mod4v3vlifp_emb() runs on MC {
 512   log(t_rai3(tspt_array_i3_mod4v3vlifp));
 513   var RoRAI3 vl_good_values := { {omit},{{0,1,1}},{{0,1,2}} };
 514   var RoRAI3 vl_wrong_values :={ {{0,1,3}},{{1,1,3}},{{0,2,3}},{{1,3,3}} };
 515   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4v3vlifp),vl_good_values,vl_wrong_values);
 516 }
 517
 518 testcase tc_array_i_mod4vlifp_emb() runs on MC {
 519   log(t_rai3(tspt_array_i3_mod4vlifp));
 520   var RoRAI3 vl_good_values := { {omit},{{0,1,2}}, {{9,10,11}} };
 521   var RoRAI3 vl_wrong_values :={ {{0,1,3}}, {{1,1,2}}, {{0,2,2}}, {{9,10,12}}, {{9,11,11}}, {{4,4,4}} };
 522   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4vlifp),vl_good_values,vl_wrong_values);
 523 }
 524
 525 testcase tc_array_i_mod4v3rifp_emb() runs on MC {
 526   log(t_rai3(tspt_array_i3_mod4v3rifp));
 527   var RoRAI3 vl_good_values := { {omit},{{0,1,1}}, {{0,1,2}}, {{0,1,3}} };
 528   var RoRAI3 vl_wrong_values := { {{0,1,4}}, {{0,1,0}}, {{0,2,2}}, {{9,10,12}}, {{9,11,11}}, {{4,4,4}} };
 529   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4v3rifp),vl_good_values,vl_wrong_values);
 530 }
 531
 532 testcase tc_array_i_mod4v3mixifp_emb() runs on MC {
 533   log(t_rai3(tspt_array_i3_mod4v3mixifp));
 534   var RoRAI3 vl_good_values := { {omit},{{0,1,1}},{{0,1,2}},{{0,1,3}},{{1,1,1}},{{1,1,2}},{{1,1,3}} } ;
 535   var RoRAI3 vl_wrong_values :={ {{0,1,4}}, {{0,1,0}}, {{0,2,2}}, {{1,1,4}}, {{1,1,4}}, {{1,1,0}}, {{9,10,12}}, {{9,11,11}}, {{4,4,4}} };
 536   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4v3mixifp),vl_good_values,vl_wrong_values);
 537 }
 538
 539 testcase tc_array_i_mod4v3cifp_emb() runs on MC {
 540   log(t_rai3(tspt_array_i3_mod4v3cifp));
 541   var RoRAI3 vl_good_values := { {omit},{{0,1,1}},{{0,1,4}},{{0,1,5}},{{1,1,1}},{{1,1,4}},{{1,1,5}},{{1,1,-1}},{{1,1,-100}} };
 542   var RoRAI3 vl_wrong_values := { {{0,1,2}},{{0,1,3}},{{1,1,2}},{{1,1,3}},{{1,2,4}},{{1,2,0}},{{9,10,12}},{{9,11,11}},{{4,4,4}} };
 543   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4v3cifp),vl_good_values,vl_wrong_values);
 544 }
 545
 546 //{ (0, 1), 1, (1 .. 3) } -{0, -, -}--> { 1, 1, (1 .. 3) }
 547 testcase tc_array_i_mod4field1ifp_emb() runs on MC {
 548   log(t_rai3(tspt_array_i3_mod4field1ifp));
 549   var RoRAI3 vl_good_values := { {omit},{{0,1,1}}, {{0,1,2}}, {{0,1,3}} };
 550   var RoRAI3 vl_wrong_values :={ {{0,1,4}}, {{0,1,5}}, {{1,1,1}}, {{1,1,2}}, {{1,1,3}}, {{1,1,4}}, {{9,10,12}} };
 551   f_checkMatchingValues_rai3(t_rai3(tspt_array_i3_mod4field1ifp),vl_good_values,vl_wrong_values);
 552 }
 553
 554 //=====
 555 testcase tc_array_i_emb() runs on MC {
 556   log(t_array_bai3(true,tspt_array_i3_a));
 557   if( log2str(t_array_bai3(true,tspt_array_i3_a)) != "{ b := true, ai3 := * }") {setverdict(fail)} else {setverdict(pass)}
 558   log(t_array_bai3(true,tspt_array_i3_q));
 559   if( log2str(t_array_bai3(true,tspt_array_i3_q)) != "{ b := true, ai3 := ? }") {setverdict(fail)} else {setverdict(pass)}
 560   log(t_array_bai3(true,tspt_array_i3_v3v));
 561   if( log2str(t_array_bai3(true,tspt_array_i3_v3v)) != "{ b := true, ai3 := { 0, 1, 2 } }") {setverdict(fail)} else {setverdict(pass)}
 562   log(t_array_bai3(true,tspt_array_i3_v3a));
 563   if( log2str(t_array_bai3(true,tspt_array_i3_v3a)) != "{ b := true, ai3 := { 0, *, 2 } }") {setverdict(fail)} else {setverdict(pass)}
 564   log(t_array_bai3(true,tspt_array_i3_v3q));
 565   if( log2str(t_array_bai3(true,tspt_array_i3_v3q)) != "{ b := true, ai3 := { ?, 1, 2 } }") {setverdict(fail)} else {setverdict(pass)}
 566   log(t_array_bai3(true,tspt_array_i3_v3vl));
 567   if( log2str(t_array_bai3(true,tspt_array_i3_v3vl)) != "{ b := true, ai3 := { 0, 1, (1, 2) } }") {setverdict(fail)} else {setverdict(pass)}
 568   log(t_array_bai3(true,tspt_array_i3_vl));
 569   if( log2str(t_array_bai3(true,tspt_array_i3_vl)) != "{ b := true, ai3 := ({ 0, 1, 2 }, { 9, 10, 11 }) }") {setverdict(fail)} else {setverdict(pass)}
 570   log(t_array_bai3(true,tspt_array_i3_v3r));
 571   if( log2str(t_array_bai3(true,tspt_array_i3_v3r)) != "{ b := true, ai3 := { 0, 1, (1 .. 3) } }") {setverdict(fail)} else {setverdict(pass)}
 572   log(t_array_bai3(true,tspt_array_i3_v3mix));
 573   if( log2str(t_array_bai3(true,tspt_array_i3_v3mix)) != "{ b := true, ai3 := { (0, 1), 1, (1 .. 3) } }") {setverdict(fail)} else {setverdict(pass)}
 574   log(t_array_bai3(true,tspt_array_i3_v3c));
 575   if( log2str(t_array_bai3(true,tspt_array_i3_v3c)) != "{ b := true, ai3 := { (0, 1), 1, complement (2, 3) } }") {setverdict(fail)} else {setverdict(pass)}
 576 }
 577
 578 //array embedded in record, modified from cfg file
 579 testcase tc_array_i_ModulePar_emb() runs on MC {
 580   log(t_array_bai3(true,tspt_array_i3_mod4a));
 581   if( log2str(t_array_bai3(true,tspt_array_i3_mod4a)) != "{ b := true, ai3 := * }") {setverdict(fail)} else {setverdict(pass)}
 582   log(t_array_bai3(true,tspt_array_i3_mod4q));
 583   if( log2str(t_array_bai3(true,tspt_array_i3_mod4q)) != "{ b := true, ai3 := ? }") {setverdict(fail)} else {setverdict(pass)}
 584   log(t_array_bai3(true,tspt_array_i3_mod4o));
 585   if( log2str(t_array_bai3(true,tspt_array_i3_mod4o)) != "{ b := true, ai3 := omit }") {setverdict(fail)} else {setverdict(pass)}
 586   log(t_array_bai3(true,tspt_array_i3_mod4v0));
 587   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v0)) != "{ b := true, ai3 := { 1, 2, 3 } }") {setverdict(fail)} else {setverdict(pass)}
 588   log(t_array_bai3(true,tspt_array_i3_mod4v1));
 589   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v1)) != "{ b := true, ai3 := { 1, 2, 3 } }") {setverdict(fail)} else {setverdict(pass)}
 590   log(t_array_bai3(true,tspt_array_i3_mod4v2));
 591   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v2)) != "{ b := true, ai3 := { 1, 2, 3 } }") {setverdict(fail)} else {setverdict(pass)}
 592   log(t_array_bai3(true,tspt_array_i3_mod4v3v));
 593   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3v)) != "{ b := true, ai3 := { 0, 1, 2 } }") {setverdict(fail)} else {setverdict(pass)}
 594   log(t_array_bai3(true,tspt_array_i3_mod4v3a));
 595   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3a)) != "{ b := true, ai3 := { 0, *, 2 } }") {setverdict(fail)} else {setverdict(pass)}
 596   log(t_array_bai3(true,tspt_array_i3_mod4v3q));
 597   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3q)) != "{ b := true, ai3 := { ?, 1, 2 } }") {setverdict(fail)} else {setverdict(pass)}
 598   log(t_array_bai3(true,tspt_array_i3_mod4v3vl));
 599   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3vl)) != "{ b := true, ai3 := { 0, 1, (1, 2) } }") {setverdict(fail)} else {setverdict(pass)}
 600   log(t_array_bai3(true,tspt_array_i3_mod4vl));
 601   if( log2str(t_array_bai3(true,tspt_array_i3_mod4vl)) != "{ b := true, ai3 := ({ 0, 1, 2 }, { 9, 10, 11 }) }") {setverdict(fail)} else {setverdict(pass)}
 602   log(t_array_bai3(true,tspt_array_i3_mod4v3r));
 603   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3r)) != "{ b := true, ai3 := { 0, 1, (1 .. 3) } }") {setverdict(fail)} else {setverdict(pass)}
 604   log(t_array_bai3(true,tspt_array_i3_mod4v3mix));
 605   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3mix)) != "{ b := true, ai3 := { (0, 1), 1, (1 .. 3) } }") {setverdict(fail)} else {setverdict(pass)}
 606   log(t_array_bai3(true,tspt_array_i3_mod4v3c));
 607   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3c)) != "{ b := true, ai3 := { (0, 1), 1, complement (2, 3) } }") {setverdict(fail)} else {setverdict(pass)}
 608   log(t_array_bai3(true,tspt_array_i3_mod4field1ifp));
 609   if( log2str(t_array_bai3(true,tspt_array_i3_mod4field1ifp)) != "{ b := true, ai3 := { 0, 1, (1 .. 3) } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 610 }
 611
 612 testcase tc_array_iifp_ModulePar_emb() runs on MC {
 613   log(t_array_bai3(true,tspt_array_i3_mod4aifp));
 614   if( log2str(t_array_bai3(true,tspt_array_i3_mod4aifp)) != "{ b := true, ai3 := * ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 615   log(t_array_bai3(true,tspt_array_i3_mod4qifp));
 616   if( log2str(t_array_bai3(true,tspt_array_i3_mod4qifp)) != "{ b := true, ai3 := ? ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 617   log(t_array_bai3(true,tspt_array_i3_mod4v0ifp));
 618   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v0ifp)) != "{ b := true, ai3 := omit ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 619   log(t_array_bai3(true,tspt_array_i3_mod4v1ifp));
 620   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v1ifp)) != "{ b := true, ai3 := { 1 } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 621   log(t_array_bai3(true,tspt_array_i3_mod4v2ifp));
 622   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v2ifp)) != "{ b := true, ai3 := { 1, 2 } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 623   log(t_array_bai3(true,tspt_array_i3_mod4v3aifp));
 624   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3aifp)) != "{ b := true, ai3 := { 0, *, 2 } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 625   log(t_array_bai3(true,tspt_array_i3_mod4v3qifp));
 626   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3qifp)) != "{ b := true, ai3 := { ?, 1, 2 } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 627   log(t_array_bai3(true,tspt_array_i3_mod4v3vlifp));
 628   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3vlifp)) != "{ b := true, ai3 := { 0, 1, (1, 2) } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 629   log(t_array_bai3(true,tspt_array_i3_mod4vlifp));
 630   if( log2str(t_array_bai3(true,tspt_array_i3_mod4vlifp)) != "{ b := true, ai3 := ({ 0, 1, 2 }, { 9, 10, 11 }) ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 631   log(t_array_bai3(true,tspt_array_i3_mod4v3rifp));
 632   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3rifp)) != "{ b := true, ai3 := { 0, 1, (1 .. 3) } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 633   log(t_array_bai3(true,tspt_array_i3_mod4v3mixifp));
 634   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3mixifp)) != "{ b := true, ai3 := { (0, 1), 1, (1 .. 3) } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 635   log(t_array_bai3(true, tspt_array_i3_mod4field1ifp));
 636   if( log2str(t_array_bai3(true, tspt_array_i3_mod4field1ifp)) != "{ b := true, ai3 := { 0, 1, (1 .. 3) } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 637 }
 638
 639 //=========================
 640 // ttcn2string testcases:
 641 //=========================
 642 testcase tc_array_i_ModulePar_emb_ttcn2string() runs on MC {
 643   log(t_array_bai3(true,tspt_array_i3_mod4a));
 644   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4a)) != "{ b := true, ai3 := * }") {setverdict(fail)} else {setverdict(pass)}
 645   log(t_array_bai3(true,tspt_array_i3_mod4q));
 646   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4q)) != "{ b := true, ai3 := ? }") {setverdict(fail)} else {setverdict(pass)}
 647   log(t_array_bai3(true,tspt_array_i3_mod4o));
 648   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4o)) != "{ b := true, ai3 := omit }") {setverdict(fail)} else {setverdict(pass)}
 649   log(t_array_bai3(true,tspt_array_i3_mod4v1));
 650   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4v1)) != "{ b := true, ai3 := { 1, 2, 3 } }") {setverdict(fail)} else {setverdict(pass)}
 651   log(t_array_bai3(true,tspt_array_i3_mod4v2));
 652   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4v2)) != "{ b := true, ai3 := { 1, 2, 3 } }") {setverdict(fail)} else {setverdict(pass)}
 653   log(t_array_bai3(true,tspt_array_i3_mod4v3v));
 654   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4v3v)) != "{ b := true, ai3 := { 0, 1, 2 } }") {setverdict(fail)} else {setverdict(pass)}
 655   log(t_array_bai3(true,tspt_array_i3_mod4v3a));
 656   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4v3a)) != "{ b := true, ai3 := { 0, *, 2 } }") {setverdict(fail)} else {setverdict(pass)}
 657   log(t_array_bai3(true,tspt_array_i3_mod4v3q));
 658   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4v3q)) != "{ b := true, ai3 := { ?, 1, 2 } }") {setverdict(fail)} else {setverdict(pass)}
 659   log(t_array_bai3(true,tspt_array_i3_mod4v3vl));
 660   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4v3vl)) != "{ b := true, ai3 := { 0, 1, (1, 2) } }") {setverdict(fail)} else {setverdict(pass)}
 661   log(t_array_bai3(true,tspt_array_i3_mod4vl));
 662   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4vl)) != "{ b := true, ai3 := ({ 0, 1, 2 }, { 9, 10, 11 }) }") {setverdict(fail)} else {setverdict(pass)}
 663   log(t_array_bai3(true,tspt_array_i3_mod4v3r));
 664   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4v3r)) != "{ b := true, ai3 := { 0, 1, (1 .. 3) } }") {setverdict(fail)} else {setverdict(pass)}
 665   log(t_array_bai3(true,tspt_array_i3_mod4v3mix));
 666   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4v3mix)) != "{ b := true, ai3 := { (0, 1), 1, (1 .. 3) } }") {setverdict(fail)} else {setverdict(pass)}
 667   log(t_array_bai3(true,tspt_array_i3_mod4v3c));
 668   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4v3c)) != "{ b := true, ai3 := { (0, 1), 1, complement (2, 3) } }") {setverdict(fail)} else {setverdict(pass)}
 669   log(t_array_bai3(true,tspt_array_i3_mod4field1));
 670   if( ttcn2string(t_array_bai3(true,tspt_array_i3_mod4field1)) != "{ b := true, ai3 := { 0, 1, (1 .. 3) } }") {setverdict(fail)} else {setverdict(pass)}
 671 }
 672
 673 testcase tc_array_iifp_ModulePar_emb_ttcn2string() runs on MC {
 674   log(t_array_bai3(true,tspt_array_i3_mod4aifp));
 675   if( log2str(t_array_bai3(true,tspt_array_i3_mod4aifp)) != "{ b := true, ai3 := * ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 676   log(t_array_bai3(true,tspt_array_i3_mod4qifp));
 677   if( log2str(t_array_bai3(true,tspt_array_i3_mod4qifp)) != "{ b := true, ai3 := ? ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 678   log(t_array_bai3(true,tspt_array_i3_mod4v0ifp));
 679   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v0ifp)) != "{ b := true, ai3 := omit ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 680   log(t_array_bai3(true,tspt_array_i3_mod4v1ifp));
 681   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v1ifp)) != "{ b := true, ai3 := { 1 } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 682   log(t_array_bai3(true,tspt_array_i3_mod4v2ifp));
 683   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v2ifp)) != "{ b := true, ai3 := { 1, 2 } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 684   log(t_array_bai3(true,tspt_array_i3_mod4v3aifp));
 685   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3aifp)) != "{ b := true, ai3 := { 0, *, 2 } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 686   log(t_array_bai3(true,tspt_array_i3_mod4v3qifp));
 687   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3qifp)) != "{ b := true, ai3 := { ?, 1, 2 } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 688   log(t_array_bai3(true,tspt_array_i3_mod4v3vlifp));
 689   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3vlifp)) != "{ b := true, ai3 := { 0, 1, (1, 2) } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 690   log(t_array_bai3(true,tspt_array_i3_mod4vlifp));
 691   if( log2str(t_array_bai3(true,tspt_array_i3_mod4vlifp)) != "{ b := true, ai3 := ({ 0, 1, 2 }, { 9, 10, 11 }) ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 692   log(t_array_bai3(true,tspt_array_i3_mod4v3rifp));
 693   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3rifp)) != "{ b := true, ai3 := { 0, 1, (1 .. 3) } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 694   log(t_array_bai3(true,tspt_array_i3_mod4v3mixifp));
 695   if( log2str(t_array_bai3(true,tspt_array_i3_mod4v3mixifp)) != "{ b := true, ai3 := { (0, 1), 1, (1 .. 3) } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 696   log(t_array_bai3(true, tspt_array_i3_mod4field1ifp));
 697   if( log2str(t_array_bai3(true, tspt_array_i3_mod4field1ifp)) != "{ b := true, ai3 := { 0, 1, (1 .. 3) } ifpresent }") {setverdict(fail)} else {setverdict(pass)}
 698 }
 699
 700
 701
 702
 703 //=========================
 704 // string2ttcn testcases:
 705 //=========================
 706
 707 //expected result: DTE, setverdict->error
 708 testcase tc_array_string2ttcn_DTE_test() runs on MC {
 709         var REC_BAI3 vl_result;
 710         string2ttcn("{ b := true, ai3 := * }", vl_result);
 711 }
 712
 713 //template string-> template, template string-> value
 714 testcase tc_array_string2ttcn_i3_mod4a() runs on MC {
 715   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := * }", t_array_bai3(true,tspt_array_i3_mod4a))
 716   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := * }", t_array_bai3(true,tspt_array_i3_mod4a),false)
 717 }
 718
 719 testcase tc_array_string2ttcn_i3_mod4q() runs on MC {
 720   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := ? }", t_array_bai3(true,tspt_array_i3_mod4q))
 721   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := ? }", t_array_bai3(true,tspt_array_i3_mod4q),false)
 722 }
 723
 724 testcase tc_array_string2ttcn_i3_mod4v0() runs on MC {
 725   template REC_BAI3 tl_rec := { b:= true, ai3:= {-,-,-} };
 726   var REC_BAI3 vl_rec := { b:= true, ai3:= {-,-,-} };
 727   f_string2ttcn_REC_BAI3_t_str("{ b := true, ai3 := { -, -, - } }", "{ b := true, ai3 := { <uninitialized template>, <uninitialized template>, <uninitialized template> } }" )
 728   f_string2ttcn_REC_BAI3_v_str("{ b := true, ai3 := { -, -, - } }", "{ b := true, ai3 := { <unbound>, <unbound>, <unbound> } }" , true)
 729   //TODO: Check if It is ok or not: log2str(tl_rec) gives back: "{ b := true, ai3 := <unbound> }"
 730   log(tl_rec);
 731   log(vl_rec);
 732 }
 733
 734 testcase tc_array_string2ttcn_i3_mod4v1() runs on MC {
 735   template REC_BAI3 tl_rec := { b:= true, ai3:= {1,-,-} };
 736   var REC_BAI3 vl_rec := { b:= true, ai3:= {1,-,-} };
 737   f_string2ttcn_REC_BAI3_t_str("{ b := true, ai3 := { 1, -, - } }", "{ b := true, ai3 := { 1, <uninitialized template>, <uninitialized template> } }")
 738   f_string2ttcn_REC_BAI3_v_str("{ b := true, ai3 := { 1, -, - } }", log2str(vl_rec),true)
 739   log(tl_rec);
 740   log(vl_rec);
 741 }
 742
 743 testcase tc_array_string2ttcn_i3_mod4v2() runs on MC {
 744   template REC_BAI3 tl_rec := { b:= true, ai3:= {1,2,-} };
 745   var REC_BAI3 vl_rec := { b:= true, ai3:= {1,2,-} };
 746   f_string2ttcn_REC_BAI3_t_str("{ b := true, ai3 := { 1, 2, - } }", "{ b := true, ai3 := { 1, 2, <uninitialized template> } }")
 747   f_string2ttcn_REC_BAI3_v_str("{ b := true, ai3 := { 1, 2, - } }", log2str(vl_rec), true);
 748   log(tl_rec);
 749   log(vl_rec);
 750 }
 751
 752 testcase tc_array_string2ttcn_i3_mod4v3v() runs on MC {
 753   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 0, 1, 2 } }", t_array_bai3(true,tspt_array_i3_mod4v3v))
 754   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 0, 1, 2 } }", t_array_bai3(true,tspt_array_i3_mod4v3v),true)
 755 }
 756
 757 testcase tc_array_string2ttcn_i3_mod4v3a() runs on MC {
 758   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 0, *, 2 } }", t_array_bai3(true,tspt_array_i3_mod4v3a))
 759   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 0, *, 2 } }", t_array_bai3(true,tspt_array_i3_mod4v3a),false)
 760 }
 761
 762 testcase tc_array_string2ttcn_i3_mod4v3q() runs on MC {
 763   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { ?, 1, 2 } }", t_array_bai3(true,tspt_array_i3_mod4v3q))
 764   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { ?, 1, 2 } }", t_array_bai3(true,tspt_array_i3_mod4v3q),false)
 765 }
 766
 767 testcase tc_array_string2ttcn_i3_mod4v3vl() runs on MC {
 768   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 0, 1, (1, 2) } }", t_array_bai3(true,tspt_array_i3_mod4v3vl))
 769   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 0, 1, (1, 2) } }", t_array_bai3(true,tspt_array_i3_mod4v3vl),false)
 770 }
 771
 772 testcase tc_array_string2ttcn_i3_mod4vl() runs on MC {
 773   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := ({ 0, 1, 2 }, { 9, 10, 11 }) }", t_array_bai3(true,tspt_array_i3_mod4vl))
 774   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := ({ 0, 1, 2 }, { 9, 10, 11 }) }", t_array_bai3(true,tspt_array_i3_mod4vl),false)
 775 }
 776
 777 testcase tc_array_string2ttcn_i3_mod4v3r() runs on MC {
 778   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 0, 1, (1 .. 3) } }", t_array_bai3(true,tspt_array_i3_mod4v3r))
 779   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 0, 1, (1 .. 3) } }", t_array_bai3(true,tspt_array_i3_mod4v3r),false)
 780 }
 781
 782 testcase tc_array_string2ttcn_i3_mod4v3mix() runs on MC {
 783   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { (0, 1), 1, (1 .. 3) } }", t_array_bai3(true,tspt_array_i3_mod4v3mix))
 784   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { (0, 1), 1, (1 .. 3) } }", t_array_bai3(true,tspt_array_i3_mod4v3mix),false)
 785 }
 786
 787 testcase tc_array_string2ttcn_i3_mod4v3c() runs on MC {
 788   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { (0, 1), 1, complement (2, 3) } }", t_array_bai3(true,tspt_array_i3_mod4v3c))
 789   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { (0, 1), 1, complement (2, 3) } }", t_array_bai3(true,tspt_array_i3_mod4v3c),false)
 790 }
 791
 792 testcase tc_array_string2ttcn_i3_mod4field1() runs on MC {
 793   f_string2ttcn_REC_BAI3_t_str("{ b := true, ai3 := { 0, 1, (1 .. 3) } }", log2str(t_array_bai3(true,tspt_array_i3_mod4field1)));
 794   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 0, 1, (1 .. 3) } }", t_array_bai3(true,tspt_array_i3_mod4field1),false)
 795 }
 796
 797 //=== string2ttcn testcases with ifpresent: =====
 798
 799 //template string-> template, template string-> value
 800 testcase tc_array_string2ttcn_i3_mod4aifp() runs on MC {
 801   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := * ifpresent }", t_array_bai3(true,tspt_array_i3_mod4aifp))
 802   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := * ifpresent }", t_array_bai3(true,tspt_array_i3_mod4aifp),false)
 803 }
 804
 805 testcase tc_array_string2ttcn_i3_mod4qifp() runs on MC {
 806   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := ? ifpresent }", t_array_bai3(true,tspt_array_i3_mod4qifp))
 807   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := ? ifpresent }", t_array_bai3(true,tspt_array_i3_mod4qifp),false)
 808 }
 809
 810 // ???? is it acceptable ?????
 811 testcase tc_array_string2ttcn_i3_mod4v0ifp() runs on MC {
 812   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := omit ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v0ifp))
 813   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := omit ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v0ifp),false)
 814 }
 815
 816 testcase tc_array_string2ttcn_i3_mod4v1ifp() runs on MC {
 817   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 1 } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v1ifp))
 818   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 1 } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v1ifp),false)
 819 }
 820
 821 testcase tc_array_string2ttcn_i3_mod4v2ifp() runs on MC {
 822   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 1, 2 } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v2ifp))
 823   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 1, 2 } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v2ifp),false)
 824 }
 825
 826 testcase tc_array_string2ttcn_i3_mod4v3vifp() runs on MC {
 827   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 0, 1, 2 } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3vifp))
 828   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 0, 1, 2 } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3vifp),false)
 829 }
 830
 831 testcase tc_array_string2ttcn_i3_mod4v3aifp() runs on MC {
 832   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 0, *, 2 } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3aifp))
 833   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 0, *, 2 } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3aifp),false)
 834 }
 835
 836 testcase tc_array_string2ttcn_i3_mod4v3qifp() runs on MC {
 837   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { ?, 1, 2 } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3qifp))
 838   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { ?, 1, 2 } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3qifp),false)
 839 }
 840
 841 testcase tc_array_string2ttcn_i3_mod4v3vlifp() runs on MC {
 842   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 0, 1, (1, 2) } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3vlifp))
 843   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 0, 1, (1, 2) } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3vlifp),false)
 844 }
 845
 846 testcase tc_array_string2ttcn_i3_mod4vlifp() runs on MC {
 847   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := ({ 0, 1, 2 }, { 9, 10, 11 }) ifpresent }", t_array_bai3(true,tspt_array_i3_mod4vlifp))
 848   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := ({ 0, 1, 2 }, { 9, 10, 11 }) ifpresent }", t_array_bai3(true,tspt_array_i3_mod4vlifp),false)
 849 }
 850
 851 testcase tc_array_string2ttcn_i3_mod4v3rifp() runs on MC {
 852   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 0, 1, (1 .. 3) } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3rifp))
 853   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 0, 1, (1 .. 3) } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3rifp),false)
 854 }
 855
 856 testcase tc_array_string2ttcn_i3_mod4v3mixifp() runs on MC {
 857   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { (0, 1), 1, (1 .. 3) } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3mixifp))
 858   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { (0, 1), 1, (1 .. 3) } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3mixifp),false)
 859 }
 860
 861 testcase tc_array_string2ttcn_i3_mod4v3cifp() runs on MC {
 862   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { (0, 1), 1, complement (2, 3) } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3cifp))
 863   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { (0, 1), 1, complement (2, 3) } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4v3cifp),false)
 864 }
 865
 866 testcase tc_array_string2ttcn_i3_mod4field1ifp() runs on MC {
 867   f_string2ttcn_REC_BAI3_t("{ b := true, ai3 := { 0, 1, (1 .. 3) } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4field1ifp))
 868   f_string2ttcn_REC_BAI3_v("{ b := true, ai3 := { 0, 1, (1 .. 3) } ifpresent }", t_array_bai3(true,tspt_array_i3_mod4field1ifp),false)
 869 }
 870
 871 testcase tc_array_allfrom_perm1() runs on MyComp_CT {
 872   var template integer vl_tcAI3literal[3], vl_tcAI3allFrom[3];
 873   log ("component var v_AI3literal: ", v_AI3literal);
 874   log ("component var v_AI3allfrom: ", v_AI3allfrom);
 875   vl_tcAI3literal := { permutation(1,*,3) };
 876   log ("TC() local var vl_tcAI3literal: ", vl_tcAI3literal);
 877
 878   var RoAI3 vl_goodValues := { {1,2,3}, {1,3,2},{2,1,3},{2,3,1},{3,1,2},{3,2,1}, {1,5,3}, {5,3,1},
 879     {1,5,3}, {0,1,3},{3,1,-99}}
 880   var RoAI3 vl_badValues := { {1,2,4}, {1,5,6},{20,10,30},{3,5,6}, {5,3,6}}
 881   f_checkMatchingValues_ai3(vl_tcAI3literal, vl_goodValues, vl_badValues);
 882
 883   vl_tcAI3allFrom := { permutation(all from tt) }
 884   log ("TC() local var vl_tcAI3allFrom: ", vl_tcAI3allFrom);
 885   vl_goodValues := { {1,2,3}, {1,3,2},{2,1,3},{2,3,1},{3,1,2},{3,2,1}, {1,5,2}, {5,2,1},
 886     {1,5,2}, {0,1,2},{2,1,-99}}
 887   vl_badValues := { {1,3,4}, {1,5,6},{20,10,30},{2,5,6}, {5,2,6}}
 888   f_checkMatchingValues_ai3(vl_tcAI3allFrom,vl_goodValues, vl_badValues);
 889 }
 890
 891 testcase tc_array_allfrom_perm2() runs on MyComp_CT {
 892   var template AI2x3  vl_t24 := { {permutation(all from tt1x3)}, {permutation(all from ttx45) } };
 893   var RoAI2x3 vl_goodValues := { { {1,2,3},{4,4,5}}, {{1,3,2},{5,4,1}}}
 894   var RoAI2x3 vl_badValues := {{ {1,2,2},{4,4,5}}, {{1,3,2},{5,5,1}} }
 895   f_check_AI2x3( vl_t24, vl_goodValues,vl_badValues);
 896 }
 897 testcase tc_array_perm() runs on MyComp_CT {
 898   var template AI2x3  vl_t24 := { {permutation(1,*,3)}, {permutation(*,4,5) } };
 899   var RoAI2x3 vl_goodValues := { { {1,2,3},{4,4,5}}, {{1,3,2},{5,4,1}}}
 900   var RoAI2x3 vl_badValues := {{ {1,2,2},{4,4,5}}, {{1,3,2},{5,5,1}} }
 901   f_check_AI2x3( vl_t24, vl_goodValues,vl_badValues);
 902 }
 903
 904 testcase tc_array_compl() runs on MyComp_CT {
 905   var RoAI3 vl_goodValues := { {0,1,1}, {0,1,3},{0,1,5}, {0,1,-500}, {1,1,1}, {1,1,3},{1,1,5}, {1,1,-500} }
 906   var RoAI3 vl_badValues :=  { {2,1,1}, {0,2,3},{0,1,2}, {0,1,4}, {2,1,1}, {1,2,3},{1,1,2}, {1,1,4} }
 907   f_checkMatchingValues_ai3( t_array_i3_v3cr, vl_goodValues,vl_badValues);
 908 }
 909
 910 //=========================================================================
 911 // Control
 912 //=========================================================================
 913
 914 control {
 915   //array
 916   log("***array tests *******");
 917   //execute(tc_array_string2ttcn_DTE_test());
 918   execute(tc_array_i_NoModulePar());
 919   execute(tc_array_i_ModulePar());
 920   execute(tc_array_i_v3p());
 921   execute(tc_array_i_v3pa());
 922   execute(tc_array_i_a());
 923   execute(tc_array_i_q());
 924   execute(tc_array_i_v3v());
 925   execute(tc_array_i_v3a());
 926   execute(tc_array_i_v3q());
 927   execute(tc_array_i_v3vl());
 928   execute(tc_array_i_vl());
 929   execute(tc_array_i_v3r());
 930   execute(tc_array_i_v3mix());
 931   execute(tc_array_i_v3c());
 932
 933   execute(tc_array_i_mod4a());
 934   execute(tc_array_i_mod4q());
 935   execute(tc_array_i_mod4v0());
 936   execute(tc_array_i_mod4v1());
 937   execute(tc_array_i_mod4v2());
 938   execute(tc_array_i_mod4v3v());
 939   execute(tc_array_i_mod4v3a());
 940   execute(tc_array_i_mod4v3q());
 941   execute(tc_array_i_mod4v3vl());
 942   execute(tc_array_i_mod4vl());
 943   execute(tc_array_i_mod4v3r());
 944   execute(tc_array_i_mod4v3mix());
 945   execute(tc_array_i_mod4v3c());
 946   execute(tc_array_i_mod4field1());
 947
 948   execute(tc_array_i_mod4aifp_emb());
 949   execute(tc_array_i_mod4qifp_emb());
 950   execute(tc_array_i_mod4v0ifp_emb());
 951   execute(tc_array_i_mod4v1ifp_emb());
 952   execute(tc_array_i_mod4v2ifp_emb());
 953   execute(tc_array_i_mod4v3vifp_emb());
 954   execute(tc_array_i_mod4v3aifp_emb());
 955   execute(tc_array_i_mod4v3qifp_emb());
 956   execute(tc_array_i_mod4v3vlifp_emb());
 957   execute(tc_array_i_mod4vlifp_emb());
 958   execute(tc_array_i_mod4v3rifp_emb());
 959   execute(tc_array_i_mod4v3mixifp_emb());
 960   execute(tc_array_i_mod4v3cifp_emb());
 961   execute(tc_array_i_mod4field1ifp_emb());
 962
 963   execute(tc_array_i_emb());
 964   execute(tc_array_i_ModulePar_emb());
 965   execute(tc_array_iifp_ModulePar_emb());
 966   execute(tc_array_i_ModulePar_emb_ttcn2string());
 967   execute(tc_array_iifp_ModulePar_emb_ttcn2string());
 968
 969   execute(tc_array_string2ttcn_i3_mod4a());
 970   execute(tc_array_string2ttcn_i3_mod4q());
 971   execute(tc_array_string2ttcn_i3_mod4v0());
 972   execute(tc_array_string2ttcn_i3_mod4v1());
 973   execute(tc_array_string2ttcn_i3_mod4v2());
 974   execute(tc_array_string2ttcn_i3_mod4v3v());
 975   execute(tc_array_string2ttcn_i3_mod4v3a());
 976   execute(tc_array_string2ttcn_i3_mod4v3q());
 977   execute(tc_array_string2ttcn_i3_mod4v3vl());
 978   execute(tc_array_string2ttcn_i3_mod4vl());
 979   execute(tc_array_string2ttcn_i3_mod4v3r());
 980   execute(tc_array_string2ttcn_i3_mod4v3mix());
 981   execute(tc_array_string2ttcn_i3_mod4v3c());
 982   execute(tc_array_string2ttcn_i3_mod4field1());
 983
 984   execute(tc_array_string2ttcn_i3_mod4aifp());
 985   execute(tc_array_string2ttcn_i3_mod4qifp());
 986   //execute(tc_array_string2ttcn_i3_mod4v0ifp()); //TODO: check it!
 987   execute(tc_array_string2ttcn_i3_mod4v1ifp());
 988   execute(tc_array_string2ttcn_i3_mod4v2ifp());
 989   execute(tc_array_string2ttcn_i3_mod4v3vifp());
 990   execute(tc_array_string2ttcn_i3_mod4v3aifp());
 991   execute(tc_array_string2ttcn_i3_mod4v3qifp());
 992   execute(tc_array_string2ttcn_i3_mod4v3vlifp());
 993   execute(tc_array_string2ttcn_i3_mod4vlifp());
 994   execute(tc_array_string2ttcn_i3_mod4v3rifp());
 995   execute(tc_array_string2ttcn_i3_mod4v3mixifp());
 996   execute(tc_array_string2ttcn_i3_mod4v3cifp());
 997   execute(tc_array_string2ttcn_i3_mod4field1ifp());
 998
 999   execute(tc_array_allfrom_perm1());
1000   execute(tc_array_allfrom_perm2());
1001   execute(tc_array_perm());
1002   execute(tc_array_compl());
1003 }
1004
1005 }  // end of module