function_test/Semantic_Analyser/ASN_SA_1_TD.script

   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 :text.
   9 :lang eng.
  10
  11 .* EDML webpage:       http://cpi.ericsson.se/dwaxe/
  12 .* EDML2PDF converter: http://dwaxe.ericsson.se/x2pdf
  13 .* EDML user guide:    http://www.lmc.ericsson.se/~lmcmarg/isit/edml_ug.html
  14
  15 .* Document header information
  16 :docname.Test Description
  17 :docno. 12/15291-CRL200/5 Uen
  18 :rev.A
  19 :date.2015-04-27
  20
  21 :prep.ETH/RZD Endre Szalai (+36 1 437 7796)
  22 :appr.ETH/RZ (Zsolt Szendrei)
  23 :checked.ETHGRY
  24
  25 :title.Test description of the ASN.1 Semantic Analyzer: Unknown Object
  26 :contents level=2.
  27 .*---------------------------------------------------------------------*
  28 :h1.Introduction
  29 .*---------------------------------------------------------------------*
  30 .*---------------------------------------------------------------------*
  31 :h2.Revision history
  32 .*---------------------------------------------------------------------*
  33 :xmp tab=2.
  34 REV   DATE         PREPARED   CHANGE
  35 __________________________________________________
  36 PA1   2005-02-03   ETHESI     New document
  37 :exmp.
  38 .*---------------------------------------------------------------------*
  39 :h2.Purpose
  40 .*---------------------------------------------------------------------*
  41 The purpose of this Test Description is to define and describe the function
  42 test activity for the Semantic Analyser functionality of the ASN.1
  43 compiler:
  44 :nl.SA-1/x: Unknown Object.
  45 :p.The specification of the test cases can be found in this document.
  46 .*---------------------------------------------------------------------*
  47 :h1.Test environment
  48 .*---------------------------------------------------------------------*
  49 .*---------------------------------------------------------------------*
  50 :h2.Hardware
  51 .*---------------------------------------------------------------------*
  52 No specific hardware requirement.
  53 .*---------------------------------------------------------------------*
  54 :h2.Software
  55 .*---------------------------------------------------------------------*
  56 Tests shall be carried out on the following platforms:
  57 :list.
  58 :li D='1.'.Solaris 8 (Sun OS 5.8) (gcc 3.0.4)
  59 :li D='2.'.SUSE Linux Enterprise server 8 (2.4.19-4GB) (gcc 3.2)
  60 :li D='3.'.CYGWIN_NT-5.0 (Cygwin DLL: 1.5.12) on Windows 2000 (gcc 3.3.3)
  61 :elist.
  62 .*---------------------------------------------------------------------*
  63 :h2.Configuration
  64 .*---------------------------------------------------------------------*
  65 The test environment had been setup in CVS. The tester program is stored in:
  66 :nl.TTCNv3/function_test/Tools/SAtester.pl
  67 :nl.Test cases are stored with extension .script in the directory:
  68 :nl.TTCNv3/function_test/Semantic_Analyser/
  69 .*---------------------------------------------------------------------*
  70 :h2.Installation
  71 .*---------------------------------------------------------------------*
  72 Install proper TITAN binaries on the used platforms and make sure that
  73 your environment settings are correct:
  74 :list.
  75 :li D='1.'.TTCN3_DIR is set
  76 :li D='2.'.$TTCN3_DIR/bin is added to the PATH variable
  77 :li D='3.'.$TTCN3_DIR/lib is added to the LD_LIBRARY_PATH variable
  78 :li D='4.'.Perl 5.6.0 or higher is available on the platform
  79 :li D='5.'.Create a symlink to your Perl binary into the directory where the
  80 test cases are stored:
  81 :nl.ln -s <your Perl> perl
  82 :elist.
  83 .*---------------------------------------------------------------------*
  84 :h2.Test Tools
  85 .*---------------------------------------------------------------------*
  86 A tester program had been written in Perl especially for the Semantic Analyser
  87 tests. For the list of command line parameters, type 'SAtester.pl -help', for the
  88 complete documentation, type 'SAtester.pl -doc'.
  89 :p.Test cases are specified in the Test Description documents in EDML format.
  90 The tester program parses these files and generates the TTCN-3/ASN.1 modules, then
  91 calls the compiler to compile them. The result printout is then matched against
  92 different patterns to be able to set the verdict. Test cases contain not only
  93 the source modules, but the patterns as well.
  94 :p.The tester program allows one-by-one execution of test cases and batched
  95 execution as well.
  96 :p.NOTE: the tester program requires Perl 5.6.0 or higher.
  97 .*---------------------------------------------------------------------*
  98 :h2.Test scope
  99 .*---------------------------------------------------------------------*
 100 Ref [1]: SA-1/x: Unknown object
 101 :nl.Explanation: all unknown objects shall be detected by SA.
 102 .*---------------------------------------------------------------------*
 103 :h2.Test strategy
 104 .*---------------------------------------------------------------------*
 105 Test cases are based on ASN.1 BNF according to the followings:
 106 :list.
 107 :li D='1.'.For each 'basic' definition a complete coverage is done (e.g. for
 108 expressions, assignments, etc.). 'Basic' means that the definition is
 109 used in several places.
 110 :li D='2.'.For each definition a complete coverage is done, except for basic
 111 definitions, in which case only 1-2 examples are covered, not the
 112 whole basic definition. This is to avoid testing all possible subcases
 113 for all possible places it may appear.
 114 :nl.NOTE: a complete coverage means that all occurances are tested where
 115 the specific definition may occur. This is however not complete. Only
 116 one occurance is tested for each construct.
 117 :li D='3.'.Test case names are contsructed following the path in the BNF in TTCN-3
 118 and following the possible notations/subtyping in ASN.1.
 119 :elist.
 120 .*---------------------------------------------------------------------*
 121 :h2.Status
 122 .*---------------------------------------------------------------------*
 123 This is not yet an official document.
 124 :nl.The following structures are not covered:
 125 :list.
 126 :li D='-'.ASN.1:: X.681-X.683
 127 :li D='-'.ASN.1:: only type assignments are covered, value assignments are not
 128 :li D='-'.sub-structures that causes parse error due to limited support of that
 129 part of the language (e.g. interleave construct)
 130 :elist.
 131 .*---------------------------------------------------------------------*
 132 :h2.Test cases
 133 .*---------------------------------------------------------------------*
 134 .*---------------------------------------------------------------------*
 135 :h3.ASN1::ModuleIdentifier->DefinitiveIdentifier->NameForm
 136 .*---------------------------------------------------------------------*
 137 :xmp tab=0.
 138 <TC - ASN1::ModuleIdentifier->DefinitiveIdentifier->NameForm>
 139 <COMPILE>
 140 <VERDICT_LEAF FAIL>
 141 <MODULE ASN ModuleA ModuleA.asn>
 142 Module-A { nonexi } DEFINITIONS ::=
 143 BEGIN
 144    -- NOTE: nameform checks are not yet implemented
 145    IMPORTS ;
 146    A ::= SEQUENCE { f1 INTEGER }
 147 END
 148 <END_MODULE>
 149 <RESULT IF_PASS COUNT 1>
 150 (?im)\berror\b.+?no.+?definition.+?Nonexi
 151 <END_RESULT>
 152 <RESULT IF_PASS COUNT 1>
 153 (?is)\berror:
 154 <END_RESULT>
 155 <RESULT IF_PASS POSITIVE>
 156 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 157 <END_RESULT>
 158 <RESULT IF_FAIL NEGATIVE>
 159 (?is)\berror:
 160 <END_RESULT>
 161 <END_TC>
 162 :exmp.
 163
 164 .*---------------------------------------------------------------------*
 165 :h3.ASN1::ModuleIdentifier->DefinitiveIdentifier->DefinitiveNameAndNumberForm
 166 .*---------------------------------------------------------------------*
 167 :xmp tab=0.
 168 <TC - ASN1::ModuleIdentifier->DefinitiveIdentifier->DefinitiveNameAndNumberForm>
 169 <COMPILE>
 170 <VERDICT_LEAF FAIL>
 171 <MODULE ASN ModuleA ModuleA.asn>
 172 Module-A { nonexi(7) } DEFINITIONS ::=
 173 BEGIN
 174    -- NOTE: nameform checks are not yet implemented
 175    IMPORTS ;
 176    A ::= SEQUENCE { f1 INTEGER }
 177 END
 178 <END_MODULE>
 179 <RESULT IF_PASS COUNT 1>
 180 (?im)\berror\b.+?no.+?definition.+?Nonexi
 181 <END_RESULT>
 182 <RESULT IF_PASS COUNT 1>
 183 (?is)\berror:
 184 <END_RESULT>
 185 <RESULT IF_PASS POSITIVE>
 186 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 187 <END_RESULT>
 188 <RESULT IF_FAIL NEGATIVE>
 189 (?is)\berror:
 190 <END_RESULT>
 191 <END_TC>
 192 :exmp.
 193
 194 .*---------------------------------------------------------------------*
 195 :h3.ASN1::Exports
 196 .*---------------------------------------------------------------------*
 197 :xmp tab=0.
 198 <TC - ASN1::Exports>
 199 <COMPILE>
 200 <VERDICT_LEAF PASS>
 201 <MODULE ASN ModuleA ModuleA.asn>
 202 Module-A DEFINITIONS ::=
 203 BEGIN
 204    -- TR 1: compiler hangs if an unexpected EXPORT part is detected
 205    -- IMPORTS ;
 206    EXPORTS A, Nonexi;
 207    IMPORTS ;
 208    A ::= SEQUENCE { f1 INTEGER }
 209 END
 210 <END_MODULE>
 211 <RESULT IF_PASS COUNT 1>
 212 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 213 <END_RESULT>
 214 <RESULT IF_PASS COUNT 1>
 215 (?is)\berror:
 216 <END_RESULT>
 217 <RESULT IF_PASS POSITIVE>
 218 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 219 <END_RESULT>
 220 <END_TC>
 221 :exmp.
 222
 223 .*---------------------------------------------------------------------*
 224 :h3.ASN1::Imports->GlobalModuleReference->ObjectIdentifierValue->NameAndNumberForm
 225 .*---------------------------------------------------------------------*
 226 :xmp tab=0.
 227 <TC - ASN1::Imports->GlobalModuleReference->ObjectIdentifierValue->NameAndNumberForm>
 228 <COMPILE>
 229 <VERDICT_LEAF FAIL>
 230 <MODULE ASN Module-A ModuleA.asn>
 231 Module-A DEFINITIONS ::=
 232 BEGIN
 233    IMPORTS B FROM Module-B {0 Nonexi 0};
 234    A ::= SEQUENCE { f1 INTEGER }
 235 END
 236 <END_MODULE>
 237 <MODULE ASN Module-B ModuleB.asn>
 238 Module-B {0 4 0} DEFINITIONS ::=
 239 BEGIN
 240    EXPORTS ALL;
 241    IMPORTS ;
 242    B ::= SEQUENCE { f1 INTEGER }
 243 END
 244 <END_MODULE>
 245 <RESULT IF_PASS COUNT 1>
 246 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 247 <END_RESULT>
 248 <RESULT IF_PASS COUNT 1>
 249 (?is)\berror:
 250 <END_RESULT>
 251 <RESULT IF_PASS POSITIVE>
 252 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 253 <END_RESULT>
 254 <RESULT IF_FAIL NEGATIVE>
 255 (?is)\berror:
 256 <END_RESULT>
 257 <END_TC>
 258 :exmp.
 259
 260 .*---------------------------------------------------------------------*
 261 :h3.ASN1::Imports->GlobalModuleReference->ObjectIdentifierValue->DefinedValue->ExternalValueReference
 262 .*---------------------------------------------------------------------*
 263 :xmp tab=0.
 264 <TC - ASN1::Imports->GlobalModuleReference->ObjectIdentifierValue->DefinedValue->ExternalValueReference>
 265 <COMPILE>
 266 <VERDICT_LEAF FAIL>
 267 <MODULE ASN Module-A ModuleA.asn>
 268 Module-A DEFINITIONS ::=
 269 BEGIN
 270    -- Obj id values are ignored
 271    IMPORTS c-VAL-OBJ-ID FROM Module-C
 272            B FROM Module-B {0 Module-C.Nonexi 0};
 273    A ::= SEQUENCE { f1 INTEGER }
 274 END
 275 <END_MODULE>
 276 <MODULE ASN Module-B ModuleB.asn>
 277 Module-B {0 4 0} DEFINITIONS ::=
 278 BEGIN
 279    EXPORTS B;
 280    IMPORTS ;
 281    B ::= SEQUENCE { f1 INTEGER }
 282    vAL-OBJ-ID OBJECT IDENTIFIER ::= {0 4 0}
 283 END
 284 <END_MODULE>
 285 <MODULE ASN Module-C ModuleC.asn>
 286 Module-C DEFINITIONS ::=
 287 BEGIN
 288    EXPORTS c-VAL-OBJ-ID;
 289    IMPORTS ;
 290    c-VAL-OBJ-ID OBJECT IDENTIFIER ::= {0 4 0}
 291 END
 292 <END_MODULE>
 293 <RESULT IF_PASS COUNT 1>
 294 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 295 <END_RESULT>
 296 <RESULT IF_PASS COUNT 1>
 297 (?is)\berror:
 298 <END_RESULT>
 299 <RESULT IF_PASS POSITIVE>
 300 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 301 <END_RESULT>
 302 <RESULT IF_FAIL NEGATIVE>
 303 (?is)\berror:
 304 <END_RESULT>
 305 <END_TC>
 306 :exmp.
 307
 308 .*---------------------------------------------------------------------*
 309 :h3.ASN1::Imports->GlobalModuleReference->ObjectIdentifierValue->DefinedValue->ExternalValueReference (circular reference)
 310 .*---------------------------------------------------------------------*
 311 :xmp tab=0.
 312 <TC - ASN1::Imports->GlobalModuleReference->ObjectIdentifierValue->DefinedValue->ExternalValueReference (circular reference)>
 313 <COMPILE>
 314 <VERDICT_LEAF FAIL>
 315 <MODULE ASN Module-A ModuleA.asn>
 316 Module-A DEFINITIONS ::=
 317 BEGIN
 318    -- Obj id values are ignored
 319    IMPORTS B FROM Module-B {0 Module-B.vAL-OBJ-ID 0};
 320    A ::= SEQUENCE { f1 INTEGER }
 321 END
 322 <END_MODULE>
 323 <MODULE ASN Module-B ModuleB.asn>
 324 Module-B {0 4 0} DEFINITIONS ::=
 325 BEGIN
 326    EXPORTS B;
 327    IMPORTS ;
 328    B ::= SEQUENCE { f1 INTEGER }
 329    vAL-OBJ-ID OBJECT IDENTIFIER ::= {0 4 0}
 330 END
 331 <END_MODULE>
 332 <RESULT IF_PASS COUNT 1>
 333 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 334 <END_RESULT>
 335 <RESULT IF_PASS COUNT 1>
 336 (?is)\berror:
 337 <END_RESULT>
 338 <RESULT IF_PASS POSITIVE>
 339 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 340 <END_RESULT>
 341 <RESULT IF_FAIL NEGATIVE>
 342 (?is)\berror:
 343 <END_RESULT>
 344 <END_TC>
 345 :exmp.
 346
 347 .*---------------------------------------------------------------------*
 348 :h3.ASN1::Imports->GlobalModuleReference->ObjectIdentifierValue->DefinedValue
 349 .*---------------------------------------------------------------------*
 350 :xmp tab=0.
 351 <TC - ASN1::Imports->GlobalModuleReference->ObjectIdentifierValue->DefinedValue>
 352 <COMPILE>
 353 <VERDICT_LEAF FAIL>
 354 <MODULE ASN Module-A ModuleA.asn>
 355 Module-A DEFINITIONS ::=
 356 BEGIN
 357    -- Obj id values are ignored
 358    -- TR 658: segfault when using definedvalue in global module reference
 359    IMPORTS B FROM Module-B nonexi;
 360    A ::= SEQUENCE { f1 INTEGER }
 361    -- val-OBJ-ID OBJECT IDENTIFIER ::= {0 4 0}
 362 END
 363 <END_MODULE>
 364 <MODULE ASN Module-B ModuleB.asn>
 365 Module-B {0 4 0} DEFINITIONS ::=
 366 BEGIN
 367    EXPORTS B;
 368    IMPORTS ;
 369    B ::= SEQUENCE { f1 INTEGER }
 370 END
 371 <END_MODULE>
 372 <RESULT IF_PASS COUNT 1>
 373 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 374 <END_RESULT>
 375 <RESULT IF_PASS COUNT 1>
 376 (?is)\berror:
 377 <END_RESULT>
 378 <RESULT IF_PASS POSITIVE>
 379 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 380 <END_RESULT>
 381 <RESULT IF_FAIL NEGATIVE>
 382 (?is)\berror:
 383 <END_RESULT>
 384 <END_TC>
 385 :exmp.
 386
 387 .*---------------------------------------------------------------------*
 388 :h3.ASN1::Imports->Symbol
 389 .*---------------------------------------------------------------------*
 390 :xmp tab=0.
 391 <TC - ASN1::Imports->Symbol>
 392 <COMPILE>
 393 <VERDICT_LEAF PASS>
 394 <MODULE ASN Module-A ModuleA.asn>
 395 Module-A DEFINITIONS ::=
 396 BEGIN
 397    IMPORTS B, Nonexi FROM Module-B;
 398    A ::= SEQUENCE { f1 INTEGER }
 399 END
 400 <END_MODULE>
 401 <MODULE ASN Module-B ModuleB.asn>
 402 Module-B DEFINITIONS ::=
 403 BEGIN
 404    -- TR 659: parse error when using EXPORTS ALL
 405    EXPORTS ALL;
 406    IMPORTS ;
 407    B ::= SEQUENCE { f1 INTEGER }
 408 END
 409 <END_MODULE>
 410 <RESULT IF_PASS COUNT 1>
 411 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 412 <END_RESULT>
 413 <RESULT IF_PASS COUNT 1>
 414 (?is)\berror:
 415 <END_RESULT>
 416 <RESULT IF_PASS POSITIVE>
 417 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 418 <END_RESULT>
 419 <END_TC>
 420 :exmp.
 421
 422 .*---------------------------------------------------------------------*
 423 :h3.ASN1::TypeAssignment->BuiltinType: BOOLEAN->SingleValue
 424 .*---------------------------------------------------------------------*
 425 :xmp tab=0.
 426 <TC - ASN1::TypeAssignment->BuiltinType: BOOLEAN->SingleValue>
 427 <COMPILE>
 428 <VERDICT_LEAF PASS>
 429 <MODULE ASN Module-A ModuleA.asn>
 430 Module-A DEFINITIONS ::=
 431 BEGIN
 432    IMPORTS ;
 433    X ::= BOOLEAN ( nonexi )
 434 END
 435 <END_MODULE>
 436 <RESULT IF_PASS COUNT 1>
 437 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 438 <END_RESULT>
 439 <RESULT IF_PASS COUNT 1>
 440 (?is)\berror:
 441 <END_RESULT>
 442 <RESULT IF_PASS POSITIVE>
 443 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 444 <END_RESULT>
 445 <RESULT IF_FAIL NEGATIVE>
 446 (?is)\berror:
 447 <END_RESULT>
 448 <END_TC>
 449 :exmp.
 450
 451 .*---------------------------------------------------------------------*
 452 :h3.ASN1::TypeAssignment->BuiltinType: BOOLEAN->Type inclusion
 453 .*---------------------------------------------------------------------*
 454 :xmp tab=0.
 455 <TC - ASN1::TypeAssignment->BuiltinType: BOOLEAN->Type inclusion>
 456 <COMPILE>
 457 <VERDICT_LEAF PASS>
 458 <MODULE ASN Module-A ModuleA.asn>
 459 Module-A DEFINITIONS ::=
 460 BEGIN
 461    IMPORTS ;
 462    X ::= BOOLEAN ( NONEXI )
 463 END
 464 <END_MODULE>
 465 <RESULT IF_PASS COUNT 1>
 466 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 467 <END_RESULT>
 468 <RESULT IF_PASS COUNT 1>
 469 (?is)\berror:
 470 <END_RESULT>
 471 <RESULT IF_PASS POSITIVE>
 472 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 473 <END_RESULT>
 474 <RESULT IF_FAIL NEGATIVE>
 475 (?is)\berror:
 476 <END_RESULT>
 477 <END_TC>
 478 :exmp.
 479
 480 .*---------------------------------------------------------------------*
 481 :h3.ASN1::TypeAssignment->BuiltinType: NULL->SingleValue
 482 .*---------------------------------------------------------------------*
 483 :xmp tab=0.
 484 <TC - ASN1::TypeAssignment->BuiltinType: NULL->SingleValue>
 485 <COMPILE>
 486 <VERDICT_LEAF PASS>
 487 <MODULE ASN Module-A ModuleA.asn>
 488 Module-A DEFINITIONS ::=
 489 BEGIN
 490    IMPORTS ;
 491    X ::= NULL ( nonexi )
 492 END
 493 <END_MODULE>
 494 <RESULT IF_PASS COUNT 1>
 495 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 496 <END_RESULT>
 497 <RESULT IF_PASS COUNT 1>
 498 (?is)\berror:
 499 <END_RESULT>
 500 <RESULT IF_PASS POSITIVE>
 501 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 502 <END_RESULT>
 503 <RESULT IF_FAIL NEGATIVE>
 504 (?is)\berror:
 505 <END_RESULT>
 506 <END_TC>
 507 :exmp.
 508
 509 .*---------------------------------------------------------------------*
 510 :h3.ASN1::TypeAssignment->BuiltinType: NULL->Type inclusion
 511 .*---------------------------------------------------------------------*
 512 :xmp tab=0.
 513 <TC - ASN1::TypeAssignment->BuiltinType: NULL->Type inclusion>
 514 <COMPILE>
 515 <VERDICT_LEAF PASS>
 516 <MODULE ASN Module-A ModuleA.asn>
 517 Module-A DEFINITIONS ::=
 518 BEGIN
 519    IMPORTS ;
 520    X ::= NULL ( NONEXI )
 521 END
 522 <END_MODULE>
 523 <RESULT IF_PASS COUNT 1>
 524 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 525 <END_RESULT>
 526 <RESULT IF_PASS COUNT 1>
 527 (?is)\berror:
 528 <END_RESULT>
 529 <RESULT IF_PASS POSITIVE>
 530 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 531 <END_RESULT>
 532 <RESULT IF_FAIL NEGATIVE>
 533 (?is)\berror:
 534 <END_RESULT>
 535 <END_TC>
 536 :exmp.
 537
 538 .*---------------------------------------------------------------------*
 539 :h3.ASN1::TypeAssignment->BuiltinType: INTEGER->Named value
 540 .*---------------------------------------------------------------------*
 541 :xmp tab=0.
 542 <TC - ASN1::TypeAssignment->BuiltinType: INTEGER->Named value>
 543 <COMPILE>
 544 <VERDICT_LEAF PASS>
 545 <MODULE ASN Module-A ModuleA.asn>
 546 Module-A DEFINITIONS ::=
 547 BEGIN
 548    IMPORTS ;
 549    X ::= INTEGER { mchalls(-767), thisistheone(nonexi) }
 550 END
 551 <END_MODULE>
 552 <RESULT IF_PASS COUNT 1>
 553 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 554 <END_RESULT>
 555 <RESULT IF_PASS COUNT 1>
 556 (?is)\berror:
 557 <END_RESULT>
 558 <RESULT IF_PASS POSITIVE>
 559 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 560 <END_RESULT>
 561 <END_TC>
 562 :exmp.
 563
 564 .*---------------------------------------------------------------------*
 565 :h3.ASN1::TypeAssignment->BuiltinType: INTEGER->Single value
 566 .*---------------------------------------------------------------------*
 567 :xmp tab=0.
 568 <TC - ASN1::TypeAssignment->BuiltinType: INTEGER->Single value>
 569 <COMPILE>
 570 <VERDICT_LEAF PASS>
 571 <MODULE ASN Module-A ModuleA.asn>
 572 Module-A DEFINITIONS ::=
 573 BEGIN
 574    IMPORTS ;
 575    X ::= INTEGER (nonexi)
 576 END
 577 <END_MODULE>
 578 <RESULT IF_PASS COUNT 1>
 579 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 580 <END_RESULT>
 581 <RESULT IF_PASS COUNT 1>
 582 (?is)\berror:
 583 <END_RESULT>
 584 <RESULT IF_PASS POSITIVE>
 585 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 586 <END_RESULT>
 587 <RESULT IF_FAIL NEGATIVE>
 588 (?is)\berror:
 589 <END_RESULT>
 590 <END_TC>
 591 :exmp.
 592
 593 .*---------------------------------------------------------------------*
 594 :h3.ASN1::TypeAssignment->BuiltinType: INTEGER->Type inclusion
 595 .*---------------------------------------------------------------------*
 596 :xmp tab=0.
 597 <TC - ASN1::TypeAssignment->BuiltinType: INTEGER->Type inclusion>
 598 <COMPILE>
 599 <VERDICT_LEAF PASS>
 600 <MODULE ASN Module-A ModuleA.asn>
 601 Module-A DEFINITIONS ::=
 602 BEGIN
 603    IMPORTS ;
 604    X ::= INTEGER (NONEXI)
 605 END
 606 <END_MODULE>
 607 <RESULT IF_PASS COUNT 1>
 608 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 609 <END_RESULT>
 610 <RESULT IF_PASS COUNT 1>
 611 (?is)\berror:
 612 <END_RESULT>
 613 <RESULT IF_PASS POSITIVE>
 614 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 615 <END_RESULT>
 616 <RESULT IF_FAIL NEGATIVE>
 617 (?is)\berror:
 618 <END_RESULT>
 619 <END_TC>
 620 :exmp.
 621
 622 .*---------------------------------------------------------------------*
 623 :h3.ASN1::TypeAssignment->BuiltinType: INTEGER->Value range
 624 .*---------------------------------------------------------------------*
 625 :xmp tab=0.
 626 <TC - ASN1::TypeAssignment->BuiltinType: INTEGER->Value range>
 627 <COMPILE>
 628 <VERDICT_LEAF PASS>
 629 <MODULE ASN Module-A ModuleA.asn>
 630 Module-A DEFINITIONS ::=
 631 BEGIN
 632    IMPORTS ;
 633    X ::= INTEGER (666..nonexi)
 634 END
 635 <END_MODULE>
 636 <RESULT IF_PASS COUNT 1>
 637 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 638 <END_RESULT>
 639 <RESULT IF_PASS COUNT 1>
 640 (?is)\berror:
 641 <END_RESULT>
 642 <RESULT IF_PASS POSITIVE>
 643 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 644 <END_RESULT>
 645 <RESULT IF_FAIL NEGATIVE>
 646 (?is)\berror:
 647 <END_RESULT>
 648 <END_TC>
 649 :exmp.
 650
 651 .*---------------------------------------------------------------------*
 652 :h3.ASN1::TypeAssignment->BuiltinType: ENUMERATED->Numbering
 653 .*---------------------------------------------------------------------*
 654 :xmp tab=0.
 655 <TC - ASN1::TypeAssignment->BuiltinType: ENUMERATED->Numbering>
 656 <COMPILE>
 657 <VERDICT_LEAF PASS>
 658 <MODULE ASN Module-A ModuleA.asn>
 659 Module-A DEFINITIONS ::=
 660 BEGIN
 661    IMPORTS ;
 662    X ::= ENUMERATED { my-hero (0), is-a-great(1), comedy(nonexi) }
 663 END
 664 <END_MODULE>
 665 <RESULT IF_PASS COUNT 1>
 666 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 667 <END_RESULT>
 668 <RESULT IF_PASS COUNT 1>
 669 (?is)\berror:
 670 <END_RESULT>
 671 <RESULT IF_PASS POSITIVE>
 672 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 673 <END_RESULT>
 674 <END_TC>
 675 :exmp.
 676
 677 .*---------------------------------------------------------------------*
 678 :h3.ASN1::TypeAssignment->BuiltinType: ENUMERATED->Single value
 679 .*---------------------------------------------------------------------*
 680 :xmp tab=0.
 681 <TC - ASN1::TypeAssignment->BuiltinType: ENUMERATED->Single value>
 682 <COMPILE>
 683 <VERDICT_LEAF PASS>
 684 <MODULE ASN Module-A ModuleA.asn>
 685 Module-A DEFINITIONS ::=
 686 BEGIN
 687    IMPORTS ;
 688    X ::= ENUMERATED { my-hero (0), is-a-great(1), comedy(9999) }
 689          (nonexi)
 690 END
 691 <END_MODULE>
 692 <RESULT IF_PASS COUNT 1>
 693 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 694 <END_RESULT>
 695 <RESULT IF_PASS COUNT 1>
 696 (?is)\berror:
 697 <END_RESULT>
 698 <RESULT IF_PASS POSITIVE>
 699 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 700 <END_RESULT>
 701 <RESULT IF_FAIL NEGATIVE>
 702 (?is)\berror:
 703 <END_RESULT>
 704 <END_TC>
 705 :exmp.
 706
 707 .*---------------------------------------------------------------------*
 708 :h3.ASN1::TypeAssignment->BuiltinType: ENUMERATED->Type inclusion
 709 .*---------------------------------------------------------------------*
 710 :xmp tab=0.
 711 <TC - ASN1::TypeAssignment->BuiltinType: ENUMERATED->Type inclusion>
 712 <COMPILE>
 713 <VERDICT_LEAF PASS>
 714 <MODULE ASN Module-A ModuleA.asn>
 715 Module-A DEFINITIONS ::=
 716 BEGIN
 717    IMPORTS ;
 718    X ::= ENUMERATED { my-hero (0), is-a-great(1), comedy(9999) }
 719          (NONEXI)
 720 END
 721 <END_MODULE>
 722 <RESULT IF_PASS COUNT 1>
 723 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 724 <END_RESULT>
 725 <RESULT IF_PASS COUNT 1>
 726 (?is)\berror:
 727 <END_RESULT>
 728 <RESULT IF_PASS POSITIVE>
 729 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 730 <END_RESULT>
 731 <RESULT IF_FAIL NEGATIVE>
 732 (?is)\berror:
 733 <END_RESULT>
 734 <END_TC>
 735 :exmp.
 736
 737 .*---------------------------------------------------------------------*
 738 :h3.ASN1::TypeAssignment->BuiltinType: REAL->Single value
 739 .*---------------------------------------------------------------------*
 740 :xmp tab=0.
 741 <TC - ASN1::TypeAssignment->BuiltinType: REAL->Single value>
 742 <COMPILE>
 743 <VERDICT_LEAF PASS>
 744 <MODULE ASN Module-A ModuleA.asn>
 745 Module-A DEFINITIONS ::=
 746 BEGIN
 747    IMPORTS ;
 748    X ::= REAL (nonexi)
 749 END
 750 <END_MODULE>
 751 <RESULT IF_PASS COUNT 1>
 752 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 753 <END_RESULT>
 754 <RESULT IF_PASS COUNT 1>
 755 (?is)\berror:
 756 <END_RESULT>
 757 <RESULT IF_PASS POSITIVE>
 758 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 759 <END_RESULT>
 760 <RESULT IF_FAIL NEGATIVE>
 761 (?is)\berror:
 762 <END_RESULT>
 763 <END_TC>
 764 :exmp.
 765
 766 .*---------------------------------------------------------------------*
 767 :h3.ASN1::TypeAssignment->BuiltinType: REAL->Single value inside
 768 .*---------------------------------------------------------------------*
 769 :xmp tab=0.
 770 <TC - ASN1::TypeAssignment->BuiltinType: REAL->Single value inside>
 771 <COMPILE>
 772 <VERDICT_LEAF FAIL>
 773 <MODULE ASN Module-A ModuleA.asn>
 774 Module-A DEFINITIONS ::=
 775 BEGIN
 776    IMPORTS ;
 777    -- NOTE: constraints are not yet supported
 778    -- TR 660: single value constraints are not recognized for compound ypes
 779    -- X ::= REAL ({mantissa 10, base 10, exponent 1})
 780    X ::= REAL ({mantissa 10, base 10, exponent nonexi})
 781 END
 782 <END_MODULE>
 783 <RESULT IF_PASS COUNT 1>
 784 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 785 <END_RESULT>
 786 <RESULT IF_PASS COUNT 1>
 787 (?is)\berror:
 788 <END_RESULT>
 789 <RESULT IF_PASS POSITIVE>
 790 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 791 <END_RESULT>
 792 <RESULT IF_FAIL COUNT 1>
 793 (?im)\berror\b.+?syntax.+?error
 794 <END_RESULT>
 795 <RESULT IF_FAIL COUNT 1>
 796 (?im)\berror\b.+?tableconstraint
 797 <END_RESULT>
 798 <RESULT IF_FAIL COUNT 2>
 799 (?is)\berror:
 800 <END_RESULT>
 801 <END_TC>
 802 :exmp.
 803
 804 .*---------------------------------------------------------------------*
 805 :h3.ASN1::TypeAssignment->BuiltinType: REAL->Nonexistent field
 806 .*---------------------------------------------------------------------*
 807 :xmp tab=0.
 808 <TC - ASN1::TypeAssignment->BuiltinType: REAL->Nonexistent field>
 809 <COMPILE>
 810 <VERDICT_LEAF FAIL>
 811 <MODULE ASN Module-A ModuleA.asn>
 812 Module-A DEFINITIONS ::=
 813 BEGIN
 814    IMPORTS ;
 815    -- NOTE: constraints are not yet supported
 816    -- TR 660: single value constraints are not recognized for compound ypes
 817    X ::= REAL ({mantissa 10, base 10, exponent 1, nonexi 1})
 818 END
 819 <END_MODULE>
 820 <RESULT IF_PASS COUNT 1>
 821 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 822 <END_RESULT>
 823 <RESULT IF_PASS COUNT 1>
 824 (?is)\berror:
 825 <END_RESULT>
 826 <RESULT IF_PASS POSITIVE>
 827 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 828 <END_RESULT>
 829 <RESULT IF_FAIL COUNT 1>
 830 (?im)\berror\b.+?syntax.+?error
 831 <END_RESULT>
 832 <RESULT IF_FAIL COUNT 1>
 833 (?im)\berror\b.+?tableconstraint
 834 <END_RESULT>
 835 <RESULT IF_FAIL COUNT 2>
 836 (?is)\berror:
 837 <END_RESULT>
 838 <END_TC>
 839 :exmp.
 840
 841 .*---------------------------------------------------------------------*
 842 :h3.ASN1::TypeAssignment->BuiltinType: REAL->Type inclusion
 843 .*---------------------------------------------------------------------*
 844 :xmp tab=0.
 845 <TC - ASN1::TypeAssignment->BuiltinType: REAL->Type inclusion>
 846 <COMPILE>
 847 <VERDICT_LEAF PASS>
 848 <MODULE ASN Module-A ModuleA.asn>
 849 Module-A DEFINITIONS ::=
 850 BEGIN
 851    IMPORTS ;
 852    X ::= REAL (NONEXI)
 853 END
 854 <END_MODULE>
 855 <RESULT IF_PASS COUNT 1>
 856 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 857 <END_RESULT>
 858 <RESULT IF_PASS COUNT 1>
 859 (?is)\berror:
 860 <END_RESULT>
 861 <RESULT IF_PASS POSITIVE>
 862 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 863 <END_RESULT>
 864 <RESULT IF_FAIL NEGATIVE>
 865 (?is)\berror:
 866 <END_RESULT>
 867 <END_TC>
 868 :exmp.
 869
 870 .*---------------------------------------------------------------------*
 871 :h3.ASN1::TypeAssignment->BuiltinType: REAL->Interval
 872 .*---------------------------------------------------------------------*
 873 :xmp tab=0.
 874 <TC - ASN1::TypeAssignment->BuiltinType: REAL->Interval>
 875 <COMPILE>
 876 <VERDICT_LEAF PASS>
 877 <MODULE ASN Module-A ModuleA.asn>
 878 Module-A DEFINITIONS ::=
 879 BEGIN
 880    IMPORTS ;
 881    X ::= REAL ({mantissa 10, base 10, exponent 1}
 882              ..nonexi)
 883 END
 884 <END_MODULE>
 885 <RESULT IF_PASS COUNT 1>
 886 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 887 <END_RESULT>
 888 <RESULT IF_PASS COUNT 1>
 889 (?is)\berror:
 890 <END_RESULT>
 891 <RESULT IF_PASS POSITIVE>
 892 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 893 <END_RESULT>
 894 <RESULT IF_FAIL NEGATIVE>
 895 (?is)\berror:
 896 <END_RESULT>
 897 <END_TC>
 898 :exmp.
 899
 900 .*---------------------------------------------------------------------*
 901 :h3.ASN1::TypeAssignment->BuiltinType: REAL->Interval inside
 902 .*---------------------------------------------------------------------*
 903 :xmp tab=0.
 904 <TC - ASN1::TypeAssignment->BuiltinType: REAL->Interval inside>
 905 <COMPILE>
 906 <VERDICT_LEAF PASS>
 907 <MODULE ASN Module-A ModuleA.asn>
 908 Module-A DEFINITIONS ::=
 909 BEGIN
 910    IMPORTS ;
 911    -- NOTE: constraints are not yet supported
 912    X ::= REAL ({mantissa 10, base nonexi, exponent 1}
 913              ..{mantissa 10, base 10, exponent 1})
 914 END
 915 <END_MODULE>
 916 <RESULT IF_PASS COUNT 1>
 917 (?im)\berror\b.+?no.+?assignment.+?Nonexi
 918 <END_RESULT>
 919 <RESULT IF_PASS COUNT 1>
 920 (?is)\berror:
 921 <END_RESULT>
 922 <RESULT IF_PASS POSITIVE>
 923 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 924 <END_RESULT>
 925 <RESULT IF_FAIL NEGATIVE>
 926 (?is)\berror:
 927 <END_RESULT>
 928 <END_TC>
 929 :exmp.
 930
 931 .*---------------------------------------------------------------------*
 932 :h3.ASN1::TypeAssignment->BuiltinType: REAL->InnerTypeConstraints
 933 .*---------------------------------------------------------------------*
 934 :xmp tab=0.
 935 <TC - ASN1::TypeAssignment->BuiltinType: REAL->InnerTypeConstraints>
 936 <COMPILE>
 937 <VERDICT_LEAF PASS>
 938 <MODULE ASN Module-A ModuleA.asn>
 939 Module-A DEFINITIONS ::=
 940 BEGIN
 941    IMPORTS ;
 942    X ::= REAL
 943    Y ::= X ((WITH COMPONENT (1000..nonexi)))
 944 END
 945 <END_MODULE>
 946 <RESULT IF_PASS COUNT 1>
 947 (?im)\berror: Single inner type constraint \(WITH COMPONENT\) cannot be used on type `float'
 948 <END_RESULT>
 949 <RESULT IF_PASS COUNT 1>
 950 (?is)\berror:
 951 <END_RESULT>
 952 <RESULT IF_PASS POSITIVE>
 953 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 954 <END_RESULT>
 955 <END_TC>
 956 :exmp.
 957
 958 .*---------------------------------------------------------------------*
 959 :h3.ASN1::TypeAssignment->BuiltinType: REAL->Embedded InnerTypeConstraints
 960 .*---------------------------------------------------------------------*
 961 :xmp tab=0.
 962 <TC - ASN1::TypeAssignment->BuiltinType: REAL->Embedded InnerTypeConstraints>
 963 <COMPILE>
 964 <VERDICT_LEAF PASS>
 965 <MODULE ASN Module-A ModuleA.asn>
 966 Module-A DEFINITIONS ::=
 967 BEGIN
 968    IMPORTS ;
 969    X ::= SEQUENCE SIZE (6) OF SEQUENCE SIZE (6) OF REAL
 970    Y ::= X (WITH COMPONENT (WITH COMPONENT (-100..nonexi)))
 971 END
 972 <END_MODULE>
 973 <RESULT IF_PASS COUNT 1>
 974 (?im)\berror\b.+?no.+?assignment.+?nonexi
 975 <END_RESULT>
 976 <RESULT IF_PASS COUNT 1>
 977 (?is)\berror:
 978 <END_RESULT>
 979 <RESULT IF_PASS POSITIVE>
 980 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
 981 <END_RESULT>
 982 <END_TC>
 983 :exmp.
 984
 985 .*---------------------------------------------------------------------*
 986 :h3.ASN1::TypeAssignment->BuiltinType: REAL->InnerTypeConstraints->MultipleTypeConstraints->FullSpecification
 987 .*---------------------------------------------------------------------*
 988 :xmp tab=0.
 989 <TC - ASN1::TypeAssignment->BuiltinType: REAL->InnerTypeConstraints->MultipleTypeConstraints->FullSpecification>
 990 <COMPILE>
 991 <VERDICT_LEAF PASS>
 992 <MODULE ASN Module-A ModuleA.asn>
 993 Module-A DEFINITIONS ::=
 994 BEGIN
 995    IMPORTS ;
 996    X ::= REAL
 997    Y ::= X (WITH COMPONENTS { mantissa (-65535..65536),
 998                               base (10),
 999                               exponent (-127..nonexi) })
1000 END
1001 <END_MODULE>
1002 <RESULT IF_PASS COUNT 1>
1003 (?im)\berror\b.+?no.+?assignment.+?nonexi
1004 <END_RESULT>
1005 <RESULT IF_PASS COUNT 1>
1006 (?is)\berror:
1007 <END_RESULT>
1008 <RESULT IF_PASS POSITIVE>
1009 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1010 <END_RESULT>
1011 <END_TC>
1012 :exmp.
1013
1014 .*---------------------------------------------------------------------*
1015 :h3.ASN1::TypeAssignment->BuiltinType: REAL->InnerTypeConstraints->MultipleTypeConstraints->PartialSpecification
1016 .*---------------------------------------------------------------------*
1017 :xmp tab=0.
1018 <TC - ASN1::TypeAssignment->BuiltinType: REAL->InnerTypeConstraints->MultipleTypeConstraints->PartialSpecification>
1019 <COMPILE>
1020 <VERDICT_LEAF PASS>
1021 <MODULE ASN Module-A ModuleA.asn>
1022 Module-A DEFINITIONS ::=
1023 BEGIN
1024    IMPORTS ;
1025    X ::= REAL
1026    Y ::= X (WITH COMPONENTS { ..., exponent (-127..nonexi) })
1027 END
1028 <END_MODULE>
1029 <RESULT IF_PASS COUNT 1>
1030 (?im)\berror\b.+?no.+?assignment.+?nonexi
1031 <END_RESULT>
1032 <RESULT IF_PASS COUNT 1>
1033 (?is)\berror:
1034 <END_RESULT>
1035 <RESULT IF_PASS POSITIVE>
1036 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1037 <END_RESULT>
1038 <END_TC>
1039 :exmp.
1040
1041 .*---------------------------------------------------------------------*
1042 :h3.ASN1::TypeAssignment->BuiltinType: BIT STRING->Named bit
1043 .*---------------------------------------------------------------------*
1044 :xmp tab=0.
1045 <TC - ASN1::TypeAssignment->BuiltinType: BIT STRING->Named bit>
1046 <COMPILE>
1047 <VERDICT_LEAF PASS>
1048 <MODULE ASN Module-A ModuleA.asn>
1049 Module-A DEFINITIONS ::=
1050 BEGIN
1051    IMPORTS ;
1052    X ::= BIT STRING { nullbit(0), non-null-bit(1), it-s-tricky(nonexi) }
1053 END
1054 <END_MODULE>
1055 <RESULT IF_PASS COUNT 1>
1056 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1057 <END_RESULT>
1058 <RESULT IF_PASS COUNT 1>
1059 (?is)\berror:
1060 <END_RESULT>
1061 <RESULT IF_PASS POSITIVE>
1062 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1063 <END_RESULT>
1064 <END_TC>
1065 :exmp.
1066 TODO: from here
1067 .*---------------------------------------------------------------------*
1068 :h3.ASN1::TypeAssignment->BuiltinType: BIT STRING->Single value
1069 .*---------------------------------------------------------------------*
1070 :xmp tab=0.
1071 <TC - ASN1::TypeAssignment->BuiltinType: BIT STRING->Single value>
1072 <COMPILE>
1073 <VERDICT_LEAF PASS>
1074 <MODULE ASN Module-A ModuleA.asn>
1075 Module-A DEFINITIONS ::=
1076 BEGIN
1077    IMPORTS ;
1078    X ::= BIT STRING (nonexi)
1079 END
1080 <END_MODULE>
1081 <RESULT IF_PASS COUNT 1>
1082 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1083 <END_RESULT>
1084 <RESULT IF_PASS COUNT 1>
1085 (?is)\berror:
1086 <END_RESULT>
1087 <RESULT IF_PASS POSITIVE>
1088 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1089 <END_RESULT>
1090 <RESULT IF_FAIL NEGATIVE>
1091 (?is)\berror:
1092 <END_RESULT>
1093 <END_TC>
1094 :exmp.
1095
1096 .*---------------------------------------------------------------------*
1097 :h3.ASN1::TypeAssignment->BuiltinType: BIT STRING->Type inclusion
1098 .*---------------------------------------------------------------------*
1099 :xmp tab=0.
1100 <TC - ASN1::TypeAssignment->BuiltinType: BIT STRING->Type inclusion>
1101 <COMPILE>
1102 <VERDICT_LEAF PASS>
1103 <MODULE ASN Module-A ModuleA.asn>
1104 Module-A DEFINITIONS ::=
1105 BEGIN
1106    IMPORTS ;
1107    X ::= BIT STRING (NONEXI)
1108 END
1109 <END_MODULE>
1110 <RESULT IF_PASS COUNT 1>
1111 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1112 <END_RESULT>
1113 <RESULT IF_PASS COUNT 1>
1114 (?is)\berror:
1115 <END_RESULT>
1116 <RESULT IF_PASS POSITIVE>
1117 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1118 <END_RESULT>
1119 <RESULT IF_FAIL NEGATIVE>
1120 (?is)\berror:
1121 <END_RESULT>
1122 <END_TC>
1123 :exmp.
1124
1125 .*---------------------------------------------------------------------*
1126 :h3.ASN1::TypeAssignment->BuiltinType: BIT STRING->Size->Single value
1127 .*---------------------------------------------------------------------*
1128 :xmp tab=0.
1129 <TC - ASN1::TypeAssignment->BuiltinType: BIT STRING->Size->Single value>
1130 <COMPILE>
1131 <VERDICT_LEAF PASS>
1132 <MODULE ASN Module-A ModuleA.asn>
1133 Module-A DEFINITIONS ::=
1134 BEGIN
1135    IMPORTS ;
1136    X ::= BIT STRING (SIZE(nonexi))
1137 END
1138 <END_MODULE>
1139 <RESULT IF_PASS COUNT 1>
1140 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1141 <END_RESULT>
1142 <RESULT IF_PASS COUNT 1>
1143 (?is)\berror:
1144 <END_RESULT>
1145 <RESULT IF_PASS POSITIVE>
1146 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1147 <END_RESULT>
1148 <RESULT IF_FAIL NEGATIVE>
1149 (?is)\berror:
1150 <END_RESULT>
1151 <END_TC>
1152 :exmp.
1153
1154 .*---------------------------------------------------------------------*
1155 :h3.ASN1::TypeAssignment->BuiltinType: BIT STRING->Size->Range
1156 .*---------------------------------------------------------------------*
1157 :xmp tab=0.
1158 <TC - ASN1::TypeAssignment->BuiltinType: BIT STRING->Size->Range>
1159 <COMPILE>
1160 <VERDICT_LEAF PASS>
1161 <MODULE ASN Module-A ModuleA.asn>
1162 Module-A DEFINITIONS ::=
1163 BEGIN
1164    IMPORTS ;
1165    X ::= BIT STRING (SIZE(10..nonexi))
1166 END
1167 <END_MODULE>
1168 <RESULT IF_PASS COUNT 1>
1169 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1170 <END_RESULT>
1171 <RESULT IF_PASS COUNT 1>
1172 (?is)\berror:
1173 <END_RESULT>
1174 <RESULT IF_PASS POSITIVE>
1175 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1176 <END_RESULT>
1177 <RESULT IF_FAIL NEGATIVE>
1178 (?is)\berror:
1179 <END_RESULT>
1180 <END_TC>
1181 :exmp.
1182
1183 .*---------------------------------------------------------------------*
1184 :h3.ASN1::TypeAssignment->BuiltinType: BIT STRING->Size->List
1185 .*---------------------------------------------------------------------*
1186 :xmp tab=0.
1187 <TC - ASN1::TypeAssignment->BuiltinType: BIT STRING->Size->List>
1188 <COMPILE>
1189 <VERDICT_LEAF PASS>
1190 <MODULE ASN Module-A ModuleA.asn>
1191 Module-A DEFINITIONS ::=
1192 BEGIN
1193    IMPORTS ;
1194    X ::= BIT STRING (SIZE(1|2|3|10..nonexi))
1195 END
1196 <END_MODULE>
1197 <RESULT IF_PASS COUNT 1>
1198 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1199 <END_RESULT>
1200 <RESULT IF_PASS COUNT 1>
1201 (?is)\berror:
1202 <END_RESULT>
1203 <RESULT IF_PASS POSITIVE>
1204 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1205 <END_RESULT>
1206 <RESULT IF_FAIL NEGATIVE>
1207 (?is)\berror:
1208 <END_RESULT>
1209 <END_TC>
1210 :exmp.
1211
1212 .*---------------------------------------------------------------------*
1213 :h3.ASN1::TypeAssignment->BuiltinType: BIT STRING->CONTAINING
1214 .*---------------------------------------------------------------------*
1215 :xmp tab=0.
1216 <TC - ASN1::TypeAssignment->BuiltinType: BIT STRING->CONTAINING>
1217 <COMPILE>
1218 <VERDICT_LEAF FAIL>
1219 <MODULE ASN Module-A ModuleA.asn>
1220 Module-A DEFINITIONS ::=
1221 BEGIN
1222    IMPORTS ;
1223    obj-id OBJECT IDENTIFIER ::= {0 4 0}
1224    X ::= BIT STRING (CONTAINING Nonexi ENCODED BY obj-id)
1225 END
1226 <END_MODULE>
1227 <RESULT IF_PASS COUNT 1>
1228 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1229 <END_RESULT>
1230 <RESULT IF_PASS COUNT 1>
1231 (?is)\berror:
1232 <END_RESULT>
1233 <RESULT IF_PASS POSITIVE>
1234 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1235 <END_RESULT>
1236 <RESULT IF_FAIL NEGATIVE>
1237 (?is)\berror:
1238 <END_RESULT>
1239 <END_TC>
1240 :exmp.
1241
1242 .*---------------------------------------------------------------------*
1243 :h3.ASN1::TypeAssignment->BuiltinType: BIT STRING->ENCODED BY
1244 .*---------------------------------------------------------------------*
1245 :xmp tab=0.
1246 <TC - ASN1::TypeAssignment->BuiltinType: BIT STRING->ENCODED BY>
1247 <COMPILE>
1248 <VERDICT_LEAF FAIL>
1249 <MODULE ASN Module-A ModuleA.asn>
1250 Module-A DEFINITIONS ::=
1251 BEGIN
1252    IMPORTS ;
1253    X ::= BIT STRING (CONTAINING INTEGER ENCODED BY nonexi)
1254 END
1255 <END_MODULE>
1256 <RESULT IF_PASS COUNT 1>
1257 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1258 <END_RESULT>
1259 <RESULT IF_PASS COUNT 1>
1260 (?is)\berror:
1261 <END_RESULT>
1262 <RESULT IF_PASS POSITIVE>
1263 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1264 <END_RESULT>
1265 <RESULT IF_FAIL NEGATIVE>
1266 (?is)\berror:
1267 <END_RESULT>
1268 <END_TC>
1269 :exmp.
1270
1271 .*---------------------------------------------------------------------*
1272 :h3.ASN1::TypeAssignment->BuiltinType: OCTET STRING->Single value
1273 .*---------------------------------------------------------------------*
1274 :xmp tab=0.
1275 <TC - ASN1::TypeAssignment->BuiltinType: OCTET STRING->Single value>
1276 <COMPILE>
1277 <VERDICT_LEAF PASS>
1278 <MODULE ASN Module-A ModuleA.asn>
1279 Module-A DEFINITIONS ::=
1280 BEGIN
1281    IMPORTS ;
1282    X ::= OCTET STRING (nonexi)
1283 END
1284 <END_MODULE>
1285 <RESULT IF_PASS COUNT 1>
1286 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1287 <END_RESULT>
1288 <RESULT IF_PASS COUNT 1>
1289 (?is)\berror:
1290 <END_RESULT>
1291 <RESULT IF_PASS POSITIVE>
1292 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1293 <END_RESULT>
1294 <RESULT IF_FAIL NEGATIVE>
1295 (?im)\berror\b<END_RESULT>
1296 <END_TC>
1297 :exmp.
1298
1299 .*---------------------------------------------------------------------*
1300 :h3.ASN1::TypeAssignment->BuiltinType: OCTET STRING->Type inclusion
1301 .*---------------------------------------------------------------------*
1302 :xmp tab=0.
1303 <TC - ASN1::TypeAssignment->BuiltinType: OCTET STRING->Type inclusion>
1304 <COMPILE>
1305 <VERDICT_LEAF PASS>
1306 <MODULE ASN Module-A ModuleA.asn>
1307 Module-A DEFINITIONS ::=
1308 BEGIN
1309    IMPORTS ;
1310    X ::= OCTET STRING (NONEXI)
1311 END
1312 <END_MODULE>
1313 <RESULT IF_PASS COUNT 1>
1314 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1315 <END_RESULT>
1316 <RESULT IF_PASS COUNT 1>
1317 (?is)\berror:
1318 <END_RESULT>
1319 <RESULT IF_PASS POSITIVE>
1320 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1321 <END_RESULT>
1322 <RESULT IF_FAIL NEGATIVE>
1323 (?im)\berror\b<END_RESULT>
1324 <END_TC>
1325 :exmp.
1326
1327 .*---------------------------------------------------------------------*
1328 :h3.ASN1::TypeAssignment->BuiltinType: OCTET STRING->Size->Single value
1329 .*---------------------------------------------------------------------*
1330 :xmp tab=0.
1331 <TC - ASN1::TypeAssignment->BuiltinType: OCTET STRING->Size->Single value>
1332 <COMPILE>
1333 <VERDICT_LEAF PASS>
1334 <MODULE ASN Module-A ModuleA.asn>
1335 Module-A DEFINITIONS ::=
1336 BEGIN
1337    IMPORTS ;
1338    X ::= OCTET STRING (SIZE(nonexi))
1339 END
1340 <END_MODULE>
1341 <RESULT IF_PASS COUNT 1>
1342 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1343 <END_RESULT>
1344 <RESULT IF_PASS COUNT 1>
1345 (?is)\berror:
1346 <END_RESULT>
1347 <RESULT IF_PASS POSITIVE>
1348 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1349 <END_RESULT>
1350 <RESULT IF_FAIL NEGATIVE>
1351 (?im)\berror\b<END_RESULT>
1352 <END_TC>
1353 :exmp.
1354
1355 .*---------------------------------------------------------------------*
1356 :h3.ASN1::TypeAssignment->BuiltinType: OCTET STRING->Size->Range
1357 .*---------------------------------------------------------------------*
1358 :xmp tab=0.
1359 <TC - ASN1::TypeAssignment->BuiltinType: OCTET STRING->Size->Range>
1360 <COMPILE>
1361 <VERDICT_LEAF PASS>
1362 <MODULE ASN Module-A ModuleA.asn>
1363 Module-A DEFINITIONS ::=
1364 BEGIN
1365    IMPORTS ;
1366    X ::= OCTET STRING (SIZE(9999..nonexi))
1367 END
1368 <END_MODULE>
1369 <RESULT IF_PASS COUNT 1>
1370 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1371 <END_RESULT>
1372 <RESULT IF_PASS COUNT 1>
1373 (?is)\berror:
1374 <END_RESULT>
1375 <RESULT IF_PASS POSITIVE>
1376 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1377 <END_RESULT>
1378 <RESULT IF_FAIL NEGATIVE>
1379 (?im)\berror\b<END_RESULT>
1380 <END_TC>
1381 :exmp.
1382
1383 .*---------------------------------------------------------------------*
1384 :h3.ASN1::TypeAssignment->BuiltinType: OCTET STRING->Size->List
1385 .*---------------------------------------------------------------------*
1386 :xmp tab=0.
1387 <TC - ASN1::TypeAssignment->BuiltinType: OCTET STRING->Size->List>
1388 <COMPILE>
1389 <VERDICT_LEAF PASS>
1390 <MODULE ASN Module-A ModuleA.asn>
1391 Module-A DEFINITIONS ::=
1392 BEGIN
1393    IMPORTS ;
1394    X ::= OCTET STRING (SIZE(0|100|107|9999..nonexi))
1395 END
1396 <END_MODULE>
1397 <RESULT IF_PASS COUNT 1>
1398 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1399 <END_RESULT>
1400 <RESULT IF_PASS COUNT 1>
1401 (?is)\berror:
1402 <END_RESULT>
1403 <RESULT IF_PASS POSITIVE>
1404 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1405 <END_RESULT>
1406 <RESULT IF_FAIL NEGATIVE>
1407 (?im)\berror\b<END_RESULT>
1408 <END_TC>
1409 :exmp.
1410
1411 .*---------------------------------------------------------------------*
1412 :h3.ASN1::TypeAssignment->BuiltinType: OCTET STRING->CONTAINING
1413 .*---------------------------------------------------------------------*
1414 :xmp tab=0.
1415 <TC - ASN1::TypeAssignment->BuiltinType: OCTET STRING->CONTAINING>
1416 <COMPILE>
1417 <VERDICT_LEAF FAIL>
1418 <MODULE ASN Module-A ModuleA.asn>
1419 Module-A DEFINITIONS ::=
1420 BEGIN
1421    IMPORTS ;
1422    X ::= OCTET STRING (CONTAINING NONEXI ENCODED BY {0 4 0})
1423 END
1424 <END_MODULE>
1425 <RESULT IF_PASS COUNT 1>
1426 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1427 <END_RESULT>
1428 <RESULT IF_PASS COUNT 1>
1429 (?is)\berror:
1430 <END_RESULT>
1431 <RESULT IF_PASS POSITIVE>
1432 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1433 <END_RESULT>
1434 <RESULT IF_FAIL NEGATIVE>
1435 (?im)\berror\b<END_RESULT>
1436 <END_TC>
1437 :exmp.
1438
1439 .*---------------------------------------------------------------------*
1440 :h3.ASN1::TypeAssignment->BuiltinType: OCTET STRING->ENCODED BY
1441 .*---------------------------------------------------------------------*
1442 :xmp tab=0.
1443 <TC - ASN1::TypeAssignment->BuiltinType: OCTET STRING->ENCODED BY>
1444 <COMPILE>
1445 <VERDICT_LEAF FAIL>
1446 <MODULE ASN Module-A ModuleA.asn>
1447 Module-A DEFINITIONS ::=
1448 BEGIN
1449    IMPORTS ;
1450    X ::= OCTET STRING (CONTAINING INTEGER ENCODED BY nonexi)
1451 END
1452 <END_MODULE>
1453 <RESULT IF_PASS COUNT 1>
1454 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1455 <END_RESULT>
1456 <RESULT IF_PASS COUNT 1>
1457 (?is)\berror:
1458 <END_RESULT>
1459 <RESULT IF_PASS POSITIVE>
1460 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1461 <END_RESULT>
1462 <RESULT IF_FAIL NEGATIVE>
1463 (?im)\berror\b<END_RESULT>
1464 <END_TC>
1465 :exmp.
1466
1467 .*---------------------------------------------------------------------*
1468 :h3.ASN1::TypeAssignment->BuiltinType: OBJECT IDENTIFIER->Single value
1469 .*---------------------------------------------------------------------*
1470 :xmp tab=0.
1471 <TC - ASN1::TypeAssignment->BuiltinType: OBJECT IDENTIFIER->Single value>
1472 <COMPILE>
1473 <VERDICT_LEAF PASS>
1474 <MODULE ASN Module-A ModuleA.asn>
1475 Module-A DEFINITIONS ::=
1476 BEGIN
1477    IMPORTS ;
1478    X ::= OBJECT IDENTIFIER (nonexi)
1479 END
1480 <END_MODULE>
1481 <RESULT IF_PASS COUNT 1>
1482 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1483 <END_RESULT>
1484 <RESULT IF_PASS COUNT 1>
1485 (?is)\berror:
1486 <END_RESULT>
1487 <RESULT IF_PASS POSITIVE>
1488 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1489 <END_RESULT>
1490 <RESULT IF_FAIL NEGATIVE>
1491 (?im)\berror\b<END_RESULT>
1492 <END_TC>
1493 :exmp.
1494
1495 .*---------------------------------------------------------------------*
1496 :h3.ASN1::TypeAssignment->BuiltinType: OBJECT IDENTIFIER->Single value->Embedded
1497 .*---------------------------------------------------------------------*
1498 :xmp tab=0.
1499 <TC - ASN1::TypeAssignment->BuiltinType: OBJECT IDENTIFIER->Single value->Embedded>
1500 <COMPILE>
1501 <VERDICT_LEAF FAIL>
1502 <MODULE ASN Module-A ModuleA.asn>
1503 Module-A DEFINITIONS ::=
1504 BEGIN
1505    IMPORTS ;
1506    -- TODO
1507    X ::= OBJECT IDENTIFIER ({0 4 nonexi})
1508 END
1509 <END_MODULE>
1510 <RESULT IF_PASS COUNT 1>
1511 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1512 <END_RESULT>
1513 <RESULT IF_PASS COUNT 1>
1514 (?is)\berror:
1515 <END_RESULT>
1516 <RESULT IF_PASS POSITIVE>
1517 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1518 <END_RESULT>
1519 <RESULT IF_FAIL NEGATIVE>
1520 (?im)\berror\b<END_RESULT>
1521 <END_TC>
1522 :exmp.
1523
1524 .*---------------------------------------------------------------------*
1525 :h3.ASN1::TypeAssignment->BuiltinType: OBJECT IDENTIFIER->Type inclusion
1526 .*---------------------------------------------------------------------*
1527 :xmp tab=0.
1528 <TC - ASN1::TypeAssignment->BuiltinType: OBJECT IDENTIFIER->Type inclusion>
1529 <COMPILE>
1530 <VERDICT_LEAF PASS>
1531 <MODULE ASN Module-A ModuleA.asn>
1532 Module-A DEFINITIONS ::=
1533 BEGIN
1534    IMPORTS ;
1535    X ::= OBJECT IDENTIFIER (NONEXI)
1536 END
1537 <END_MODULE>
1538 <RESULT IF_PASS COUNT 1>
1539 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1540 <END_RESULT>
1541 <RESULT IF_PASS COUNT 1>
1542 (?is)\berror:
1543 <END_RESULT>
1544 <RESULT IF_PASS POSITIVE>
1545 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1546 <END_RESULT>
1547 <RESULT IF_FAIL NEGATIVE>
1548 (?im)\berror\b<END_RESULT>
1549 <END_TC>
1550 :exmp.
1551
1552 .*---------------------------------------------------------------------*
1553 :h3.ASN1::TypeAssignment->BuiltinType: RELATIVE-OID->Single value
1554 .*---------------------------------------------------------------------*
1555 :xmp tab=0.
1556 <TC - ASN1::TypeAssignment->BuiltinType: RELATIVE-OID->Single value>
1557 <COMPILE>
1558 <VERDICT_LEAF PASS>
1559 <MODULE ASN Module-A ModuleA.asn>
1560 Module-A DEFINITIONS ::=
1561 BEGIN
1562    IMPORTS ;
1563    X ::= RELATIVE-OID -- {0 4 0 } -- (nonexi)
1564 END
1565 <END_MODULE>
1566 <RESULT IF_PASS COUNT 1>
1567 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1568 <END_RESULT>
1569 <RESULT IF_PASS COUNT 1>
1570 (?is)\berror:
1571 <END_RESULT>
1572 <RESULT IF_PASS POSITIVE>
1573 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1574 <END_RESULT>
1575 <RESULT IF_FAIL NEGATIVE>
1576 (?im)\berror\b<END_RESULT>
1577 <END_TC>
1578 :exmp.
1579
1580 .*---------------------------------------------------------------------*
1581 :h3.ASN1::TypeAssignment->BuiltinType: RELATIVE-OID->Single value->Embedded
1582 .*---------------------------------------------------------------------*
1583 :xmp tab=0.
1584 <TC - ASN1::TypeAssignment->BuiltinType: RELATIVE-OID->Single value->Embedded>
1585 <COMPILE>
1586 <VERDICT_LEAF FAIL>
1587 <MODULE ASN Module-A ModuleA.asn>
1588 Module-A DEFINITIONS ::=
1589 BEGIN
1590    IMPORTS ;
1591    -- TODO
1592    X ::= RELATIVE-OID -- {0 4 0 } -- ({0 4 nonexi})
1593 END
1594 <END_MODULE>
1595 <RESULT IF_PASS COUNT 1>
1596 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1597 <END_RESULT>
1598 <RESULT IF_PASS COUNT 1>
1599 (?is)\berror:
1600 <END_RESULT>
1601 <RESULT IF_PASS POSITIVE>
1602 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1603 <END_RESULT>
1604 <RESULT IF_FAIL NEGATIVE>
1605 (?im)\berror\b<END_RESULT>
1606 <END_TC>
1607 :exmp.
1608
1609 .*---------------------------------------------------------------------*
1610 :h3.ASN1::TypeAssignment->BuiltinType: RELATIVE-OID->Type inclusion
1611 .*---------------------------------------------------------------------*
1612 :xmp tab=0.
1613 <TC - ASN1::TypeAssignment->BuiltinType: RELATIVE-OID->Type inclusion>
1614 <COMPILE>
1615 <VERDICT_LEAF PASS>
1616 <MODULE ASN Module-A ModuleA.asn>
1617 Module-A DEFINITIONS ::=
1618 BEGIN
1619    IMPORTS ;
1620    X ::= RELATIVE-OID -- {0 4 0 } -- (NONEXI)
1621 END
1622 <END_MODULE>
1623 <RESULT IF_PASS COUNT 1>
1624 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1625 <END_RESULT>
1626 <RESULT IF_PASS COUNT 1>
1627 (?is)\berror:
1628 <END_RESULT>
1629 <RESULT IF_PASS POSITIVE>
1630 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1631 <END_RESULT>
1632 <RESULT IF_FAIL NEGATIVE>
1633 (?im)\berror\b<END_RESULT>
1634 <END_TC>
1635 :exmp.
1636
1637 .*---------------------------------------------------------------------*
1638 :h3.ASN1::TypeAssignment->BuiltinType: NumericString->SIZE->Single value
1639 .*---------------------------------------------------------------------*
1640 :xmp tab=0.
1641 <TC - ASN1::TypeAssignment->BuiltinType: NumericString->SIZE->Single value>
1642 <COMPILE>
1643 <VERDICT_LEAF PASS>
1644 <MODULE ASN Module-A ModuleA.asn>
1645 Module-A DEFINITIONS ::=
1646 BEGIN
1647    IMPORTS ;
1648    X ::= NumericString (SIZE(nonexi))
1649 END
1650 <END_MODULE>
1651 <RESULT IF_PASS COUNT 1>
1652 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1653 <END_RESULT>
1654 <RESULT IF_PASS COUNT 1>
1655 (?is)\berror:
1656 <END_RESULT>
1657 <RESULT IF_PASS POSITIVE>
1658 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1659 <END_RESULT>
1660 <RESULT IF_FAIL NEGATIVE>
1661 (?im)\berror\b<END_RESULT>
1662 <END_TC>
1663 :exmp.
1664
1665 .*---------------------------------------------------------------------*
1666 :h3.ASN1::TypeAssignment->BuiltinType: NumericString->SIZE->Range
1667 .*---------------------------------------------------------------------*
1668 :xmp tab=0.
1669 <TC - ASN1::TypeAssignment->BuiltinType: NumericString->SIZE->Range>
1670 <COMPILE>
1671 <VERDICT_LEAF PASS>
1672 <MODULE ASN Module-A ModuleA.asn>
1673 Module-A DEFINITIONS ::=
1674 BEGIN
1675    IMPORTS ;
1676    X ::= NumericString (SIZE(88..nonexi))
1677 END
1678 <END_MODULE>
1679 <RESULT IF_PASS COUNT 1>
1680 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1681 <END_RESULT>
1682 <RESULT IF_PASS COUNT 1>
1683 (?is)\berror:
1684 <END_RESULT>
1685 <RESULT IF_PASS POSITIVE>
1686 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1687 <END_RESULT>
1688 <RESULT IF_FAIL NEGATIVE>
1689 (?im)\berror\b<END_RESULT>
1690 <END_TC>
1691 :exmp.
1692
1693 .*---------------------------------------------------------------------*
1694 :h3.ASN1::TypeAssignment->BuiltinType: NumericString->SIZE->List
1695 .*---------------------------------------------------------------------*
1696 :xmp tab=0.
1697 <TC - ASN1::TypeAssignment->BuiltinType: NumericString->SIZE->List>
1698 <COMPILE>
1699 <VERDICT_LEAF PASS>
1700 <MODULE ASN Module-A ModuleA.asn>
1701 Module-A DEFINITIONS ::=
1702 BEGIN
1703    IMPORTS ;
1704    X ::= NumericString (SIZE(7|13|88..nonexi))
1705 END
1706 <END_MODULE>
1707 <RESULT IF_PASS COUNT 1>
1708 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1709 <END_RESULT>
1710 <RESULT IF_PASS COUNT 1>
1711 (?is)\berror:
1712 <END_RESULT>
1713 <RESULT IF_PASS POSITIVE>
1714 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1715 <END_RESULT>
1716 <RESULT IF_FAIL NEGATIVE>
1717 (?im)\berror\b<END_RESULT>
1718 <END_TC>
1719 :exmp.
1720
1721 .*---------------------------------------------------------------------*
1722 :h3.ASN1::TypeAssignment->BuiltinType: NumericString->Single value
1723 .*---------------------------------------------------------------------*
1724 :xmp tab=0.
1725 <TC - ASN1::TypeAssignment->BuiltinType: NumericString->Single value>
1726 <COMPILE>
1727 <VERDICT_LEAF PASS>
1728 <MODULE ASN Module-A ModuleA.asn>
1729 Module-A DEFINITIONS ::=
1730 BEGIN
1731    IMPORTS ;
1732    X ::= NumericString (nonexi)
1733 END
1734 <END_MODULE>
1735 <RESULT IF_PASS COUNT 1>
1736 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1737 <END_RESULT>
1738 <RESULT IF_PASS COUNT 1>
1739 (?is)\berror:
1740 <END_RESULT>
1741 <RESULT IF_PASS POSITIVE>
1742 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1743 <END_RESULT>
1744 <RESULT IF_FAIL NEGATIVE>
1745 (?im)\berror\b<END_RESULT>
1746 <END_TC>
1747 :exmp.
1748
1749 .*---------------------------------------------------------------------*
1750 :h3.ASN1::TypeAssignment->BuiltinType: NumericString->Value list
1751 .*---------------------------------------------------------------------*
1752 :xmp tab=0.
1753 <TC - ASN1::TypeAssignment->BuiltinType: NumericString->Value list>
1754 <COMPILE>
1755 <VERDICT_LEAF PASS>
1756 <MODULE ASN Module-A ModuleA.asn>
1757 Module-A DEFINITIONS ::=
1758 BEGIN
1759    IMPORTS ;
1760    X ::= NumericString ("getting"|"more"|"tricky"|nonexi)
1761 END
1762 <END_MODULE>
1763 <RESULT IF_PASS COUNT 1>
1764 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1765 <END_RESULT>
1766 <RESULT IF_PASS COUNT 1>
1767 (?is)\berror:
1768 <END_RESULT>
1769 <RESULT IF_PASS POSITIVE>
1770 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1771 <END_RESULT>
1772 <RESULT IF_FAIL NEGATIVE>
1773 (?im)\berror\b<END_RESULT>
1774 <END_TC>
1775 :exmp.
1776
1777 .*---------------------------------------------------------------------*
1778 :h3.ASN1::TypeAssignment->BuiltinType: NumericString->Alphabet constraint
1779 .*---------------------------------------------------------------------*
1780 :xmp tab=0.
1781 <TC - ASN1::TypeAssignment->BuiltinType: NumericString->Alphabet constraint>
1782 <COMPILE>
1783 <VERDICT_LEAF PASS>
1784 <MODULE ASN Module-A ModuleA.asn>
1785 Module-A DEFINITIONS ::=
1786 BEGIN
1787    IMPORTS ;
1788    X ::= NumericString (FROM ("0".."9"|"*"|"#"|nonexi))
1789 END
1790 <END_MODULE>
1791 <RESULT IF_PASS COUNT 1>
1792 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1793 <END_RESULT>
1794 <RESULT IF_PASS COUNT 1>
1795 (?is)\berror:
1796 <END_RESULT>
1797 <RESULT IF_PASS POSITIVE>
1798 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1799 <END_RESULT>
1800 <RESULT IF_FAIL NEGATIVE>
1801 (?im)\berror\b<END_RESULT>
1802 <END_TC>
1803 :exmp.
1804
1805 .*---------------------------------------------------------------------*
1806 :h3.ASN1::TypeAssignment->BuiltinType: NumericString->PATTERN
1807 .*---------------------------------------------------------------------*
1808 :xmp tab=0.
1809 <TC - ASN1::TypeAssignment->BuiltinType: NumericString->PATTERN>
1810 <COMPILE>
1811 <VERDICT_LEAF PASS>
1812 <MODULE ASN Module-A ModuleA.asn>
1813 Module-A DEFINITIONS ::=
1814 BEGIN
1815    IMPORTS ;
1816    X ::= NumericString (PATTERN nonexi)
1817 END
1818 <END_MODULE>
1819 <RESULT IF_PASS COUNT 1>
1820 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1821 <END_RESULT>
1822 <RESULT IF_PASS COUNT 1>
1823 (?is)\berror:
1824 <END_RESULT>
1825 <RESULT IF_PASS POSITIVE>
1826 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1827 <END_RESULT>
1828 <RESULT IF_FAIL NEGATIVE>
1829 (?im)\berror\b<END_RESULT>
1830 <END_TC>
1831 :exmp.
1832
1833
1834 .*---------------------------------------------------------------------*
1835 :h3.ASN1::TypeAssignment->BuiltinType: PrintableString->SIZE->Single value
1836 .*---------------------------------------------------------------------*
1837 :xmp tab=0.
1838 <TC - ASN1::TypeAssignment->BuiltinType: PrintableString->SIZE->Single value>
1839 <COMPILE>
1840 <VERDICT_LEAF PASS>
1841 <MODULE ASN Module-A ModuleA.asn>
1842 Module-A DEFINITIONS ::=
1843 BEGIN
1844    IMPORTS ;
1845    X ::= PrintableString (SIZE(nonexi))
1846 END
1847 <END_MODULE>
1848 <RESULT IF_PASS COUNT 1>
1849 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1850 <END_RESULT>
1851 <RESULT IF_PASS COUNT 1>
1852 (?is)\berror:
1853 <END_RESULT>
1854 <RESULT IF_PASS POSITIVE>
1855 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1856 <END_RESULT>
1857 <RESULT IF_FAIL NEGATIVE>
1858 (?im)\berror\b<END_RESULT>
1859 <END_TC>
1860 :exmp.
1861
1862 .*---------------------------------------------------------------------*
1863 :h3.ASN1::TypeAssignment->BuiltinType: PrintableString->SIZE->Range
1864 .*---------------------------------------------------------------------*
1865 :xmp tab=0.
1866 <TC - ASN1::TypeAssignment->BuiltinType: PrintableString->SIZE->Range>
1867 <COMPILE>
1868 <VERDICT_LEAF PASS>
1869 <MODULE ASN Module-A ModuleA.asn>
1870 Module-A DEFINITIONS ::=
1871 BEGIN
1872    IMPORTS ;
1873    X ::= PrintableString (SIZE(88..nonexi))
1874 END
1875 <END_MODULE>
1876 <RESULT IF_PASS COUNT 1>
1877 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1878 <END_RESULT>
1879 <RESULT IF_PASS COUNT 1>
1880 (?is)\berror:
1881 <END_RESULT>
1882 <RESULT IF_PASS POSITIVE>
1883 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1884 <END_RESULT>
1885 <RESULT IF_FAIL NEGATIVE>
1886 (?im)\berror\b<END_RESULT>
1887 <END_TC>
1888 :exmp.
1889
1890 .*---------------------------------------------------------------------*
1891 :h3.ASN1::TypeAssignment->BuiltinType: PrintableString->SIZE->List
1892 .*---------------------------------------------------------------------*
1893 :xmp tab=0.
1894 <TC - ASN1::TypeAssignment->BuiltinType: PrintableString->SIZE->List>
1895 <COMPILE>
1896 <VERDICT_LEAF PASS>
1897 <MODULE ASN Module-A ModuleA.asn>
1898 Module-A DEFINITIONS ::=
1899 BEGIN
1900    IMPORTS ;
1901    X ::= PrintableString (SIZE(7|13|88..nonexi))
1902 END
1903 <END_MODULE>
1904 <RESULT IF_PASS COUNT 1>
1905 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1906 <END_RESULT>
1907 <RESULT IF_PASS COUNT 1>
1908 (?is)\berror:
1909 <END_RESULT>
1910 <RESULT IF_PASS POSITIVE>
1911 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1912 <END_RESULT>
1913 <RESULT IF_FAIL NEGATIVE>
1914 (?im)\berror\b<END_RESULT>
1915 <END_TC>
1916 :exmp.
1917
1918 .*---------------------------------------------------------------------*
1919 :h3.ASN1::TypeAssignment->BuiltinType: PrintableString->Single value
1920 .*---------------------------------------------------------------------*
1921 :xmp tab=0.
1922 <TC - ASN1::TypeAssignment->BuiltinType: PrintableString->Single value>
1923 <COMPILE>
1924 <VERDICT_LEAF PASS>
1925 <MODULE ASN Module-A ModuleA.asn>
1926 Module-A DEFINITIONS ::=
1927 BEGIN
1928    IMPORTS ;
1929    X ::= PrintableString (nonexi)
1930 END
1931 <END_MODULE>
1932 <RESULT IF_PASS COUNT 1>
1933 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1934 <END_RESULT>
1935 <RESULT IF_PASS COUNT 1>
1936 (?is)\berror:
1937 <END_RESULT>
1938 <RESULT IF_PASS POSITIVE>
1939 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1940 <END_RESULT>
1941 <RESULT IF_FAIL NEGATIVE>
1942 (?im)\berror\b<END_RESULT>
1943 <END_TC>
1944 :exmp.
1945
1946 .*---------------------------------------------------------------------*
1947 :h3.ASN1::TypeAssignment->BuiltinType: PrintableString->Value list
1948 .*---------------------------------------------------------------------*
1949 :xmp tab=0.
1950 <TC - ASN1::TypeAssignment->BuiltinType: PrintableString->Value list>
1951 <COMPILE>
1952 <VERDICT_LEAF PASS>
1953 <MODULE ASN Module-A ModuleA.asn>
1954 Module-A DEFINITIONS ::=
1955 BEGIN
1956    IMPORTS ;
1957    X ::= PrintableString ("getting"|"more"|"tricky"|nonexi)
1958 END
1959 <END_MODULE>
1960 <RESULT IF_PASS COUNT 1>
1961 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1962 <END_RESULT>
1963 <RESULT IF_PASS COUNT 1>
1964 (?is)\berror:
1965 <END_RESULT>
1966 <RESULT IF_PASS POSITIVE>
1967 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1968 <END_RESULT>
1969 <RESULT IF_FAIL NEGATIVE>
1970 (?im)\berror\b<END_RESULT>
1971 <END_TC>
1972 :exmp.
1973
1974 .*---------------------------------------------------------------------*
1975 :h3.ASN1::TypeAssignment->BuiltinType: PrintableString->Alphabet constraint
1976 .*---------------------------------------------------------------------*
1977 :xmp tab=0.
1978 <TC - ASN1::TypeAssignment->BuiltinType: PrintableString->Alphabet constraint>
1979 <COMPILE>
1980 <VERDICT_LEAF PASS>
1981 <MODULE ASN Module-A ModuleA.asn>
1982 Module-A DEFINITIONS ::=
1983 BEGIN
1984    IMPORTS ;
1985    X ::= PrintableString (FROM ("0".."9"|"*"|"#"|nonexi))
1986 END
1987 <END_MODULE>
1988 <RESULT IF_PASS COUNT 1>
1989 (?im)\berror\b.+?no.+?assignment.+?Nonexi
1990 <END_RESULT>
1991 <RESULT IF_PASS COUNT 1>
1992 (?is)\berror:
1993 <END_RESULT>
1994 <RESULT IF_PASS POSITIVE>
1995 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
1996 <END_RESULT>
1997 <RESULT IF_FAIL NEGATIVE>
1998 (?im)\berror\b<END_RESULT>
1999 <END_TC>
2000 :exmp.
2001
2002 .*---------------------------------------------------------------------*
2003 :h3.ASN1::TypeAssignment->BuiltinType: PrintableString->PATTERN
2004 .*---------------------------------------------------------------------*
2005 :xmp tab=0.
2006 <TC - ASN1::TypeAssignment->BuiltinType: PrintableString->PATTERN>
2007 <COMPILE>
2008 <VERDICT_LEAF PASS>
2009 <MODULE ASN Module-A ModuleA.asn>
2010 Module-A DEFINITIONS ::=
2011 BEGIN
2012    IMPORTS ;
2013    X ::= PrintableString (PATTERN nonexi)
2014 END
2015 <END_MODULE>
2016 <RESULT IF_PASS COUNT 1>
2017 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2018 <END_RESULT>
2019 <RESULT IF_PASS COUNT 1>
2020 (?is)\berror:
2021 <END_RESULT>
2022 <RESULT IF_PASS POSITIVE>
2023 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2024 <END_RESULT>
2025 <RESULT IF_FAIL NEGATIVE>
2026 (?im)\berror\b<END_RESULT>
2027 <END_TC>
2028 :exmp.
2029
2030 .*---------------------------------------------------------------------*
2031 :h3.ASN1::TypeAssignment->BuiltinType: VisibleString->SIZE->Single value
2032 .*---------------------------------------------------------------------*
2033 :xmp tab=0.
2034 <TC - ASN1::TypeAssignment->BuiltinType: VisibleString->SIZE->Single value>
2035 <COMPILE>
2036 <VERDICT_LEAF PASS>
2037 <MODULE ASN Module-A ModuleA.asn>
2038 Module-A DEFINITIONS ::=
2039 BEGIN
2040    IMPORTS ;
2041    X ::= VisibleString (SIZE(nonexi))
2042 END
2043 <END_MODULE>
2044 <RESULT IF_PASS COUNT 1>
2045 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2046 <END_RESULT>
2047 <RESULT IF_PASS COUNT 1>
2048 (?is)\berror:
2049 <END_RESULT>
2050 <RESULT IF_PASS POSITIVE>
2051 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2052 <END_RESULT>
2053 <RESULT IF_FAIL NEGATIVE>
2054 (?im)\berror\b<END_RESULT>
2055 <END_TC>
2056 :exmp.
2057
2058 .*---------------------------------------------------------------------*
2059 :h3.ASN1::TypeAssignment->BuiltinType: VisibleString->SIZE->Range
2060 .*---------------------------------------------------------------------*
2061 :xmp tab=0.
2062 <TC - ASN1::TypeAssignment->BuiltinType: VisibleString->SIZE->Range>
2063 <COMPILE>
2064 <VERDICT_LEAF PASS>
2065 <MODULE ASN Module-A ModuleA.asn>
2066 Module-A DEFINITIONS ::=
2067 BEGIN
2068    IMPORTS ;
2069    X ::= VisibleString (SIZE(88..nonexi))
2070 END
2071 <END_MODULE>
2072 <RESULT IF_PASS COUNT 1>
2073 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2074 <END_RESULT>
2075 <RESULT IF_PASS COUNT 1>
2076 (?is)\berror:
2077 <END_RESULT>
2078 <RESULT IF_PASS POSITIVE>
2079 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2080 <END_RESULT>
2081 <RESULT IF_FAIL NEGATIVE>
2082 (?im)\berror\b<END_RESULT>
2083 <END_TC>
2084 :exmp.
2085
2086 .*---------------------------------------------------------------------*
2087 :h3.ASN1::TypeAssignment->BuiltinType: VisibleString->SIZE->List
2088 .*---------------------------------------------------------------------*
2089 :xmp tab=0.
2090 <TC - ASN1::TypeAssignment->BuiltinType: VisibleString->SIZE->List>
2091 <COMPILE>
2092 <VERDICT_LEAF PASS>
2093 <MODULE ASN Module-A ModuleA.asn>
2094 Module-A DEFINITIONS ::=
2095 BEGIN
2096    IMPORTS ;
2097    X ::= VisibleString (SIZE(7|13|88..nonexi))
2098 END
2099 <END_MODULE>
2100 <RESULT IF_PASS COUNT 1>
2101 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2102 <END_RESULT>
2103 <RESULT IF_PASS COUNT 1>
2104 (?is)\berror:
2105 <END_RESULT>
2106 <RESULT IF_PASS POSITIVE>
2107 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2108 <END_RESULT>
2109 <RESULT IF_FAIL NEGATIVE>
2110 (?im)\berror\b<END_RESULT>
2111 <END_TC>
2112 :exmp.
2113
2114 .*---------------------------------------------------------------------*
2115 :h3.ASN1::TypeAssignment->BuiltinType: VisibleString->Single value
2116 .*---------------------------------------------------------------------*
2117 :xmp tab=0.
2118 <TC - ASN1::TypeAssignment->BuiltinType: VisibleString->Single value>
2119 <COMPILE>
2120 <VERDICT_LEAF PASS>
2121 <MODULE ASN Module-A ModuleA.asn>
2122 Module-A DEFINITIONS ::=
2123 BEGIN
2124    IMPORTS ;
2125    X ::= VisibleString (nonexi)
2126 END
2127 <END_MODULE>
2128 <RESULT IF_PASS COUNT 1>
2129 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2130 <END_RESULT>
2131 <RESULT IF_PASS COUNT 1>
2132 (?is)\berror:
2133 <END_RESULT>
2134 <RESULT IF_PASS POSITIVE>
2135 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2136 <END_RESULT>
2137 <RESULT IF_FAIL NEGATIVE>
2138 (?im)\berror\b<END_RESULT>
2139 <END_TC>
2140 :exmp.
2141
2142 .*---------------------------------------------------------------------*
2143 :h3.ASN1::TypeAssignment->BuiltinType: VisibleString->Value list
2144 .*---------------------------------------------------------------------*
2145 :xmp tab=0.
2146 <TC - ASN1::TypeAssignment->BuiltinType: VisibleString->Value list>
2147 <COMPILE>
2148 <VERDICT_LEAF PASS>
2149 <MODULE ASN Module-A ModuleA.asn>
2150 Module-A DEFINITIONS ::=
2151 BEGIN
2152    IMPORTS ;
2153    X ::= VisibleString ("getting"|"more"|"tricky"|nonexi)
2154 END
2155 <END_MODULE>
2156 <RESULT IF_PASS COUNT 1>
2157 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2158 <END_RESULT>
2159 <RESULT IF_PASS COUNT 1>
2160 (?is)\berror:
2161 <END_RESULT>
2162 <RESULT IF_PASS POSITIVE>
2163 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2164 <END_RESULT>
2165 <RESULT IF_FAIL NEGATIVE>
2166 (?im)\berror\b<END_RESULT>
2167 <END_TC>
2168 :exmp.
2169
2170 .*---------------------------------------------------------------------*
2171 :h3.ASN1::TypeAssignment->BuiltinType: VisibleString->Alphabet constraint
2172 .*---------------------------------------------------------------------*
2173 :xmp tab=0.
2174 <TC - ASN1::TypeAssignment->BuiltinType: VisibleString->Alphabet constraint>
2175 <COMPILE>
2176 <VERDICT_LEAF PASS>
2177 <MODULE ASN Module-A ModuleA.asn>
2178 Module-A DEFINITIONS ::=
2179 BEGIN
2180    IMPORTS ;
2181    X ::= VisibleString (FROM ("0".."9"|"*"|"#"|nonexi))
2182 END
2183 <END_MODULE>
2184 <RESULT IF_PASS COUNT 1>
2185 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2186 <END_RESULT>
2187 <RESULT IF_PASS COUNT 1>
2188 (?is)\berror:
2189 <END_RESULT>
2190 <RESULT IF_PASS POSITIVE>
2191 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2192 <END_RESULT>
2193 <RESULT IF_FAIL NEGATIVE>
2194 (?im)\berror\b<END_RESULT>
2195 <END_TC>
2196 :exmp.
2197
2198 .*---------------------------------------------------------------------*
2199 :h3.ASN1::TypeAssignment->BuiltinType: VisibleString->PATTERN
2200 .*---------------------------------------------------------------------*
2201 :xmp tab=0.
2202 <TC - ASN1::TypeAssignment->BuiltinType: VisibleString->PATTERN>
2203 <COMPILE>
2204 <VERDICT_LEAF PASS>
2205 <MODULE ASN Module-A ModuleA.asn>
2206 Module-A DEFINITIONS ::=
2207 BEGIN
2208    IMPORTS ;
2209    X ::= VisibleString (PATTERN nonexi)
2210 END
2211 <END_MODULE>
2212 <RESULT IF_PASS COUNT 1>
2213 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2214 <END_RESULT>
2215 <RESULT IF_PASS COUNT 1>
2216 (?is)\berror:
2217 <END_RESULT>
2218 <RESULT IF_PASS POSITIVE>
2219 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2220 <END_RESULT>
2221 <RESULT IF_FAIL NEGATIVE>
2222 (?im)\berror\b<END_RESULT>
2223 <END_TC>
2224 :exmp.
2225
2226 .*---------------------------------------------------------------------*
2227 :h3.ASN1::TypeAssignment->BuiltinType: ISO646String->SIZE->Single value
2228 .*---------------------------------------------------------------------*
2229 :xmp tab=0.
2230 <TC - ASN1::TypeAssignment->BuiltinType: ISO646String->SIZE->Single value>
2231 <COMPILE>
2232 <VERDICT_LEAF PASS>
2233 <MODULE ASN Module-A ModuleA.asn>
2234 Module-A DEFINITIONS ::=
2235 BEGIN
2236    IMPORTS ;
2237    X ::= ISO646String (SIZE(nonexi))
2238 END
2239 <END_MODULE>
2240 <RESULT IF_PASS COUNT 1>
2241 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2242 <END_RESULT>
2243 <RESULT IF_PASS COUNT 1>
2244 (?is)\berror:
2245 <END_RESULT>
2246 <RESULT IF_PASS POSITIVE>
2247 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2248 <END_RESULT>
2249 <RESULT IF_FAIL NEGATIVE>
2250 (?im)\berror\b<END_RESULT>
2251 <END_TC>
2252 :exmp.
2253
2254 .*---------------------------------------------------------------------*
2255 :h3.ASN1::TypeAssignment->BuiltinType: ISO646String->SIZE->Range
2256 .*---------------------------------------------------------------------*
2257 :xmp tab=0.
2258 <TC - ASN1::TypeAssignment->BuiltinType: ISO646String->SIZE->Range>
2259 <COMPILE>
2260 <VERDICT_LEAF PASS>
2261 <MODULE ASN Module-A ModuleA.asn>
2262 Module-A DEFINITIONS ::=
2263 BEGIN
2264    IMPORTS ;
2265    X ::= ISO646String (SIZE(88..nonexi))
2266 END
2267 <END_MODULE>
2268 <RESULT IF_PASS COUNT 1>
2269 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2270 <END_RESULT>
2271 <RESULT IF_PASS COUNT 1>
2272 (?is)\berror:
2273 <END_RESULT>
2274 <RESULT IF_PASS POSITIVE>
2275 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2276 <END_RESULT>
2277 <RESULT IF_FAIL NEGATIVE>
2278 (?im)\berror\b<END_RESULT>
2279 <END_TC>
2280 :exmp.
2281
2282 .*---------------------------------------------------------------------*
2283 :h3.ASN1::TypeAssignment->BuiltinType: ISO646String->SIZE->List
2284 .*---------------------------------------------------------------------*
2285 :xmp tab=0.
2286 <TC - ASN1::TypeAssignment->BuiltinType: ISO646String->SIZE->List>
2287 <COMPILE>
2288 <VERDICT_LEAF PASS>
2289 <MODULE ASN Module-A ModuleA.asn>
2290 Module-A DEFINITIONS ::=
2291 BEGIN
2292    IMPORTS ;
2293    X ::= ISO646String (SIZE(7|13|88..nonexi))
2294 END
2295 <END_MODULE>
2296 <RESULT IF_PASS COUNT 1>
2297 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2298 <END_RESULT>
2299 <RESULT IF_PASS COUNT 1>
2300 (?is)\berror:
2301 <END_RESULT>
2302 <RESULT IF_PASS POSITIVE>
2303 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2304 <END_RESULT>
2305 <RESULT IF_FAIL NEGATIVE>
2306 (?im)\berror\b<END_RESULT>
2307 <END_TC>
2308 :exmp.
2309
2310 .*---------------------------------------------------------------------*
2311 :h3.ASN1::TypeAssignment->BuiltinType: ISO646String->Single value
2312 .*---------------------------------------------------------------------*
2313 :xmp tab=0.
2314 <TC - ASN1::TypeAssignment->BuiltinType: ISO646String->Single value>
2315 <COMPILE>
2316 <VERDICT_LEAF PASS>
2317 <MODULE ASN Module-A ModuleA.asn>
2318 Module-A DEFINITIONS ::=
2319 BEGIN
2320    IMPORTS ;
2321    X ::= ISO646String (nonexi)
2322 END
2323 <END_MODULE>
2324 <RESULT IF_PASS COUNT 1>
2325 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2326 <END_RESULT>
2327 <RESULT IF_PASS COUNT 1>
2328 (?is)\berror:
2329 <END_RESULT>
2330 <RESULT IF_PASS POSITIVE>
2331 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2332 <END_RESULT>
2333 <RESULT IF_FAIL NEGATIVE>
2334 (?im)\berror\b<END_RESULT>
2335 <END_TC>
2336 :exmp.
2337
2338 .*---------------------------------------------------------------------*
2339 :h3.ASN1::TypeAssignment->BuiltinType: ISO646String->Value list
2340 .*---------------------------------------------------------------------*
2341 :xmp tab=0.
2342 <TC - ASN1::TypeAssignment->BuiltinType: ISO646String->Value list>
2343 <COMPILE>
2344 <VERDICT_LEAF PASS>
2345 <MODULE ASN Module-A ModuleA.asn>
2346 Module-A DEFINITIONS ::=
2347 BEGIN
2348    IMPORTS ;
2349    X ::= ISO646String ("getting"|"more"|"tricky"|nonexi)
2350 END
2351 <END_MODULE>
2352 <RESULT IF_PASS COUNT 1>
2353 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2354 <END_RESULT>
2355 <RESULT IF_PASS COUNT 1>
2356 (?is)\berror:
2357 <END_RESULT>
2358 <RESULT IF_PASS POSITIVE>
2359 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2360 <END_RESULT>
2361 <RESULT IF_FAIL NEGATIVE>
2362 (?im)\berror\b<END_RESULT>
2363 <END_TC>
2364 :exmp.
2365
2366 .*---------------------------------------------------------------------*
2367 :h3.ASN1::TypeAssignment->BuiltinType: ISO646String->Alphabet constraint
2368 .*---------------------------------------------------------------------*
2369 :xmp tab=0.
2370 <TC - ASN1::TypeAssignment->BuiltinType: ISO646String->Alphabet constraint>
2371 <COMPILE>
2372 <VERDICT_LEAF PASS>
2373 <MODULE ASN Module-A ModuleA.asn>
2374 Module-A DEFINITIONS ::=
2375 BEGIN
2376    IMPORTS ;
2377    X ::= ISO646String (FROM ("0".."9"|"*"|"#"|nonexi))
2378 END
2379 <END_MODULE>
2380 <RESULT IF_PASS COUNT 1>
2381 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2382 <END_RESULT>
2383 <RESULT IF_PASS COUNT 1>
2384 (?is)\berror:
2385 <END_RESULT>
2386 <RESULT IF_PASS POSITIVE>
2387 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2388 <END_RESULT>
2389 <RESULT IF_FAIL NEGATIVE>
2390 (?im)\berror\b<END_RESULT>
2391 <END_TC>
2392 :exmp.
2393
2394 .*---------------------------------------------------------------------*
2395 :h3.ASN1::TypeAssignment->BuiltinType: ISO646String->PATTERN
2396 .*---------------------------------------------------------------------*
2397 :xmp tab=0.
2398 <TC - ASN1::TypeAssignment->BuiltinType: ISO646String->PATTERN>
2399 <COMPILE>
2400 <VERDICT_LEAF PASS>
2401 <MODULE ASN Module-A ModuleA.asn>
2402 Module-A DEFINITIONS ::=
2403 BEGIN
2404    IMPORTS ;
2405    X ::= ISO646String (PATTERN nonexi)
2406 END
2407 <END_MODULE>
2408 <RESULT IF_PASS COUNT 1>
2409 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2410 <END_RESULT>
2411 <RESULT IF_PASS COUNT 1>
2412 (?is)\berror:
2413 <END_RESULT>
2414 <RESULT IF_PASS POSITIVE>
2415 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2416 <END_RESULT>
2417 <RESULT IF_FAIL NEGATIVE>
2418 (?im)\berror\b<END_RESULT>
2419 <END_TC>
2420 :exmp.
2421
2422 .*---------------------------------------------------------------------*
2423 :h3.ASN1::TypeAssignment->BuiltinType: IA5String->SIZE->Single value
2424 .*---------------------------------------------------------------------*
2425 :xmp tab=0.
2426 <TC - ASN1::TypeAssignment->BuiltinType: IA5String->SIZE->Single value>
2427 <COMPILE>
2428 <VERDICT_LEAF PASS>
2429 <MODULE ASN Module-A ModuleA.asn>
2430 Module-A DEFINITIONS ::=
2431 BEGIN
2432    IMPORTS ;
2433    X ::= IA5String (SIZE(nonexi))
2434 END
2435 <END_MODULE>
2436 <RESULT IF_PASS COUNT 1>
2437 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2438 <END_RESULT>
2439 <RESULT IF_PASS COUNT 1>
2440 (?is)\berror:
2441 <END_RESULT>
2442 <RESULT IF_PASS POSITIVE>
2443 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2444 <END_RESULT>
2445 <RESULT IF_FAIL NEGATIVE>
2446 (?im)\berror\b<END_RESULT>
2447 <END_TC>
2448 :exmp.
2449
2450 .*---------------------------------------------------------------------*
2451 :h3.ASN1::TypeAssignment->BuiltinType: IA5String->SIZE->Range
2452 .*---------------------------------------------------------------------*
2453 :xmp tab=0.
2454 <TC - ASN1::TypeAssignment->BuiltinType: IA5String->SIZE->Range>
2455 <COMPILE>
2456 <VERDICT_LEAF PASS>
2457 <MODULE ASN Module-A ModuleA.asn>
2458 Module-A DEFINITIONS ::=
2459 BEGIN
2460    IMPORTS ;
2461    X ::= IA5String (SIZE(88..nonexi))
2462 END
2463 <END_MODULE>
2464 <RESULT IF_PASS COUNT 1>
2465 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2466 <END_RESULT>
2467 <RESULT IF_PASS COUNT 1>
2468 (?is)\berror:
2469 <END_RESULT>
2470 <RESULT IF_PASS POSITIVE>
2471 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2472 <END_RESULT>
2473 <RESULT IF_FAIL NEGATIVE>
2474 (?im)\berror\b<END_RESULT>
2475 <END_TC>
2476 :exmp.
2477
2478 .*---------------------------------------------------------------------*
2479 :h3.ASN1::TypeAssignment->BuiltinType: IA5String->SIZE->List
2480 .*---------------------------------------------------------------------*
2481 :xmp tab=0.
2482 <TC - ASN1::TypeAssignment->BuiltinType: IA5String->SIZE->List>
2483 <COMPILE>
2484 <VERDICT_LEAF PASS>
2485 <MODULE ASN Module-A ModuleA.asn>
2486 Module-A DEFINITIONS ::=
2487 BEGIN
2488    IMPORTS ;
2489    X ::= IA5String (SIZE(7|13|88..nonexi))
2490 END
2491 <END_MODULE>
2492 <RESULT IF_PASS COUNT 1>
2493 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2494 <END_RESULT>
2495 <RESULT IF_PASS COUNT 1>
2496 (?is)\berror:
2497 <END_RESULT>
2498 <RESULT IF_PASS POSITIVE>
2499 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2500 <END_RESULT>
2501 <RESULT IF_FAIL NEGATIVE>
2502 (?im)\berror\b<END_RESULT>
2503 <END_TC>
2504 :exmp.
2505
2506 .*---------------------------------------------------------------------*
2507 :h3.ASN1::TypeAssignment->BuiltinType: IA5String->Single value
2508 .*---------------------------------------------------------------------*
2509 :xmp tab=0.
2510 <TC - ASN1::TypeAssignment->BuiltinType: IA5String->Single value>
2511 <COMPILE>
2512 <VERDICT_LEAF PASS>
2513 <MODULE ASN Module-A ModuleA.asn>
2514 Module-A DEFINITIONS ::=
2515 BEGIN
2516    IMPORTS ;
2517    X ::= IA5String (nonexi)
2518 END
2519 <END_MODULE>
2520 <RESULT IF_PASS COUNT 1>
2521 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2522 <END_RESULT>
2523 <RESULT IF_PASS COUNT 1>
2524 (?is)\berror:
2525 <END_RESULT>
2526 <RESULT IF_PASS POSITIVE>
2527 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2528 <END_RESULT>
2529 <RESULT IF_FAIL NEGATIVE>
2530 (?im)\berror\b<END_RESULT>
2531 <END_TC>
2532 :exmp.
2533
2534 .*---------------------------------------------------------------------*
2535 :h3.ASN1::TypeAssignment->BuiltinType: IA5String->Value list
2536 .*---------------------------------------------------------------------*
2537 :xmp tab=0.
2538 <TC - ASN1::TypeAssignment->BuiltinType: IA5String->Value list>
2539 <COMPILE>
2540 <VERDICT_LEAF PASS>
2541 <MODULE ASN Module-A ModuleA.asn>
2542 Module-A DEFINITIONS ::=
2543 BEGIN
2544    IMPORTS ;
2545    X ::= IA5String ("getting"|"more"|"tricky"|nonexi)
2546 END
2547 <END_MODULE>
2548 <RESULT IF_PASS COUNT 1>
2549 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2550 <END_RESULT>
2551 <RESULT IF_PASS COUNT 1>
2552 (?is)\berror:
2553 <END_RESULT>
2554 <RESULT IF_PASS POSITIVE>
2555 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2556 <END_RESULT>
2557 <RESULT IF_FAIL NEGATIVE>
2558 (?im)\berror\b<END_RESULT>
2559 <END_TC>
2560 :exmp.
2561
2562 .*---------------------------------------------------------------------*
2563 :h3.ASN1::TypeAssignment->BuiltinType: IA5String->Alphabet constraint
2564 .*---------------------------------------------------------------------*
2565 :xmp tab=0.
2566 <TC - ASN1::TypeAssignment->BuiltinType: IA5String->Alphabet constraint>
2567 <COMPILE>
2568 <VERDICT_LEAF PASS>
2569 <MODULE ASN Module-A ModuleA.asn>
2570 Module-A DEFINITIONS ::=
2571 BEGIN
2572    IMPORTS ;
2573    X ::= IA5String (FROM ("0".."9"|"*"|"#"|nonexi))
2574 END
2575 <END_MODULE>
2576 <RESULT IF_PASS COUNT 1>
2577 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2578 <END_RESULT>
2579 <RESULT IF_PASS COUNT 1>
2580 (?is)\berror:
2581 <END_RESULT>
2582 <RESULT IF_PASS POSITIVE>
2583 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2584 <END_RESULT>
2585 <RESULT IF_FAIL NEGATIVE>
2586 (?im)\berror\b<END_RESULT>
2587 <END_TC>
2588 :exmp.
2589
2590 .*---------------------------------------------------------------------*
2591 :h3.ASN1::TypeAssignment->BuiltinType: IA5String->PATTERN
2592 .*---------------------------------------------------------------------*
2593 :xmp tab=0.
2594 <TC - ASN1::TypeAssignment->BuiltinType: IA5String->PATTERN>
2595 <COMPILE>
2596 <VERDICT_LEAF PASS>
2597 <MODULE ASN Module-A ModuleA.asn>
2598 Module-A DEFINITIONS ::=
2599 BEGIN
2600    IMPORTS ;
2601    X ::= IA5String (PATTERN nonexi)
2602 END
2603 <END_MODULE>
2604 <RESULT IF_PASS COUNT 1>
2605 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2606 <END_RESULT>
2607 <RESULT IF_PASS COUNT 1>
2608 (?is)\berror:
2609 <END_RESULT>
2610 <RESULT IF_PASS POSITIVE>
2611 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2612 <END_RESULT>
2613 <RESULT IF_FAIL NEGATIVE>
2614 (?im)\berror\b<END_RESULT>
2615 <END_TC>
2616 :exmp.
2617
2618 .*---------------------------------------------------------------------*
2619 :h3.ASN1::TypeAssignment->BuiltinType: TeletexString->SIZE->Single value
2620 .*---------------------------------------------------------------------*
2621 :xmp tab=0.
2622 <TC - ASN1::TypeAssignment->BuiltinType: TeletexString->SIZE->Single value>
2623 <COMPILE>
2624 <VERDICT_LEAF PASS>
2625 <MODULE ASN Module-A ModuleA.asn>
2626 Module-A DEFINITIONS ::=
2627 BEGIN
2628    IMPORTS ;
2629    X ::= TeletexString (SIZE(nonexi))
2630 END
2631 <END_MODULE>
2632 <RESULT IF_PASS COUNT 1>
2633 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2634 <END_RESULT>
2635 <RESULT IF_PASS COUNT 1>
2636 (?is)\berror:
2637 <END_RESULT>
2638 <RESULT IF_PASS POSITIVE>
2639 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2640 <END_RESULT>
2641 <RESULT IF_FAIL NEGATIVE>
2642 (?im)\berror\b<END_RESULT>
2643 <END_TC>
2644 :exmp.
2645
2646 .*---------------------------------------------------------------------*
2647 :h3.ASN1::TypeAssignment->BuiltinType: TeletexString->SIZE->Range
2648 .*---------------------------------------------------------------------*
2649 :xmp tab=0.
2650 <TC - ASN1::TypeAssignment->BuiltinType: TeletexString->SIZE->Range>
2651 <COMPILE>
2652 <VERDICT_LEAF PASS>
2653 <MODULE ASN Module-A ModuleA.asn>
2654 Module-A DEFINITIONS ::=
2655 BEGIN
2656    IMPORTS ;
2657    X ::= TeletexString (SIZE(88..nonexi))
2658 END
2659 <END_MODULE>
2660 <RESULT IF_PASS COUNT 1>
2661 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2662 <END_RESULT>
2663 <RESULT IF_PASS COUNT 1>
2664 (?is)\berror:
2665 <END_RESULT>
2666 <RESULT IF_PASS POSITIVE>
2667 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2668 <END_RESULT>
2669 <RESULT IF_FAIL NEGATIVE>
2670 (?im)\berror\b<END_RESULT>
2671 <END_TC>
2672 :exmp.
2673
2674 .*---------------------------------------------------------------------*
2675 :h3.ASN1::TypeAssignment->BuiltinType: TeletexString->SIZE->List
2676 .*---------------------------------------------------------------------*
2677 :xmp tab=0.
2678 <TC - ASN1::TypeAssignment->BuiltinType: TeletexString->SIZE->List>
2679 <COMPILE>
2680 <VERDICT_LEAF PASS>
2681 <MODULE ASN Module-A ModuleA.asn>
2682 Module-A DEFINITIONS ::=
2683 BEGIN
2684    IMPORTS ;
2685    X ::= TeletexString (SIZE(7|13|88..nonexi))
2686 END
2687 <END_MODULE>
2688 <RESULT IF_PASS COUNT 1>
2689 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2690 <END_RESULT>
2691 <RESULT IF_PASS COUNT 1>
2692 (?is)\berror:
2693 <END_RESULT>
2694 <RESULT IF_PASS POSITIVE>
2695 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2696 <END_RESULT>
2697 <RESULT IF_FAIL NEGATIVE>
2698 (?im)\berror\b<END_RESULT>
2699 <END_TC>
2700 :exmp.
2701
2702 .*---------------------------------------------------------------------*
2703 :h3.ASN1::TypeAssignment->BuiltinType: TeletexString->Single value
2704 .*---------------------------------------------------------------------*
2705 :xmp tab=0.
2706 <TC - ASN1::TypeAssignment->BuiltinType: TeletexString->Single value>
2707 <COMPILE>
2708 <VERDICT_LEAF PASS>
2709 <MODULE ASN Module-A ModuleA.asn>
2710 Module-A DEFINITIONS ::=
2711 BEGIN
2712    IMPORTS ;
2713    X ::= TeletexString (nonexi)
2714 END
2715 <END_MODULE>
2716 <RESULT IF_PASS COUNT 1>
2717 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2718 <END_RESULT>
2719 <RESULT IF_PASS COUNT 1>
2720 (?is)\berror:
2721 <END_RESULT>
2722 <RESULT IF_PASS POSITIVE>
2723 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2724 <END_RESULT>
2725 <RESULT IF_FAIL NEGATIVE>
2726 (?im)\berror\b<END_RESULT>
2727 <END_TC>
2728 :exmp.
2729
2730 .*---------------------------------------------------------------------*
2731 :h3.ASN1::TypeAssignment->BuiltinType: TeletexString->Value list
2732 .*---------------------------------------------------------------------*
2733 :xmp tab=0.
2734 <TC - ASN1::TypeAssignment->BuiltinType: TeletexString->Value list>
2735 <COMPILE>
2736 <VERDICT_LEAF PASS>
2737 <MODULE ASN Module-A ModuleA.asn>
2738 Module-A DEFINITIONS ::=
2739 BEGIN
2740    IMPORTS ;
2741    X ::= TeletexString ("getting"|"more"|"tricky"|nonexi)
2742 END
2743 <END_MODULE>
2744 <RESULT IF_PASS COUNT 1>
2745 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2746 <END_RESULT>
2747 <RESULT IF_PASS COUNT 1>
2748 (?is)\berror:
2749 <END_RESULT>
2750 <RESULT IF_PASS POSITIVE>
2751 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2752 <END_RESULT>
2753 <RESULT IF_FAIL NEGATIVE>
2754 (?im)\berror\b<END_RESULT>
2755 <END_TC>
2756 :exmp.
2757
2758 .*---------------------------------------------------------------------*
2759 :h3.ASN1::TypeAssignment->BuiltinType: TeletexString->Alphabet constraint
2760 .*---------------------------------------------------------------------*
2761 :xmp tab=0.
2762 <TC - ASN1::TypeAssignment->BuiltinType: TeletexString->Alphabet constraint>
2763 <COMPILE>
2764 <VERDICT_LEAF PASS>
2765 <MODULE ASN Module-A ModuleA.asn>
2766 Module-A DEFINITIONS ::=
2767 BEGIN
2768    IMPORTS ;
2769    X ::= TeletexString (FROM ("0".."9"|"*"|"#"|nonexi))
2770 END
2771 <END_MODULE>
2772 <RESULT IF_PASS COUNT 1>
2773 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2774 <END_RESULT>
2775 <RESULT IF_PASS COUNT 1>
2776 (?im)\berror: Value range constraint is not allowed for type `TeletexString'
2777 <END_RESULT>
2778 <RESULT IF_PASS COUNT 2>
2779 (?is)\berror:
2780 <END_RESULT>
2781 <RESULT IF_PASS POSITIVE>
2782 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2783 <END_RESULT>
2784 <RESULT IF_FAIL NEGATIVE>
2785 (?im)\berror\b<END_RESULT>
2786 <END_TC>
2787 :exmp.
2788
2789 .*---------------------------------------------------------------------*
2790 :h3.ASN1::TypeAssignment->BuiltinType: TeletexString->PATTERN
2791 .*---------------------------------------------------------------------*
2792 :xmp tab=0.
2793 <TC - ASN1::TypeAssignment->BuiltinType: TeletexString->PATTERN>
2794 <COMPILE>
2795 <VERDICT_LEAF PASS>
2796 <MODULE ASN Module-A ModuleA.asn>
2797 Module-A DEFINITIONS ::=
2798 BEGIN
2799    IMPORTS ;
2800    X ::= TeletexString (PATTERN nonexi)
2801 END
2802 <END_MODULE>
2803 <RESULT IF_PASS COUNT 1>
2804 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2805 <END_RESULT>
2806 <RESULT IF_PASS COUNT 1>
2807 (?is)\berror:
2808 <END_RESULT>
2809 <RESULT IF_PASS POSITIVE>
2810 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2811 <END_RESULT>
2812 <RESULT IF_FAIL NEGATIVE>
2813 (?im)\berror\b<END_RESULT>
2814 <END_TC>
2815 :exmp.
2816
2817 .*---------------------------------------------------------------------*
2818 :h3.ASN1::TypeAssignment->BuiltinType: T61String->SIZE->Single value
2819 .*---------------------------------------------------------------------*
2820 :xmp tab=0.
2821 <TC - ASN1::TypeAssignment->BuiltinType: T61String->SIZE->Single value>
2822 <COMPILE>
2823 <VERDICT_LEAF PASS>
2824 <MODULE ASN Module-A ModuleA.asn>
2825 Module-A DEFINITIONS ::=
2826 BEGIN
2827    IMPORTS ;
2828    X ::= T61String (SIZE(nonexi))
2829 END
2830 <END_MODULE>
2831 <RESULT IF_PASS COUNT 1>
2832 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2833 <END_RESULT>
2834 <RESULT IF_PASS COUNT 1>
2835 (?is)\berror:
2836 <END_RESULT>
2837 <RESULT IF_PASS POSITIVE>
2838 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2839 <END_RESULT>
2840 <RESULT IF_FAIL NEGATIVE>
2841 (?im)\berror\b<END_RESULT>
2842 <END_TC>
2843 :exmp.
2844
2845 .*---------------------------------------------------------------------*
2846 :h3.ASN1::TypeAssignment->BuiltinType: T61String->SIZE->Range
2847 .*---------------------------------------------------------------------*
2848 :xmp tab=0.
2849 <TC - ASN1::TypeAssignment->BuiltinType: T61String->SIZE->Range>
2850 <COMPILE>
2851 <VERDICT_LEAF PASS>
2852 <MODULE ASN Module-A ModuleA.asn>
2853 Module-A DEFINITIONS ::=
2854 BEGIN
2855    IMPORTS ;
2856    X ::= T61String (SIZE(88..nonexi))
2857 END
2858 <END_MODULE>
2859 <RESULT IF_PASS COUNT 1>
2860 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2861 <END_RESULT>
2862 <RESULT IF_PASS COUNT 1>
2863 (?is)\berror:
2864 <END_RESULT>
2865 <RESULT IF_PASS POSITIVE>
2866 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2867 <END_RESULT>
2868 <RESULT IF_FAIL NEGATIVE>
2869 (?im)\berror\b<END_RESULT>
2870 <END_TC>
2871 :exmp.
2872
2873 .*---------------------------------------------------------------------*
2874 :h3.ASN1::TypeAssignment->BuiltinType: T61String->SIZE->List
2875 .*---------------------------------------------------------------------*
2876 :xmp tab=0.
2877 <TC - ASN1::TypeAssignment->BuiltinType: T61String->SIZE->List>
2878 <COMPILE>
2879 <VERDICT_LEAF PASS>
2880 <MODULE ASN Module-A ModuleA.asn>
2881 Module-A DEFINITIONS ::=
2882 BEGIN
2883    IMPORTS ;
2884    X ::= T61String (SIZE(7|13|88..nonexi))
2885 END
2886 <END_MODULE>
2887 <RESULT IF_PASS COUNT 1>
2888 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2889 <END_RESULT>
2890 <RESULT IF_PASS COUNT 1>
2891 (?is)\berror:
2892 <END_RESULT>
2893 <RESULT IF_PASS POSITIVE>
2894 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2895 <END_RESULT>
2896 <RESULT IF_FAIL NEGATIVE>
2897 (?im)\berror\b<END_RESULT>
2898 <END_TC>
2899 :exmp.
2900
2901 .*---------------------------------------------------------------------*
2902 :h3.ASN1::TypeAssignment->BuiltinType: T61String->Single value
2903 .*---------------------------------------------------------------------*
2904 :xmp tab=0.
2905 <TC - ASN1::TypeAssignment->BuiltinType: T61String->Single value>
2906 <COMPILE>
2907 <VERDICT_LEAF PASS>
2908 <MODULE ASN Module-A ModuleA.asn>
2909 Module-A DEFINITIONS ::=
2910 BEGIN
2911    IMPORTS ;
2912    X ::= T61String (nonexi)
2913 END
2914 <END_MODULE>
2915 <RESULT IF_PASS COUNT 1>
2916 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2917 <END_RESULT>
2918 <RESULT IF_PASS COUNT 1>
2919 (?is)\berror:
2920 <END_RESULT>
2921 <RESULT IF_PASS POSITIVE>
2922 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2923 <END_RESULT>
2924 <RESULT IF_FAIL NEGATIVE>
2925 (?im)\berror\b<END_RESULT>
2926 <END_TC>
2927 :exmp.
2928
2929 .*---------------------------------------------------------------------*
2930 :h3.ASN1::TypeAssignment->BuiltinType: T61String->Value list
2931 .*---------------------------------------------------------------------*
2932 :xmp tab=0.
2933 <TC - ASN1::TypeAssignment->BuiltinType: T61String->Value list>
2934 <COMPILE>
2935 <VERDICT_LEAF PASS>
2936 <MODULE ASN Module-A ModuleA.asn>
2937 Module-A DEFINITIONS ::=
2938 BEGIN
2939    IMPORTS ;
2940    X ::= T61String ("getting"|"more"|"tricky"|nonexi)
2941 END
2942 <END_MODULE>
2943 <RESULT IF_PASS COUNT 1>
2944 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2945 <END_RESULT>
2946 <RESULT IF_PASS COUNT 1>
2947 (?is)\berror:
2948 <END_RESULT>
2949 <RESULT IF_PASS POSITIVE>
2950 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2951 <END_RESULT>
2952 <RESULT IF_FAIL NEGATIVE>
2953 (?im)\berror\b<END_RESULT>
2954 <END_TC>
2955 :exmp.
2956
2957 .*---------------------------------------------------------------------*
2958 :h3.ASN1::TypeAssignment->BuiltinType: T61String->Alphabet constraint
2959 .*---------------------------------------------------------------------*
2960 :xmp tab=0.
2961 <TC - ASN1::TypeAssignment->BuiltinType: T61String->Alphabet constraint>
2962 <COMPILE>
2963 <VERDICT_LEAF PASS>
2964 <MODULE ASN Module-A ModuleA.asn>
2965 Module-A DEFINITIONS ::=
2966 BEGIN
2967    IMPORTS ;
2968    X ::= T61String (FROM ("0".."9"|"*"|"#"|nonexi))
2969 END
2970 <END_MODULE>
2971 <RESULT IF_PASS COUNT 1>
2972 (?im)\berror\b.+?no.+?assignment.+?Nonexi
2973 <END_RESULT>
2974 <RESULT IF_PASS COUNT 1>
2975 (?im)\berror: Value range constraint is not allowed for type `TeletexString'
2976 <END_RESULT>
2977 <RESULT IF_PASS COUNT 2>
2978 (?is)\berror:
2979 <END_RESULT>
2980 <RESULT IF_PASS POSITIVE>
2981 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
2982 <END_RESULT>
2983 <RESULT IF_FAIL NEGATIVE>
2984 (?im)\berror\b<END_RESULT>
2985 <END_TC>
2986 :exmp.
2987
2988 .*---------------------------------------------------------------------*
2989 :h3.ASN1::TypeAssignment->BuiltinType: T61String->PATTERN
2990 .*---------------------------------------------------------------------*
2991 :xmp tab=0.
2992 <TC - ASN1::TypeAssignment->BuiltinType: T61String->PATTERN>
2993 <COMPILE>
2994 <VERDICT_LEAF PASS>
2995 <MODULE ASN Module-A ModuleA.asn>
2996 Module-A DEFINITIONS ::=
2997 BEGIN
2998    IMPORTS ;
2999    X ::= T61String (PATTERN nonexi)
3000 END
3001 <END_MODULE>
3002 <RESULT IF_PASS COUNT 1>
3003 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3004 <END_RESULT>
3005 <RESULT IF_PASS COUNT 1>
3006 (?is)\berror:
3007 <END_RESULT>
3008 <RESULT IF_PASS POSITIVE>
3009 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3010 <END_RESULT>
3011 <RESULT IF_FAIL NEGATIVE>
3012 (?im)\berror\b<END_RESULT>
3013 <END_TC>
3014 :exmp.
3015
3016
3017 .*---------------------------------------------------------------------*
3018 :h3.ASN1::TypeAssignment->BuiltinType: VideotexString->SIZE->Single value
3019 .*---------------------------------------------------------------------*
3020 :xmp tab=0.
3021 <TC - ASN1::TypeAssignment->BuiltinType: VideotexString->SIZE->Single value>
3022 <COMPILE>
3023 <VERDICT_LEAF PASS>
3024 <MODULE ASN Module-A ModuleA.asn>
3025 Module-A DEFINITIONS ::=
3026 BEGIN
3027    IMPORTS ;
3028    X ::= VideotexString (SIZE(nonexi))
3029 END
3030 <END_MODULE>
3031 <RESULT IF_PASS COUNT 1>
3032 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3033 <END_RESULT>
3034 <RESULT IF_PASS COUNT 1>
3035 (?is)\berror:
3036 <END_RESULT>
3037 <RESULT IF_PASS POSITIVE>
3038 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3039 <END_RESULT>
3040 <RESULT IF_FAIL NEGATIVE>
3041 (?im)\berror\b<END_RESULT>
3042 <END_TC>
3043 :exmp.
3044
3045 .*---------------------------------------------------------------------*
3046 :h3.ASN1::TypeAssignment->BuiltinType: VideotexString->SIZE->Range
3047 .*---------------------------------------------------------------------*
3048 :xmp tab=0.
3049 <TC - ASN1::TypeAssignment->BuiltinType: VideotexString->SIZE->Range>
3050 <COMPILE>
3051 <VERDICT_LEAF PASS>
3052 <MODULE ASN Module-A ModuleA.asn>
3053 Module-A DEFINITIONS ::=
3054 BEGIN
3055    IMPORTS ;
3056    X ::= VideotexString (SIZE(88..nonexi))
3057 END
3058 <END_MODULE>
3059 <RESULT IF_PASS COUNT 1>
3060 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3061 <END_RESULT>
3062 <RESULT IF_PASS COUNT 1>
3063 (?is)\berror:
3064 <END_RESULT>
3065 <RESULT IF_PASS POSITIVE>
3066 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3067 <END_RESULT>
3068 <RESULT IF_FAIL NEGATIVE>
3069 (?im)\berror\b<END_RESULT>
3070 <END_TC>
3071 :exmp.
3072
3073 .*---------------------------------------------------------------------*
3074 :h3.ASN1::TypeAssignment->BuiltinType: VideotexString->SIZE->List
3075 .*---------------------------------------------------------------------*
3076 :xmp tab=0.
3077 <TC - ASN1::TypeAssignment->BuiltinType: VideotexString->SIZE->List>
3078 <COMPILE>
3079 <VERDICT_LEAF PASS>
3080 <MODULE ASN Module-A ModuleA.asn>
3081 Module-A DEFINITIONS ::=
3082 BEGIN
3083    IMPORTS ;
3084    X ::= VideotexString (SIZE(7|13|88..nonexi))
3085 END
3086 <END_MODULE>
3087 <RESULT IF_PASS COUNT 1>
3088 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3089 <END_RESULT>
3090 <RESULT IF_PASS COUNT 1>
3091 (?is)\berror:
3092 <END_RESULT>
3093 <RESULT IF_PASS POSITIVE>
3094 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3095 <END_RESULT>
3096 <RESULT IF_FAIL NEGATIVE>
3097 (?im)\berror\b<END_RESULT>
3098 <END_TC>
3099 :exmp.
3100
3101 .*---------------------------------------------------------------------*
3102 :h3.ASN1::TypeAssignment->BuiltinType: VideotexString->Single value
3103 .*---------------------------------------------------------------------*
3104 :xmp tab=0.
3105 <TC - ASN1::TypeAssignment->BuiltinType: VideotexString->Single value>
3106 <COMPILE>
3107 <VERDICT_LEAF PASS>
3108 <MODULE ASN Module-A ModuleA.asn>
3109 Module-A DEFINITIONS ::=
3110 BEGIN
3111    IMPORTS ;
3112    X ::= VideotexString (nonexi)
3113 END
3114 <END_MODULE>
3115 <RESULT IF_PASS COUNT 1>
3116 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3117 <END_RESULT>
3118 <RESULT IF_PASS COUNT 1>
3119 (?is)\berror:
3120 <END_RESULT>
3121 <RESULT IF_PASS POSITIVE>
3122 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3123 <END_RESULT>
3124 <RESULT IF_FAIL NEGATIVE>
3125 (?im)\berror\b<END_RESULT>
3126 <END_TC>
3127 :exmp.
3128
3129 .*---------------------------------------------------------------------*
3130 :h3.ASN1::TypeAssignment->BuiltinType: VideotexString->Value list
3131 .*---------------------------------------------------------------------*
3132 :xmp tab=0.
3133 <TC - ASN1::TypeAssignment->BuiltinType: VideotexString->Value list>
3134 <COMPILE>
3135 <VERDICT_LEAF PASS>
3136 <MODULE ASN Module-A ModuleA.asn>
3137 Module-A DEFINITIONS ::=
3138 BEGIN
3139    IMPORTS ;
3140    X ::= VideotexString ("getting"|"more"|"tricky"|nonexi)
3141 END
3142 <END_MODULE>
3143 <RESULT IF_PASS COUNT 1>
3144 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3145 <END_RESULT>
3146 <RESULT IF_PASS COUNT 1>
3147 (?is)\berror:
3148 <END_RESULT>
3149 <RESULT IF_PASS POSITIVE>
3150 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3151 <END_RESULT>
3152 <RESULT IF_FAIL NEGATIVE>
3153 (?im)\berror\b<END_RESULT>
3154 <END_TC>
3155 :exmp.
3156
3157 .*---------------------------------------------------------------------*
3158 :h3.ASN1::TypeAssignment->BuiltinType: VideotexString->Alphabet constraint
3159 .*---------------------------------------------------------------------*
3160 :xmp tab=0.
3161 <TC - ASN1::TypeAssignment->BuiltinType: VideotexString->Alphabet constraint>
3162 <COMPILE>
3163 <VERDICT_LEAF PASS>
3164 <MODULE ASN Module-A ModuleA.asn>
3165 Module-A DEFINITIONS ::=
3166 BEGIN
3167    IMPORTS ;
3168    X ::= VideotexString (FROM ("0".."9"|"*"|"#"|nonexi))
3169 END
3170 <END_MODULE>
3171 <RESULT IF_PASS COUNT 1>
3172 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3173 <END_RESULT>
3174 <RESULT IF_PASS COUNT 1>
3175 (?im)\berror: Value range constraint is not allowed for type `VideotexString'
3176 <END_RESULT>
3177 <RESULT IF_PASS COUNT 2>
3178 (?is)\berror:
3179 <END_RESULT>
3180 <RESULT IF_PASS POSITIVE>
3181 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3182 <END_RESULT>
3183 <RESULT IF_FAIL NEGATIVE>
3184 (?im)\berror\b<END_RESULT>
3185 <END_TC>
3186 :exmp.
3187
3188
3189
3190 .*---------------------------------------------------------------------*
3191 :h3.ASN1::TypeAssignment->BuiltinType: GraphicString->SIZE->Single value
3192 .*---------------------------------------------------------------------*
3193 :xmp tab=0.
3194 <TC - ASN1::TypeAssignment->BuiltinType: GraphicString->SIZE->Single value>
3195 <COMPILE>
3196 <VERDICT_LEAF PASS>
3197 <MODULE ASN Module-A ModuleA.asn>
3198 Module-A DEFINITIONS ::=
3199 BEGIN
3200    IMPORTS ;
3201    X ::= GraphicString (SIZE(nonexi))
3202 END
3203 <END_MODULE>
3204 <RESULT IF_PASS COUNT 1>
3205 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3206 <END_RESULT>
3207 <RESULT IF_PASS COUNT 1>
3208 (?is)\berror:
3209 <END_RESULT>
3210 <RESULT IF_PASS POSITIVE>
3211 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3212 <END_RESULT>
3213 <RESULT IF_FAIL NEGATIVE>
3214 (?im)\berror\b<END_RESULT>
3215 <END_TC>
3216 :exmp.
3217
3218 .*---------------------------------------------------------------------*
3219 :h3.ASN1::TypeAssignment->BuiltinType: GraphicString->SIZE->Range
3220 .*---------------------------------------------------------------------*
3221 :xmp tab=0.
3222 <TC - ASN1::TypeAssignment->BuiltinType: GraphicString->SIZE->Range>
3223 <COMPILE>
3224 <VERDICT_LEAF PASS>
3225 <MODULE ASN Module-A ModuleA.asn>
3226 Module-A DEFINITIONS ::=
3227 BEGIN
3228    IMPORTS ;
3229    X ::= GraphicString (SIZE(88..nonexi))
3230 END
3231 <END_MODULE>
3232 <RESULT IF_PASS COUNT 1>
3233 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3234 <END_RESULT>
3235 <RESULT IF_PASS COUNT 1>
3236 (?is)\berror:
3237 <END_RESULT>
3238 <RESULT IF_PASS POSITIVE>
3239 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3240 <END_RESULT>
3241 <RESULT IF_FAIL NEGATIVE>
3242 (?im)\berror\b<END_RESULT>
3243 <END_TC>
3244 :exmp.
3245
3246 .*---------------------------------------------------------------------*
3247 :h3.ASN1::TypeAssignment->BuiltinType: GraphicString->SIZE->List
3248 .*---------------------------------------------------------------------*
3249 :xmp tab=0.
3250 <TC - ASN1::TypeAssignment->BuiltinType: GraphicString->SIZE->List>
3251 <COMPILE>
3252 <VERDICT_LEAF PASS>
3253 <MODULE ASN Module-A ModuleA.asn>
3254 Module-A DEFINITIONS ::=
3255 BEGIN
3256    IMPORTS ;
3257    X ::= GraphicString (SIZE(7|13|88..nonexi))
3258 END
3259 <END_MODULE>
3260 <RESULT IF_PASS COUNT 1>
3261 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3262 <END_RESULT>
3263 <RESULT IF_PASS COUNT 1>
3264 (?is)\berror:
3265 <END_RESULT>
3266 <RESULT IF_PASS POSITIVE>
3267 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3268 <END_RESULT>
3269 <RESULT IF_FAIL NEGATIVE>
3270 (?im)\berror\b<END_RESULT>
3271 <END_TC>
3272 :exmp.
3273
3274 .*---------------------------------------------------------------------*
3275 :h3.ASN1::TypeAssignment->BuiltinType: GraphicString->Single value
3276 .*---------------------------------------------------------------------*
3277 :xmp tab=0.
3278 <TC - ASN1::TypeAssignment->BuiltinType: GraphicString->Single value>
3279 <COMPILE>
3280 <VERDICT_LEAF PASS>
3281 <MODULE ASN Module-A ModuleA.asn>
3282 Module-A DEFINITIONS ::=
3283 BEGIN
3284    IMPORTS ;
3285    X ::= GraphicString (nonexi)
3286 END
3287 <END_MODULE>
3288 <RESULT IF_PASS COUNT 1>
3289 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3290 <END_RESULT>
3291 <RESULT IF_PASS COUNT 1>
3292 (?is)\berror:
3293 <END_RESULT>
3294 <RESULT IF_PASS POSITIVE>
3295 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3296 <END_RESULT>
3297 <RESULT IF_FAIL NEGATIVE>
3298 (?im)\berror\b<END_RESULT>
3299 <END_TC>
3300 :exmp.
3301
3302 .*---------------------------------------------------------------------*
3303 :h3.ASN1::TypeAssignment->BuiltinType: GraphicString->Value list
3304 .*---------------------------------------------------------------------*
3305 :xmp tab=0.
3306 <TC - ASN1::TypeAssignment->BuiltinType: GraphicString->Value list>
3307 <COMPILE>
3308 <VERDICT_LEAF PASS>
3309 <MODULE ASN Module-A ModuleA.asn>
3310 Module-A DEFINITIONS ::=
3311 BEGIN
3312    IMPORTS ;
3313    X ::= GraphicString ("getting"|"more"|"tricky"|nonexi)
3314 END
3315 <END_MODULE>
3316 <RESULT IF_PASS COUNT 1>
3317 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3318 <END_RESULT>
3319 <RESULT IF_PASS COUNT 1>
3320 (?is)\berror:
3321 <END_RESULT>
3322 <RESULT IF_PASS POSITIVE>
3323 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3324 <END_RESULT>
3325 <RESULT IF_FAIL NEGATIVE>
3326 (?im)\berror\b<END_RESULT>
3327 <END_TC>
3328 :exmp.
3329
3330 .*---------------------------------------------------------------------*
3331 :h3.ASN1::TypeAssignment->BuiltinType: GraphicString->Alphabet constraint
3332 .*---------------------------------------------------------------------*
3333 :xmp tab=0.
3334 <TC - ASN1::TypeAssignment->BuiltinType: GraphicString->Alphabet constraint>
3335 <COMPILE>
3336 <VERDICT_LEAF PASS>
3337 <MODULE ASN Module-A ModuleA.asn>
3338 Module-A DEFINITIONS ::=
3339 BEGIN
3340    IMPORTS ;
3341    X ::= GraphicString (FROM ("0".."9"|"*"|"#"|nonexi))
3342 END
3343 <END_MODULE>
3344 <RESULT IF_PASS COUNT 1>
3345 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3346 <END_RESULT>
3347 <RESULT IF_PASS COUNT 1>
3348 (?im)\berror: Value range constraint is not allowed for type `GraphicString'
3349 <END_RESULT>
3350 <RESULT IF_PASS COUNT 2>
3351 (?is)\berror:
3352 <END_RESULT>
3353 <RESULT IF_PASS POSITIVE>
3354 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3355 <END_RESULT>
3356 <RESULT IF_FAIL NEGATIVE>
3357 (?im)\berror\b<END_RESULT>
3358 <END_TC>
3359 :exmp.
3360
3361 .*---------------------------------------------------------------------*
3362 :h3.ASN1::TypeAssignment->BuiltinType: GraphicString->PATTERN
3363 .*---------------------------------------------------------------------*
3364 :xmp tab=0.
3365 <TC - ASN1::TypeAssignment->BuiltinType: GraphicString->PATTERN>
3366 <COMPILE>
3367 <VERDICT_LEAF PASS>
3368 <MODULE ASN Module-A ModuleA.asn>
3369 Module-A DEFINITIONS ::=
3370 BEGIN
3371    IMPORTS ;
3372    X ::= GraphicString (PATTERN nonexi)
3373 END
3374 <END_MODULE>
3375 <RESULT IF_PASS COUNT 1>
3376 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3377 <END_RESULT>
3378 <RESULT IF_PASS COUNT 1>
3379 (?is)\berror:
3380 <END_RESULT>
3381 <RESULT IF_PASS POSITIVE>
3382 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3383 <END_RESULT>
3384 <RESULT IF_FAIL NEGATIVE>
3385 (?im)\berror\b<END_RESULT>
3386 <END_TC>
3387 :exmp.
3388
3389 .*---------------------------------------------------------------------*
3390 :h3.ASN1::TypeAssignment->BuiltinType: GeneralString->SIZE->Single value
3391 .*---------------------------------------------------------------------*
3392 :xmp tab=0.
3393 <TC - ASN1::TypeAssignment->BuiltinType: GeneralString->SIZE->Single value>
3394 <COMPILE>
3395 <VERDICT_LEAF PASS>
3396 <MODULE ASN Module-A ModuleA.asn>
3397 Module-A DEFINITIONS ::=
3398 BEGIN
3399    IMPORTS ;
3400    X ::= GeneralString (SIZE(nonexi))
3401 END
3402 <END_MODULE>
3403 <RESULT IF_PASS COUNT 1>
3404 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3405 <END_RESULT>
3406 <RESULT IF_PASS COUNT 1>
3407 (?is)\berror:
3408 <END_RESULT>
3409 <RESULT IF_PASS POSITIVE>
3410 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3411 <END_RESULT>
3412 <RESULT IF_FAIL NEGATIVE>
3413 (?im)\berror\b<END_RESULT>
3414 <END_TC>
3415 :exmp.
3416
3417 .*---------------------------------------------------------------------*
3418 :h3.ASN1::TypeAssignment->BuiltinType: GeneralString->SIZE->Range
3419 .*---------------------------------------------------------------------*
3420 :xmp tab=0.
3421 <TC - ASN1::TypeAssignment->BuiltinType: GeneralString->SIZE->Range>
3422 <COMPILE>
3423 <VERDICT_LEAF PASS>
3424 <MODULE ASN Module-A ModuleA.asn>
3425 Module-A DEFINITIONS ::=
3426 BEGIN
3427    IMPORTS ;
3428    X ::= GeneralString (SIZE(88..nonexi))
3429 END
3430 <END_MODULE>
3431 <RESULT IF_PASS COUNT 1>
3432 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3433 <END_RESULT>
3434 <RESULT IF_PASS COUNT 1>
3435 (?is)\berror:
3436 <END_RESULT>
3437 <RESULT IF_PASS POSITIVE>
3438 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3439 <END_RESULT>
3440 <RESULT IF_FAIL NEGATIVE>
3441 (?im)\berror\b<END_RESULT>
3442 <END_TC>
3443 :exmp.
3444
3445 .*---------------------------------------------------------------------*
3446 :h3.ASN1::TypeAssignment->BuiltinType: GeneralString->SIZE->List
3447 .*---------------------------------------------------------------------*
3448 :xmp tab=0.
3449 <TC - ASN1::TypeAssignment->BuiltinType: GeneralString->SIZE->List>
3450 <COMPILE>
3451 <VERDICT_LEAF PASS>
3452 <MODULE ASN Module-A ModuleA.asn>
3453 Module-A DEFINITIONS ::=
3454 BEGIN
3455    IMPORTS ;
3456    X ::= GeneralString (SIZE(7|13|88..nonexi))
3457 END
3458 <END_MODULE>
3459 <RESULT IF_PASS COUNT 1>
3460 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3461 <END_RESULT>
3462 <RESULT IF_PASS COUNT 1>
3463 (?is)\berror:
3464 <END_RESULT>
3465 <RESULT IF_PASS POSITIVE>
3466 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3467 <END_RESULT>
3468 <RESULT IF_FAIL NEGATIVE>
3469 (?im)\berror\b<END_RESULT>
3470 <END_TC>
3471 :exmp.
3472
3473 .*---------------------------------------------------------------------*
3474 :h3.ASN1::TypeAssignment->BuiltinType: GeneralString->Single value
3475 .*---------------------------------------------------------------------*
3476 :xmp tab=0.
3477 <TC - ASN1::TypeAssignment->BuiltinType: GeneralString->Single value>
3478 <COMPILE>
3479 <VERDICT_LEAF PASS>
3480 <MODULE ASN Module-A ModuleA.asn>
3481 Module-A DEFINITIONS ::=
3482 BEGIN
3483    IMPORTS ;
3484    X ::= GeneralString (nonexi)
3485 END
3486 <END_MODULE>
3487 <RESULT IF_PASS COUNT 1>
3488 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3489 <END_RESULT>
3490 <RESULT IF_PASS COUNT 1>
3491 (?is)\berror:
3492 <END_RESULT>
3493 <RESULT IF_PASS POSITIVE>
3494 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3495 <END_RESULT>
3496 <RESULT IF_FAIL NEGATIVE>
3497 (?im)\berror\b<END_RESULT>
3498 <END_TC>
3499 :exmp.
3500
3501 .*---------------------------------------------------------------------*
3502 :h3.ASN1::TypeAssignment->BuiltinType: GeneralString->Value list
3503 .*---------------------------------------------------------------------*
3504 :xmp tab=0.
3505 <TC - ASN1::TypeAssignment->BuiltinType: GeneralString->Value list>
3506 <COMPILE>
3507 <VERDICT_LEAF PASS>
3508 <MODULE ASN Module-A ModuleA.asn>
3509 Module-A DEFINITIONS ::=
3510 BEGIN
3511    IMPORTS ;
3512    X ::= GeneralString ("getting"|"more"|"tricky"|nonexi)
3513 END
3514 <END_MODULE>
3515 <RESULT IF_PASS COUNT 1>
3516 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3517 <END_RESULT>
3518 <RESULT IF_PASS COUNT 1>
3519 (?is)\berror:
3520 <END_RESULT>
3521 <RESULT IF_PASS POSITIVE>
3522 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3523 <END_RESULT>
3524 <RESULT IF_FAIL NEGATIVE>
3525 (?im)\berror\b<END_RESULT>
3526 <END_TC>
3527 :exmp.
3528
3529 .*---------------------------------------------------------------------*
3530 :h3.ASN1::TypeAssignment->BuiltinType: GeneralString->Alphabet constraint
3531 .*---------------------------------------------------------------------*
3532 :xmp tab=0.
3533 <TC - ASN1::TypeAssignment->BuiltinType: GeneralString->Alphabet constraint>
3534 <COMPILE>
3535 <VERDICT_LEAF PASS>
3536 <MODULE ASN Module-A ModuleA.asn>
3537 Module-A DEFINITIONS ::=
3538 BEGIN
3539    IMPORTS ;
3540    X ::= GeneralString (FROM ("0".."9"|"*"|"#"|nonexi))
3541 END
3542 <END_MODULE>
3543 <RESULT IF_PASS COUNT 1>
3544 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3545 <END_RESULT>
3546 <RESULT IF_PASS COUNT 1>
3547 (?im)\berror: Value range constraint is not allowed for type `GeneralString'
3548 <END_RESULT>
3549 <RESULT IF_PASS COUNT 2>
3550 (?is)\berror:
3551 <END_RESULT>
3552 <RESULT IF_PASS POSITIVE>
3553 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3554 <END_RESULT>
3555 <RESULT IF_FAIL NEGATIVE>
3556 (?im)\berror\b<END_RESULT>
3557 <END_TC>
3558 :exmp.
3559
3560 .*---------------------------------------------------------------------*
3561 :h3.ASN1::TypeAssignment->BuiltinType: GeneralString->PATTERN
3562 .*---------------------------------------------------------------------*
3563 :xmp tab=0.
3564 <TC - ASN1::TypeAssignment->BuiltinType: GeneralString->PATTERN>
3565 <COMPILE>
3566 <VERDICT_LEAF PASS>
3567 <MODULE ASN Module-A ModuleA.asn>
3568 Module-A DEFINITIONS ::=
3569 BEGIN
3570    IMPORTS ;
3571    X ::= GeneralString (PATTERN nonexi)
3572 END
3573 <END_MODULE>
3574 <RESULT IF_PASS COUNT 1>
3575 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3576 <END_RESULT>
3577 <RESULT IF_PASS COUNT 1>
3578 (?is)\berror:
3579 <END_RESULT>
3580 <RESULT IF_PASS POSITIVE>
3581 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3582 <END_RESULT>
3583 <RESULT IF_FAIL NEGATIVE>
3584 (?im)\berror\b<END_RESULT>
3585 <END_TC>
3586 :exmp.
3587
3588 .*---------------------------------------------------------------------*
3589 :h3.ASN1::TypeAssignment->BuiltinType: UniversalString->SIZE->Single value
3590 .*---------------------------------------------------------------------*
3591 :xmp tab=0.
3592 <TC - ASN1::TypeAssignment->BuiltinType: UniversalString->SIZE->Single value>
3593 <COMPILE>
3594 <VERDICT_LEAF PASS>
3595 <MODULE ASN Module-A ModuleA.asn>
3596 Module-A DEFINITIONS ::=
3597 BEGIN
3598    IMPORTS ;
3599    X ::= UniversalString (SIZE(nonexi))
3600 END
3601 <END_MODULE>
3602 <RESULT IF_PASS COUNT 1>
3603 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3604 <END_RESULT>
3605 <RESULT IF_PASS COUNT 1>
3606 (?is)\berror:
3607 <END_RESULT>
3608 <RESULT IF_PASS POSITIVE>
3609 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3610 <END_RESULT>
3611 <RESULT IF_FAIL NEGATIVE>
3612 (?im)\berror\b<END_RESULT>
3613 <END_TC>
3614 :exmp.
3615
3616 .*---------------------------------------------------------------------*
3617 :h3.ASN1::TypeAssignment->BuiltinType: UniversalString->SIZE->Range
3618 .*---------------------------------------------------------------------*
3619 :xmp tab=0.
3620 <TC - ASN1::TypeAssignment->BuiltinType: UniversalString->SIZE->Range>
3621 <COMPILE>
3622 <VERDICT_LEAF PASS>
3623 <MODULE ASN Module-A ModuleA.asn>
3624 Module-A DEFINITIONS ::=
3625 BEGIN
3626    IMPORTS ;
3627    X ::= UniversalString (SIZE(88..nonexi))
3628 END
3629 <END_MODULE>
3630 <RESULT IF_PASS COUNT 1>
3631 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3632 <END_RESULT>
3633 <RESULT IF_PASS COUNT 1>
3634 (?is)\berror:
3635 <END_RESULT>
3636 <RESULT IF_PASS POSITIVE>
3637 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3638 <END_RESULT>
3639 <RESULT IF_FAIL NEGATIVE>
3640 (?im)\berror\b<END_RESULT>
3641 <END_TC>
3642 :exmp.
3643
3644 .*---------------------------------------------------------------------*
3645 :h3.ASN1::TypeAssignment->BuiltinType: UniversalString->SIZE->List
3646 .*---------------------------------------------------------------------*
3647 :xmp tab=0.
3648 <TC - ASN1::TypeAssignment->BuiltinType: UniversalString->SIZE->List>
3649 <COMPILE>
3650 <VERDICT_LEAF PASS>
3651 <MODULE ASN Module-A ModuleA.asn>
3652 Module-A DEFINITIONS ::=
3653 BEGIN
3654    IMPORTS ;
3655    X ::= UniversalString (SIZE(7|13|88..nonexi))
3656 END
3657 <END_MODULE>
3658 <RESULT IF_PASS COUNT 1>
3659 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3660 <END_RESULT>
3661 <RESULT IF_PASS COUNT 1>
3662 (?is)\berror:
3663 <END_RESULT>
3664 <RESULT IF_PASS POSITIVE>
3665 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3666 <END_RESULT>
3667 <RESULT IF_FAIL NEGATIVE>
3668 (?im)\berror\b<END_RESULT>
3669 <END_TC>
3670 :exmp.
3671
3672 .*---------------------------------------------------------------------*
3673 :h3.ASN1::TypeAssignment->BuiltinType: UniversalString->Single value
3674 .*---------------------------------------------------------------------*
3675 :xmp tab=0.
3676 <TC - ASN1::TypeAssignment->BuiltinType: UniversalString->Single value>
3677 <COMPILE>
3678 <VERDICT_LEAF PASS>
3679 <MODULE ASN Module-A ModuleA.asn>
3680 Module-A DEFINITIONS ::=
3681 BEGIN
3682    IMPORTS ;
3683    X ::= UniversalString (nonexi)
3684 END
3685 <END_MODULE>
3686 <RESULT IF_PASS COUNT 1>
3687 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3688 <END_RESULT>
3689 <RESULT IF_PASS COUNT 1>
3690 (?is)\berror:
3691 <END_RESULT>
3692 <RESULT IF_PASS POSITIVE>
3693 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3694 <END_RESULT>
3695 <RESULT IF_FAIL NEGATIVE>
3696 (?im)\berror\b<END_RESULT>
3697 <END_TC>
3698 :exmp.
3699
3700 .*---------------------------------------------------------------------*
3701 :h3.ASN1::TypeAssignment->BuiltinType: UniversalString->Value list
3702 .*---------------------------------------------------------------------*
3703 :xmp tab=0.
3704 <TC - ASN1::TypeAssignment->BuiltinType: UniversalString->Value list>
3705 <COMPILE>
3706 <VERDICT_LEAF FAIL>
3707 <MODULE ASN Module-A ModuleA.asn>
3708 Module-A DEFINITIONS ::=
3709 BEGIN
3710    IMPORTS ;
3711    -- TODO
3712    X ::= UniversalString ({0 0 0 65}|nonexi)
3713 END
3714 <END_MODULE>
3715 <RESULT IF_PASS COUNT 1>
3716 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3717 <END_RESULT>
3718 <RESULT IF_PASS COUNT 1>
3719 (?is)\berror:
3720 <END_RESULT>
3721 <RESULT IF_PASS POSITIVE>
3722 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3723 <END_RESULT>
3724 <RESULT IF_FAIL NEGATIVE>
3725 (?im)\berror\b<END_RESULT>
3726 <END_TC>
3727 :exmp.
3728
3729 .*---------------------------------------------------------------------*
3730 :h3.ASN1::TypeAssignment->BuiltinType: UniversalString->Value list->Embedded
3731 .*---------------------------------------------------------------------*
3732 :xmp tab=0.
3733 <TC - ASN1::TypeAssignment->BuiltinType: UniversalString->Value list->Embedded>
3734 <COMPILE>
3735 <VERDICT_LEAF FAIL>
3736 <MODULE ASN Module-A ModuleA.asn>
3737 Module-A DEFINITIONS ::=
3738 BEGIN
3739    IMPORTS ;
3740    -- TODO
3741    X ::= UniversalString ({0 0 0 65}|{0 0 0 nonexi})
3742 END
3743 <END_MODULE>
3744 <RESULT IF_PASS COUNT 1>
3745 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3746 <END_RESULT>
3747 <RESULT IF_PASS COUNT 1>
3748 (?is)\berror:
3749 <END_RESULT>
3750 <RESULT IF_PASS POSITIVE>
3751 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3752 <END_RESULT>
3753 <RESULT IF_FAIL NEGATIVE>
3754 (?im)\berror\b<END_RESULT>
3755 <END_TC>
3756 :exmp.
3757
3758 .*---------------------------------------------------------------------*
3759 :h3.ASN1::TypeAssignment->BuiltinType: UniversalString->Alphabet constraint
3760 .*---------------------------------------------------------------------*
3761 :xmp tab=0.
3762 <TC - ASN1::TypeAssignment->BuiltinType: UniversalString->Alphabet constraint>
3763 <COMPILE>
3764 <VERDICT_LEAF PASS>
3765 <MODULE ASN Module-A ModuleA.asn>
3766 Module-A DEFINITIONS ::=
3767 BEGIN
3768    IMPORTS ;
3769    X ::= UniversalString (FROM ("0".."9"|"*"|"#"|nonexi))
3770 END
3771 <END_MODULE>
3772 <RESULT IF_PASS COUNT 1>
3773 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3774 <END_RESULT>
3775 <RESULT IF_PASS COUNT 1>
3776 (?is)\berror:
3777 <END_RESULT>
3778 <RESULT IF_PASS POSITIVE>
3779 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3780 <END_RESULT>
3781 <RESULT IF_FAIL NEGATIVE>
3782 (?im)\berror\b<END_RESULT>
3783 <END_TC>
3784 :exmp.
3785
3786 .*---------------------------------------------------------------------*
3787 :h3.ASN1::TypeAssignment->BuiltinType: UniversalString->PATTERN
3788 .*---------------------------------------------------------------------*
3789 :xmp tab=0.
3790 <TC - ASN1::TypeAssignment->BuiltinType: UniversalString->PATTERN>
3791 <COMPILE>
3792 <VERDICT_LEAF PASS>
3793 <MODULE ASN Module-A ModuleA.asn>
3794 Module-A DEFINITIONS ::=
3795 BEGIN
3796    IMPORTS ;
3797    X ::= UniversalString (PATTERN nonexi)
3798 END
3799 <END_MODULE>
3800 <RESULT IF_PASS COUNT 1>
3801 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3802 <END_RESULT>
3803 <RESULT IF_PASS COUNT 1>
3804 (?is)\berror:
3805 <END_RESULT>
3806 <RESULT IF_PASS POSITIVE>
3807 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3808 <END_RESULT>
3809 <RESULT IF_FAIL NEGATIVE>
3810 (?im)\berror\b<END_RESULT>
3811 <END_TC>
3812 :exmp.
3813
3814 .*---------------------------------------------------------------------*
3815 :h3.ASN1::TypeAssignment->BuiltinType: BMPString->SIZE->Single value
3816 .*---------------------------------------------------------------------*
3817 :xmp tab=0.
3818 <TC - ASN1::TypeAssignment->BuiltinType: BMPString->SIZE->Single value>
3819 <COMPILE>
3820 <VERDICT_LEAF PASS>
3821 <MODULE ASN Module-A ModuleA.asn>
3822 Module-A DEFINITIONS ::=
3823 BEGIN
3824    IMPORTS ;
3825    X ::= BMPString (SIZE(nonexi))
3826 END
3827 <END_MODULE>
3828 <RESULT IF_PASS COUNT 1>
3829 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3830 <END_RESULT>
3831 <RESULT IF_PASS COUNT 1>
3832 (?is)\berror:
3833 <END_RESULT>
3834 <RESULT IF_PASS POSITIVE>
3835 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3836 <END_RESULT>
3837 <RESULT IF_FAIL NEGATIVE>
3838 (?im)\berror\b<END_RESULT>
3839 <END_TC>
3840 :exmp.
3841
3842 .*---------------------------------------------------------------------*
3843 :h3.ASN1::TypeAssignment->BuiltinType: BMPString->SIZE->Range
3844 .*---------------------------------------------------------------------*
3845 :xmp tab=0.
3846 <TC - ASN1::TypeAssignment->BuiltinType: BMPString->SIZE->Range>
3847 <COMPILE>
3848 <VERDICT_LEAF PASS>
3849 <MODULE ASN Module-A ModuleA.asn>
3850 Module-A DEFINITIONS ::=
3851 BEGIN
3852    IMPORTS ;
3853    X ::= BMPString (SIZE(88..nonexi))
3854 END
3855 <END_MODULE>
3856 <RESULT IF_PASS COUNT 1>
3857 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3858 <END_RESULT>
3859 <RESULT IF_PASS COUNT 1>
3860 (?is)\berror:
3861 <END_RESULT>
3862 <RESULT IF_PASS POSITIVE>
3863 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3864 <END_RESULT>
3865 <RESULT IF_FAIL NEGATIVE>
3866 (?im)\berror\b<END_RESULT>
3867 <END_TC>
3868 :exmp.
3869
3870 .*---------------------------------------------------------------------*
3871 :h3.ASN1::TypeAssignment->BuiltinType: BMPString->SIZE->List
3872 .*---------------------------------------------------------------------*
3873 :xmp tab=0.
3874 <TC - ASN1::TypeAssignment->BuiltinType: BMPString->SIZE->List>
3875 <COMPILE>
3876 <VERDICT_LEAF PASS>
3877 <MODULE ASN Module-A ModuleA.asn>
3878 Module-A DEFINITIONS ::=
3879 BEGIN
3880    IMPORTS ;
3881    X ::= BMPString (SIZE(7|13|88..nonexi))
3882 END
3883 <END_MODULE>
3884 <RESULT IF_PASS COUNT 1>
3885 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3886 <END_RESULT>
3887 <RESULT IF_PASS COUNT 1>
3888 (?is)\berror:
3889 <END_RESULT>
3890 <RESULT IF_PASS POSITIVE>
3891 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3892 <END_RESULT>
3893 <RESULT IF_FAIL NEGATIVE>
3894 (?im)\berror\b<END_RESULT>
3895 <END_TC>
3896 :exmp.
3897
3898 .*---------------------------------------------------------------------*
3899 :h3.ASN1::TypeAssignment->BuiltinType: BMPString->Single value
3900 .*---------------------------------------------------------------------*
3901 :xmp tab=0.
3902 <TC - ASN1::TypeAssignment->BuiltinType: BMPString->Single value>
3903 <COMPILE>
3904 <VERDICT_LEAF PASS>
3905 <MODULE ASN Module-A ModuleA.asn>
3906 Module-A DEFINITIONS ::=
3907 BEGIN
3908    IMPORTS ;
3909    X ::= BMPString (nonexi)
3910 END
3911 <END_MODULE>
3912 <RESULT IF_PASS COUNT 1>
3913 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3914 <END_RESULT>
3915 <RESULT IF_PASS COUNT 1>
3916 (?is)\berror:
3917 <END_RESULT>
3918 <RESULT IF_PASS POSITIVE>
3919 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3920 <END_RESULT>
3921 <RESULT IF_FAIL NEGATIVE>
3922 (?im)\berror\b<END_RESULT>
3923 <END_TC>
3924 :exmp.
3925
3926 .*---------------------------------------------------------------------*
3927 :h3.ASN1::TypeAssignment->BuiltinType: BMPString->Value list
3928 .*---------------------------------------------------------------------*
3929 :xmp tab=0.
3930 <TC - ASN1::TypeAssignment->BuiltinType: BMPString->Value list>
3931 <COMPILE>
3932 <VERDICT_LEAF FAIL>
3933 <MODULE ASN Module-A ModuleA.asn>
3934 Module-A DEFINITIONS ::=
3935 BEGIN
3936    IMPORTS ;
3937    -- TODO
3938    X ::= BMPString ({0 0 0 65}|nonexi)
3939 END
3940 <END_MODULE>
3941 <RESULT IF_PASS COUNT 1>
3942 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3943 <END_RESULT>
3944 <RESULT IF_PASS COUNT 1>
3945 (?is)\berror:
3946 <END_RESULT>
3947 <RESULT IF_PASS POSITIVE>
3948 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3949 <END_RESULT>
3950 <RESULT IF_FAIL NEGATIVE>
3951 (?im)\berror\b<END_RESULT>
3952 <END_TC>
3953 :exmp.
3954
3955 .*---------------------------------------------------------------------*
3956 :h3.ASN1::TypeAssignment->BuiltinType: BMPString->Value list->Embedded
3957 .*---------------------------------------------------------------------*
3958 :xmp tab=0.
3959 <TC - ASN1::TypeAssignment->BuiltinType: BMPString->Value list->Embedded>
3960 <COMPILE>
3961 <VERDICT_LEAF FAIL>
3962 <MODULE ASN Module-A ModuleA.asn>
3963 Module-A DEFINITIONS ::=
3964 BEGIN
3965    IMPORTS ;
3966    -- TODO
3967    X ::= BMPString ({0 0 0 65}|{0 0 0 nonexi})
3968 END
3969 <END_MODULE>
3970 <RESULT IF_PASS COUNT 1>
3971 (?im)\berror\b.+?no.+?assignment.+?Nonexi
3972 <END_RESULT>
3973 <RESULT IF_PASS COUNT 1>
3974 (?is)\berror:
3975 <END_RESULT>
3976 <RESULT IF_PASS POSITIVE>
3977 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
3978 <END_RESULT>
3979 <RESULT IF_FAIL NEGATIVE>
3980 (?im)\berror\b<END_RESULT>
3981 <END_TC>
3982 :exmp.
3983
3984 .*---------------------------------------------------------------------*
3985 :h3.ASN1::TypeAssignment->BuiltinType: BMPString->Alphabet constraint
3986 .*---------------------------------------------------------------------*
3987 :xmp tab=0.
3988 <TC - ASN1::TypeAssignment->BuiltinType: BMPString->Alphabet constraint>
3989 <COMPILE>
3990 <VERDICT_LEAF PASS>
3991 <MODULE ASN Module-A ModuleA.asn>
3992 Module-A DEFINITIONS ::=
3993 BEGIN
3994    IMPORTS ;
3995    X ::= BMPString (FROM ("0".."9"|"*"|"#"|nonexi))
3996 END
3997 <END_MODULE>
3998 <RESULT IF_PASS COUNT 1>
3999 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4000 <END_RESULT>
4001 <RESULT IF_PASS COUNT 1>
4002 (?is)\berror:
4003 <END_RESULT>
4004 <RESULT IF_PASS POSITIVE>
4005 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4006 <END_RESULT>
4007 <RESULT IF_FAIL NEGATIVE>
4008 (?im)\berror\b<END_RESULT>
4009 <END_TC>
4010 :exmp.
4011
4012 .*---------------------------------------------------------------------*
4013 :h3.ASN1::TypeAssignment->BuiltinType: BMPString->PATTERN
4014 .*---------------------------------------------------------------------*
4015 :xmp tab=0.
4016 <TC - ASN1::TypeAssignment->BuiltinType: BMPString->PATTERN>
4017 <COMPILE>
4018 <VERDICT_LEAF PASS>
4019 <MODULE ASN Module-A ModuleA.asn>
4020 Module-A DEFINITIONS ::=
4021 BEGIN
4022    IMPORTS ;
4023    X ::= BMPString (PATTERN nonexi)
4024 END
4025 <END_MODULE>
4026 <RESULT IF_PASS COUNT 1>
4027 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4028 <END_RESULT>
4029 <RESULT IF_PASS COUNT 1>
4030 (?is)\berror:
4031 <END_RESULT>
4032 <RESULT IF_PASS POSITIVE>
4033 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4034 <END_RESULT>
4035 <RESULT IF_FAIL NEGATIVE>
4036 (?im)\berror\b<END_RESULT>
4037 <END_TC>
4038 :exmp.
4039
4040 .*---------------------------------------------------------------------*
4041 :h3.ASN1::TypeAssignment->BuiltinType: UTF8String->SIZE->Single value
4042 .*---------------------------------------------------------------------*
4043 :xmp tab=0.
4044 <TC - ASN1::TypeAssignment->BuiltinType: UTF8String->SIZE->Single value>
4045 <COMPILE>
4046 <VERDICT_LEAF PASS>
4047 <MODULE ASN Module-A ModuleA.asn>
4048 Module-A DEFINITIONS ::=
4049 BEGIN
4050    IMPORTS ;
4051    X ::= UTF8String (SIZE(nonexi))
4052 END
4053 <END_MODULE>
4054 <RESULT IF_PASS COUNT 1>
4055 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4056 <END_RESULT>
4057 <RESULT IF_PASS COUNT 1>
4058 (?is)\berror:
4059 <END_RESULT>
4060 <RESULT IF_PASS POSITIVE>
4061 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4062 <END_RESULT>
4063 <RESULT IF_FAIL NEGATIVE>
4064 (?im)\berror\b<END_RESULT>
4065 <END_TC>
4066 :exmp.
4067
4068 .*---------------------------------------------------------------------*
4069 :h3.ASN1::TypeAssignment->BuiltinType: UTF8String->SIZE->Range
4070 .*---------------------------------------------------------------------*
4071 :xmp tab=0.
4072 <TC - ASN1::TypeAssignment->BuiltinType: UTF8String->SIZE->Range>
4073 <COMPILE>
4074 <VERDICT_LEAF PASS>
4075 <MODULE ASN Module-A ModuleA.asn>
4076 Module-A DEFINITIONS ::=
4077 BEGIN
4078    IMPORTS ;
4079    X ::= UTF8String (SIZE(88..nonexi))
4080 END
4081 <END_MODULE>
4082 <RESULT IF_PASS COUNT 1>
4083 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4084 <END_RESULT>
4085 <RESULT IF_PASS COUNT 1>
4086 (?is)\berror:
4087 <END_RESULT>
4088 <RESULT IF_PASS POSITIVE>
4089 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4090 <END_RESULT>
4091 <RESULT IF_FAIL NEGATIVE>
4092 (?im)\berror\b<END_RESULT>
4093 <END_TC>
4094 :exmp.
4095
4096 .*---------------------------------------------------------------------*
4097 :h3.ASN1::TypeAssignment->BuiltinType: UTF8String->SIZE->List
4098 .*---------------------------------------------------------------------*
4099 :xmp tab=0.
4100 <TC - ASN1::TypeAssignment->BuiltinType: UTF8String->SIZE->List>
4101 <COMPILE>
4102 <VERDICT_LEAF PASS>
4103 <MODULE ASN Module-A ModuleA.asn>
4104 Module-A DEFINITIONS ::=
4105 BEGIN
4106    IMPORTS ;
4107    X ::= UTF8String (SIZE(7|13|88..nonexi))
4108 END
4109 <END_MODULE>
4110 <RESULT IF_PASS COUNT 1>
4111 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4112 <END_RESULT>
4113 <RESULT IF_PASS COUNT 1>
4114 (?is)\berror:
4115 <END_RESULT>
4116 <RESULT IF_PASS POSITIVE>
4117 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4118 <END_RESULT>
4119 <RESULT IF_FAIL NEGATIVE>
4120 (?im)\berror\b<END_RESULT>
4121 <END_TC>
4122 :exmp.
4123
4124 .*---------------------------------------------------------------------*
4125 :h3.ASN1::TypeAssignment->BuiltinType: UTF8String->Single value
4126 .*---------------------------------------------------------------------*
4127 :xmp tab=0.
4128 <TC - ASN1::TypeAssignment->BuiltinType: UTF8String->Single value>
4129 <COMPILE>
4130 <VERDICT_LEAF PASS>
4131 <MODULE ASN Module-A ModuleA.asn>
4132 Module-A DEFINITIONS ::=
4133 BEGIN
4134    IMPORTS ;
4135    X ::= UTF8String (nonexi)
4136 END
4137 <END_MODULE>
4138 <RESULT IF_PASS COUNT 1>
4139 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4140 <END_RESULT>
4141 <RESULT IF_PASS COUNT 1>
4142 (?is)\berror:
4143 <END_RESULT>
4144 <RESULT IF_PASS POSITIVE>
4145 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4146 <END_RESULT>
4147 <RESULT IF_FAIL NEGATIVE>
4148 (?im)\berror\b<END_RESULT>
4149 <END_TC>
4150 :exmp.
4151
4152 .*---------------------------------------------------------------------*
4153 :h3.ASN1::TypeAssignment->BuiltinType: UTF8String->Value list
4154 .*---------------------------------------------------------------------*
4155 :xmp tab=0.
4156 <TC - ASN1::TypeAssignment->BuiltinType: UTF8String->Value list>
4157 <COMPILE>
4158 <VERDICT_LEAF PASS>
4159 <MODULE ASN Module-A ModuleA.asn>
4160 Module-A DEFINITIONS ::=
4161 BEGIN
4162    IMPORTS ;
4163    X ::= UTF8String ("getting"|"more"|"tricky"|nonexi)
4164 END
4165 <END_MODULE>
4166 <RESULT IF_PASS COUNT 1>
4167 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4168 <END_RESULT>
4169 <RESULT IF_PASS COUNT 1>
4170 (?is)\berror:
4171 <END_RESULT>
4172 <RESULT IF_PASS POSITIVE>
4173 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4174 <END_RESULT>
4175 <RESULT IF_FAIL NEGATIVE>
4176 (?im)\berror\b<END_RESULT>
4177 <END_TC>
4178 :exmp.
4179
4180 .*---------------------------------------------------------------------*
4181 :h3.ASN1::TypeAssignment->BuiltinType: UTF8String->Alphabet constraint
4182 .*---------------------------------------------------------------------*
4183 :xmp tab=0.
4184 <TC - ASN1::TypeAssignment->BuiltinType: UTF8String->Alphabet constraint>
4185 <COMPILE>
4186 <VERDICT_LEAF PASS>
4187 <MODULE ASN Module-A ModuleA.asn>
4188 Module-A DEFINITIONS ::=
4189 BEGIN
4190    IMPORTS ;
4191    X ::= UTF8String (FROM ("0".."9"|"*"|"#"|nonexi))
4192 END
4193 <END_MODULE>
4194 <RESULT IF_PASS COUNT 1>
4195 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4196 <END_RESULT>
4197 <RESULT IF_PASS COUNT 1>
4198 (?is)\berror:
4199 <END_RESULT>
4200 <RESULT IF_PASS POSITIVE>
4201 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4202 <END_RESULT>
4203 <RESULT IF_FAIL NEGATIVE>
4204 (?im)\berror\b<END_RESULT>
4205 <END_TC>
4206 :exmp.
4207
4208 .*---------------------------------------------------------------------*
4209 :h3.ASN1::TypeAssignment->BuiltinType: UTF8String->PATTERN
4210 .*---------------------------------------------------------------------*
4211 :xmp tab=0.
4212 <TC - ASN1::TypeAssignment->BuiltinType: UTF8String->PATTERN>
4213 <COMPILE>
4214 <VERDICT_LEAF PASS>
4215 <MODULE ASN Module-A ModuleA.asn>
4216 Module-A DEFINITIONS ::=
4217 BEGIN
4218    IMPORTS ;
4219    X ::= UTF8String (PATTERN nonexi)
4220 END
4221 <END_MODULE>
4222 <RESULT IF_PASS COUNT 1>
4223 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4224 <END_RESULT>
4225 <RESULT IF_PASS COUNT 1>
4226 (?is)\berror:
4227 <END_RESULT>
4228 <RESULT IF_PASS POSITIVE>
4229 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4230 <END_RESULT>
4231 <RESULT IF_FAIL NEGATIVE>
4232 (?im)\berror\b<END_RESULT>
4233 <END_TC>
4234 :exmp.
4235
4236 .*---------------------------------------------------------------------*
4237 :h3.ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->SIZE->Single value
4238 .*---------------------------------------------------------------------*
4239 :xmp tab=0.
4240 <TC - ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->SIZE->Single value>
4241 <COMPILE>
4242 <VERDICT_LEAF PASS>
4243 <MODULE ASN Module-A ModuleA.asn>
4244 Module-A DEFINITIONS ::=
4245 BEGIN
4246    IMPORTS ;
4247    X ::= ObjectDescriptor (SIZE(nonexi))
4248 END
4249 <END_MODULE>
4250 <RESULT IF_PASS COUNT 1>
4251 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4252 <END_RESULT>
4253 <RESULT IF_PASS COUNT 1>
4254 (?is)\berror:
4255 <END_RESULT>
4256 <RESULT IF_PASS POSITIVE>
4257 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4258 <END_RESULT>
4259 <RESULT IF_FAIL NEGATIVE>
4260 (?im)\berror\b<END_RESULT>
4261 <END_TC>
4262 :exmp.
4263
4264 .*---------------------------------------------------------------------*
4265 :h3.ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->SIZE->Range
4266 .*---------------------------------------------------------------------*
4267 :xmp tab=0.
4268 <TC - ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->SIZE->Range>
4269 <COMPILE>
4270 <VERDICT_LEAF PASS>
4271 <MODULE ASN Module-A ModuleA.asn>
4272 Module-A DEFINITIONS ::=
4273 BEGIN
4274    IMPORTS ;
4275    X ::= ObjectDescriptor (SIZE(88..nonexi))
4276 END
4277 <END_MODULE>
4278 <RESULT IF_PASS COUNT 1>
4279 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4280 <END_RESULT>
4281 <RESULT IF_PASS COUNT 1>
4282 (?is)\berror:
4283 <END_RESULT>
4284 <RESULT IF_PASS POSITIVE>
4285 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4286 <END_RESULT>
4287 <RESULT IF_FAIL NEGATIVE>
4288 (?im)\berror\b<END_RESULT>
4289 <END_TC>
4290 :exmp.
4291
4292 .*---------------------------------------------------------------------*
4293 :h3.ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->SIZE->List
4294 .*---------------------------------------------------------------------*
4295 :xmp tab=0.
4296 <TC - ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->SIZE->List>
4297 <COMPILE>
4298 <VERDICT_LEAF PASS>
4299 <MODULE ASN Module-A ModuleA.asn>
4300 Module-A DEFINITIONS ::=
4301 BEGIN
4302    IMPORTS ;
4303    X ::= ObjectDescriptor (SIZE(7|13|88..nonexi))
4304 END
4305 <END_MODULE>
4306 <RESULT IF_PASS COUNT 1>
4307 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4308 <END_RESULT>
4309 <RESULT IF_PASS COUNT 1>
4310 (?is)\berror:
4311 <END_RESULT>
4312 <RESULT IF_PASS POSITIVE>
4313 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4314 <END_RESULT>
4315 <RESULT IF_FAIL NEGATIVE>
4316 (?im)\berror\b<END_RESULT>
4317 <END_TC>
4318 :exmp.
4319
4320 .*---------------------------------------------------------------------*
4321 :h3.ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->Single value
4322 .*---------------------------------------------------------------------*
4323 :xmp tab=0.
4324 <TC - ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->Single value>
4325 <COMPILE>
4326 <VERDICT_LEAF PASS>
4327 <MODULE ASN Module-A ModuleA.asn>
4328 Module-A DEFINITIONS ::=
4329 BEGIN
4330    IMPORTS ;
4331    X ::= ObjectDescriptor (nonexi)
4332 END
4333 <END_MODULE>
4334 <RESULT IF_PASS COUNT 1>
4335 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4336 <END_RESULT>
4337 <RESULT IF_PASS COUNT 1>
4338 (?is)\berror:
4339 <END_RESULT>
4340 <RESULT IF_PASS POSITIVE>
4341 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4342 <END_RESULT>
4343 <RESULT IF_FAIL NEGATIVE>
4344 (?im)\berror\b<END_RESULT>
4345 <END_TC>
4346 :exmp.
4347
4348 .*---------------------------------------------------------------------*
4349 :h3.ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->Value list
4350 .*---------------------------------------------------------------------*
4351 :xmp tab=0.
4352 <TC - ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->Value list>
4353 <COMPILE>
4354 <VERDICT_LEAF PASS>
4355 <MODULE ASN Module-A ModuleA.asn>
4356 Module-A DEFINITIONS ::=
4357 BEGIN
4358    IMPORTS ;
4359    X ::= ObjectDescriptor ("getting"|"more"|"tricky"|nonexi)
4360 END
4361 <END_MODULE>
4362 <RESULT IF_PASS COUNT 1>
4363 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4364 <END_RESULT>
4365 <RESULT IF_PASS COUNT 1>
4366 (?is)\berror:
4367 <END_RESULT>
4368 <RESULT IF_PASS POSITIVE>
4369 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4370 <END_RESULT>
4371 <RESULT IF_FAIL NEGATIVE>
4372 (?im)\berror\b<END_RESULT>
4373 <END_TC>
4374 :exmp.
4375
4376 .*---------------------------------------------------------------------*
4377 :h3.ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->Alphabet constraint
4378 .*---------------------------------------------------------------------*
4379 :xmp tab=0.
4380 <TC - ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->Alphabet constraint>
4381 <COMPILE>
4382 <VERDICT_LEAF PASS>
4383 <MODULE ASN Module-A ModuleA.asn>
4384 Module-A DEFINITIONS ::=
4385 BEGIN
4386    IMPORTS ;
4387    X ::= ObjectDescriptor (FROM ("0".."9"|"*"|"#"|nonexi))
4388 END
4389 <END_MODULE>
4390 <RESULT IF_PASS COUNT 1>
4391 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4392 <END_RESULT>
4393 <RESULT IF_PASS COUNT 1>
4394 (?im)\berror: Value range constraint is not allowed for type `ObjectDescriptor'
4395 <END_RESULT>
4396 <RESULT IF_PASS COUNT 2>
4397 (?is)\berror:
4398 <END_RESULT>
4399 <RESULT IF_PASS POSITIVE>
4400 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4401 <END_RESULT>
4402 <RESULT IF_FAIL NEGATIVE>
4403 (?im)\berror\b<END_RESULT>
4404 <END_TC>
4405 :exmp.
4406
4407 .*---------------------------------------------------------------------*
4408 :h3.ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->PATTERN
4409 .*---------------------------------------------------------------------*
4410 :xmp tab=0.
4411 <TC - ASN1::TypeAssignment->BuiltinType: ObjectDescriptor->PATTERN>
4412 <COMPILE>
4413 <VERDICT_LEAF PASS>
4414 <MODULE ASN Module-A ModuleA.asn>
4415 Module-A DEFINITIONS ::=
4416 BEGIN
4417    IMPORTS ;
4418    X ::= ObjectDescriptor (PATTERN nonexi)
4419 END
4420 <END_MODULE>
4421 <RESULT IF_PASS COUNT 1>
4422 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4423 <END_RESULT>
4424 <RESULT IF_PASS COUNT 1>
4425 (?is)\berror:
4426 <END_RESULT>
4427 <RESULT IF_PASS POSITIVE>
4428 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4429 <END_RESULT>
4430 <RESULT IF_FAIL NEGATIVE>
4431 (?im)\berror\b<END_RESULT>
4432 <END_TC>
4433 :exmp.
4434
4435 .*---------------------------------------------------------------------*
4436 :h3.ASN1::TypeAssignment->BuiltinType: GeneralizedTime->SIZE->Single value
4437 .*---------------------------------------------------------------------*
4438 :xmp tab=0.
4439 <TC - ASN1::TypeAssignment->BuiltinType: GeneralizedTime->SIZE->Single value>
4440 <COMPILE>
4441 <VERDICT_LEAF PASS>
4442 <MODULE ASN Module-A ModuleA.asn>
4443 Module-A DEFINITIONS ::=
4444 BEGIN
4445    IMPORTS ;
4446    X ::= GeneralizedTime (SIZE(nonexi))
4447 END
4448 <END_MODULE>
4449 <RESULT IF_PASS COUNT 1>
4450 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4451 <END_RESULT>
4452 <RESULT IF_PASS COUNT 1>
4453 (?is)\berror:
4454 <END_RESULT>
4455 <RESULT IF_PASS POSITIVE>
4456 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4457 <END_RESULT>
4458 <RESULT IF_FAIL NEGATIVE>
4459 (?im)\berror\b<END_RESULT>
4460 <END_TC>
4461 :exmp.
4462
4463 .*---------------------------------------------------------------------*
4464 :h3.ASN1::TypeAssignment->BuiltinType: GeneralizedTime->SIZE->Range
4465 .*---------------------------------------------------------------------*
4466 :xmp tab=0.
4467 <TC - ASN1::TypeAssignment->BuiltinType: GeneralizedTime->SIZE->Range>
4468 <COMPILE>
4469 <VERDICT_LEAF PASS>
4470 <MODULE ASN Module-A ModuleA.asn>
4471 Module-A DEFINITIONS ::=
4472 BEGIN
4473    IMPORTS ;
4474    X ::= GeneralizedTime (SIZE(88..nonexi))
4475 END
4476 <END_MODULE>
4477 <RESULT IF_PASS COUNT 1>
4478 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4479 <END_RESULT>
4480 <RESULT IF_PASS COUNT 1>
4481 (?is)\berror:
4482 <END_RESULT>
4483 <RESULT IF_PASS POSITIVE>
4484 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4485 <END_RESULT>
4486 <RESULT IF_FAIL NEGATIVE>
4487 (?im)\berror\b<END_RESULT>
4488 <END_TC>
4489 :exmp.
4490
4491 .*---------------------------------------------------------------------*
4492 :h3.ASN1::TypeAssignment->BuiltinType: GeneralizedTime->SIZE->List
4493 .*---------------------------------------------------------------------*
4494 :xmp tab=0.
4495 <TC - ASN1::TypeAssignment->BuiltinType: GeneralizedTime->SIZE->List>
4496 <COMPILE>
4497 <VERDICT_LEAF PASS>
4498 <MODULE ASN Module-A ModuleA.asn>
4499 Module-A DEFINITIONS ::=
4500 BEGIN
4501    IMPORTS ;
4502    X ::= GeneralizedTime (SIZE(7|13|88..nonexi))
4503 END
4504 <END_MODULE>
4505 <RESULT IF_PASS COUNT 1>
4506 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4507 <END_RESULT>
4508 <RESULT IF_PASS COUNT 1>
4509 (?is)\berror:
4510 <END_RESULT>
4511 <RESULT IF_PASS POSITIVE>
4512 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4513 <END_RESULT>
4514 <RESULT IF_FAIL NEGATIVE>
4515 (?im)\berror\b<END_RESULT>
4516 <END_TC>
4517 :exmp.
4518
4519 .*---------------------------------------------------------------------*
4520 :h3.ASN1::TypeAssignment->BuiltinType: GeneralizedTime->Single value
4521 .*---------------------------------------------------------------------*
4522 :xmp tab=0.
4523 <TC - ASN1::TypeAssignment->BuiltinType: GeneralizedTime->Single value>
4524 <COMPILE>
4525 <VERDICT_LEAF PASS>
4526 <MODULE ASN Module-A ModuleA.asn>
4527 Module-A DEFINITIONS ::=
4528 BEGIN
4529    IMPORTS ;
4530    X ::= GeneralizedTime (nonexi)
4531 END
4532 <END_MODULE>
4533 <RESULT IF_PASS COUNT 1>
4534 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4535 <END_RESULT>
4536 <RESULT IF_PASS COUNT 1>
4537 (?is)\berror:
4538 <END_RESULT>
4539 <RESULT IF_PASS POSITIVE>
4540 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4541 <END_RESULT>
4542 <RESULT IF_FAIL NEGATIVE>
4543 (?im)\berror\b<END_RESULT>
4544 <END_TC>
4545 :exmp.
4546
4547 .*---------------------------------------------------------------------*
4548 :h3.ASN1::TypeAssignment->BuiltinType: GeneralizedTime->Value list
4549 .*---------------------------------------------------------------------*
4550 :xmp tab=0.
4551 <TC - ASN1::TypeAssignment->BuiltinType: GeneralizedTime->Value list>
4552 <COMPILE>
4553 <VERDICT_LEAF PASS>
4554 <MODULE ASN Module-A ModuleA.asn>
4555 Module-A DEFINITIONS ::=
4556 BEGIN
4557    IMPORTS ;
4558    X ::= GeneralizedTime ("getting"|"more"|"tricky"|nonexi)
4559 END
4560 <END_MODULE>
4561 <RESULT IF_PASS COUNT 1>
4562 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4563 <END_RESULT>
4564 <RESULT IF_PASS COUNT 1>
4565 (?is)\berror:
4566 <END_RESULT>
4567 <RESULT IF_PASS POSITIVE>
4568 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4569 <END_RESULT>
4570 <RESULT IF_FAIL NEGATIVE>
4571 (?im)\berror\b<END_RESULT>
4572 <END_TC>
4573 :exmp.
4574
4575 .*---------------------------------------------------------------------*
4576 :h3.ASN1::TypeAssignment->BuiltinType: GeneralizedTime->Alphabet constraint
4577 .*---------------------------------------------------------------------*
4578 :xmp tab=0.
4579 <TC - ASN1::TypeAssignment->BuiltinType: GeneralizedTime->Alphabet constraint>
4580 <COMPILE>
4581 <VERDICT_LEAF PASS>
4582 <MODULE ASN Module-A ModuleA.asn>
4583 Module-A DEFINITIONS ::=
4584 BEGIN
4585    IMPORTS ;
4586    X ::= GeneralizedTime (FROM ("0".."9"|"*"|"#"|nonexi))
4587 END
4588 <END_MODULE>
4589 <RESULT IF_PASS COUNT 1>
4590 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4591 <END_RESULT>
4592 <RESULT IF_PASS COUNT 1>
4593 (?im)\berror: Value range constraint is not allowed for type `GeneralizedTime'
4594 <END_RESULT>
4595 <RESULT IF_PASS COUNT 2>
4596 (?is)\berror:
4597 <END_RESULT>
4598 <RESULT IF_PASS POSITIVE>
4599 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4600 <END_RESULT>
4601 <RESULT IF_FAIL NEGATIVE>
4602 (?im)\berror\b<END_RESULT>
4603 <END_TC>
4604 :exmp.
4605
4606 .*---------------------------------------------------------------------*
4607 :h3.ASN1::TypeAssignment->BuiltinType: GeneralizedTime->PATTERN
4608 .*---------------------------------------------------------------------*
4609 :xmp tab=0.
4610 <TC - ASN1::TypeAssignment->BuiltinType: GeneralizedTime->PATTERN>
4611 <COMPILE>
4612 <VERDICT_LEAF PASS>
4613 <MODULE ASN Module-A ModuleA.asn>
4614 Module-A DEFINITIONS ::=
4615 BEGIN
4616    IMPORTS ;
4617    X ::= GeneralizedTime (PATTERN nonexi)
4618 END
4619 <END_MODULE>
4620 <RESULT IF_PASS COUNT 1>
4621 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4622 <END_RESULT>
4623 <RESULT IF_PASS COUNT 1>
4624 (?is)\berror:
4625 <END_RESULT>
4626 <RESULT IF_PASS POSITIVE>
4627 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4628 <END_RESULT>
4629 <RESULT IF_FAIL NEGATIVE>
4630 (?im)\berror\b<END_RESULT>
4631 <END_TC>
4632 :exmp.
4633
4634 .*---------------------------------------------------------------------*
4635 :h3.ASN1::TypeAssignment->BuiltinType: UTCTime->SIZE->Single value
4636 .*---------------------------------------------------------------------*
4637 :xmp tab=0.
4638 <TC - ASN1::TypeAssignment->BuiltinType: UTCTime->SIZE->Single value>
4639 <COMPILE>
4640 <VERDICT_LEAF PASS>
4641 <MODULE ASN Module-A ModuleA.asn>
4642 Module-A DEFINITIONS ::=
4643 BEGIN
4644    IMPORTS ;
4645    X ::= UTCTime (SIZE(nonexi))
4646 END
4647 <END_MODULE>
4648 <RESULT IF_PASS COUNT 1>
4649 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4650 <END_RESULT>
4651 <RESULT IF_PASS COUNT 1>
4652 (?is)\berror:
4653 <END_RESULT>
4654 <RESULT IF_PASS POSITIVE>
4655 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4656 <END_RESULT>
4657 <RESULT IF_FAIL NEGATIVE>
4658 (?im)\berror\b<END_RESULT>
4659 <END_TC>
4660 :exmp.
4661
4662 .*---------------------------------------------------------------------*
4663 :h3.ASN1::TypeAssignment->BuiltinType: UTCTime->SIZE->Range
4664 .*---------------------------------------------------------------------*
4665 :xmp tab=0.
4666 <TC - ASN1::TypeAssignment->BuiltinType: UTCTime->SIZE->Range>
4667 <COMPILE>
4668 <VERDICT_LEAF PASS>
4669 <MODULE ASN Module-A ModuleA.asn>
4670 Module-A DEFINITIONS ::=
4671 BEGIN
4672    IMPORTS ;
4673    X ::= UTCTime (SIZE(88..nonexi))
4674 END
4675 <END_MODULE>
4676 <RESULT IF_PASS COUNT 1>
4677 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4678 <END_RESULT>
4679 <RESULT IF_PASS COUNT 1>
4680 (?is)\berror:
4681 <END_RESULT>
4682 <RESULT IF_PASS POSITIVE>
4683 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4684 <END_RESULT>
4685 <RESULT IF_FAIL NEGATIVE>
4686 (?im)\berror\b<END_RESULT>
4687 <END_TC>
4688 :exmp.
4689
4690 .*---------------------------------------------------------------------*
4691 :h3.ASN1::TypeAssignment->BuiltinType: UTCTime->SIZE->List
4692 .*---------------------------------------------------------------------*
4693 :xmp tab=0.
4694 <TC - ASN1::TypeAssignment->BuiltinType: UTCTime->SIZE->List>
4695 <COMPILE>
4696 <VERDICT_LEAF PASS>
4697 <MODULE ASN Module-A ModuleA.asn>
4698 Module-A DEFINITIONS ::=
4699 BEGIN
4700    IMPORTS ;
4701    X ::= UTCTime (SIZE(7|13|88..nonexi))
4702 END
4703 <END_MODULE>
4704 <RESULT IF_PASS COUNT 1>
4705 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4706 <END_RESULT>
4707 <RESULT IF_PASS COUNT 1>
4708 (?is)\berror:
4709 <END_RESULT>
4710 <RESULT IF_PASS POSITIVE>
4711 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4712 <END_RESULT>
4713 <RESULT IF_FAIL NEGATIVE>
4714 (?im)\berror\b<END_RESULT>
4715 <END_TC>
4716 :exmp.
4717
4718 .*---------------------------------------------------------------------*
4719 :h3.ASN1::TypeAssignment->BuiltinType: UTCTime->Single value
4720 .*---------------------------------------------------------------------*
4721 :xmp tab=0.
4722 <TC - ASN1::TypeAssignment->BuiltinType: UTCTime->Single value>
4723 <COMPILE>
4724 <VERDICT_LEAF PASS>
4725 <MODULE ASN Module-A ModuleA.asn>
4726 Module-A DEFINITIONS ::=
4727 BEGIN
4728    IMPORTS ;
4729    X ::= UTCTime (nonexi)
4730 END
4731 <END_MODULE>
4732 <RESULT IF_PASS COUNT 1>
4733 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4734 <END_RESULT>
4735 <RESULT IF_PASS COUNT 1>
4736 (?is)\berror:
4737 <END_RESULT>
4738 <RESULT IF_PASS POSITIVE>
4739 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4740 <END_RESULT>
4741 <RESULT IF_FAIL NEGATIVE>
4742 (?im)\berror\b<END_RESULT>
4743 <END_TC>
4744 :exmp.
4745
4746 .*---------------------------------------------------------------------*
4747 :h3.ASN1::TypeAssignment->BuiltinType: UTCTime->Value list
4748 .*---------------------------------------------------------------------*
4749 :xmp tab=0.
4750 <TC - ASN1::TypeAssignment->BuiltinType: UTCTime->Value list>
4751 <COMPILE>
4752 <VERDICT_LEAF PASS>
4753 <MODULE ASN Module-A ModuleA.asn>
4754 Module-A DEFINITIONS ::=
4755 BEGIN
4756    IMPORTS ;
4757    X ::= UTCTime ("getting"|"more"|"tricky"|nonexi)
4758 END
4759 <END_MODULE>
4760 <RESULT IF_PASS COUNT 1>
4761 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4762 <END_RESULT>
4763 <RESULT IF_PASS COUNT 1>
4764 (?is)\berror:
4765 <END_RESULT>
4766 <RESULT IF_PASS POSITIVE>
4767 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4768 <END_RESULT>
4769 <RESULT IF_FAIL NEGATIVE>
4770 (?im)\berror\b<END_RESULT>
4771 <END_TC>
4772 :exmp.
4773
4774 .*---------------------------------------------------------------------*
4775 :h3.ASN1::TypeAssignment->BuiltinType: UTCTime->Alphabet constraint
4776 .*---------------------------------------------------------------------*
4777 :xmp tab=0.
4778 <TC - ASN1::TypeAssignment->BuiltinType: UTCTime->Alphabet constraint>
4779 <COMPILE>
4780 <VERDICT_LEAF PASS>
4781 <MODULE ASN Module-A ModuleA.asn>
4782 Module-A DEFINITIONS ::=
4783 BEGIN
4784    IMPORTS ;
4785    X ::= UTCTime (FROM ("0".."9"|"*"|"#"|nonexi))
4786 END
4787 <END_MODULE>
4788 <RESULT IF_PASS COUNT 1>
4789 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4790 <END_RESULT>
4791 <RESULT IF_PASS COUNT 1>
4792 (?im)\berror: Value range constraint is not allowed for type `UTCTime'
4793 <END_RESULT>
4794 <RESULT IF_PASS COUNT 2>
4795 (?is)\berror:
4796 <END_RESULT>
4797 <RESULT IF_PASS POSITIVE>
4798 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4799 <END_RESULT>
4800 <RESULT IF_FAIL NEGATIVE>
4801 (?im)\berror\b<END_RESULT>
4802 <END_TC>
4803 :exmp.
4804
4805 .*---------------------------------------------------------------------*
4806 :h3.ASN1::TypeAssignment->BuiltinType: UTCTime->PATTERN
4807 .*---------------------------------------------------------------------*
4808 :xmp tab=0.
4809 <TC - ASN1::TypeAssignment->BuiltinType: UTCTime->PATTERN>
4810 <COMPILE>
4811 <VERDICT_LEAF PASS>
4812 <MODULE ASN Module-A ModuleA.asn>
4813 Module-A DEFINITIONS ::=
4814 BEGIN
4815    IMPORTS ;
4816    X ::= UTCTime (PATTERN nonexi)
4817 END
4818 <END_MODULE>
4819 <RESULT IF_PASS COUNT 1>
4820 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4821 <END_RESULT>
4822 <RESULT IF_PASS COUNT 1>
4823 (?is)\berror:
4824 <END_RESULT>
4825 <RESULT IF_PASS POSITIVE>
4826 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4827 <END_RESULT>
4828 <RESULT IF_FAIL NEGATIVE>
4829 (?im)\berror\b<END_RESULT>
4830 <END_TC>
4831 :exmp.
4832
4833 .*---------------------------------------------------------------------*
4834 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE->TypeReference
4835 .*---------------------------------------------------------------------*
4836 :xmp tab=0.
4837 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE->TypeReference>
4838 <COMPILE>
4839 <VERDICT_LEAF PASS>
4840 <MODULE ASN Module-A ModuleA.asn>
4841 Module-A DEFINITIONS ::=
4842 BEGIN
4843    IMPORTS ;
4844    X ::= SEQUENCE { f1 BOOLEAN, f2 NONEXI }
4845 END
4846 <END_MODULE>
4847 <RESULT IF_PASS COUNT 1>
4848 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4849 <END_RESULT>
4850 <RESULT IF_PASS COUNT 1>
4851 (?is)\berror:
4852 <END_RESULT>
4853 <RESULT IF_PASS POSITIVE>
4854 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4855 <END_RESULT>
4856 <END_TC>
4857 :exmp.
4858
4859 .*---------------------------------------------------------------------*
4860 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE->DEFAULT
4861 .*---------------------------------------------------------------------*
4862 :xmp tab=0.
4863 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE->DEFAULT>
4864 <COMPILE>
4865 <VERDICT_LEAF PASS>
4866 <MODULE ASN Module-A ModuleA.asn>
4867 Module-A DEFINITIONS ::=
4868 BEGIN
4869    IMPORTS ;
4870    X ::= SEQUENCE { f1 BOOLEAN, f2 INTEGER DEFAULT nonexi }
4871 END
4872 <END_MODULE>
4873 <RESULT IF_PASS COUNT 1>
4874 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4875 <END_RESULT>
4876 <RESULT IF_PASS COUNT 1>
4877 (?is)\berror:
4878 <END_RESULT>
4879 <RESULT IF_PASS POSITIVE>
4880 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4881 <END_RESULT>
4882 <END_TC>
4883 :exmp.
4884
4885 .*---------------------------------------------------------------------*
4886 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE->COMPONENTS OF
4887 .*---------------------------------------------------------------------*
4888 :xmp tab=0.
4889 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE->COMPONENTS OF>
4890 <COMPILE>
4891 <VERDICT_LEAF PASS>
4892 <MODULE ASN Module-A ModuleA.asn>
4893 Module-A DEFINITIONS ::=
4894 BEGIN
4895    IMPORTS ;
4896    X ::= SEQUENCE { COMPONENTS OF NONEXI, f2 X OPTIONAL }
4897 END
4898 <END_MODULE>
4899 <RESULT IF_PASS COUNT 1>
4900 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4901 <END_RESULT>
4902 <RESULT IF_PASS COUNT 1>
4903 (?is)\berror:
4904 <END_RESULT>
4905 <RESULT IF_PASS POSITIVE>
4906 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4907 <END_RESULT>
4908 <END_TC>
4909 :exmp.
4910
4911 .*---------------------------------------------------------------------*
4912 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE->Single value
4913 .*---------------------------------------------------------------------*
4914 :xmp tab=0.
4915 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE->Single value>
4916 <COMPILE>
4917 <VERDICT_LEAF FAIL>
4918 <MODULE ASN Module-A ModuleA.asn>
4919 Module-A DEFINITIONS ::=
4920 BEGIN
4921    IMPORTS ;
4922    -- TR 660: single value constraints are not recognized for compound ypes
4923    X ::= SEQUENCE { f1 X OPTIONAL } ( { f1 { f1 { f1 - } } } )
4924 END
4925 <END_MODULE>
4926 <RESULT IF_PASS COUNT 1>
4927 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4928 <END_RESULT>
4929 <RESULT IF_PASS COUNT 1>
4930 (?is)\berror:
4931 <END_RESULT>
4932 <RESULT IF_PASS POSITIVE>
4933 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4934 <END_RESULT>
4935 <RESULT IF_FAIL COUNT 1>
4936 (?im)\berror\b.+?tableconstraint
4937 <END_RESULT>
4938 <RESULT IF_FAIL COUNT 1>
4939 (?is)\berror:
4940 <END_RESULT>
4941 <END_TC>
4942 :exmp.
4943
4944 .*---------------------------------------------------------------------*
4945 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE->Type inclusion
4946 .*---------------------------------------------------------------------*
4947 :xmp tab=0.
4948 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE->Type inclusion>
4949 <COMPILE>
4950 <VERDICT_LEAF PASS>
4951 <MODULE ASN Module-A ModuleA.asn>
4952 Module-A DEFINITIONS ::=
4953 BEGIN
4954    IMPORTS ;
4955    X ::= SEQUENCE { f1 X OPTIONAL } (NONEXI)
4956 END
4957 <END_MODULE>
4958 <RESULT IF_PASS COUNT 1>
4959 (?im)\berror\b.+?no.+?assignment.+?Nonexi
4960 <END_RESULT>
4961 <RESULT IF_PASS COUNT 1>
4962 (?is)\berror:
4963 <END_RESULT>
4964 <RESULT IF_PASS POSITIVE>
4965 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4966 <END_RESULT>
4967 <RESULT IF_FAIL NEGATIVE>
4968 (?is)\berror:
4969 <END_RESULT>
4970 <END_TC>
4971 :exmp.
4972
4973 .*---------------------------------------------------------------------*
4974 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE->InnerTypeConstraints
4975 .*---------------------------------------------------------------------*
4976 :xmp tab=0.
4977 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE->InnerTypeConstraints>
4978 <COMPILE>
4979 <VERDICT_LEAF PASS>
4980 <MODULE ASN Module-A ModuleA.asn>
4981 Module-A DEFINITIONS ::=
4982 BEGIN
4983    IMPORTS ;
4984    Y ::= SEQUENCE { f1 BOOLEAN, f2 INTEGER, f3 OCTET STRING }
4985    X ::= Y (WITH COMPONENTS{ ..., f2 (2|4|5|10), f3 (SIZE(2..nonexi)) })
4986 END
4987 <END_MODULE>
4988 <RESULT IF_PASS COUNT 1>
4989 (?im)\berror\b.+?no.+?assignment.+?nonexi
4990 <END_RESULT>
4991 <RESULT IF_PASS COUNT 1>
4992 (?is)\berror:
4993 <END_RESULT>
4994 <RESULT IF_PASS POSITIVE>
4995 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
4996 <END_RESULT>
4997 <END_TC>
4998 :exmp.
4999
5000 .*---------------------------------------------------------------------*
5001 :h3.ASN1::TypeAssignment->BuiltinType: SET->TypeReference
5002 .*---------------------------------------------------------------------*
5003 :xmp tab=0.
5004 <TC - ASN1::TypeAssignment->BuiltinType: SET->TypeReference>
5005 <COMPILE>
5006 <VERDICT_LEAF PASS>
5007 <MODULE ASN Module-A ModuleA.asn>
5008 Module-A DEFINITIONS ::=
5009 BEGIN
5010    IMPORTS ;
5011    X ::= SET { f1 BOOLEAN, f2 NONEXI }
5012 END
5013 <END_MODULE>
5014 <RESULT IF_PASS COUNT 1>
5015 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5016 <END_RESULT>
5017 <RESULT IF_PASS COUNT 1>
5018 (?is)\berror:
5019 <END_RESULT>
5020 <RESULT IF_PASS POSITIVE>
5021 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5022 <END_RESULT>
5023 <END_TC>
5024 :exmp.
5025
5026 .*---------------------------------------------------------------------*
5027 :h3.ASN1::TypeAssignment->BuiltinType: SET->DEFAULT
5028 .*---------------------------------------------------------------------*
5029 :xmp tab=0.
5030 <TC - ASN1::TypeAssignment->BuiltinType: SET->DEFAULT>
5031 <COMPILE>
5032 <VERDICT_LEAF PASS>
5033 <MODULE ASN Module-A ModuleA.asn>
5034 Module-A DEFINITIONS ::=
5035 BEGIN
5036    IMPORTS ;
5037    X ::= SET { f1 BOOLEAN, f2 INTEGER DEFAULT nonexi }
5038 END
5039 <END_MODULE>
5040 <RESULT IF_PASS COUNT 1>
5041 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5042 <END_RESULT>
5043 <RESULT IF_PASS COUNT 1>
5044 (?is)\berror:
5045 <END_RESULT>
5046 <RESULT IF_PASS POSITIVE>
5047 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5048 <END_RESULT>
5049 <END_TC>
5050 :exmp.
5051
5052 .*---------------------------------------------------------------------*
5053 :h3.ASN1::TypeAssignment->BuiltinType: SET->COMPONENTS OF
5054 .*---------------------------------------------------------------------*
5055 :xmp tab=0.
5056 <TC - ASN1::TypeAssignment->BuiltinType: SET->COMPONENTS OF>
5057 <COMPILE>
5058 <VERDICT_LEAF PASS>
5059 <MODULE ASN Module-A ModuleA.asn>
5060 Module-A DEFINITIONS ::=
5061 BEGIN
5062    IMPORTS ;
5063    X ::= SET { COMPONENTS OF NONEXI, f2 X OPTIONAL }
5064 END
5065 <END_MODULE>
5066 <RESULT IF_PASS COUNT 1>
5067 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5068 <END_RESULT>
5069 <RESULT IF_PASS COUNT 1>
5070 (?is)\berror:
5071 <END_RESULT>
5072 <RESULT IF_PASS POSITIVE>
5073 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5074 <END_RESULT>
5075 <END_TC>
5076 :exmp.
5077
5078 .*---------------------------------------------------------------------*
5079 :h3.ASN1::TypeAssignment->BuiltinType: SET->Single value
5080 .*---------------------------------------------------------------------*
5081 :xmp tab=0.
5082 <TC - ASN1::TypeAssignment->BuiltinType: SET->Single value>
5083 <COMPILE>
5084 <VERDICT_LEAF FAIL>
5085 <MODULE ASN Module-A ModuleA.asn>
5086 Module-A DEFINITIONS ::=
5087 BEGIN
5088    IMPORTS ;
5089    -- TR 660: single value constraints are not recognized for compound ypes
5090    X ::= SET { f1 X OPTIONAL } ( { f1 { f1 { f1 - } } } )
5091 END
5092 <END_MODULE>
5093 <RESULT IF_PASS COUNT 1>
5094 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5095 <END_RESULT>
5096 <RESULT IF_PASS COUNT 1>
5097 (?is)\berror:
5098 <END_RESULT>
5099 <RESULT IF_PASS POSITIVE>
5100 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5101 <END_RESULT>
5102 <RESULT IF_FAIL COUNT 1>
5103 (?im)\berror\b.+?tableconstraint
5104 <END_RESULT>
5105 <RESULT IF_FAIL COUNT 1>
5106 (?is)\berror:
5107 <END_RESULT>
5108 <END_TC>
5109 :exmp.
5110
5111 .*---------------------------------------------------------------------*
5112 :h3.ASN1::TypeAssignment->BuiltinType: SET->Type inclusion
5113 .*---------------------------------------------------------------------*
5114 :xmp tab=0.
5115 <TC - ASN1::TypeAssignment->BuiltinType: SET->Type inclusion>
5116 <COMPILE>
5117 <VERDICT_LEAF PASS>
5118 <MODULE ASN Module-A ModuleA.asn>
5119 Module-A DEFINITIONS ::=
5120 BEGIN
5121    IMPORTS ;
5122    X ::= SET { f1 X OPTIONAL } (NONEXI)
5123 END
5124 <END_MODULE>
5125 <RESULT IF_PASS COUNT 1>
5126 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5127 <END_RESULT>
5128 <RESULT IF_PASS COUNT 1>
5129 (?is)\berror:
5130 <END_RESULT>
5131 <RESULT IF_PASS POSITIVE>
5132 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5133 <END_RESULT>
5134 <RESULT IF_FAIL NEGATIVE>
5135 (?is)\berror:
5136 <END_RESULT>
5137 <END_TC>
5138 :exmp.
5139
5140 .*---------------------------------------------------------------------*
5141 :h3.ASN1::TypeAssignment->BuiltinType: SET->InnerTypeConstraints
5142 .*---------------------------------------------------------------------*
5143 :xmp tab=0.
5144 <TC - ASN1::TypeAssignment->BuiltinType: SET->InnerTypeConstraints>
5145 <COMPILE>
5146 <VERDICT_LEAF PASS>
5147 <MODULE ASN Module-A ModuleA.asn>
5148 Module-A DEFINITIONS ::=
5149 BEGIN
5150    IMPORTS ;
5151    Y ::= SET { f1 BOOLEAN, f2 INTEGER, f3 OCTET STRING }
5152    X ::= Y (WITH COMPONENTS{ ..., f2 (2|4|5|10), f3 (SIZE(2..nonexi)) })
5153 END
5154 <END_MODULE>
5155 <RESULT IF_PASS COUNT 1>
5156 (?im)\berror\b.+?no.+?assignment.+?nonexi
5157 <END_RESULT>
5158 <RESULT IF_PASS COUNT 1>
5159 (?is)\berror:
5160 <END_RESULT>
5161 <RESULT IF_PASS POSITIVE>
5162 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5163 <END_RESULT>
5164 <END_TC>
5165 :exmp.
5166
5167 .*---------------------------------------------------------------------*
5168 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->Single value->Embedded
5169 .*---------------------------------------------------------------------*
5170 :xmp tab=0.
5171 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->Single value->Embedded>
5172 <COMPILE>
5173 <VERDICT_LEAF FAIL>
5174 <MODULE ASN Module-A ModuleA.asn>
5175 Module-A DEFINITIONS ::=
5176 BEGIN
5177    IMPORTS ;
5178    -- TR 660: single value constraints are not recognized for compound ypes
5179    X ::= SEQUENCE OF INTEGER ({0, 0, 17, 18, nonexi})
5180 END
5181 <END_MODULE>
5182 <RESULT IF_PASS COUNT 1>
5183 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5184 <END_RESULT>
5185 <RESULT IF_PASS COUNT 1>
5186 (?is)\berror:
5187 <END_RESULT>
5188 <RESULT IF_PASS POSITIVE>
5189 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5190 <END_RESULT>
5191 <RESULT IF_FAIL COUNT 1>
5192 (?im)\berror\b.+?syntax.+?error
5193 <END_RESULT>
5194 <RESULT IF_FAIL COUNT 1>
5195 (?im)\berror\b.+?tableconstraint
5196 <END_RESULT>
5197 <RESULT IF_FAIL COUNT 2>
5198 (?is)\berror:
5199 <END_RESULT>
5200 <END_TC>
5201 :exmp.
5202
5203 .*---------------------------------------------------------------------*
5204 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->Single value
5205 .*---------------------------------------------------------------------*
5206 :xmp tab=0.
5207 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->Single value>
5208 <COMPILE>
5209 <VERDICT_LEAF PASS>
5210 <MODULE ASN Module-A ModuleA.asn>
5211 Module-A DEFINITIONS ::=
5212 BEGIN
5213    IMPORTS ;
5214    X ::= SEQUENCE OF INTEGER (nonexi)
5215 END
5216 <END_MODULE>
5217 <RESULT IF_PASS COUNT 1>
5218 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5219 <END_RESULT>
5220 <RESULT IF_PASS COUNT 1>
5221 (?is)\berror:
5222 <END_RESULT>
5223 <RESULT IF_PASS POSITIVE>
5224 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5225 <END_RESULT>
5226 <RESULT IF_FAIL NEGATIVE>
5227 (?is)\berror:
5228 <END_RESULT>
5229 <END_TC>
5230 :exmp.
5231
5232 .*---------------------------------------------------------------------*
5233 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->Type inclusion
5234 .*---------------------------------------------------------------------*
5235 :xmp tab=0.
5236 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->Type inclusion>
5237 <COMPILE>
5238 <VERDICT_LEAF PASS>
5239 <MODULE ASN Module-A ModuleA.asn>
5240 Module-A DEFINITIONS ::=
5241 BEGIN
5242    IMPORTS ;
5243    X ::= SEQUENCE OF INTEGER (NONEXI)
5244 END
5245 <END_MODULE>
5246 <RESULT IF_PASS COUNT 1>
5247 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5248 <END_RESULT>
5249 <RESULT IF_PASS COUNT 1>
5250 (?is)\berror:
5251 <END_RESULT>
5252 <RESULT IF_PASS POSITIVE>
5253 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5254 <END_RESULT>
5255 <RESULT IF_FAIL NEGATIVE>
5256 (?is)\berror:
5257 <END_RESULT>
5258 <END_TC>
5259 :exmp.
5260
5261 .*---------------------------------------------------------------------*
5262 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->SIZE->Single value
5263 .*---------------------------------------------------------------------*
5264 :xmp tab=0.
5265 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->SIZE->Single value>
5266 <COMPILE>
5267 <VERDICT_LEAF PASS>
5268 <MODULE ASN Module-A ModuleA.asn>
5269 Module-A DEFINITIONS ::=
5270 BEGIN
5271    IMPORTS ;
5272    X ::= SEQUENCE OF INTEGER (SIZE(nonexi))
5273 END
5274 <END_MODULE>
5275 <RESULT IF_PASS COUNT 1>
5276 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5277 <END_RESULT>
5278 <RESULT IF_PASS COUNT 1>
5279 (?is)\berror:
5280 <END_RESULT>
5281 <RESULT IF_PASS POSITIVE>
5282 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5283 <END_RESULT>
5284 <RESULT IF_FAIL NEGATIVE>
5285 (?is)\berror:
5286 <END_RESULT>
5287 <END_TC>
5288 :exmp.
5289
5290 .*---------------------------------------------------------------------*
5291 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->SIZE->Range
5292 .*---------------------------------------------------------------------*
5293 :xmp tab=0.
5294 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->SIZE->Range>
5295 <COMPILE>
5296 <VERDICT_LEAF PASS>
5297 <MODULE ASN Module-A ModuleA.asn>
5298 Module-A DEFINITIONS ::=
5299 BEGIN
5300    IMPORTS ;
5301    X ::= SEQUENCE OF INTEGER (SIZE(88..nonexi))
5302 END
5303 <END_MODULE>
5304 <RESULT IF_PASS COUNT 1>
5305 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5306 <END_RESULT>
5307 <RESULT IF_PASS COUNT 1>
5308 (?is)\berror:
5309 <END_RESULT>
5310 <RESULT IF_PASS POSITIVE>
5311 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5312 <END_RESULT>
5313 <RESULT IF_FAIL NEGATIVE>
5314 (?is)\berror:
5315 <END_RESULT>
5316 <END_TC>
5317 :exmp.
5318
5319 .*---------------------------------------------------------------------*
5320 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->SIZE->List
5321 .*---------------------------------------------------------------------*
5322 :xmp tab=0.
5323 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->SIZE->List>
5324 <COMPILE>
5325 <VERDICT_LEAF PASS>
5326 <MODULE ASN Module-A ModuleA.asn>
5327 Module-A DEFINITIONS ::=
5328 BEGIN
5329    IMPORTS ;
5330    X ::= SEQUENCE OF INTEGER (SIZE(88|17|nonexi))
5331 END
5332 <END_MODULE>
5333 <RESULT IF_PASS COUNT 1>
5334 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5335 <END_RESULT>
5336 <RESULT IF_PASS COUNT 1>
5337 (?is)\berror:
5338 <END_RESULT>
5339 <RESULT IF_PASS POSITIVE>
5340 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5341 <END_RESULT>
5342 <RESULT IF_FAIL NEGATIVE>
5343 (?is)\berror:
5344 <END_RESULT>
5345 <END_TC>
5346 :exmp.
5347
5348 .*---------------------------------------------------------------------*
5349 :h3.ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->InnerTypeConstraints
5350 .*---------------------------------------------------------------------*
5351 :xmp tab=0.
5352 <TC - ASN1::TypeAssignment->BuiltinType: SEQUENCE OF->InnerTypeConstraints>
5353 <COMPILE>
5354 <VERDICT_LEAF PASS>
5355 <MODULE ASN Module-A ModuleA.asn>
5356 Module-A DEFINITIONS ::=
5357 BEGIN
5358    IMPORTS ;
5359    Y ::= SEQUENCE OF INTEGER
5360    X ::= Y (WITH COMPONENT(-100..nonexi))
5361 END
5362 <END_MODULE>
5363 <RESULT IF_PASS COUNT 1>
5364 (?im)\berror\b.+?no.+?assignment.+?nonexi
5365 <END_RESULT>
5366 <RESULT IF_PASS COUNT 1>
5367 (?is)\berror:
5368 <END_RESULT>
5369 <RESULT IF_PASS POSITIVE>
5370 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5371 <END_RESULT>
5372 <END_TC>
5373 :exmp.
5374
5375 .*---------------------------------------------------------------------*
5376 :h3.ASN1::TypeAssignment->BuiltinType: SET OF->Single value->Embedded
5377 .*---------------------------------------------------------------------*
5378 :xmp tab=0.
5379 <TC - ASN1::TypeAssignment->BuiltinType: SET OF->Single value->Embedded>
5380 <COMPILE>
5381 <VERDICT_LEAF FAIL>
5382 <MODULE ASN Module-A ModuleA.asn>
5383 Module-A DEFINITIONS ::=
5384 BEGIN
5385    IMPORTS ;
5386    -- TR 660: single value constraints are not recognized for compound ypes
5387    X ::= SET OF INTEGER ({0, 0, 17, 18, nonexi})
5388 END
5389 <END_MODULE>
5390 <RESULT IF_PASS COUNT 1>
5391 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5392 <END_RESULT>
5393 <RESULT IF_PASS COUNT 1>
5394 (?is)\berror:
5395 <END_RESULT>
5396 <RESULT IF_PASS POSITIVE>
5397 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5398 <END_RESULT>
5399 <RESULT IF_FAIL COUNT 1>
5400 (?im)\berror\b.+?syntax.+?error
5401 <END_RESULT>
5402 <RESULT IF_FAIL COUNT 1>
5403 (?im)\berror\b.+?tableconstraint
5404 <END_RESULT>
5405 <RESULT IF_FAIL COUNT 2>
5406 (?is)\berror:
5407 <END_RESULT>
5408 <END_TC>
5409 :exmp.
5410
5411 .*---------------------------------------------------------------------*
5412 :h3.ASN1::TypeAssignment->BuiltinType: SET OF->Single value
5413 .*---------------------------------------------------------------------*
5414 :xmp tab=0.
5415 <TC - ASN1::TypeAssignment->BuiltinType: SET OF->Single value>
5416 <COMPILE>
5417 <VERDICT_LEAF PASS>
5418 <MODULE ASN Module-A ModuleA.asn>
5419 Module-A DEFINITIONS ::=
5420 BEGIN
5421    IMPORTS ;
5422    X ::= SET OF INTEGER (nonexi)
5423 END
5424 <END_MODULE>
5425 <RESULT IF_PASS COUNT 1>
5426 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5427 <END_RESULT>
5428 <RESULT IF_PASS COUNT 1>
5429 (?is)\berror:
5430 <END_RESULT>
5431 <RESULT IF_PASS POSITIVE>
5432 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5433 <END_RESULT>
5434 <RESULT IF_FAIL NEGATIVE>
5435 (?is)\berror:
5436 <END_RESULT>
5437 <END_TC>
5438 :exmp.
5439
5440 .*---------------------------------------------------------------------*
5441 :h3.ASN1::TypeAssignment->BuiltinType: SET OF->Type inclusion
5442 .*---------------------------------------------------------------------*
5443 :xmp tab=0.
5444 <TC - ASN1::TypeAssignment->BuiltinType: SET OF->Type inclusion>
5445 <COMPILE>
5446 <VERDICT_LEAF PASS>
5447 <MODULE ASN Module-A ModuleA.asn>
5448 Module-A DEFINITIONS ::=
5449 BEGIN
5450    IMPORTS ;
5451    X ::= SET OF INTEGER (NONEXI)
5452 END
5453 <END_MODULE>
5454 <RESULT IF_PASS COUNT 1>
5455 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5456 <END_RESULT>
5457 <RESULT IF_PASS COUNT 1>
5458 (?is)\berror:
5459 <END_RESULT>
5460 <RESULT IF_PASS POSITIVE>
5461 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5462 <END_RESULT>
5463 <RESULT IF_FAIL NEGATIVE>
5464 (?is)\berror:
5465 <END_RESULT>
5466 <END_TC>
5467 :exmp.
5468
5469 .*---------------------------------------------------------------------*
5470 :h3.ASN1::TypeAssignment->BuiltinType: SET OF->SIZE->Single value
5471 .*---------------------------------------------------------------------*
5472 :xmp tab=0.
5473 <TC - ASN1::TypeAssignment->BuiltinType: SET OF->SIZE->Single value>
5474 <COMPILE>
5475 <VERDICT_LEAF PASS>
5476 <MODULE ASN Module-A ModuleA.asn>
5477 Module-A DEFINITIONS ::=
5478 BEGIN
5479    IMPORTS ;
5480    X ::= SET OF INTEGER (SIZE(nonexi))
5481 END
5482 <END_MODULE>
5483 <RESULT IF_PASS COUNT 1>
5484 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5485 <END_RESULT>
5486 <RESULT IF_PASS COUNT 1>
5487 (?is)\berror:
5488 <END_RESULT>
5489 <RESULT IF_PASS POSITIVE>
5490 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5491 <END_RESULT>
5492 <RESULT IF_FAIL NEGATIVE>
5493 (?is)\berror:
5494 <END_RESULT>
5495 <END_TC>
5496 :exmp.
5497
5498 .*---------------------------------------------------------------------*
5499 :h3.ASN1::TypeAssignment->BuiltinType: SET OF->SIZE->Range
5500 .*---------------------------------------------------------------------*
5501 :xmp tab=0.
5502 <TC - ASN1::TypeAssignment->BuiltinType: SET OF->SIZE->Range>
5503 <COMPILE>
5504 <VERDICT_LEAF PASS>
5505 <MODULE ASN Module-A ModuleA.asn>
5506 Module-A DEFINITIONS ::=
5507 BEGIN
5508    IMPORTS ;
5509    X ::= SET OF INTEGER (SIZE(88..nonexi))
5510 END
5511 <END_MODULE>
5512 <RESULT IF_PASS COUNT 1>
5513 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5514 <END_RESULT>
5515 <RESULT IF_PASS COUNT 1>
5516 (?is)\berror:
5517 <END_RESULT>
5518 <RESULT IF_PASS POSITIVE>
5519 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5520 <END_RESULT>
5521 <RESULT IF_FAIL NEGATIVE>
5522 (?is)\berror:
5523 <END_RESULT>
5524 <END_TC>
5525 :exmp.
5526
5527 .*---------------------------------------------------------------------*
5528 :h3.ASN1::TypeAssignment->BuiltinType: SET OF->SIZE->List
5529 .*---------------------------------------------------------------------*
5530 :xmp tab=0.
5531 <TC - ASN1::TypeAssignment->BuiltinType: SET OF->SIZE->List>
5532 <COMPILE>
5533 <VERDICT_LEAF PASS>
5534 <MODULE ASN Module-A ModuleA.asn>
5535 Module-A DEFINITIONS ::=
5536 BEGIN
5537    IMPORTS ;
5538    X ::= SET OF INTEGER (SIZE(88|17|nonexi))
5539 END
5540 <END_MODULE>
5541 <RESULT IF_PASS COUNT 1>
5542 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5543 <END_RESULT>
5544 <RESULT IF_PASS COUNT 1>
5545 (?is)\berror:
5546 <END_RESULT>
5547 <RESULT IF_PASS POSITIVE>
5548 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5549 <END_RESULT>
5550 <RESULT IF_FAIL NEGATIVE>
5551 (?is)\berror:
5552 <END_RESULT>
5553 <END_TC>
5554 :exmp.
5555
5556 .*---------------------------------------------------------------------*
5557 :h3.ASN1::TypeAssignment->BuiltinType: SET OF->InnerTypeConstraints
5558 .*---------------------------------------------------------------------*
5559 :xmp tab=0.
5560 <TC - ASN1::TypeAssignment->BuiltinType: SET OF->InnerTypeConstraints>
5561 <COMPILE>
5562 <VERDICT_LEAF PASS>
5563 <MODULE ASN Module-A ModuleA.asn>
5564 Module-A DEFINITIONS ::=
5565 BEGIN
5566    IMPORTS ;
5567    Y ::= SET OF INTEGER
5568    X ::= Y (WITH COMPONENT(-100..nonexi))
5569 END
5570 <END_MODULE>
5571 <RESULT IF_PASS COUNT 1>
5572 (?im)\berror\b.+?no.+?assignment.+?nonexi
5573 <END_RESULT>
5574 <RESULT IF_PASS COUNT 1>
5575 (?is)\berror:
5576 <END_RESULT>
5577 <RESULT IF_PASS POSITIVE>
5578 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5579 <END_RESULT>
5580 <END_TC>
5581 :exmp.
5582
5583 .*---------------------------------------------------------------------*
5584 :h3.ASN1::TypeAssignment->BuiltinType: CHOICE->Single value
5585 .*---------------------------------------------------------------------*
5586 :xmp tab=0.
5587 <TC - ASN1::TypeAssignment->BuiltinType: CHOICE->Single value>
5588 <COMPILE>
5589 <VERDICT_LEAF PASS>
5590 <MODULE ASN Module-A ModuleA.asn>
5591 Module-A DEFINITIONS ::=
5592 BEGIN
5593    IMPORTS ;
5594    X ::= CHOICE { f1 BOOLEAN, f2 INTEGER, f3 X } (nonexi)
5595 END
5596 <END_MODULE>
5597 <RESULT IF_PASS COUNT 1>
5598 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5599 <END_RESULT>
5600 <RESULT IF_PASS COUNT 1>
5601 (?is)\berror:
5602 <END_RESULT>
5603 <RESULT IF_PASS POSITIVE>
5604 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5605 <END_RESULT>
5606 <RESULT IF_FAIL NEGATIVE>
5607 (?is)\berror:
5608 <END_RESULT>
5609 <END_TC>
5610 :exmp.
5611
5612 .*---------------------------------------------------------------------*
5613 :h3.ASN1::TypeAssignment->BuiltinType: CHOICE->Single value->Embedded
5614 .*---------------------------------------------------------------------*
5615 :xmp tab=0.
5616 <TC - ASN1::TypeAssignment->BuiltinType: CHOICE->Single value->Embedded>
5617 <COMPILE>
5618 <VERDICT_LEAF PASS>
5619 <MODULE ASN Module-A ModuleA.asn>
5620 Module-A DEFINITIONS ::=
5621 BEGIN
5622    IMPORTS ;
5623    X ::= CHOICE { f1 BOOLEAN, f2 INTEGER, f3 X } (f2:nonexi)
5624 END
5625 <END_MODULE>
5626 <RESULT IF_PASS COUNT 1>
5627 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5628 <END_RESULT>
5629 <RESULT IF_PASS COUNT 1>
5630 (?is)\berror:
5631 <END_RESULT>
5632 <RESULT IF_PASS POSITIVE>
5633 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5634 <END_RESULT>
5635 <RESULT IF_FAIL NEGATIVE>
5636 (?is)\berror:
5637 <END_RESULT>
5638 <END_TC>
5639 :exmp.
5640
5641 .*---------------------------------------------------------------------*
5642 :h3.ASN1::TypeAssignment->BuiltinType: CHOICE->Type inclusion
5643 .*---------------------------------------------------------------------*
5644 :xmp tab=0.
5645 <TC - ASN1::TypeAssignment->BuiltinType: CHOICE->Type inclusion>
5646 <COMPILE>
5647 <VERDICT_LEAF PASS>
5648 <MODULE ASN Module-A ModuleA.asn>
5649 Module-A DEFINITIONS ::=
5650 BEGIN
5651    IMPORTS ;
5652    X ::= CHOICE { f1 BOOLEAN, f2 INTEGER, f3 X } (NONEXI)
5653 END
5654 <END_MODULE>
5655 <RESULT IF_PASS COUNT 1>
5656 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5657 <END_RESULT>
5658 <RESULT IF_PASS COUNT 1>
5659 (?is)\berror:
5660 <END_RESULT>
5661 <RESULT IF_PASS POSITIVE>
5662 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5663 <END_RESULT>
5664 <RESULT IF_FAIL NEGATIVE>
5665 (?is)\berror:
5666 <END_RESULT>
5667 <END_TC>
5668 :exmp.
5669
5670 .*---------------------------------------------------------------------*
5671 :h3.ASN1::TypeAssignment->BuiltinType: CHOICE->InnerTypeConstraints
5672 .*---------------------------------------------------------------------*
5673 :xmp tab=0.
5674 <TC - ASN1::TypeAssignment->BuiltinType: CHOICE->InnerTypeConstraints>
5675 <COMPILE>
5676 <VERDICT_LEAF PASS>
5677 <MODULE ASN Module-A ModuleA.asn>
5678 Module-A DEFINITIONS ::=
5679 BEGIN
5680    IMPORTS ;
5681    Y ::= CHOICE { f1 BOOLEAN, f2 INTEGER, f3 X }
5682    X ::= Y (WITH COMPONENTS {..., f2 (100..200), f3 (nonexi)})
5683 END
5684 <END_MODULE>
5685 <RESULT IF_PASS COUNT 1>
5686 (?im)\berror\b.+?no.+?assignment.+?nonexi
5687 <END_RESULT>
5688 <RESULT IF_PASS COUNT 1>
5689 (?is)\berror:
5690 <END_RESULT>
5691 <RESULT IF_PASS POSITIVE>
5692 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5693 <END_RESULT>
5694 <END_TC>
5695 :exmp.
5696
5697 .*---------------------------------------------------------------------*
5698 :h3.ASN1::TypeAssignment->BuiltinType: CHOICE->Selecting alternative
5699 .*---------------------------------------------------------------------*
5700 :xmp tab=0.
5701 <TC - ASN1::TypeAssignment->BuiltinType: CHOICE->Selecting alternative>
5702 <COMPILE>
5703 <VERDICT_LEAF PASS>
5704 <MODULE ASN Module-A ModuleA.asn>
5705 Module-A DEFINITIONS ::=
5706 BEGIN
5707    IMPORTS ;
5708    Y ::= CHOICE { f1 BOOLEAN, f2 INTEGER }
5709    my-value f2 < NONEXI ::= 10
5710 END
5711 <END_MODULE>
5712 <RESULT IF_PASS COUNT 1>
5713 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5714 <END_RESULT>
5715 <RESULT IF_PASS COUNT 1>
5716 (?is)\berror:
5717 <END_RESULT>
5718 <RESULT IF_PASS POSITIVE>
5719 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5720 <END_RESULT>
5721 <END_TC>
5722 :exmp.
5723
5724 .*---------------------------------------------------------------------*
5725 :h3.ASN1::TypeAssignment->BuiltinType: ANY
5726 .*---------------------------------------------------------------------*
5727 :xmp tab=0.
5728 <TC - ASN1::TypeAssignment->BuiltinType: ANY>
5729 <COMPILE>
5730 <VERDICT_LEAF FAIL>
5731 <MODULE ASN Module-A ModuleA.asn>
5732 Module-A DEFINITIONS ::=
5733 BEGIN
5734    IMPORTS ;
5735    x ANY ::= NONEXI : '0011'H
5736 END
5737 <END_MODULE>
5738 <RESULT IF_PASS COUNT 1>
5739 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5740 <END_RESULT>
5741 <RESULT IF_PASS COUNT 1>
5742 (?is)\berror:
5743 <END_RESULT>
5744 <RESULT IF_PASS POSITIVE>
5745 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5746 <END_RESULT>
5747 <RESULT IF_FAIL COUNT 1>
5748 (?im)error.+?syntax.+?error.+?unexpected.+?\:
5749 <END_RESULT>
5750 <RESULT IF_FAIL COUNT 1>
5751 (?is)\berror:
5752 <END_RESULT>
5753 <END_TC>
5754 :exmp.
5755
5756 .*---------------------------------------------------------------------*
5757 :h3.ASN1::TypeAssignment->BuiltinType: ANY->DEFINED BY
5758 .*---------------------------------------------------------------------*
5759 :xmp tab=0.
5760 <TC - ASN1::TypeAssignment->BuiltinType: ANY->DEFINED BY>
5761 <COMPILE>
5762 <VERDICT_LEAF FAIL>
5763 <MODULE ASN Module-A ModuleA.asn>
5764 Module-A DEFINITIONS ::=
5765 BEGIN
5766    IMPORTS ;
5767    X ::= SEQUENCE {f1 INTEGER,
5768                    f2 ANY DEFINED BY nonexi}
5769 END
5770 <END_MODULE>
5771 <RESULT IF_PASS COUNT 1>
5772 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5773 <END_RESULT>
5774 <RESULT IF_PASS COUNT 1>
5775 (?is)\berror:
5776 <END_RESULT>
5777 <RESULT IF_PASS POSITIVE>
5778 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5779 <END_RESULT>
5780 <RESULT IF_FAIL NEGATIVE>
5781 (?is)\berror:
5782 <END_RESULT>
5783 <END_TC>
5784 :exmp.
5785
5786 .*---------------------------------------------------------------------*
5787 :h3.ASN1::TypeAssignment->Exception->Type
5788 .*---------------------------------------------------------------------*
5789 :xmp tab=0.
5790 <TC - ASN1::TypeAssignment->Exception->Type>
5791 <COMPILE>
5792 <VERDICT_LEAF FAIL>
5793 <MODULE ASN Module-A ModuleA.asn>
5794 Module-A DEFINITIONS ::=
5795 BEGIN
5796    IMPORTS ;
5797    Dimensions ::= SET { x INTEGER,
5798                         y BOOLEAN,
5799                         ... !NONEXI:"dimension error"}
5800 END
5801 <END_MODULE>
5802 <RESULT IF_PASS COUNT 1>
5803 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5804 <END_RESULT>
5805 <RESULT IF_PASS COUNT 1>
5806 (?is)\berror:
5807 <END_RESULT>
5808 <RESULT IF_PASS POSITIVE>
5809 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5810 <END_RESULT>
5811 <RESULT IF_FAIL NEGATIVE>
5812 (?is)\berror:
5813 <END_RESULT>
5814 <END_TC>
5815 :exmp.
5816
5817 .*---------------------------------------------------------------------*
5818 :h3.ASN1::TypeAssignment->Exception->Value
5819 .*---------------------------------------------------------------------*
5820 :xmp tab=0.
5821 <TC - ASN1::TypeAssignment->Exception->Value>
5822 <COMPILE>
5823 <VERDICT_LEAF FAIL>
5824 <MODULE ASN Module-A ModuleA.asn>
5825 Module-A DEFINITIONS ::=
5826 BEGIN
5827    IMPORTS ;
5828    Dimensions ::= SET { x INTEGER,
5829                         y BOOLEAN,
5830                         ... !IA5String:nonexi}
5831 END
5832 <END_MODULE>
5833 <RESULT IF_PASS COUNT 1>
5834 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5835 <END_RESULT>
5836 <RESULT IF_PASS COUNT 1>
5837 (?is)\berror:
5838 <END_RESULT>
5839 <RESULT IF_PASS POSITIVE>
5840 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5841 <END_RESULT>
5842 <RESULT IF_FAIL NEGATIVE>
5843 (?is)\berror:
5844 <END_RESULT>
5845 <END_TC>
5846 :exmp.
5847
5848 .*---------------------------------------------------------------------*
5849 :h3.ASN1::TypeAssignment->Constraint combination: UNION
5850 .*---------------------------------------------------------------------*
5851 :xmp tab=0.
5852 <TC - ASN1::TypeAssignment->Constraint combination: UNION>
5853 <COMPILE>
5854 <VERDICT_LEAF PASS>
5855 <MODULE ASN Module-A ModuleA.asn>
5856 Module-A DEFINITIONS ::=
5857 BEGIN
5858    IMPORTS ;
5859    X ::= INTEGER (1|2|3|nonexi)
5860 END
5861 <END_MODULE>
5862 <RESULT IF_PASS COUNT 1>
5863 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5864 <END_RESULT>
5865 <RESULT IF_PASS COUNT 1>
5866 (?is)\berror:
5867 <END_RESULT>
5868 <RESULT IF_PASS POSITIVE>
5869 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5870 <END_RESULT>
5871 <RESULT IF_FAIL NEGATIVE>
5872 (?is)\berror:
5873 <END_RESULT>
5874 <END_TC>
5875 :exmp.
5876
5877 .*---------------------------------------------------------------------*
5878 :h3.ASN1::TypeAssignment->Constraint combination: INTERSECTION
5879 .*---------------------------------------------------------------------*
5880 :xmp tab=0.
5881 <TC - ASN1::TypeAssignment->Constraint combination: INTERSECTION>
5882 <COMPILE>
5883 <VERDICT_LEAF PASS>
5884 <MODULE ASN Module-A ModuleA.asn>
5885 Module-A DEFINITIONS ::=
5886 BEGIN
5887    IMPORTS ;
5888    X ::= INTEGER (0..200 ^ 100..nonexi)
5889 END
5890 <END_MODULE>
5891 <RESULT IF_PASS COUNT 1>
5892 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5893 <END_RESULT>
5894 <RESULT IF_PASS COUNT 1>
5895 (?is)\berror:
5896 <END_RESULT>
5897 <RESULT IF_PASS POSITIVE>
5898 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5899 <END_RESULT>
5900 <RESULT IF_FAIL NEGATIVE>
5901 (?is)\berror:
5902 <END_RESULT>
5903 <END_TC>
5904 :exmp.
5905
5906 .*---------------------------------------------------------------------*
5907 :h3.ASN1::TypeAssignment->Constraint combination: EXCEPT
5908 .*---------------------------------------------------------------------*
5909 :xmp tab=0.
5910 <TC - ASN1::TypeAssignment->Constraint combination: EXCEPT>
5911 <COMPILE>
5912 <VERDICT_LEAF PASS>
5913 <MODULE ASN Module-A ModuleA.asn>
5914 Module-A DEFINITIONS ::=
5915 BEGIN
5916    IMPORTS ;
5917    X ::= INTEGER (0..200 EXCEPT nonexi)
5918 END
5919 <END_MODULE>
5920 <RESULT IF_PASS COUNT 1>
5921 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5922 <END_RESULT>
5923 <RESULT IF_PASS COUNT 1>
5924 (?is)\berror:
5925 <END_RESULT>
5926 <RESULT IF_PASS POSITIVE>
5927 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5928 <END_RESULT>
5929 <RESULT IF_FAIL NEGATIVE>
5930 (?is)\berror:
5931 <END_RESULT>
5932 <END_TC>
5933 :exmp.
5934
5935 .*---------------------------------------------------------------------*
5936 :h3.ASN1::TypeAssignment->Constraint combination: ALL EXCEPT
5937 .*---------------------------------------------------------------------*
5938 :xmp tab=0.
5939 <TC - ASN1::TypeAssignment->Constraint combination: ALL EXCEPT>
5940 <COMPILE>
5941 <VERDICT_LEAF PASS>
5942 <MODULE ASN Module-A ModuleA.asn>
5943 Module-A DEFINITIONS ::=
5944 BEGIN
5945    IMPORTS ;
5946    X ::= INTEGER (ALL EXCEPT nonexi)
5947 END
5948 <END_MODULE>
5949 <RESULT IF_PASS COUNT 1>
5950 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5951 <END_RESULT>
5952 <RESULT IF_PASS COUNT 1>
5953 (?is)\berror:
5954 <END_RESULT>
5955 <RESULT IF_PASS POSITIVE>
5956 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5957 <END_RESULT>
5958 <RESULT IF_FAIL NEGATIVE>
5959 (?is)\berror:
5960 <END_RESULT>
5961 <END_TC>
5962 :exmp.
5963
5964 .*---------------------------------------------------------------------*
5965 :h3.ASN1::TypeAssignment->Constraint exception->Type
5966 .*---------------------------------------------------------------------*
5967 :xmp tab=0.
5968 <TC - ASN1::TypeAssignment->Constraint exception->Type>
5969 <COMPILE>
5970 <VERDICT_LEAF FAIL>
5971 <MODULE ASN Module-A ModuleA.asn>
5972 Module-A DEFINITIONS ::=
5973 BEGIN
5974    IMPORTS ;
5975    -- TR 662: Exception extension with value list subtyping gives parse error
5976    -- TODO
5977    X ::= INTEGER (1|2|3,...!NONEXI:"Fatal")
5978 END
5979 <END_MODULE>
5980 <RESULT IF_PASS COUNT 1>
5981 (?im)\berror\b.+?no.+?assignment.+?Nonexi
5982 <END_RESULT>
5983 <RESULT IF_PASS COUNT 1>
5984 (?is)\berror:
5985 <END_RESULT>
5986 <RESULT IF_PASS POSITIVE>
5987 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
5988 <END_RESULT>
5989 <RESULT IF_FAIL NEGATIVE>
5990 (?is)\berror:
5991 <END_RESULT>
5992 <END_TC>
5993 :exmp.
5994
5995 .*---------------------------------------------------------------------*
5996 :h3.ASN1::TypeAssignment->Constraint exception->Value
5997 .*---------------------------------------------------------------------*
5998 :xmp tab=0.
5999 <TC - ASN1::TypeAssignment->Constraint exception->Value>
6000 <COMPILE>
6001 <VERDICT_LEAF FAIL>
6002 <MODULE ASN Module-A ModuleA.asn>
6003 Module-A DEFINITIONS ::=
6004 BEGIN
6005    IMPORTS ;
6006    -- TR 662: Exception extension with value list subtyping gives parse error
6007    -- TODO
6008    X ::= INTEGER (1|2|3,...!IA5String:nonexi)
6009 END
6010 <END_MODULE>
6011 <RESULT IF_PASS COUNT 1>
6012 (?im)\berror\b.+?no.+?assignment.+?Nonexi
6013 <END_RESULT>
6014 <RESULT IF_PASS COUNT 1>
6015 (?is)\berror:
6016 <END_RESULT>
6017 <RESULT IF_PASS POSITIVE>
6018 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
6019 <END_RESULT>
6020 <RESULT IF_FAIL NEGATIVE>
6021 (?is)\berror:
6022 <END_RESULT>
6023 <END_TC>
6024 :exmp.
6025
6026 .*---------------------------------------------------------------------*
6027 :h3.ASN1::TypeAssignment->User defined constraint->Type
6028 .*---------------------------------------------------------------------*
6029 :xmp tab=0.
6030 <TC - ASN1::TypeAssignment->User defined constraint->Type>
6031 <COMPILE>
6032 <VERDICT_LEAF FAIL>
6033 <MODULE ASN Module-A ModuleA.asn>
6034 Module-A DEFINITIONS ::=
6035 BEGIN
6036    IMPORTS ;
6037    X{PARAM} ::= BIT STRING
6038    (CONSTRAINED BY {NONEXI} !Error:securityViolation)
6039    Error ::= ENUMERATED {securityViolation}
6040 END
6041 <END_MODULE>
6042 <RESULT IF_PASS COUNT 1>
6043 (?im)\berror\b.+?no.+?assignment.+?Nonexi
6044 <END_RESULT>
6045 <RESULT IF_PASS COUNT 1>
6046 (?is)\berror:
6047 <END_RESULT>
6048 <RESULT IF_PASS POSITIVE>
6049 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
6050 <END_RESULT>
6051 <RESULT IF_FAIL NEGATIVE>
6052 (?is)\berror:
6053 <END_RESULT>
6054 <END_TC>
6055 :exmp.
6056
6057 .*---------------------------------------------------------------------*
6058 :h3.ASN1::TypeAssignment->User defined constraint->Exception->Type
6059 .*---------------------------------------------------------------------*
6060 :xmp tab=0.
6061 <TC - ASN1::TypeAssignment->User defined constraint->Exception->Type>
6062 <COMPILE>
6063 <VERDICT_LEAF FAIL>
6064 <MODULE ASN Module-A ModuleA.asn>
6065 Module-A DEFINITIONS ::=
6066 BEGIN
6067    IMPORTS ;
6068    Y ::= BIT STRING (SIZE(2))
6069    X{PARAM} ::= BIT STRING
6070    (CONSTRAINED BY {PARAM} !NONEXI:securityViolation)
6071    Error ::= ENUMERATED {securityViolation}
6072 END
6073 <END_MODULE>
6074 <RESULT IF_PASS COUNT 1>
6075 (?im)\berror\b.+?no.+?assignment.+?Nonexi
6076 <END_RESULT>
6077 <RESULT IF_PASS COUNT 1>
6078 (?is)\berror:
6079 <END_RESULT>
6080 <RESULT IF_PASS POSITIVE>
6081 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
6082 <END_RESULT>
6083 <RESULT IF_FAIL NEGATIVE>
6084 (?is)\berror:
6085 <END_RESULT>
6086 <END_TC>
6087 :exmp.
6088
6089 .*---------------------------------------------------------------------*
6090 :h3.ASN1::TypeAssignment->User defined constraint->Exception->Value
6091 .*---------------------------------------------------------------------*
6092 :xmp tab=0.
6093 <TC - ASN1::TypeAssignment->User defined constraint->Exception->Value>
6094 <COMPILE>
6095 <VERDICT_LEAF FAIL>
6096 <MODULE ASN Module-A ModuleA.asn>
6097 Module-A DEFINITIONS ::=
6098 BEGIN
6099    IMPORTS ;
6100    Y ::= BIT STRING (SIZE(2))
6101    X{PARAM} ::= BIT STRING
6102    (CONSTRAINED BY {PARAM} !Error:nonexi)
6103    Error ::= ENUMERATED {securityViolation}
6104 END
6105 <END_MODULE>
6106 <RESULT IF_PASS COUNT 1>
6107 (?im)\berror\b.+?no.+?assignment.+?Nonexi
6108 <END_RESULT>
6109 <RESULT IF_PASS COUNT 1>
6110 (?is)\berror:
6111 <END_RESULT>
6112 <RESULT IF_PASS POSITIVE>
6113 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
6114 <END_RESULT>
6115 <RESULT IF_FAIL NEGATIVE>
6116 (?is)\berror:
6117 <END_RESULT>
6118 <END_TC>
6119 :exmp.
6120
6121 .*---------------------------------------------------------------------*
6122 :h3.ASN1::TypeAssignment->EMBEDDED PDV->Single value
6123 .*---------------------------------------------------------------------*
6124 :xmp tab=0.
6125 <TC - ASN1::TypeAssignment->EMBEDDED PDV->Single value>
6126 <COMPILE>
6127 <VERDICT_LEAF PASS>
6128 <MODULE ASN Module-A ModuleA.asn>
6129 Module-A DEFINITIONS ::=
6130 BEGIN
6131    IMPORTS ;
6132    Y ::= EMBEDDED PDV
6133    X ::= Y (nonexi)
6134 END
6135 <END_MODULE>
6136 <RESULT IF_PASS COUNT 1>
6137 (?im)\berror\b.+?no.+?assignment.+?Nonexi
6138 <END_RESULT>
6139 <RESULT IF_PASS COUNT 1>
6140 (?is)\berror:
6141 <END_RESULT>
6142 <RESULT IF_PASS POSITIVE>
6143 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
6144 <END_RESULT>
6145 <RESULT IF_FAIL NEGATIVE>
6146 (?is)\berror:
6147 <END_RESULT>
6148 <END_TC>
6149 :exmp.
6150
6151 .*---------------------------------------------------------------------*
6152 :h3.ASN1::TypeAssignment->EMBEDDED PDV->InnerTypeConstraints
6153 .*---------------------------------------------------------------------*
6154 :xmp tab=0.
6155 <TC - ASN1::TypeAssignment->EMBEDDED PDV->InnerTypeConstraints>
6156 <COMPILE>
6157 <VERDICT_LEAF PASS>
6158 <MODULE ASN Module-A ModuleA.asn>
6159 Module-A DEFINITIONS ::=
6160 BEGIN
6161    IMPORTS ;
6162    Y ::= EMBEDDED PDV
6163    X ::= Y (WITH COMPONENTS {..., data-value (nonexi) })
6164 END
6165 <END_MODULE>
6166 <RESULT IF_PASS COUNT 1>
6167 (?im)\berror\b.+?no.+?assignment.+?nonexi
6168 <END_RESULT>
6169 <RESULT IF_PASS COUNT 1>
6170 (?is)\berror:
6171 <END_RESULT>
6172 <RESULT IF_PASS POSITIVE>
6173 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
6174 <END_RESULT>
6175 <END_TC>
6176 :exmp.
6177
6178 .*---------------------------------------------------------------------*
6179 :h3.ASN1::TypeAssignment->CHARACTER STRING->Single value
6180 .*---------------------------------------------------------------------*
6181 :xmp tab=0.
6182 <TC - ASN1::TypeAssignment->CHARACTER STRING->Single value>
6183 <COMPILE>
6184 <VERDICT_LEAF PASS>
6185 <MODULE ASN Module-A ModuleA.asn>
6186 Module-A DEFINITIONS ::=
6187 BEGIN
6188    IMPORTS ;
6189    X ::= CHARACTER STRING (nonexi)
6190 END
6191 <END_MODULE>
6192 <RESULT IF_PASS COUNT 1>
6193 (?im)\berror\b.+?no.+?assignment.+?Nonexi
6194 <END_RESULT>
6195 <RESULT IF_PASS COUNT 1>
6196 (?is)\berror:
6197 <END_RESULT>
6198 <RESULT IF_PASS POSITIVE>
6199 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
6200 <END_RESULT>
6201 <RESULT IF_FAIL NEGATIVE>
6202 (?is)\berror:
6203 <END_RESULT>
6204 <END_TC>
6205 :exmp.
6206
6207 .*---------------------------------------------------------------------*
6208 :h3.ASN1::TypeAssignment->CHARACTER STRING->InnerTypeConstraints
6209 .*---------------------------------------------------------------------*
6210 :xmp tab=0.
6211 <TC - ASN1::TypeAssignment->CHARACTER STRING->InnerTypeConstraints>
6212 <COMPILE>
6213 <VERDICT_LEAF PASS>
6214 <MODULE ASN Module-A ModuleA.asn>
6215 Module-A DEFINITIONS ::=
6216 BEGIN
6217    IMPORTS ;
6218    X ::= CHARACTER STRING (WITH COMPONENTS {..., string-value (nonexi)})
6219 END
6220 <END_MODULE>
6221 <RESULT IF_PASS COUNT 1>
6222 (?im)\berror\b.+?no.+?assignment.+?nonexi
6223 <END_RESULT>
6224 <RESULT IF_PASS COUNT 1>
6225 (?is)\berror:
6226 <END_RESULT>
6227 <RESULT IF_PASS POSITIVE>
6228 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
6229 <END_RESULT>
6230 <END_TC>
6231 :exmp.
6232
6233 .*---------------------------------------------------------------------*
6234 :h3.ASN1::TypeAssignment->CHARACTER STRING
6235 .*---------------------------------------------------------------------*
6236 :xmp tab=0.
6237 <TC - ASN1::TypeAssignment->CHARACTER STRING>
6238 <COMPILE>
6239 <VERDICT_LEAF PASS>
6240 <MODULE ASN Module-A ModuleA.asn>
6241 Module-A DEFINITIONS ::=
6242 BEGIN
6243    IMPORTS ;
6244    X ::= CHARACTER STRING (WITH COMPONENTS {..., string-value (nonexi)})
6245 END
6246 <END_MODULE>
6247 <RESULT IF_PASS COUNT 1>
6248 (?im)\berror\b.+?no.+?assignment.+?Nonexi
6249 <END_RESULT>
6250 <RESULT IF_PASS COUNT 1>
6251 (?is)\berror:
6252 <END_RESULT>
6253 <RESULT IF_PASS POSITIVE>
6254 (?im)\bnotify\b.+?\bcode\b.+?\bnot\b.+?\bgenerated\b
6255 <END_RESULT>
6256 <END_TC>
6257 :exmp.
6258
6259
6260 .*---------------------------------------------------------------------*
6261 :h3.ASN1::subtypes->Enumerated
6262 .*---------------------------------------------------------------------*
6263 :xmp tab=0.
6264 <TC - ASN1::subtypes->Enumerated>
6265 <COMPILE>
6266 <VERDICT_LEAF PASS>
6267 <MODULE ASN Module-A ModuleA.asn>
6268 Module-A DEFINITIONS ::=
6269 BEGIN
6270 Months ::= ENUMERATED {
6271   january,
6272   february,
6273   march,
6274   april,
6275   may,
6276   june,
6277   july,
6278   august,
6279   september,
6280   october,
6281   november,
6282   december
6283 }
6284 First-quarter ::= Months ( january | february | march )
6285 Second-quarter ::= Months ( april | may | june )
6286 Third-quarter ::= Months ( july | august | september )
6287 Fourth-quarter ::= Months ( october | november | december )
6288 First-half ::= Months ( First-quarter | Second-quarter )
6289 Second-half ::= Months ( Third-quarter | Fourth-quarter )
6290 m1 First-half ::= december
6291 MyMonths1 ::= Months ( SIZE ( 1..10 ) | january )
6292 MyMonths2 ::= Months ( FROM ( First-quarter ) )
6293 MyMonths3 ::= Months ( ALL EXCEPT First-quarter)
6294 mm3 MyMonths3 ::= january
6295 END
6296 <END_MODULE>
6297 <RESULT COUNT 1>
6298 (?im)\berror: december is not a valid value for type `.+Months' which has subtype \(january,february,march,april,may,june\)
6299 <END_RESULT>
6300 <RESULT COUNT 1>
6301 (?im)\berror: Size constraint is not allowed for type `.+Months'
6302 <END_RESULT>
6303 <RESULT COUNT 1>
6304 (?im)\berror: Permitted alphabet constraint is not allowed for type `.+Months'
6305 <END_RESULT>
6306 <RESULT COUNT 1>
6307 (?im)\berror: january is not a valid value for type `.+Months' which has subtype \(ALL except \(january,february,march\)\)
6308 <END_RESULT>
6309 <RESULT COUNT 4>
6310 (?is)\berror:
6311 <END_RESULT>
6312 <END_TC>
6313 :exmp.
6314
6315 .*---------------------------------------------------------------------*
6316 :h3.ASN1::subtypes->Integer
6317 .*---------------------------------------------------------------------*
6318 :xmp tab=0.
6319 <TC - ASN1::subtypes->Integer>
6320 <COMPILE>
6321 <VERDICT_LEAF PASS>
6322 <MODULE ASN Module-A ModuleA.asn>
6323 Module-A DEFINITIONS ::=
6324 BEGIN
6325 MyInt1 ::= INTEGER (1..5)
6326 mi11 MyInt1 ::= 3
6327 mi12 MyInt1 ::= 6
6328 MyInt2 ::= INTEGER ( REAL(1.0..3.0) UNION PrintableString("abc") UNION INTEGER(1..10) )
6329 MyInt3 ::= INTEGER ( SIZE(10) EXCEPT FROM(1..10) )
6330 MyInt4 ::= MyInt2 (MyInt3)
6331 MyInt5 ::= INTEGER ( PATTERN "abc" EXCEPT 5 )
6332 MyInt6 ::= INTEGER ( ALL EXCEPT ((MIN..0) UNION (0..MAX)) )
6333 MyInt7 ::= INTEGER (1..10) (5..15)
6334 MyInt9 ::= INTEGER (5..6 EXCEPT 1..10)
6335 MyInt10::= INTEGER ( MIN..MAX )
6336 MyInt11::= INTEGER ( INTEGER )
6337 MyInt12::= INTEGER ( INTEGER(1 EXCEPT 1) )
6338 END
6339 <END_MODULE>
6340 <RESULT COUNT 1>
6341 (?im)\berror: 6 is not a valid value for type `integer' which has subtype \(1..5\)
6342 <END_RESULT>
6343 <RESULT COUNT 2>
6344 (?im)\berror: Contained subtype constraint is invalid, constrained and constraining types have different root type
6345 <END_RESULT>
6346 <RESULT COUNT 1>
6347 (?im)\berror: Size constraint is not allowed for type `integer'
6348 <END_RESULT>
6349 <RESULT COUNT 1>
6350 (?im)\berror: Permitted alphabet constraint is not allowed for type `integer'
6351 <END_RESULT>
6352 <RESULT COUNT 1>
6353 (?im)\berror: Pattern constraint is not allowed for type `integer'
6354 <END_RESULT>
6355 <RESULT COUNT 3>
6356 (?im)\berror: The subtype is an empty set
6357 <END_RESULT>
6358 <RESULT COUNT 1>
6359 (?im)\berror: Constraint #2 is \(5..15\), this is not a subset of \(1..10\)
6360 <END_RESULT>
6361 <RESULT COUNT 1>
6362 (?im)\bwarning: The subtype of type `integer' is a full set, it does not constrain the root type.
6363 <END_RESULT>
6364 <RESULT COUNT 1>
6365 (?im)\berror: Contained subtype constraint is invalid, the constraining type has no subtype constraint
6366 <END_RESULT>
6367 <RESULT COUNT 11>
6368 (?is)\berror:
6369 <END_RESULT>
6370 <END_TC>
6371 :exmp.
6372
6373 .*---------------------------------------------------------------------*
6374 :h3.ASN1::subtypes->String types
6375 .*---------------------------------------------------------------------*
6376 :xmp tab=0.
6377 <TC - ASN1::subtypes->String types>
6378 <COMPILE>
6379 <VERDICT_LEAF PASS>
6380 <MODULE ASN Module-A ModuleA.asn>
6381 Module-A DEFINITIONS ::=
6382 BEGIN
6383 MyIntRange ::= INTEGER ( 6..9 )
6384 MyStrRange ::= PrintableString ( SIZE( ((-1 .. 3) EXCEPT -1) UNION MyIntRange ) )
6385 myStrVal MyStrRange ::= "abcd"
6386
6387 VanillaBMPString ::= BMPString (FROM (BMPString(SIZE(1)) EXCEPT (C0 | C1)))
6388 C0 ::= BMPString (FROM ({0,0,0,0} .. {0,0,0,31}))
6389 C1 ::= BMPString (FROM ({0,0,0,128} .. {0,0,0,159}))
6390 strVanilla VanillaBMPString ::= {0,0,0,0}
6391
6392 MyStrRange222 ::= PrintableString ( SIZE((10 .. -10)) )
6393
6394 VS1 ::= VisibleString ( SIZE (1..10) INTERSECTION ( FROM ("A".."Z")  EXCEPT "ABC" ) )
6395 vs1 VS1 ::= "ABC"
6396 VS2 ::= VisibleString ( SIZE (1..10) INTERSECTION FROM("A".."Z") )
6397 vs2 VS2 ::= "ABC"
6398
6399 VSwrng ::= VisibleString (FROM(MIN..MAX))
6400
6401 NS ::= NumericString ( FROM( "12345" EXCEPT  "3".."6") )
6402 ns NS ::= "567"
6403
6404 VSfrom1 ::= VisibleString ( FROM("abc") UNION FROM("f".."r") )
6405 vsf1 VSfrom1 ::= "abcfr"
6406 VSfrom2 ::= VisibleString ( FROM( "abc" UNION ("f".."r") )  )
6407 vsf2a VSfrom2 ::= "abcfr"
6408 vsf2b VSfrom2 ::= "xyz"
6409
6410 TouchToneString ::= IA5String ( FROM("0123456789"|"*"|"#") ) ( SIZE(1..63) )
6411 tts TouchToneString ::= "abc"
6412 END
6413 <END_MODULE>
6414 <RESULT COUNT 1>
6415 (?im)\berror: "abcd" is not a valid value for type `PrintableString' which has subtype \(from\(" ","'".."\)","\+"..":","=","\?","A".."Z","a".."z"\) intersection length\(0..3,6..9\)\)
6416 <END_RESULT>
6417 <RESULT COUNT 1>
6418 (?im)\berror: char\(0, 0, 0, 0\) is not a valid value for type `BMPString' which has subtype from\(" "..char\(0, 0, 0, 127\),char\(0, 0, 0, 160\)..char\(0, 0, 255, 255\)\)
6419 <END_RESULT>
6420 <RESULT COUNT 1>
6421 (?im)\berror: lower boundary is bigger than upper boundary in INTEGER value range constraint
6422 <END_RESULT>
6423 <RESULT COUNT 1>
6424 (?im)\berror: "ABC" is not a valid value for type `VisibleString' which has subtype \(length\(1..10\) intersection \(from\("A".."Z"\) except \("ABC"\)\)\)
6425 <END_RESULT>
6426 <RESULT COUNT 1>
6427 (?im)\bwarning: The subtype of type `VisibleString' is a full set, it does not constrain the root type.
6428 <END_RESULT>
6429 <RESULT COUNT 1>
6430 (?im)\berror: "567" is not a valid value for type `NumericString' which has subtype from\("1".."2"\)
6431 <END_RESULT>
6432 <RESULT COUNT 1>
6433 (?im)\berror: "abcfr" is not a valid value for type `VisibleString' which has subtype \(from\("a".."c"\) union from\("f".."r"\)\)
6434 <END_RESULT>
6435 <RESULT COUNT 1>
6436 (?im)\berror: "xyz" is not a valid value for type `VisibleString' which has subtype from\("a".."c","f".."r"\)
6437 <END_RESULT>
6438 <RESULT COUNT 1>
6439 (?im)\berror: "abc" is not a valid value for type `IA5String' which has subtype \(from\("#","\*","0".."9"\) intersection length\(1..63\)\)
6440 <END_RESULT>
6441 <RESULT COUNT 8>
6442 (?is)\berror:
6443 <END_RESULT>
6444 <END_TC>
6445 :exmp.
6446
6447 .*---------------------------------------------------------------------*
6448 :h3.ASN1::subtypes->Parametrized types: Type and value parameters
6449 .*---------------------------------------------------------------------*
6450 :xmp tab=0.
6451 <TC - ASN1::subtypes->Parametrized types: Type and value parameters>
6452 <COMPILE>
6453 <VERDICT_LEAF PASS>
6454 <MODULE ASN Module-A ModuleA.asn>
6455 Module-A DEFINITIONS ::=
6456 BEGIN
6457 MyInt ::= INTEGER (10..20)
6458 MyPT1{DummyTypeRef} ::= DummyTypeRef
6459 MyPT1instance ::= MyPT1{MyInt}
6460 myPT1inst MyPT1instance ::= 5
6461
6462 MyParamRecOfType{DummyPar1} ::= SEQUENCE OF DummyPar1
6463 myPRof-const MyParamRecOfType{MyInt} ::= { 1,2 }
6464
6465 MyValueParamRecOf{INTEGER:lowerBound,INTEGER:upperBound} ::= SEQUENCE SIZE(lowerBound..upperBound) OF INTEGER
6466 myVPRof-const MyValueParamRecOf{7,9} ::= { 1,2,3 }
6467
6468 MyIntFld  ::= INTEGER (1..5)
6469 MyBoolFld ::= BOOLEAN (FALSE)
6470 MyStrFld  ::= VisibleString (FROM("abc"))
6471 MyRecParamType{DP1,DP2,DP3}
6472 ::= SEQUENCE
6473 {
6474   fld1 DP1,
6475   fld2 DP2,
6476   fld3 DP3
6477 }
6478 myRPT MyRecParamType{MyIntFld,MyBoolFld,MyStrFld} ::= { fld1 -33, fld2 TRUE, fld3 "haha" }
6479
6480 MyRecValParamType{INTEGER:lowerBound,INTEGER:upperBound}
6481 ::= SEQUENCE
6482 {
6483   field1 INTEGER (lowerBound..upperBound),
6484   field2 VisibleString OPTIONAL
6485 }
6486 MyActType ::= MyRecValParamType{111,222}
6487 myConT MyActType ::= { field1 1, field2 "a" }
6488 END
6489 <END_MODULE>
6490 <RESULT COUNT 1>
6491 (?im)\berror: 5 is not a valid value for type `integer' which has subtype \(10..20\)
6492 <END_RESULT>
6493 <RESULT COUNT 1>
6494 (?im)\berror: 1 is not a valid value for type `integer' which has subtype \(10..20\)
6495 <END_RESULT>
6496 <RESULT COUNT 1>
6497 (?im)\berror: 2 is not a valid value for type `integer' which has subtype \(10..20\)
6498 <END_RESULT>
6499 <RESULT COUNT 1>
6500 (?im)\berror: \{ 1, 2, 3 \} is not a valid value for type `.+' which has subtype length\(7..9\)
6501 <END_RESULT>
6502 <RESULT COUNT 1>
6503 (?im)\berror: -33 is not a valid value for type `integer' which has subtype \(1..5\)
6504 <END_RESULT>
6505 <RESULT COUNT 1>
6506 (?im)\berror: TRUE is not a valid value for type `boolean' which has subtype \(false\)
6507 <END_RESULT>
6508 <RESULT COUNT 1>
6509 (?im)\berror: "haha" is not a valid value for type `VisibleString' which has subtype from\("a".."c"\)
6510 <END_RESULT>
6511 <RESULT COUNT 1>
6512 (?im)\berror: 1 is not a valid value for type `integer' which has subtype \(111..222\)
6513 <END_RESULT>
6514 <RESULT COUNT 8>
6515 (?is)\berror:
6516 <END_RESULT>
6517 <END_TC>
6518 :exmp.
6519
6520 .*---------------------------------------------------------------------*
6521 :h3.ASN1::subtypes->Range constraint: MIN,MAX values
6522 .*---------------------------------------------------------------------*
6523 :xmp tab=0.
6524 <TC - ASN1::subtypes->Range constraint: MIN,MAX values>
6525 <COMPILE>
6526 <VERDICT_LEAF PASS>
6527 <MODULE ASN Module-A ModuleA.asn>
6528 Module-A DEFINITIONS ::=
6529 BEGIN
6530 IMPORTS ;
6531 MyInt1 ::= INTEGER (-10..10)
6532 MyInt2 ::= MyInt1 (1..MAX)
6533 myint-const MyInt2 ::= 22
6534 MyInt3 ::= INTEGER (MIN..MAX) (MIN..MAX) (-100..MAX) (MIN..100) (MIN..MAX EXCEPT (-10..MAX INTERSECTION MIN..10))
6535 myint3 MyInt3 ::= 0
6536 MyInt4 ::= MyInt3 (MIN..MAX)
6537 MyStr1 ::= NumericString (FROM(MIN.."6"))
6538 MyStr2 ::= NumericString (FROM("3"..MAX))
6539 mystr2 MyStr2 ::= "abc"
6540 MyStr3 ::= VisibleString (FROM("abc") UNION FROM("qwe"))
6541 MyStr4 ::= MyStr3 (FROM(MIN..MAX))
6542 mystr4 MyStr4 ::= "123"
6543 MyReal ::= REAL (NOT-A-NUMBER) (MIN..MAX)
6544 MyStr5 ::= VisibleString ("abc"|"def") (SIZE(1..MAX))
6545 MyStr6 ::= VisibleString ("abc"|"def") (SIZE(MIN..10))
6546 END
6547 <END_MODULE>
6548 <RESULT COUNT 1>
6549 (?im)\berror: 22 is not a valid value for type `integer' which has subtype \(1..10\)
6550 <END_RESULT>
6551 <RESULT COUNT 1>
6552 (?im)\berror: 0 is not a valid value for type `integer' which has subtype \(-100..-11,11..100\)
6553 <END_RESULT>
6554 <RESULT COUNT 1>
6555 (?im)\berror: Constraint #1 is \(-100..100\), this is not a subset of \(-100..-11,11..100\)
6556 <END_RESULT>
6557 <RESULT COUNT 1>
6558 (?im)\berror: Constraint #1 is from\(" ".."6"\), this is not a subset of from\(" ","0".."9"\)
6559 <END_RESULT>
6560 <RESULT COUNT 1>
6561 (?im)\berror: "abc" is not a valid value for type `NumericString' which has subtype from\("3".."9"\)
6562 <END_RESULT>
6563 <RESULT COUNT 1>
6564 (?im)\bwarning: Cannot determine the value of MIN, using the minimal char value of the type
6565 <END_RESULT>
6566 <RESULT COUNT 1>
6567 (?im)\bwarning: Cannot determine the value of MAX, using the maximal char value of the type
6568 <END_RESULT>
6569 <RESULT COUNT 1>
6570 (?im)\berror: "123" is not a valid value for type `VisibleString' which has subtype \(from\("a".."c"\) union from\("e","q","w"\)\)
6571 <END_RESULT>
6572 <RESULT COUNT 1>
6573 (?im)\berror: Cannot determine the value of MIN: the parent subtype has no range
6574 <END_RESULT>
6575 <RESULT COUNT 1>
6576 (?im)\berror: Cannot determine the value of MAX: the parent subtype has no range
6577 <END_RESULT>
6578 <RESULT COUNT 1>
6579 (?im)\berror: Constraint #2 is \(-INF..INF\), this is not a subset of \(NaN\)
6580 <END_RESULT>
6581 <RESULT COUNT 1>
6582 (?im)\berror: Cannot determine the value of MAX: the parent subtype does not define a maximal size value
6583 <END_RESULT>
6584 <RESULT COUNT 1>
6585 (?im)\berror: Cannot determine the value of MIN: the parent subtype does not define a minimal size value
6586 <END_RESULT>
6587 <RESULT COUNT 11>
6588 (?is)\berror:
6589 <END_RESULT>
6590 <RESULT COUNT 2>
6591 (?is)\bwarning:
6592 <END_RESULT>
6593 <END_TC>
6594 :exmp.
6595
6596 .*---------------------------------------------------------------------*
6597 :h3.ASN1::subtypes->ValueSet assignments
6598 .*---------------------------------------------------------------------*
6599 :xmp tab=0.
6600 <TC - ASN1::subtypes->ValueSet assignments>
6601 <COMPILE>
6602 <VERDICT_LEAF PASS>
6603 <MODULE ASN Module-A ModuleA.asn>
6604 Module-A DEFINITIONS ::=
6605 BEGIN
6606 IMPORTS ;
6607 MyInt ::= INTEGER
6608 MyInt1 MyInt ::= {1..20|"haha"}
6609 MyInt2 MyInt ::= {1..20|SIZE(1..22)}
6610 MyInt3 MyInt (1..10) ::= {1..20}
6611
6612 MyInt4 MyInt ::= {1..20}
6613 myInt4 MyInt4 ::= 22
6614
6615 MyInt5 INTEGER ::= {1..10}
6616 myInt5 MyInt5 ::= 11
6617
6618 ParamType{DummyTypeParam} ::= SEQUENCE {
6619   fld1 DummyTypeParam
6620 }
6621 SomeType ::= ParamType{MyInt5}
6622
6623
6624 InvokeId ::= INTEGER
6625 PresentInvokeId InvokeId ::= {1..20}
6626 Invoke{InvokeId:InvokeIdSet} ::= SEQUENCE {
6627    invokeId InvokeId (InvokeIdSet)
6628 }
6629 MAP-Invoke ::= Invoke{{PresentInvokeId}}
6630 mi MAP-Invoke ::= { invokeId 222 }
6631 END
6632 <END_MODULE>
6633 <RESULT COUNT 1>
6634 (?im)\berror: INTEGER value was expected
6635 <END_RESULT>
6636 <RESULT COUNT 1>
6637 (?im)\berror: Size constraint is not allowed for type `integer'
6638 <END_RESULT>
6639 <RESULT COUNT 1>
6640 (?im)\berror: Constraint #2 is \(1..20\), this is not a subset of \(1..10\)
6641 <END_RESULT>
6642 <RESULT COUNT 1>
6643 (?im)\berror: 22 is not a valid value for type `integer' which has subtype \(1..20\)
6644 <END_RESULT>
6645 <RESULT COUNT 1>
6646 (?im)\berror: 11 is not a valid value for type `integer' which has subtype \(1..10\)
6647 <END_RESULT>
6648 <RESULT COUNT 1>
6649 (?im)\berror: 222 is not a valid value for type `integer' which has subtype \(1..20\)
6650 <END_RESULT>
6651 <RESULT COUNT 6>
6652 (?is)\berror:
6653 <END_RESULT>
6654 <END_TC>
6655 :exmp.
6656
6657 .*---------------------------------------------------------------------*
6658 :h3.ASN1::ValueSet and parametrization
6659 .*---------------------------------------------------------------------*
6660 :xmp tab=0.
6661 <TC - ASN1::ValueSet and parametrization>
6662 <COMPILE>
6663 <VERDICT_LEAF PASS>
6664 <MODULE ASN Module-A ModuleA.asn>
6665 Module-A DEFINITIONS ::=
6666 BEGIN
6667 IMPORTS ;
6668 MyPardType{INTEGER:DummyIntSet, INTEGER:myDummyLower, INTEGER:myDummyUpper, MyDummyType} ::= SEQUENCE {
6669   fld1 DummyIntSet,
6670   fld2 INTEGER (DummyIntSet|-10..0),
6671   fld3 INTEGER (myDummyLower..myDummyUpper),
6672   fld4 MyDummyType
6673 }
6674 END
6675 <END_MODULE>
6676 <MODULE ASN Module-B ModuleB.asn>
6677 Module-B DEFINITIONS ::=
6678 BEGIN
6679 IMPORTS MyPardType{} FROM Module-A;
6680 MyType ::= MyPardType{{MyIntSet},cMyLower,cMyUpper,MyIntType}
6681 MyIntSet INTEGER ::= { 10..100 }
6682 MyIntType ::= REAL ( 0.0..<MAX|NOT-A-NUMBER )
6683 cMyLower INTEGER ::= 33
6684 cMyUpper INTEGER ::= 44
6685 c-mytype MyType ::= { fld1 3, fld2 6, fld3 9, fld4 PLUS-INFINITY }
6686 END
6687 <END_MODULE>
6688 <MODULE ASN Module-C ModuleC.asn>
6689 Module-C DEFINITIONS ::=
6690 BEGIN
6691 IMPORTS ;
6692 MyInt1 INTEGER ::= { 1..10 }
6693 MyInt2 INTEGER ::= { MyInt1|11..20 }
6694 MyInt4 ::= MyInt1 (MyInt2)
6695 c-myint2 MyInt2 ::= 21
6696 END
6697 <END_MODULE>
6698 <RESULT IF_PASS COUNT 1>
6699 (?im)\berror: 21 is not a valid value for type `integer' which has subtype \(1..20\)
6700 <END_RESULT>
6701 <RESULT IF_PASS COUNT 1>
6702 (?im)\berror: 3 is not a valid value for type `integer' which has subtype \(10..100\)
6703 <END_RESULT>
6704 <RESULT IF_PASS COUNT 1>
6705 (?im)\berror: 6 is not a valid value for type `integer' which has subtype \(-10..0,10..100\)
6706 <END_RESULT>
6707 <RESULT IF_PASS COUNT 1>
6708 (?im)\berror: INF is not a valid value for type `float' which has subtype \(0.0e0..!INF,NaN\)
6709 <END_RESULT>
6710 <RESULT IF_PASS COUNT 1>
6711 (?im)\berror: Constraint #1 is \(1..20\), this is not a subset of \(1..10\)
6712 <END_RESULT>
6713 <RESULT IF_PASS COUNT 1>
6714 (?im)\berror: 21 is not a valid value for type `integer' which has subtype \(1..20\)
6715 <END_RESULT>
6716 <RESULT IF_PASS COUNT 6>
6717 (?is)\berror:
6718 <END_RESULT>
6719 <END_TC>
6720 :exmp.
6721
6722 .*---------------------------------------------------------------------*
6723 :h3.ASN1::subtypes->open type
6724 .*---------------------------------------------------------------------*
6725 :xmp tab=0.
6726 <TC - ASN1::subtypes->open type>
6727 <COMPILE>
6728 <VERDICT_LEAF PASS>
6729 <MODULE ASN Module-A ModuleA.asn>
6730 Module-A DEFINITIONS ::=
6731 BEGIN
6732 IMPORTS ;
6733 OtherType ::= INTEGER
6734 MyType ::= SEQUENCE { fld1 TYPE-IDENTIFIER.&Type(OtherType) }
6735 MyType2 ::= TYPE-IDENTIFIER.&Type(OtherType)
6736 END
6737 <END_MODULE>
6738 <RESULT COUNT 0>
6739 (?is)\berror:
6740 <END_RESULT>
6741 <END_TC>
6742 :exmp.
6743
6744 .*---------------------------------------------------------------------*
6745 :h3.ASN1::subtypes->circular reference
6746 .*---------------------------------------------------------------------*
6747 :xmp tab=0.
6748 <TC - ASN1::subtypes->circular reference>
6749 <COMPILE>
6750 <VERDICT_LEAF PASS>
6751 <MODULE ASN Module-A ModuleA.asn>
6752 Module-A DEFINITIONS ::=
6753 BEGIN
6754 IMPORTS ;
6755 X ::= INTEGER ( X )
6756 A ::= INTEGER ( B )
6757 B ::= INTEGER ( C )
6758 C ::= INTEGER ( A )
6759 END
6760 <END_MODULE>
6761 <RESULT COUNT 2>
6762 (?im)\berror: While checking circular type references in subtype definitions: Circular reference: .+
6763 <END_RESULT>
6764 <END_TC>
6765 :exmp.
6766
6767 .*---------------------------------------------------------------------*
6768 :h3.ASN1::subtypes->extension additions
6769 .*---------------------------------------------------------------------*
6770 :xmp tab=0.
6771 <TC - ASN1::subtypes->extension additions>
6772 <COMPILE>
6773 <VERDICT_LEAF PASS>
6774 <MODULE ASN Module-A ModuleA.asn>
6775 Module-A DEFINITIONS ::=
6776 BEGIN
6777 IMPORTS ;
6778 A1 ::= INTEGER (1..32,...,33..128)
6779 B1a ::= A1 (1..128)
6780 B1b ::= INTEGER (1..32,...,33..128) (1..128)
6781
6782 A2 ::= INTEGER (1..256, ..., A1) (1..256)
6783 a2 A2 ::= -1
6784
6785 A3 ::= INTEGER (1..111,...,222..333)
6786 A4 ::= A3
6787 a4 A4 ::= -11
6788
6789 A5 ::= INTEGER (MIN..MAX,...,1..10)
6790
6791 Foo ::= INTEGER (1..6, ..., 73..80)
6792 Bar ::= Foo (73)
6793 foo Foo ::= 73
6794 foo2 Foo ::= 99
6795
6796 CU ::= VisibleString ( SIZE(10..30,...,35..45) UNION SIZE(20..40, ..., 45..55) )
6797 cu CU ::= ""
6798
6799 CI ::= VisibleString ( SIZE(10..30,...,35..45) INTERSECTION SIZE(20..40, ..., 45..55) )
6800 ci CI ::= ""
6801
6802 CD ::= VisibleString ( SIZE(10..30,...,35..45), ..., SIZE(20..40, ..., 45..55) )
6803 cd CD ::= ""
6804
6805 CE ::= VisibleString ( SIZE(10..30,...,35..45) EXCEPT SIZE(20..40, ..., 45..55) )
6806 ce CE ::= ""
6807
6808 MyInt1 ::= INTEGER (0..15, ..., 32..63 )
6809 MyInt2 ::= INTEGER (16..31, ...)
6810 MyInt  ::= INTEGER ( MyInt1 | MyInt2 )
6811 myint MyInt ::= 32
6812
6813 B ::= BOOLEAN (FALSE)
6814 B2 ::= BOOLEAN (FALSE,...,TRUE)
6815 B3 ::= B (FALSE,...,TRUE)
6816 END
6817 <END_MODULE>
6818 <RESULT COUNT 1>
6819 (?im)\berror: Constraint #1 is \(1..128\), this is not a subset of \(1..32\)
6820 <END_RESULT>
6821 <RESULT COUNT 1>
6822 (?im)\berror: Constraint #2 is \(1..128\), this is not a subset of \(1..32\)
6823 <END_RESULT>
6824 <RESULT COUNT 1>
6825 (?im)\berror: -1 is not a valid value for type `integer' which has subtype \(1..256\)
6826 <END_RESULT>
6827 <RESULT COUNT 1>
6828 (?im)\berror: -11 is not a valid value for type `integer' which has subtype \(1..111\), ..., \(222..333\)
6829 <END_RESULT>
6830 <RESULT COUNT 1>
6831 (?im)\bwarning: The subtype of type `integer' is a full set, it does not constrain the root type.
6832 <END_RESULT>
6833 <RESULT COUNT 1>
6834 (?im)\berror: Constraint #1 is \(73\), this is not a subset of \(1..6\)
6835 <END_RESULT>
6836 <RESULT COUNT 1>
6837 (?im)\berror: 99 is not a valid value for type `integer' which has subtype \(1..6\), ..., \(73..80\)
6838 <END_RESULT>
6839 <RESULT COUNT 1>
6840 (?im)\berror: "" is not a valid value for type `VisibleString' which has subtype length\(10..40\), ..., length\(41..55\)
6841 <END_RESULT>
6842 <RESULT COUNT 1>
6843 (?im)\berror: "" is not a valid value for type `VisibleString' which has subtype length\(20..30\), ..., length\(35..40,45\)
6844 <END_RESULT>
6845 <RESULT COUNT 1>
6846 (?im)\berror: "" is not a valid value for type `VisibleString' which has subtype length\(10..30\), ..., length\(31..55\)
6847 <END_RESULT>
6848 <RESULT COUNT 1>
6849 (?im)\berror: "" is not a valid value for type `VisibleString' which has subtype length\(10..19\), ..., length\(41..44\)
6850 <END_RESULT>
6851 <RESULT COUNT 1>
6852 (?im)\berror: 32 is not a valid value for type `integer' which has subtype \(0..31\)
6853 <END_RESULT>
6854 <RESULT COUNT 1>
6855 (?im)\bwarning: The subtype of type `boolean' is a full set, it does not constrain the root type.
6856 <END_RESULT>
6857 <RESULT COUNT 1>
6858 (?im)\berror: Extension addition of constraint #1 is \(true\), this is not a subset of \(false\)
6859 <END_RESULT>
6860 <RESULT COUNT 12>
6861 (?is)\berror:
6862 <END_RESULT>
6863 <RESULT COUNT 2>
6864 (?is)\bwarning:
6865 <END_RESULT>
6866 <END_TC>
6867 :exmp.
6868
6869 .*---------------------------------------------------------------------*
6870 :h3.ASN1::subtypes->multiple inner type constraint
6871 .*---------------------------------------------------------------------*
6872 :xmp tab=0.
6873 <TC - ASN1::subtypes->multiple inner type constraint>
6874 <COMPILE>
6875 <VERDICT_LEAF PASS>
6876 <MODULE ASN Module-A ModuleA.asn>
6877 Module-A DEFINITIONS ::=
6878 BEGIN
6879 IMPORTS ;
6880 MYREC ::= SEQUENCE { x INTEGER, y BOOLEAN }
6881 MYREC1 ::= MYREC ( WITH COMPONENTS { x (7..10), y (FALSE) } )
6882 MYREC2 ::= MYREC ( WITH COMPONENTS { y (FALSE), x (7..10) } )
6883 MYREC3 ::= MYREC ( WITH COMPONENTS { y (FALSE), y (FALSE) } )
6884 MYREC4 ::= MYREC ( WITH COMPONENTS { a (FALSE) } )
6885 MYREC5 ::= MYREC ( WITH COMPONENT (1..5) )
6886 MYREC6 ::= MYREC ( WITH COMPONENTS { x (7..10), y (WITH COMPONENTS{x(SIZE(4))}) } )
6887 MYREC7 ::= MYREC ( WITH COMPONENTS { x (FROM(4)), y (SIZE(4)) } )
6888 END
6889 <END_MODULE>
6890 <RESULT COUNT 1>
6891 (?im)\berror: The order of fields must be the same as in the definition of type `@Module-A.MYREC'
6892 <END_RESULT>
6893 <RESULT COUNT 1>
6894 (?im)\berror: Duplicate reference to field `y' of type `@Module-A.MYREC'
6895 <END_RESULT>
6896 <RESULT COUNT 1>
6897 (?im)\berror: Type `@Module-A.MYREC' does not have a field named `a'
6898 <END_RESULT>
6899 <RESULT COUNT 1>
6900 (?im)\berror: Single inner type constraint \(WITH COMPONENT\) cannot be used on type `@Module-A.MYREC'
6901 <END_RESULT>
6902 <RESULT COUNT 1>
6903 (?im)\berror: Multiple inner type constraint \(WITH COMPONENTS\) cannot be used on type `boolean'
6904 <END_RESULT>
6905 <RESULT COUNT 1>
6906 (?im)\berror: Permitted alphabet constraint is not allowed for type `integer'
6907 <END_RESULT>
6908 <RESULT COUNT 1>
6909 (?im)\berror: Size constraint is not allowed for type `boolean'
6910 <END_RESULT>
6911 <RESULT COUNT 7>
6912 (?is)\berror:
6913 <END_RESULT>
6914 <END_TC>
6915 :exmp.
6916
6917 .*---------------------------------------------------------------------*
6918 :h3.ASN1::subtypes->single inner type constraint
6919 .*---------------------------------------------------------------------*
6920 :xmp tab=0.
6921 <TC - ASN1::subtypes->single inner type constraint>
6922 <COMPILE>
6923 <VERDICT_LEAF PASS>
6924 <MODULE ASN Module-A ModuleA.asn>
6925 Module-A DEFINITIONS ::=
6926 BEGIN
6927 IMPORTS ;
6928 SI ::= SEQUENCE OF INTEGER
6929 SSI ::= SEQUENCE OF SI
6930 SI1 ::= SI (WITH COMPONENT (1..10))
6931 SI2 ::= SI (WITH COMPONENT (SIZE(4)))
6932 SI3 ::= SI (WITH COMPONENT ((3..10)|(14..MAX)^("a")))
6933 SI4 ::= SSI (
6934   WITH COMPONENT (
6935     WITH COMPONENT (1|2)
6936     UNION
6937     WITH COMPONENT (2|4)
6938   )
6939   INTERSECTION
6940   WITH COMPONENT (
6941     WITH COMPONENT (2..7)
6942     INTERSECTION
6943     SIZE (33)
6944   )
6945 )
6946 SI5 ::= SSI (
6947   WITH COMPONENT (
6948     WITH COMPONENT (1|"abc")
6949     UNION
6950     WITH COMPONENT (2|WITH COMPONENT(1..5))
6951   )
6952   INTERSECTION
6953   WITH COMPONENT (
6954     SIZE (33) | WITH COMPONENT (2..7)
6955   )
6956 )
6957 END
6958 <END_MODULE>
6959 <RESULT COUNT 1>
6960 (?im)\berror: Size constraint is not allowed for type `integer'
6961 <END_RESULT>
6962 <RESULT COUNT 2>
6963 (?im)\berror: INTEGER value was expected
6964 <END_RESULT>
6965 <RESULT COUNT 1>
6966 (?im)\berror: Single inner type constraint \(WITH COMPONENT\) cannot be used on type `integer'
6967 <END_RESULT>
6968 <RESULT COUNT 4>
6969 (?is)\berror:
6970 <END_RESULT>
6971 <END_TC>
6972 :exmp.
6973
6974 .*---------------------------------------------------------------------*
6975 :h3.ASN1::subtypes->mixed inner type constraints
6976 .*---------------------------------------------------------------------*
6977 :xmp tab=0.
6978 <TC - ASN1::subtypes->mixed inner type constraints>
6979 <COMPILE>
6980 <VERDICT_LEAF PASS>
6981 <MODULE ASN Module-A ModuleA.asn>
6982 Module-A DEFINITIONS ::=
6983 BEGIN
6984 IMPORTS ;
6985 SEQ ::= SEQUENCE { x INTEGER, y SS OPTIONAL }
6986 SS ::= SEQUENCE OF SEQ
6987 -- recursive structure: this is probably legal, because the constraint is not on the field but
6988 -- on the SEQ itself,on different levels of recursion the same embedded SS an SEQ field types
6989 -- can have different constraints
6990 -- some crazy ASN.1 stuff...
6991 SS1 ::= SEQ ( WITH COMPONENTS { x (1..10), y (WITH COMPONENT(WITH COMPONENTS{x(1..111)})) } )
6992 SS2 ::= SEQ ( WITH COMPONENTS { x (1..10), y (WITH COMPONENT(WITH COMPONENTS{x(WITH COMPONENTS{a(2)})})) } )
6993 SS3 ::= SEQ ( WITH COMPONENTS { x (1..10), y (WITH COMPONENT(WITH COMPONENTS{a(1..5)})) } )
6994 SS4 ::= SEQ ( WITH COMPONENTS { x (1..10), y (WITH COMPONENT(WITH COMPONENTS{y(WITH COMPONENT(1..5))})) } )
6995 END
6996 <END_MODULE>
6997 <RESULT COUNT 1>
6998 (?im)\berror: Multiple inner type constraint \(WITH COMPONENTS\) cannot be used on type `integer'
6999 <END_RESULT>
7000 <RESULT COUNT 1>
7001 (?im)\berror: Type `@Module-A.SEQ' does not have a field named `a'
7002 <END_RESULT>
7003 <RESULT COUNT 1>
7004 (?im)\berror: Value range constraint is not allowed for type `@Module-A.SEQ'
7005 <END_RESULT>
7006 <RESULT COUNT 3>
7007 (?is)\berror:
7008 <END_RESULT>
7009 <END_TC>
7010 :exmp.
7011
7012 .*---------------------------------------------------------------------*
7013 :h3.ASN1::subtypes->REAL inner type constraints
7014 .*---------------------------------------------------------------------*
7015 :xmp tab=0.
7016 <TC - ASN1::subtypes->REAL inner type constraints>
7017 <COMPILE>
7018 <VERDICT_LEAF PASS>
7019 <MODULE ASN Module-A ModuleA.asn>
7020 Module-A DEFINITIONS ::=
7021 BEGIN
7022 IMPORTS ;
7023 MyReal1 ::= REAL (WITH COMPONENTS{ mantissa (10..20), base (2), exponent (3..MAX) })
7024 MyReal2 ::= REAL (WITH COMPONENTS{ mantisssa (10..20), base (2), exponent (3..MAX) })
7025 MyReal3 ::= REAL (WITH COMPONENTS{ base (2), mantissa (10..20), exponent (3..MAX) })
7026 MyReal4 ::= REAL (WITH COMPONENTS{ mantissa (10..20), base (2), base (10), exponent (3..MAX) })
7027 END
7028 <END_MODULE>
7029 <RESULT COUNT 1>
7030 (?im)\berror: Type `float' does not have a field named `mantisssa'
7031 <END_RESULT>
7032 <RESULT COUNT 1>
7033 (?im)\berror: The order of fields must be the same as in the definition of type `float'
7034 <END_RESULT>
7035 <RESULT COUNT 1>
7036 (?im)\berror: Duplicate reference to field `base' of type `float'
7037 <END_RESULT>
7038 <RESULT COUNT 3>
7039 (?is)\berror:
7040 <END_RESULT>
7041 <END_TC>
7042 :exmp.
7043
7044 .*---------------------------------------------------------------------*
7045 :h3.ASN1::subtypes->inner type constraints->presence constraints
7046 .*---------------------------------------------------------------------*
7047 :xmp tab=0.
7048 <TC - ASN1::subtypes->inner type constraints->presence constraints>
7049 <COMPILE>
7050 <VERDICT_LEAF PASS>
7051 <MODULE ASN Module-A ModuleA.asn>
7052 Module-A DEFINITIONS ::=
7053 BEGIN
7054 IMPORTS ;
7055 MySeq ::= SEQUENCE { x INTEGER OPTIONAL, y REAL }
7056 MySet ::= SET { x INTEGER OPTIONAL, y REAL }
7057 MyChoice ::= CHOICE { x INTEGER, y REAL }
7058 MySeq1 ::= MySeq (WITH COMPONENTS{ x ABSENT })
7059 MySeq2 ::= MySeq (WITH COMPONENTS{ y ABSENT })
7060 MySeq3 ::= MySeq (WITH COMPONENTS{ y (WITH COMPONENTS{ mantissa OPTIONAL, base PRESENT, exponent ABSENT }) })
7061 MySet1 ::= MySet (WITH COMPONENTS{ y(0.0..1.0), x ABSENT })
7062 MySet2 ::= MySet (WITH COMPONENTS{ y ABSENT, x ABSENT })
7063 MySet3 ::= MySet (WITH COMPONENTS{ y (WITH COMPONENTS{ mantissa OPTIONAL, base PRESENT, exponent ABSENT }) })
7064 MyChoice1 ::= MyChoice (WITH COMPONENTS{x ABSENT, y PRESENT})
7065 MyChoice2 ::= MyChoice (WITH COMPONENTS{x PRESENT, y PRESENT})
7066 MyChoice3 ::= MyChoice (WITH COMPONENTS{x ABSENT, y ABSENT})
7067 MyChoice4 ::= MyChoice (WITH COMPONENTS{..., y PRESENT})
7068 MyChoice5 ::= MyChoice (WITH COMPONENTS{y PRESENT})
7069 MyChoice6 ::= MyChoice (WITH COMPONENTS{..., y ABSENT})
7070 MyChoice7 ::= MyChoice (WITH COMPONENTS{y ABSENT})
7071 END
7072 <END_MODULE>
7073 <RESULT COUNT 2>
7074 (?im)\berror: Presence constraint `ABSENT' cannot be used on mandatory field `y'
7075 <END_RESULT>
7076 <RESULT COUNT 2>
7077 (?im)\berror: Presence constraint `OPTIONAL' cannot be used on mandatory field `mantissa'
7078 <END_RESULT>
7079 <RESULT COUNT 2>
7080 (?im)\berror: Presence constraint `PRESENT' cannot be used on mandatory field `base'
7081 <END_RESULT>
7082 <RESULT COUNT 2>
7083 (?im)\berror: Presence constraint `ABSENT' cannot be used on mandatory field `exponent'
7084 <END_RESULT>
7085 <RESULT COUNT 1>
7086 (?im)\berror: CHOICE type `@Module-A.MyChoice' cannot have more than one `PRESENT' field
7087 <END_RESULT>
7088 <RESULT COUNT 2>
7089 (?im)\berror: All fields of CHOICE type `@Module-A.MyChoice' are `ABSENT'
7090 <END_RESULT>
7091 <RESULT COUNT 11>
7092 (?is)\berror:
7093 <END_RESULT>
7094 <END_TC>
7095 :exmp.
7096
7097
7098 .*---------------------------------------------------------------------*
7099 :h1.Abbreviations
7100 .*---------------------------------------------------------------------*
7101 :list.
7102 :li D='ASN.1'.Abstract Syntax Notation 1
7103 :li D='EDML'.Ericsson Document Markup Language
7104 :li D='SA'.Semantic Analyser
7105 :li D='TTCN-3'.Test and Test Control Notation version 3
7106 :elist.
7107
7108 .*---------------------------------------------------------------------*
7109 :h1.References
7110 .*---------------------------------------------------------------------*
7111 :list.
7112 :li D='[1]'.<docnumber of ASN.1 SA RS>
7113 :nl.Requirement Specification for TITAN's ASN.1 Semantic Analyser
7114 :li D='[2]'.ITU-T X.680 (07/2002):
7115 :nl.Abstract Syntax Notation One (ASN.1):
7116 :nl.Specification of basic notation
7117 :li D='[3]'.ITU-T X.681 (12/97):
7118 :nl.Abstract Syntax Notation One (ASN.1):
7119 :nl.Information object specification
7120 :li D='[4]'.ITU-T X.682 (12/97):
7121 :nl.Abstract Syntax Notation One (ASN.1):
7122 :nl.Constraint specification
7123 :li D='[5]'.ITU-T X.683 (12/97):
7124 :nl.Abstract Syntax Notation One (ASN.1):
7125 :nl.Parameterization of ASN.1 specifications
7126 :elist.
7127
7128 .*---------------------------------------------------------------------*
7129 :h1.Terminology
7130 .*---------------------------------------------------------------------*
7131 :list.
7132 :li D='TITAN'.Ericsson's TTCN-3 Test Environment
7133 :elist.
7134
7135 :etext.
7136