lib/asn1/test.asn1

   1 -- $Id$ --
   2
   3 TEST DEFINITIONS ::=
   4
   5 BEGIN
   6
   7 IMPORTS heim_any FROM heim;
   8
   9 TESTLargeTag ::= SEQUENCE {
  10         foo[127] INTEGER (-2147483648..2147483647)
  11 }
  12
  13 TESTSeq ::= SEQUENCE {
  14         tag0[0] INTEGER (-2147483648..2147483647),
  15         tag1[1] TESTLargeTag,
  16         tagless INTEGER (-2147483648..2147483647),
  17         tag3[2] INTEGER (-2147483648..2147483647)
  18 }
  19
  20 TESTChoice1 ::= CHOICE {
  21         i1[1]   INTEGER (-2147483648..2147483647),
  22         i2[2]   INTEGER (-2147483648..2147483647),
  23         ...
  24 }
  25
  26 TESTChoice2 ::= CHOICE {
  27         i1[1]   INTEGER (-2147483648..2147483647),
  28         ...
  29 }
  30
  31 TESTInteger ::= INTEGER (-2147483648..2147483647)
  32
  33 TESTInteger2 ::= [4] IMPLICIT TESTInteger
  34 TESTInteger3 ::= [5] IMPLICIT TESTInteger2
  35
  36 TESTImplicit ::= SEQUENCE {
  37         ti1[0] IMPLICIT INTEGER (-2147483648..2147483647),
  38         ti2[1] IMPLICIT SEQUENCE {
  39                 foo[127] INTEGER (-2147483648..2147483647)
  40         },
  41         ti3[2] IMPLICIT [5] IMPLICIT [4] IMPLICIT INTEGER (-2147483648..2147483647)
  42 }
  43
  44 TESTImplicit2 ::= SEQUENCE {
  45         ti1[0] IMPLICIT TESTInteger,
  46         ti2[1] IMPLICIT TESTLargeTag,
  47         ti3[2] IMPLICIT TESTInteger3
  48 }
  49
  50 TESTAllocInner ::= SEQUENCE {
  51         ai[0] TESTInteger
  52 }
  53
  54 TESTAlloc ::= SEQUENCE {
  55           tagless TESTAllocInner OPTIONAL,
  56           three [1] INTEGER (-2147483648..2147483647),
  57           tagless2 heim_any OPTIONAL
  58 }
  59
  60
  61 TESTCONTAINING ::= OCTET STRING ( CONTAINING INTEGER )
  62 TESTENCODEDBY ::= OCTET STRING ( ENCODED BY
  63   { joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) }
  64 )
  65
  66 TESTDer OBJECT IDENTIFIER ::= {
  67         joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1)
  68 }
  69
  70 TESTCONTAININGENCODEDBY ::= OCTET STRING ( CONTAINING INTEGER ENCODED BY
  71   { joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) }
  72 )
  73
  74 TESTCONTAININGENCODEDBY2 ::= OCTET STRING (
  75         CONTAINING INTEGER ENCODED BY TESTDer
  76 )
  77
  78
  79 TESTValue1 INTEGER ::= 1
  80
  81 TESTUSERCONSTRAINED ::= OCTET STRING (CONSTRAINED BY { -- meh -- })
  82 -- TESTUSERCONSTRAINED2 ::= OCTET STRING (CONSTRAINED BY { TESTInteger })
  83 -- TESTUSERCONSTRAINED3 ::= OCTET STRING (CONSTRAINED BY { INTEGER })
  84 -- TESTUSERCONSTRAINED4 ::= OCTET STRING (CONSTRAINED BY { INTEGER : 1 })
  85
  86 TESTSeqOf ::= SEQUENCE OF TESTInteger
  87
  88 TESTSeqSizeOf1 ::= SEQUENCE SIZE (2) OF TESTInteger
  89 TESTSeqSizeOf2 ::= SEQUENCE SIZE (1..2) OF TESTInteger
  90 TESTSeqSizeOf3 ::= SEQUENCE SIZE (1..MAX) OF TESTInteger
  91 TESTSeqSizeOf4 ::= SEQUENCE SIZE (MIN..2) OF TESTInteger
  92
  93 TESTOSSize1 ::= OCTET STRING SIZE (1..2)
  94
  95 END