regression_test/text2ttcn/union_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 /*
   9 //AUTHOR:
  10 //DATE:
  11 //VERSION:
  12 */
  13 module union_test
  14 {
  15
  16 //=========================================================================
  17 // Import Part
  18 //=========================================================================
  19 import from types all;
  20 import from functions all;
  21 //=========================================================================
  22 // Module Parameters
  23 //=========================================================================
  24 modulepar{
  25   template U tspt_union_mod4v_b := { e := first }
  26   template U tspt_union_mod4v_i := { e := first }
  27   template U tspt_union_mod4v_f := { e := first }
  28   template U tspt_union_mod4v_bs := { e := first }
  29   template U tspt_union_mod4v_os := { e := first }
  30   template U tspt_union_mod4v_hs := { e := first }
  31   template U tspt_union_mod4v_cs := { e := first }
  32   template U tspt_union_mod4v_r := { e := first }
  33   template U tspt_union_mod4v_roi := { e := first }
  34   template U tspt_union_mod4v_s := { e := first }
  35   template U tspt_union_mod4v_s_uninit := { e := first }
  36   template U tspt_union_mod4v_socs := { e := first }
  37   template U tspt_union_mod4v_e := { e := first }
  38   template U tspt_union_mod4v_u := { e := first }
  39
  40   template U tspt_union_mod4a := { e := first }
  41   template U tspt_union_mod4q := { e := first }
  42   template U tspt_union_mod4o := { e := first }
  43
  44   //union ifpresent
  45   template U tspt_union_mod4v_bifp := { e := first }
  46   template U tspt_union_mod4v_iifp := { e := first } ifpresent
  47   template U tspt_union_mod4v_fifp := { e := first } ifpresent
  48   template U tspt_union_mod4v_bsifp := { e := first } ifpresent
  49   template U tspt_union_mod4v_osifp := { e := first } ifpresent
  50   template U tspt_union_mod4v_hsifp := { e := first } ifpresent
  51   template U tspt_union_mod4v_csifp := { e := first } ifpresent
  52   template U tspt_union_mod4v_rifp := { e := first } ifpresent
  53   template U tspt_union_mod4v_roiifp := { e := first } ifpresent
  54   template U tspt_union_mod4v_sifp := { e := first } ifpresent
  55   template U tspt_union_mod4v_s_uninitifp := { e := first }
  56   template U tspt_union_mod4v_socsifp := { e := first } ifpresent
  57   template U tspt_union_mod4v_eifp := { e := first } ifpresent
  58   template U tspt_union_mod4v_uifp := { e := first } ifpresent
  59
  60   template U tspt_union_mod4aifp := { e := first } ifpresent
  61   template U tspt_union_mod4qifp := { e := first } ifpresent
  62   template U tspt_union_mod4oifp := { e := first } ifpresent
  63 }
  64 //=========================================================================
  65 // Data Types
  66 //=========================================================================
  67
  68 // Insert data type defintions here if applicable!
  69 // You can use the data_type skeleton!
  70
  71 //=========================================================================
  72 // Signatures
  73 //=========================================================================
  74
  75 // Insert signature definitions here if applicable!
  76 // You can use the signature skeleton!
  77
  78 //=========================================================================
  79 //Port Types
  80 //=========================================================================
  81
  82 // Insert port type defintions here if applicable!
  83 // You can use the port_type skeleton!
  84
  85 //=========================================================================
  86 //Component Types
  87 //=========================================================================
  88
  89 // Insert component type defintions here if applicable!
  90 // You can use the component_type skeleton!
  91
  92 //=========================================================================
  93 // Constants
  94 //=========================================================================
  95
  96 // Insert constants here if applicable!
  97 // You can use the constant skeleton!
  98
  99 //=========================================================================
 100 // Templates
 101 //=========================================================================
 102
 103 // Insert templates here if applicable!
 104 // You can use the template skeleton!
 105
 106 //=========================================================================
 107 // Altsteps
 108 //=========================================================================
 109
 110 // Insert altsteps here if applicable!
 111 // You can use the altstep skeleton!
 112
 113 //=========================================================================
 114 // Functions
 115 //=========================================================================
 116
 117 // Insert functions here if applicable!
 118 // You can use the function skeleton!
 119
 120 //=========================================================================
 121 // Testcases
 122 //=========================================================================
 123
 124
 125 testcase tc_union_ModulePar() runs on MC {
 126   log(log2str(tspt_union_mod4v_b));
 127   if(log2str(tspt_union_mod4v_b) == "{ b := true }" ) {setverdict(pass)} else {setverdict(fail)}
 128   log(log2str(tspt_union_mod4v_i));
 129   if(log2str(tspt_union_mod4v_i) == "{ i := 1 }" ) {setverdict(pass)} else {setverdict(fail)}
 130   log(log2str(tspt_union_mod4v_f));
 131   if(log2str(tspt_union_mod4v_f) == "{ f := 1.000000 }" ) {setverdict(pass)} else {setverdict(fail)}
 132   log(log2str(tspt_union_mod4v_bs));
 133   if(log2str(tspt_union_mod4v_bs) == "{ bs := '01101'B }" ) {setverdict(pass)} else {setverdict(fail)}
 134   log(log2str(tspt_union_mod4v_os));
 135   if(log2str(tspt_union_mod4v_os) == "{ os := 'ABBA'O }" ) {setverdict(pass)} else {setverdict(fail)}
 136   log(log2str(tspt_union_mod4v_hs));
 137   if(log2str(tspt_union_mod4v_hs) == "{ hs := 'ABBA'H }" ) {setverdict(pass)} else {setverdict(fail)}
 138   log(log2str(tspt_union_mod4v_cs));
 139   if(log2str(tspt_union_mod4v_cs) == "{ cs := \"ABBA\" }" ) {setverdict(pass)} else {setverdict(fail)}
 140   log(log2str(tspt_union_mod4v_r));
 141   if(log2str(tspt_union_mod4v_r) == "{ r := { i := 1, f := 1.000000, cs := \"ABBA\", bs := '0100'B } }" ) {setverdict(pass)} else {setverdict(fail)}
 142   log(log2str(tspt_union_mod4v_roi));
 143   if(log2str(tspt_union_mod4v_roi) == "{ roi := { 1 } }" ) {setverdict(pass)} else {setverdict(fail)}
 144   log(log2str(tspt_union_mod4v_s));
 145   if(log2str(tspt_union_mod4v_s) ==
 146     "{ s := { b := true, i := 1, f := 1.000000, bs := '01101'B, os := 'ABBA'O, hs := 'ABBA'H, cs := \"ABBA\" } }" )
 147   {setverdict(pass)} else {setverdict(fail)}
 148   log(log2str(tspt_union_mod4v_s_uninit));
 149   if(log2str(tspt_union_mod4v_s_uninit) ==
 150     "{ s := { b := true, i := <uninitialized template>, f := <uninitialized template>, bs := <uninitialized template>, os := <uninitialized template>, hs := <uninitialized template>, cs := <uninitialized template> } }")
 151   {setverdict(pass)} else {setverdict(fail)}
 152   log(log2str(tspt_union_mod4v_socs));
 153   if(log2str(tspt_union_mod4v_socs) == "{ socs := { \"ABBA\" } }" ) {setverdict(pass)} else {setverdict(fail)}
 154   log(log2str(tspt_union_mod4v_e));
 155   if(log2str(tspt_union_mod4v_e) == "{ e := first (0) }" ) {setverdict(pass)} else {setverdict(fail)}
 156   log(log2str(tspt_union_mod4v_u));
 157   if(log2str(tspt_union_mod4v_u) == "{ u := { i := 1 } }" ) {setverdict(pass)} else {setverdict(fail)}
 158   log(log2str(tspt_union_mod4a));
 159   if(log2str(tspt_union_mod4a) == "*" ) {setverdict(pass)} else {setverdict(fail)}
 160   log(log2str(tspt_union_mod4q));
 161   if(log2str(tspt_union_mod4q) == "?" ) {setverdict(pass)} else {setverdict(fail)}
 162   log(log2str(tspt_union_mod4o));
 163   if(log2str(tspt_union_mod4o) == "omit" ) {setverdict(pass)} else {setverdict(fail)}
 164
 165   log(log2str(tspt_union_mod4v_bifp));
 166   if(log2str(tspt_union_mod4v_bifp) == "{ b := true } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 167   log(log2str(tspt_union_mod4v_iifp));
 168   if(log2str(tspt_union_mod4v_iifp) == "{ i := 1 } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 169   log(log2str(tspt_union_mod4v_fifp));
 170   if(log2str(tspt_union_mod4v_fifp) == "{ f := 1.000000 } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 171   log(log2str(tspt_union_mod4v_bsifp));
 172   if(log2str(tspt_union_mod4v_bsifp) == "{ bs := '01101'B } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 173   log(log2str(tspt_union_mod4v_osifp));
 174   if(log2str(tspt_union_mod4v_osifp) == "{ os := 'ABBA'O } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 175   log(log2str(tspt_union_mod4v_hsifp));
 176   if(log2str(tspt_union_mod4v_hsifp) == "{ hs := 'ABBA'H } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 177   log(log2str(tspt_union_mod4v_csifp));
 178   if(log2str(tspt_union_mod4v_csifp) == "{ cs := \"ABBA\" } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 179   log(log2str(tspt_union_mod4v_rifp));
 180   if(log2str(tspt_union_mod4v_rifp) == "{ r := { i := 1, f := 1.000000, cs := \"ABBA\", bs := '0100'B } } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 181   log(log2str(tspt_union_mod4v_roiifp));
 182   if(log2str(tspt_union_mod4v_roiifp) == "{ roi := { 1 } } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 183   log(log2str(tspt_union_mod4v_sifp));
 184   if(log2str(tspt_union_mod4v_sifp) ==
 185     "{ s := { b := true, i := 1, f := 1.000000, bs := '01101'B, os := 'ABBA'O, hs := 'ABBA'H, cs := \"ABBA\" } } ifpresent" )
 186   {setverdict(pass)} else {setverdict(fail)}
 187   log(log2str(tspt_union_mod4v_s_uninitifp));
 188   if(log2str(tspt_union_mod4v_s_uninitifp) ==
 189     "{ s := { b := true, i := <uninitialized template>, f := <uninitialized template>, bs := <uninitialized template>, os := <uninitialized template>, hs := <uninitialized template>, cs := <uninitialized template> } } ifpresent")
 190   {setverdict(pass)} else {setverdict(fail)}
 191   log(log2str(tspt_union_mod4v_socsifp));
 192   if(log2str(tspt_union_mod4v_socsifp) == "{ socs := { \"ABBA\" } } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 193   log(log2str(tspt_union_mod4v_eifp));
 194   if(log2str(tspt_union_mod4v_eifp) == "{ e := first (0) } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 195   log(log2str(tspt_union_mod4v_uifp));
 196   if(log2str(tspt_union_mod4v_uifp) == "{ u := { i := 1 } } ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 197   log(log2str(tspt_union_mod4aifp));
 198   if(log2str(tspt_union_mod4aifp) == "* ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 199   log(log2str(tspt_union_mod4qifp));
 200   if(log2str(tspt_union_mod4qifp) == "? ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 201   log(log2str(tspt_union_mod4oifp));
 202   if(log2str(tspt_union_mod4oifp) == "omit ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 203 }
 204
 205 testcase tc_union_ModulePar_emb() runs on MC {
 206   log(log2str(t_ru(tspt_union_mod4v_b)));
 207   if(log2str(t_ru(tspt_union_mod4v_b)) == "{ u := { b := true } }" ) {setverdict(pass)} else {setverdict(fail)}
 208   log(log2str(t_ru(tspt_union_mod4v_i)));
 209   if(log2str(t_ru(tspt_union_mod4v_i)) == "{ u := { i := 1 } }" ) {setverdict(pass)} else {setverdict(fail)}
 210   log(log2str(t_ru(tspt_union_mod4v_f)));
 211   if(log2str(t_ru(tspt_union_mod4v_f)) == "{ u := { f := 1.000000 } }" ) {setverdict(pass)} else {setverdict(fail)}
 212   log(log2str(t_ru(tspt_union_mod4v_bs)));
 213   if(log2str(t_ru(tspt_union_mod4v_bs)) == "{ u := { bs := '01101'B } }" ) {setverdict(pass)} else {setverdict(fail)}
 214   log(log2str(t_ru(tspt_union_mod4v_os)));
 215   if(log2str(t_ru(tspt_union_mod4v_os)) == "{ u := { os := 'ABBA'O } }" ) {setverdict(pass)} else {setverdict(fail)}
 216   log(log2str(t_ru(tspt_union_mod4v_hs)));
 217   if(log2str(t_ru(tspt_union_mod4v_hs)) == "{ u := { hs := 'ABBA'H } }" ) {setverdict(pass)} else {setverdict(fail)}
 218   log(log2str(t_ru(tspt_union_mod4v_cs)));
 219   if(log2str(t_ru(tspt_union_mod4v_cs)) == "{ u := { cs := \"ABBA\" } }" ) {setverdict(pass)} else {setverdict(fail)}
 220   log(log2str(t_ru(tspt_union_mod4v_r)));
 221   if(log2str(t_ru(tspt_union_mod4v_r)) == "{ u := { r := { i := 1, f := 1.000000, cs := \"ABBA\", bs := '0100'B } } }" ) {setverdict(pass)} else {setverdict(fail)}
 222   log(log2str(t_ru(tspt_union_mod4v_roi)));
 223   if(log2str(t_ru(tspt_union_mod4v_roi)) == "{ u := { roi := { 1 } } }" ) {setverdict(pass)} else {setverdict(fail)}
 224   log(log2str(t_ru(tspt_union_mod4v_s)));
 225   if(log2str(t_ru(tspt_union_mod4v_s)) ==
 226     "{ u := { s := { b := true, i := 1, f := 1.000000, bs := '01101'B, os := 'ABBA'O, hs := 'ABBA'H, cs := \"ABBA\" } } }" )
 227   {setverdict(pass)} else {setverdict(fail)}
 228   log(log2str(t_ru(tspt_union_mod4v_s_uninit)));
 229   if(log2str(t_ru(tspt_union_mod4v_s_uninit)) ==
 230     "{ u := { s := { b := true, i := <uninitialized template>, f := <uninitialized template>, bs := <uninitialized template>, os := <uninitialized template>, hs := <uninitialized template>, cs := <uninitialized template> } } }")
 231   {setverdict(pass)} else {setverdict(fail)}
 232   log(log2str(t_ru(tspt_union_mod4v_socs)));
 233   if(log2str(t_ru(tspt_union_mod4v_socs)) == "{ u := { socs := { \"ABBA\" } } }" ) {setverdict(pass)} else {setverdict(fail)}
 234   log(log2str(t_ru(tspt_union_mod4v_e)));
 235   if(log2str(t_ru(tspt_union_mod4v_e)) == "{ u := { e := first (0) } }" ) {setverdict(pass)} else {setverdict(fail)}
 236   log(log2str(t_ru(tspt_union_mod4v_u)));
 237   if(log2str(t_ru(tspt_union_mod4v_u)) == "{ u := { u := { i := 1 } } }" ) {setverdict(pass)} else {setverdict(fail)}
 238   log(log2str(t_ru(tspt_union_mod4a)));
 239   if(log2str(t_ru(tspt_union_mod4a)) == "{ u := * }" ) {setverdict(pass)} else {setverdict(fail)}
 240   log(log2str(t_ru(tspt_union_mod4q)));
 241   if(log2str(t_ru(tspt_union_mod4q)) == "{ u := ? }" ) {setverdict(pass)} else {setverdict(fail)}
 242   log(log2str(t_ru(tspt_union_mod4o)));
 243   if(log2str(t_ru(tspt_union_mod4o)) == "{ u := omit }" ) {setverdict(pass)} else {setverdict(fail)}
 244
 245   log(log2str(t_ru(tspt_union_mod4v_bifp)));
 246   if(log2str(t_ru(tspt_union_mod4v_bifp)) == "{ u := { b := true } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 247   log(log2str(t_ru(tspt_union_mod4v_iifp)));
 248   if(log2str(t_ru(tspt_union_mod4v_iifp)) == "{ u := { i := 1 } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 249   log(log2str(t_ru(tspt_union_mod4v_fifp)));
 250   if(log2str(t_ru(tspt_union_mod4v_fifp)) == "{ u := { f := 1.000000 } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 251   log(log2str(t_ru(tspt_union_mod4v_bsifp)));
 252   if(log2str(t_ru(tspt_union_mod4v_bsifp)) == "{ u := { bs := '01101'B } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 253   log(log2str(t_ru(tspt_union_mod4v_osifp)));
 254   if(log2str(t_ru(tspt_union_mod4v_osifp)) == "{ u := { os := 'ABBA'O } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 255   log(log2str(t_ru(tspt_union_mod4v_hsifp)));
 256   if(log2str(t_ru(tspt_union_mod4v_hsifp)) == "{ u := { hs := 'ABBA'H } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 257   log(log2str(t_ru(tspt_union_mod4v_csifp)));
 258   if(log2str(t_ru(tspt_union_mod4v_csifp)) == "{ u := { cs := \"ABBA\" } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 259   log(log2str(t_ru(tspt_union_mod4v_rifp)));
 260   if(log2str(t_ru(tspt_union_mod4v_rifp)) == "{ u := { r := { i := 1, f := 1.000000, cs := \"ABBA\", bs := '0100'B } } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 261   log(log2str(t_ru(tspt_union_mod4v_roiifp)));
 262   if(log2str(t_ru(tspt_union_mod4v_roiifp)) == "{ u := { roi := { 1 } } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 263   log(log2str(t_ru(tspt_union_mod4v_sifp)));
 264   if(log2str(t_ru(tspt_union_mod4v_sifp)) ==
 265     "{ u := { s := { b := true, i := 1, f := 1.000000, bs := '01101'B, os := 'ABBA'O, hs := 'ABBA'H, cs := \"ABBA\" } } ifpresent }" )
 266   {setverdict(pass)} else {setverdict(fail)}
 267   log(log2str(t_ru(tspt_union_mod4v_s_uninitifp)));
 268   if(log2str(t_ru(tspt_union_mod4v_s_uninitifp)) ==
 269     "{ u := { s := { b := true, i := <uninitialized template>, f := <uninitialized template>, bs := <uninitialized template>, os := <uninitialized template>, hs := <uninitialized template>, cs := <uninitialized template> } } ifpresent }")
 270   {setverdict(pass)} else {setverdict(fail)}
 271   log(log2str(t_ru(tspt_union_mod4v_socsifp)));
 272   if(log2str(t_ru(tspt_union_mod4v_socsifp)) == "{ u := { socs := { \"ABBA\" } } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 273   log(log2str(t_ru(tspt_union_mod4v_eifp)));
 274   if(log2str(t_ru(tspt_union_mod4v_eifp)) == "{ u := { e := first (0) } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 275   log(log2str(t_ru(tspt_union_mod4v_uifp)));
 276   if(log2str(t_ru(tspt_union_mod4v_uifp)) == "{ u := { u := { i := 1 } } ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 277   log(log2str(t_ru(tspt_union_mod4aifp)));
 278   if(log2str(t_ru(tspt_union_mod4aifp)) == "{ u := * ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 279   log(log2str(t_ru(tspt_union_mod4qifp)));
 280   if(log2str(t_ru(tspt_union_mod4qifp)) == "{ u := ? ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 281   log(log2str(t_ru(tspt_union_mod4oifp)));
 282   if(log2str(t_ru(tspt_union_mod4oifp)) == "{ u := omit ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 283 }
 284   //=========================================================================
 285   // Control
 286   //=========================================================================
 287   control {
 288     log("***union tests********");
 289     execute(tc_union_ModulePar());
 290     execute(tc_union_ModulePar_emb());
 291   }
 292
 293 }  // end of module