7 IMPORTS heim_any FROM heim;
9 TESTuint32 ::= INTEGER (0..4294967295)
11 TESTLargeTag ::= SEQUENCE {
12 foo[127] INTEGER (-2147483648..2147483647),
13 bar[128] INTEGER (-2147483648..2147483647)
16 TESTSeq ::= SEQUENCE {
17 tag0[0] INTEGER (-2147483648..2147483647),
19 tagless INTEGER (-2147483648..2147483647),
20 tag3[2] INTEGER (-2147483648..2147483647)
23 TESTChoice1 ::= CHOICE {
24 i1[1] INTEGER (-2147483648..2147483647),
25 i2[2] INTEGER (-2147483648..2147483647),
29 TESTChoice2 ::= CHOICE {
30 i1[1] INTEGER (-2147483648..2147483647),
34 TESTInteger ::= INTEGER (-2147483648..2147483647)
36 TESTInteger2 ::= [4] IMPLICIT TESTInteger
37 TESTInteger3 ::= [5] IMPLICIT TESTInteger2
39 TESTImplicit ::= SEQUENCE {
40 ti1[0] IMPLICIT INTEGER (-2147483648..2147483647),
41 ti2[1] IMPLICIT SEQUENCE {
42 foo[127] INTEGER (-2147483648..2147483647)
44 ti3[2] IMPLICIT [5] IMPLICIT [4] IMPLICIT INTEGER (-2147483648..2147483647)
47 TESTImplicit2 ::= SEQUENCE {
48 ti1[0] IMPLICIT TESTInteger,
49 ti2[1] IMPLICIT TESTLargeTag,
50 ti3[2] IMPLICIT TESTInteger3
53 TESTAllocInner ::= SEQUENCE {
57 TESTAlloc ::= SEQUENCE {
58 tagless TESTAllocInner OPTIONAL,
59 three [1] INTEGER (-2147483648..2147483647),
60 tagless2 heim_any OPTIONAL
63 TESTOptional ::= SEQUENCE {
64 zero [0] INTEGER (-2147483648..2147483647) OPTIONAL,
65 one [1] INTEGER (-2147483648..2147483647) OPTIONAL
69 TESTCONTAINING ::= OCTET STRING ( CONTAINING INTEGER )
70 TESTENCODEDBY ::= OCTET STRING ( ENCODED BY
71 { joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) }
74 TESTDer OBJECT IDENTIFIER ::= {
75 joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1)
78 TESTCONTAININGENCODEDBY ::= OCTET STRING ( CONTAINING INTEGER ENCODED BY
79 { joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) }
82 TESTCONTAININGENCODEDBY2 ::= OCTET STRING (
83 CONTAINING INTEGER ENCODED BY TESTDer
87 TESTValue1 INTEGER ::= 1
89 TESTUSERCONSTRAINED ::= OCTET STRING (CONSTRAINED BY { -- meh -- })
90 -- TESTUSERCONSTRAINED2 ::= OCTET STRING (CONSTRAINED BY { TESTInteger })
91 -- TESTUSERCONSTRAINED3 ::= OCTET STRING (CONSTRAINED BY { INTEGER })
92 -- TESTUSERCONSTRAINED4 ::= OCTET STRING (CONSTRAINED BY { INTEGER : 1 })
94 TESTSeqOf ::= SEQUENCE OF TESTInteger
96 TESTSeqSizeOf1 ::= SEQUENCE SIZE (2) OF TESTInteger
97 TESTSeqSizeOf2 ::= SEQUENCE SIZE (1..2) OF TESTInteger
98 TESTSeqSizeOf3 ::= SEQUENCE SIZE (1..MAX) OF TESTInteger
99 TESTSeqSizeOf4 ::= SEQUENCE SIZE (MIN..2) OF TESTInteger
101 TESTOSSize1 ::= OCTET STRING SIZE (1..2)
103 TESTSeqOfSeq ::= SEQUENCE OF SEQUENCE {
107 TESTSeqOfSeq2 ::= SEQUENCE OF SEQUENCE {
108 string [0] GeneralString
111 TESTSeqOfSeq3 ::= SEQUENCE OF SEQUENCE {
112 zero [0] TESTInteger,
113 string [0] GeneralString
116 TESTSeqOf2 ::= SEQUENCE {
117 strings SEQUENCE OF GeneralString
120 TESTSeqOf3 ::= SEQUENCE {
121 strings SEQUENCE OF GeneralString OPTIONAL
124 TESTPreserve ::= SEQUENCE {
125 zero [0] TESTInteger,
129 TESTBitString ::= BIT STRING {
135 TESTMechType::= OBJECT IDENTIFIER
136 TESTMechTypeList ::= SEQUENCE OF TESTMechType