regression_test/negativeTest/NegTest_TEXT_Types.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 NegTest_TEXT_Types {
   9
  10 type enumerated MyEnum { first(1), second(2), third(3) } with { variant "BEGIN('<MyEnum>')";variant "END('</MyEnum>')"; variant "TEXT_CODING()"}
  11 type integer MyInteger10 (1..10) with {variant "BEGIN('<MyInt>')"; variant "END('</MyInt>')"; variant "TEXT_CODING()" }
  12
  13 //1.Sequence (record)
  14 type record MySeqEmpty {} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()" }
  15 type record MySeqBool {boolean b} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()" }
  16 //type record MySeqNull { NULL n} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()" }
  17 type record MySeqInt {integer i} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()" }
  18 type record MySeqMyEnum {MyEnum e} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()" }
  19 type record MySeqInt2 { integer i, integer j} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  20 type record MySeqInt2opt { integer i, integer j optional} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  21 type record MySeqInt3opt { integer i, integer j, integer k optional} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  22 type record MySeqIntSeqInt2 { integer i, MySeqInt2 jk } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  23 type record MySeqIntSeqInt2opt { integer i optional, MySeqInt2 jk } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  24 type record MySeqIntSeqInt2optopt { integer i optional, MySeqInt2opt jk } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  25 type record MySeqInt3 { integer i, integer j, integer k} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  26 type record MySeqInt4 { integer i, integer j, integer k, integer l} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  27 type record MySeqInt4opt { integer i, integer j, integer k, integer l optional} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  28
  29 type record MySeqCharstring { charstring x } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  30 type record MySeqCharstring2 { charstring x, charstring y optional } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  31 type record MySeqStr { charstring s} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  32 type record MySeqStr2 { charstring s, charstring t} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  33 type record MySeqBitStr { bitstring b} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  34 type record MySeqBitStr2 { bitstring s, bitstring t} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  35 type record MySeqIntCharstring { integer i, charstring x } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  36 type record MySeqIntStr { integer i, charstring s} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  37 type record MySeqIntBitStr { integer i, bitstring b} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  38 type record MySeqOctStr { octetstring o} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  39 type record MySeqOJKL { octetstring o, integer j, integer k, integer l} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  40 type record MySeqIOKL { integer i, octetstring o, integer k, integer l } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  41 type record MySeqISKL { integer i, MySeqInt4 s, integer k, integer l} with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  42
  43 //===== sequence of sequence of sequence ====
  44
  45 type record MySeqIntSeqIntSeqInt2SeqCharstring2 {
  46   integer i optional,
  47   MySeqIntSeqInt2 jkl,
  48   MySeqCharstring2      xy
  49 } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  50
  51 type record MySeqIntSeqIntSeqInt2optoptSeqCharstring2 {
  52   integer i optional,
  53   MySeqIntSeqInt2optopt jkl,
  54   MySeqCharstring2            xy
  55 } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  56
  57 type record MySeqIntSeqCharstring2 {
  58   integer i optional,
  59   MySeqCharstring2 xy
  60 } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  61
  62 type record MySeqIntSeqIntSeqInt2 {
  63   integer i,
  64   MySeqIntSeqInt2 jkl
  65 } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  66
  67 type record MySeqSeqIntSeqInt2SeqCharstring2 {
  68   MySeqIntSeqInt2 jkl,
  69   MySeqCharstring2      xy
  70 } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  71
  72 type record MySeq_SeqSeqIntSeqInt2SeqCharstring2_SeqSeqIntSeqInt2SeqCharstring2 {
  73   MySeqSeqIntSeqInt2SeqCharstring2 s1,
  74   MySeqSeqIntSeqInt2SeqCharstring2 s2
  75 } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  76
  77 type record MySeq_SeqSeqIntSeqInt2optoptSeqCharstring2_SeqSeqIntSeqInt2optoptSeqCharstring2 {
  78   MySeqIntSeqIntSeqInt2optoptSeqCharstring2 s1,
  79   MySeqIntSeqIntSeqInt2optoptSeqCharstring2 s2
  80 } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  81
  82 type record MySeqBasicTypes {
  83   boolean b,
  84   //NULL n,
  85   integer i,
  86   MyEnum e,
  87   charstring  r,
  88   bitstring bs,
  89   octetstring os,
  90   objid oi
  91   //,relativeobjid
  92 } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
  93 //2.Sequence of (record of)
  94
  95 type record of boolean MySeqOfBool with { variant "BEGIN('<MySeqOf>')"; variant "END('</MySeqOf>')"; variant "TEXT_CODING()"}
  96 // There is no such type as NULL:
  97 //type record of NULL MySeqOfNull;
  98 type record of integer MySeqOfInt with { variant "BEGIN('<MySeqOf>')"; variant "END('</MySeqOf>')"; variant "TEXT_CODING()"};
  99 type record of MyEnum MySeqOfMyEnum with { variant "BEGIN('<MySeqOf>')"; variant "END('</MySeqOf>')"; variant "TEXT_CODING()"};
 100 type record of charstring MySeqOfCharstring with { variant "BEGIN('<MySeqOf>')"; variant "END('</MySeqOf>')"; variant "TEXT_CODING()"};
 101 type record of bitstring MySeqOfBitStr with { variant "BEGIN('<MySeqOf>')"; variant "END('</MySeqOf>')"; variant "TEXT_CODING()"};
 102 type record of octetstring MySeqOfOctStr with { variant "BEGIN('<MySeqOf>')"; variant "END('</MySeqOf>')"; variant "TEXT_CODING()"};
 103 type record of objid MySeqOfObjId with { variant "BEGIN('<MySeqOf>')"; variant "END('</MySeqOf>')"; variant "TEXT_CODING()"};
 104 type record of MyUnionBasicTypes MySeqOfMyUnionBT with { variant "BEGIN('<MySeqOf>')"; variant "END('</MySeqOf>')"; variant "TEXT_CODING()"};
 105 type record of MySeqSeqIntSeqInt2SeqCharstring2 MySeqOfSeqSeqIntSeqInt2SeqCharstring2 with { variant "BEGIN('<MySeqOf>')"; variant "END('</MySeqOf>')"; variant "TEXT_CODING()"};
 106 type record of MySeqIntSeqIntSeqInt2optoptSeqCharstring2 MySeqOfMySeqIntSeqIntSeqInt2optoptSeqCharstring2 with { variant "BEGIN('<MySeqOf>')"; variant "END('</MySeqOf>')"; variant "TEXT_CODING()"};
 107 //3. Set
 108 type set MySetEmpty {} with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 109 type set MySetBool { boolean b } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 110 // There is no such type as NULL
 111 //type set MySetNull { NULL n } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 112 type set MySetInt { integer i } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 113 type set MySetMyEnum { MyEnum e } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 114 type set MySetInt2 { integer i, integer j }  with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 115 type set MySetInt2opt { integer i optional, integer j optional }  with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 116 type set MySetInt3opt { integer i optional, integer j optional, integer k optional }  with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 117 type set MySetIntSeqInt2 { integer i, MySeqInt2 jk } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 118 type set MySetIntSeqInt2T { integer i, MySeqInt2 jk } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 119 type set MySetIntSeqInt2opt { integer i optional, MySeqInt2 jk } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 120 type set MySetIntSeqInt2Topt { integer i optional, MySeqInt2 jk } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 121 type set MySetIntSeqInt2optopt { integer i optional, MySeqInt2opt jk optional } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 122 type set MySetIntSeqInt2Toptopt { integer i optional, MySeqInt2opt jk optional } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 123 type set MySetInt3 { integer i, integer j, integer k }  with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 124 type set MySetInt4 { integer i, integer j, integer k, integer l }  with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 125 type set MySetInt4opt { integer i optional, integer j optional, integer k optional, integer l optional }  with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 126 type set MySetCharstring { charstring x } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 127 type set MySetCharstring2 { charstring x, charstring y } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 128 type set MySetStr { charstring s } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 129 type set MySetStr2 { charstring s, charstring t } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 130 type set MySetBitStr { bitstring b } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 131 type set MySetOctStr { octetstring o } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 132 type set MySetBitStr2 { bitstring a, bitstring b } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 133 type set MySetIntCharstring { integer i, charstring f } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 134 type set MySetIntStr { integer i , charstring s } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 135 type set MySetIntBitStr { integer i, bitstring b} with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 136 type set MySetIntOctStr { integer i, octetstring o } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 137 type set MySetOJKL { octetstring o, integer j, integer k, integer l } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 138 type set MySetIOKL { integer i, octetstring o, integer k, integer l } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 139 type set MySetISKL { integer i, MySeqInt4 s, integer k, integer l } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 140 type set MySetISKLopt { integer i optional, MySeqInt4opt s optional, integer k optional, integer l optional } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 141 type set MySetIS2KLopt { integer i optional, MySeqInt2 s optional, integer k optional, integer l optional } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 142 type set MySetISOKL { integer i,MySeqInt4 s, octetstring o, integer k, integer l   } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 143 type set MySetISOKLopt { integer i optional,MySeqInt4opt s optional, octetstring o optional, integer k optional, integer l optional } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 144 type set MySetIOSKL {integer i, octetstring o, MySeqInt4 s, integer k, integer l} with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 145 type set MySetIOSKLopt {integer i optional, octetstring o optional, MySeqInt4opt s optional, integer k optional, integer l optional} with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 146 //===== set of sequence of sequence ====
 147 type set MySetIntSeqIntSeqInt2SeqCharstring2 { integer i optional, MySeqIntSeqInt2 jkl, MySeqCharstring2 xy} with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 148 type set MySetIntSeqIntSeqInt2optoptSeqCharstring2 { integer i optional, MySeqIntSeqInt2optopt jkl, MySeqCharstring2 xy} with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 149 //subtypes:
 150 type set MySetIntSeqCharstring2 { integer i optional, MySeqCharstring2 xy } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 151
 152 type set MySetIntSeqIntSeqInt2 { integer i optional, MySeqIntSeqInt2 jkl } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 153 type set MySetSeqIntSeqInt2SeqCharstring2 { MySeqIntSeqInt2 jkl, MySeqCharstring2 xy } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 154 type set MySet_SeqSeqIntSeqInt2SeqCharstring2_SeqSeqIntSeqInt2SeqCharstring2 {
 155   MySeqSeqIntSeqInt2SeqCharstring2 s1,
 156   MySeqSeqIntSeqInt2SeqCharstring2 s2
 157 } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 158 type set MySet_SeqSeqIntSeqInt2optoptSeqCharstring2_SeqSeqIntSeqInt2optoptSeqCharstring2 {
 159   MySeqIntSeqIntSeqInt2optoptSeqCharstring2 s1,
 160   MySeqIntSeqIntSeqInt2optoptSeqCharstring2 s2
 161 } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 162
 163 type set MySetBasicTypes {
 164   boolean b,
 165   //NULL n,
 166   integer i,
 167   MyEnum e,
 168   charstring r,
 169   bitstring bs,
 170   octetstring os,
 171   objid oi
 172   //RELATIVE_OID roi
 173 } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 174
 175 type set MySetEnum { MyEnum e } with { variant "BEGIN('<MySet>')"; variant "END('</MySet>')"; variant "TEXT_CODING()"}
 176
 177 //4. Set of
 178 type set of boolean MySetOfBool with { variant "BEGIN('<MySetOf>')"; variant "END('</MySetOf>')"; variant "TEXT_CODING()"}
 179 // There is no such type as NULL:
 180 //type record of NULL MySeqOfNull;
 181 type set of integer MySetOfInt with { variant "BEGIN('<MySetOf>')"; variant "END('</MySetOf>')"; variant "TEXT_CODING()"};
 182 type set of MyEnum MySetOfMyEnum with { variant "BEGIN('<MySetOf>')"; variant "END('</MySetOf>')"; variant "TEXT_CODING()"};
 183 type set of charstring MySetOfCharstring with { variant "BEGIN('<MySetOf>')"; variant "END('</MySetOf>')"; variant "TEXT_CODING()"};
 184 type set of bitstring MySetOfBitStr with { variant "BEGIN('<MySetOf>')"; variant "END('</MySetOf>')"; variant "TEXT_CODING()"};
 185 type set of octetstring MySetOfOctStr with { variant "BEGIN('<MySetOf>')"; variant "END('</MySetOf>')"; variant "TEXT_CODING()"};
 186 type set of objid MySetOfObjId with { variant "BEGIN('<MySetOf>')"; variant "END('</MySetOf>')"; variant "TEXT_CODING()"};
 187 type set of MyUnionBasicTypes MySetOfMyUnionBT with { variant "BEGIN('<MySetOf>')"; variant "END('</MySetOf>')"; variant "TEXT_CODING()"};
 188 type set of MySeqSeqIntSeqInt2SeqCharstring2 MySetOfSeqSeqIntSeqInt2SeqCharstring2 with { variant "BEGIN('<MySetOf>')"; variant "END('</MySetOf>')"; variant "TEXT_CODING()"};
 189 type set of MySeqIntSeqIntSeqInt2optoptSeqCharstring2 MySetOfMySeqIntSeqIntSeqInt2optoptSeqCharstring2 with { variant "BEGIN('<MySetOf>')"; variant "END('</MySetOf>')"; variant "TEXT_CODING()"};
 190
 191 //5.choice (union)
 192 type union MyUnionBasicTypes {
 193   boolean b,
 194   integer i,
 195   MyEnum e,
 196   charstring r,
 197   bitstring bs,
 198   octetstring os,
 199   objid oi
 200 } with { variant "TEXT_CODING()"}
 201
 202 //Tagged version:
 203 type union MyUnionBasicTypesT {
 204   boolean b,
 205   integer i,
 206   MyEnum e,
 207   charstring r,
 208   bitstring bs,
 209   octetstring os,
 210   objid oi
 211 }  with { variant "BEGIN('<MyUnion>')"; variant "END('</MyUnion>')"; variant "TEXT_CODING()"}
 212
 213 type union MyUnionComplexTypes {
 214   MyUnionBasicTypes u,
 215   //MySeqIntSeqCharstring2 s,
 216   MySeqOfCharstring  sofcharstring
 217 } with { variant "BEGIN('<MySeq>')"; variant "END('</MySeq>')"; variant "TEXT_CODING()"}
 218
 219 } with { encode "TEXT" }
 220