regression_test/text2ttcn/enum_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 enum_test
   9 // [.objid{ itu_t(0) identified_organization(4) etsi(0)
  10 // identified_organization(127) ericsson(5) testing(0)
  11 // <put further nodes here if needed>}]
  12 {
  13
  14 //=========================================================================
  15 // Import Part
  16 //=========================================================================
  17 import from types all;
  18 import from functions all;
  19 //=========================================================================
  20 // Module Parameters
  21 //=========================================================================
  22 modulepar {
  23   template MyEnum tspt_enum_mod4v := omit
  24   template MyEnum tspt_enum_mod4a := first
  25   template MyEnum tspt_enum_mod4q := first
  26   template MyEnum tspt_enum_mod4o := first
  27   template MyEnum tspt_enum_mod4c0 := first
  28   template MyEnum tspt_enum_mod4c1 := first
  29   template MyEnum tspt_enum_mod4c2 := first
  30   template MyEnum tspt_enum_mod4vl1 := omit
  31   template MyEnum tspt_enum_mod4vl2 := omit
  32   //ifpresent version ( in cfg file):
  33   template MyEnum tspt_enum_mod4vifp := omit
  34   template MyEnum tspt_enum_mod4aifp := first
  35   template MyEnum tspt_enum_mod4qifp := first
  36   template MyEnum tspt_enum_mod4oifp := first
  37   template MyEnum tspt_enum_mod4c0ifp := first
  38   template MyEnum tspt_enum_mod4c1ifp := first
  39   template MyEnum tspt_enum_mod4c2ifp := first
  40   template MyEnum tspt_enum_mod4vl1ifp := omit
  41   template MyEnum tspt_enum_mod4vl2ifp := omit
  42 }
  43 //=========================================================================
  44 // Data Types
  45 //=========================================================================
  46
  47 // Insert data type defintions here if applicable!
  48 // You can use the data_type skeleton!
  49
  50 //=========================================================================
  51 // Signatures
  52 //=========================================================================
  53
  54 // Insert signature definitions here if applicable!
  55 // You can use the signature skeleton!
  56
  57 //=========================================================================
  58 //Port Types
  59 //=========================================================================
  60
  61 // Insert port type defintions here if applicable!
  62 // You can use the port_type skeleton!
  63
  64 //=========================================================================
  65 //Component Types
  66 //=========================================================================
  67
  68 // Insert component type defintions here if applicable!
  69 // You can use the component_type skeleton!
  70
  71 //=========================================================================
  72 // Constants
  73 //=========================================================================
  74
  75 // Insert constants here if applicable!
  76 // You can use the constant skeleton!
  77
  78 //=========================================================================
  79 // Templates
  80 //=========================================================================
  81
  82 // Insert templates here if applicable!
  83 // You can use the template skeleton!
  84
  85 //=========================================================================
  86 // Altsteps
  87 //=========================================================================
  88
  89 // Insert altsteps here if applicable!
  90 // You can use the altstep skeleton!
  91
  92 //=========================================================================
  93 // Functions
  94 //=========================================================================
  95
  96 // Insert functions here if applicable!
  97 // You can use the function skeleton!
  98
  99 //=========================================================================
 100 // Testcases
 101 //=========================================================================
 102 testcase tc_enum_ModulePar() runs on MC {
 103    log(log2str(tspt_enum_mod4v));
 104    if(log2str(tspt_enum_mod4v) == "first (0)" ) {setverdict(pass)} else {setverdict(fail)}
 105    log(log2str(tspt_enum_mod4a));
 106    if(log2str(tspt_enum_mod4a) == "*" ) {setverdict(pass)} else {setverdict(fail)}
 107    log(log2str(tspt_enum_mod4q));
 108    if(log2str(tspt_enum_mod4q) == "?" ) {setverdict(pass)} else {setverdict(fail)}
 109    log(log2str(tspt_enum_mod4o));
 110    if(log2str(tspt_enum_mod4o) == "omit" ) {setverdict(pass)} else {setverdict(fail)}
 111    log(log2str(tspt_enum_mod4c0));
 112    if(log2str(tspt_enum_mod4c0) == "complement (omit)" ) {setverdict(pass)} else {setverdict(fail)}
 113    log(log2str(tspt_enum_mod4c1));
 114    if(log2str(tspt_enum_mod4c1) == "complement (first (0))" ) {setverdict(pass)} else {setverdict(fail)}
 115    log(log2str(tspt_enum_mod4c2));
 116    if(log2str(tspt_enum_mod4c2) == "complement (first (0), second (1))" ) {setverdict(pass)} else {setverdict(fail)}
 117    log(log2str(tspt_enum_mod4vl1));
 118    if(log2str(tspt_enum_mod4vl1) == "first (0)" ) {setverdict(pass)} else {setverdict(fail)}
 119    log(log2str(tspt_enum_mod4vl2));
 120    if(log2str(tspt_enum_mod4vl2) == "(first (0), second (1))" ) {setverdict(pass)} else {setverdict(fail)}
 121
 122    log(log2str(tspt_enum_mod4vifp));
 123    if(log2str(tspt_enum_mod4vifp) == "first (0) ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 124    log(log2str(tspt_enum_mod4aifp));
 125    if(log2str(tspt_enum_mod4aifp) == "* ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 126    log(log2str(tspt_enum_mod4qifp));
 127    if(log2str(tspt_enum_mod4qifp) == "? ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 128    log(log2str(tspt_enum_mod4oifp));
 129    if(log2str(tspt_enum_mod4oifp) == "omit ifpresent") {setverdict(pass)} else {setverdict(fail)}
 130    log(log2str(tspt_enum_mod4c0ifp));
 131    if(log2str(tspt_enum_mod4c0ifp) == "complement (omit) ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 132    log(log2str(tspt_enum_mod4c1ifp));
 133    if(log2str(tspt_enum_mod4c1ifp) == "complement (first (0)) ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 134    log(log2str(tspt_enum_mod4c2ifp));
 135    if(log2str(tspt_enum_mod4c2ifp) == "complement (first (0), second (1)) ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 136    log(log2str(tspt_enum_mod4vl1ifp));
 137    if(log2str(tspt_enum_mod4vl1ifp) == "first (0) ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 138    log(log2str(tspt_enum_mod4vl2ifp));
 139    if(log2str(tspt_enum_mod4vl2ifp) == "(first (0), second (1)) ifpresent" ) {setverdict(pass)} else {setverdict(fail)}
 140 }
 141
 142 testcase tc_enum_ModulePar_emb() runs on MC {
 143    log(log2str(t_renum(tspt_enum_mod4v)));
 144    if(log2str(t_renum(tspt_enum_mod4v)) == "{ e := first (0) }" ) {setverdict(pass)} else {setverdict(fail)}
 145    log(log2str(t_renum(tspt_enum_mod4a)));
 146    if(log2str(t_renum(tspt_enum_mod4a)) == "{ e := * }" ) {setverdict(pass)} else {setverdict(fail)}
 147    log(log2str(t_renum(tspt_enum_mod4q)));
 148    if(log2str(t_renum(tspt_enum_mod4q)) == "{ e := ? }" ) {setverdict(pass)} else {setverdict(fail)}
 149    log(log2str(t_renum(tspt_enum_mod4o)));
 150    if(log2str(t_renum(tspt_enum_mod4o)) == "{ e := omit }" ) {setverdict(pass)} else {setverdict(fail)}
 151    log(log2str(t_renum(tspt_enum_mod4c0)));
 152    if(log2str(t_renum(tspt_enum_mod4c0)) == "{ e := complement (omit) }" ) {setverdict(pass)} else {setverdict(fail)}
 153    log(log2str(t_renum(tspt_enum_mod4c1)));
 154    if(log2str(t_renum(tspt_enum_mod4c1)) == "{ e := complement (first (0)) }" ) {setverdict(pass)} else {setverdict(fail)}
 155    log(log2str(t_renum(tspt_enum_mod4c2)));
 156    if(log2str(t_renum(tspt_enum_mod4c2)) == "{ e := complement (first (0), second (1)) }" ) {setverdict(pass)} else {setverdict(fail)}
 157    log(log2str(t_renum(tspt_enum_mod4vl1)));
 158    if(log2str(t_renum(tspt_enum_mod4vl1)) == "{ e := first (0) }" ) {setverdict(pass)} else {setverdict(fail)}
 159    log(log2str(t_renum(tspt_enum_mod4vl2)));
 160    if(log2str(t_renum(tspt_enum_mod4vl2)) == "{ e := (first (0), second (1)) }" ) {setverdict(pass)} else {setverdict(fail)}
 161
 162    log(log2str(t_renum(tspt_enum_mod4vifp)));
 163    if(log2str(t_renum(tspt_enum_mod4vifp)) == "{ e := first (0) ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 164    log(log2str(t_renum(tspt_enum_mod4aifp)));
 165    if(log2str(t_renum(tspt_enum_mod4aifp)) == "{ e := * ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 166    log(log2str(t_renum(tspt_enum_mod4qifp)));
 167    if(log2str(t_renum(tspt_enum_mod4qifp)) == "{ e := ? ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 168    log(log2str(t_renum(tspt_enum_mod4oifp)));
 169    if(log2str(t_renum(tspt_enum_mod4oifp)) == "{ e := omit ifpresent }") {setverdict(pass)} else {setverdict(fail)}
 170    log(log2str(t_renum(tspt_enum_mod4c0ifp)));
 171    if(log2str(t_renum(tspt_enum_mod4c0ifp)) == "{ e := complement (omit) ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 172    log(log2str(t_renum(tspt_enum_mod4c1ifp)));
 173    if(log2str(t_renum(tspt_enum_mod4c1ifp)) == "{ e := complement (first (0)) ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 174    log(log2str(t_renum(tspt_enum_mod4c2ifp)));
 175    if(log2str(t_renum(tspt_enum_mod4c2ifp)) == "{ e := complement (first (0), second (1)) ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 176    log(log2str(t_renum(tspt_enum_mod4vl1ifp)));
 177    if(log2str(t_renum(tspt_enum_mod4vl1ifp)) == "{ e := first (0) ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 178    log(log2str(t_renum(tspt_enum_mod4vl2ifp)));
 179    if(log2str(t_renum(tspt_enum_mod4vl2ifp)) == "{ e := (first (0), second (1)) ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 180 }
 181
 182
 183 testcase tc_enum_ttcn2str_emb() runs on MC {
 184    log(ttcn2string(t_renum(tspt_enum_mod4v)));
 185    if(ttcn2string(t_renum(tspt_enum_mod4v)) == "{ e := first }" ) {setverdict(pass)} else {setverdict(fail)}
 186    log(ttcn2string(t_renum(tspt_enum_mod4a)));
 187    if(ttcn2string(t_renum(tspt_enum_mod4a)) == "{ e := * }" ) {setverdict(pass)} else {setverdict(fail)}
 188    log(ttcn2string(t_renum(tspt_enum_mod4q)));
 189    if(ttcn2string(t_renum(tspt_enum_mod4q)) == "{ e := ? }" ) {setverdict(pass)} else {setverdict(fail)}
 190    log(ttcn2string(t_renum(tspt_enum_mod4o)));
 191    if(ttcn2string(t_renum(tspt_enum_mod4o)) == "{ e := omit }" ) {setverdict(pass)} else {setverdict(fail)}
 192    log(ttcn2string(t_renum(tspt_enum_mod4c0)));
 193    if(ttcn2string(t_renum(tspt_enum_mod4c0)) == "{ e := complement (omit) }" ) {setverdict(pass)} else {setverdict(fail)}
 194    log(ttcn2string(t_renum(tspt_enum_mod4c1)));
 195    if(ttcn2string(t_renum(tspt_enum_mod4c1)) == "{ e := complement (first) }" ) {setverdict(pass)} else {setverdict(fail)}
 196    log(ttcn2string(t_renum(tspt_enum_mod4c2)));
 197    if(ttcn2string(t_renum(tspt_enum_mod4c2)) == "{ e := complement (first, second) }" ) {setverdict(pass)} else {setverdict(fail)}
 198    log(ttcn2string(t_renum(tspt_enum_mod4vl1)));
 199    if(ttcn2string(t_renum(tspt_enum_mod4vl1)) == "{ e := first }" ) {setverdict(pass)} else {setverdict(fail)}
 200    log(ttcn2string(t_renum(tspt_enum_mod4vl2)));
 201    if(ttcn2string(t_renum(tspt_enum_mod4vl2)) == "{ e := (first, second) }" ) {setverdict(pass)} else {setverdict(fail)}
 202
 203    log(ttcn2string(t_renum(tspt_enum_mod4vifp)));
 204    if(ttcn2string(t_renum(tspt_enum_mod4vifp)) == "{ e := first ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 205    log(ttcn2string(t_renum(tspt_enum_mod4aifp)));
 206    if(ttcn2string(t_renum(tspt_enum_mod4aifp)) == "{ e := * ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 207    log(ttcn2string(t_renum(tspt_enum_mod4qifp)));
 208    if(ttcn2string(t_renum(tspt_enum_mod4qifp)) == "{ e := ? ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 209    log(ttcn2string(t_renum(tspt_enum_mod4oifp)));
 210    if(ttcn2string(t_renum(tspt_enum_mod4oifp)) == "{ e := omit ifpresent }") {setverdict(pass)} else {setverdict(fail)}
 211    log(ttcn2string(t_renum(tspt_enum_mod4c0ifp)));
 212    if(ttcn2string(t_renum(tspt_enum_mod4c0ifp)) == "{ e := complement (omit) ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 213    log(ttcn2string(t_renum(tspt_enum_mod4c1ifp)));
 214    if(ttcn2string(t_renum(tspt_enum_mod4c1ifp)) == "{ e := complement (first) ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 215    log(ttcn2string(t_renum(tspt_enum_mod4c2ifp)));
 216    if(ttcn2string(t_renum(tspt_enum_mod4c2ifp)) == "{ e := complement (first, second) ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 217    log(ttcn2string(t_renum(tspt_enum_mod4vl1ifp)));
 218    if(ttcn2string(t_renum(tspt_enum_mod4vl1ifp)) == "{ e := first ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 219    log(ttcn2string(t_renum(tspt_enum_mod4vl2ifp)));
 220    if(ttcn2string(t_renum(tspt_enum_mod4vl2ifp)) == "{ e := (first, second) ifpresent }" ) {setverdict(pass)} else {setverdict(fail)}
 221 }
 222 //=========================================================================
 223 // Control
 224 //=========================================================================
 225
 226 control {
 227   log("***enum tests ********");
 228   execute(tc_enum_ModulePar());
 229   execute(tc_enum_ModulePar_emb());
 230   execute(tc_enum_ttcn2str_emb());
 231 }
 232
 233
 234 }  // end of module