regression_test/ttcn2json/zero.asn

   1 ------------------------------------------------------------------------------
   2 -- Copyright (c) 2000-2015 Ericsson Telecom AB
   3 -- All rights reserved. This program and the accompanying materials
   4 -- are made available under the terms of the Eclipse Public License v1.0
   5 -- which accompanies this distribution, and is available at
   6 -- http://www.eclipse.org/legal/epl-v10.html
   7 ------------------------------------------------------------------------------
   8
   9 Zero
  10 DEFINITIONS
  11
  12 AUTOMATIC TAGS
  13
  14 ::=
  15
  16 BEGIN
  17
  18 IMPORTS ;
  19
  20 -- encodable types
  21 SeqOfInt ::= SEQUENCE OF INTEGER
  22
  23 SeqProduct ::= SEQUENCE {
  24   name UniversalString,
  25   price REAL,
  26   id OCTET STRING OPTIONAL,
  27   available BOOLEAN
  28 }
  29
  30 Number ::= CHOICE {
  31   decimal INTEGER,
  32   binary BIT STRING,
  33   hexadecimal OCTET STRING
  34 }
  35
  36 AnyString ::= CHOICE {
  37   generalstr GeneralString,
  38   numericstr NumericString,
  39   utf8str UTF8String,
  40   printablestr PrintableString,
  41   universalstr UniversalString,
  42   bmpstr BMPString,
  43   graphicstr GraphicString,
  44   ia5str IA5String,
  45   teletexstr TeletexString,
  46   videotexstr VideotexString,
  47   visiblestr VisibleString
  48 }
  49
  50 ManyStrings ::= SEQUENCE OF AnyString
  51
  52 Big-Set ::= SET {
  53   product SeqProduct,
  54   numbers SET OF Number,
  55   strings ManyStrings,
  56   color ENUMERATED { red, blue, green, yellow }
  57 }
  58
  59 Big-Choice ::= CHOICE {
  60   numbers SET OF Number,
  61   strings ManyStrings
  62 }
  63
  64 Season ::= ENUMERATED {
  65   spring (1), summer (2), fall (3), winter (4)
  66 }
  67
  68 SelectionType ::= numbers < Big-Choice
  69
  70 NullType ::= NULL
  71
  72 ObjIdType ::= OBJECT IDENTIFIER
  73
  74 RelObjIdType ::= RELATIVE-OID
  75
  76 -- non-encodable types
  77
  78 EmbPdvType ::= EMBEDDED PDV
  79
  80 ExtType ::= EXTERNAL
  81
  82 GenTimeType ::= GeneralizedTime
  83
  84 UtcTimeType ::= UTCTime
  85
  86 ObjDescType ::= ObjectDescriptor
  87
  88 END