1-- $Id$ --
2
3TEST DEFINITIONS ::=
4
5BEGIN
6
7IMPORTS heim_any FROM heim;
8
9TESTuint32 ::= INTEGER (0..4294967295)
10
11TESTLargeTag ::= SEQUENCE {
12	foo[127] INTEGER (-2147483648..2147483647),
13	bar[128] INTEGER (-2147483648..2147483647)
14}
15
16TESTSeq ::= SEQUENCE {
17	tag0[0] INTEGER (-2147483648..2147483647),
18	tag1[1] TESTLargeTag,
19	tagless INTEGER (-2147483648..2147483647),
20	tag3[2] INTEGER (-2147483648..2147483647)
21}
22
23TESTChoice1 ::= CHOICE {
24	i1[1]	INTEGER (-2147483648..2147483647),
25	i2[2]	INTEGER (-2147483648..2147483647),
26	...
27}
28
29TESTChoice2 ::= CHOICE {
30	i1[1]	INTEGER (-2147483648..2147483647),
31	...
32}
33
34TESTInteger ::= INTEGER (-2147483648..2147483647)
35
36TESTInteger2 ::= [4] IMPLICIT TESTInteger
37TESTInteger3 ::= [5] IMPLICIT TESTInteger2
38
39TESTImplicit ::= SEQUENCE {
40	ti1[0] IMPLICIT INTEGER (-2147483648..2147483647),
41	ti2[1] IMPLICIT SEQUENCE {
42		foo[127] INTEGER (-2147483648..2147483647)
43	},
44	ti3[2] IMPLICIT [5] IMPLICIT [4] IMPLICIT INTEGER (-2147483648..2147483647)
45}
46
47TESTImplicit2 ::= SEQUENCE {
48	ti1[0] IMPLICIT TESTInteger,
49	ti2[1] IMPLICIT TESTLargeTag,
50	ti3[2] IMPLICIT TESTInteger3
51}
52
53TESTAllocInner ::= SEQUENCE {
54	ai[0] TESTInteger
55}
56
57TESTAlloc ::= SEQUENCE {
58	  tagless TESTAllocInner OPTIONAL,
59	  three [1] INTEGER (-2147483648..2147483647),
60	  tagless2 heim_any OPTIONAL
61}
62
63TESTOptional ::= SEQUENCE {
64	  zero [0] INTEGER (-2147483648..2147483647) OPTIONAL,
65	  one [1] INTEGER (-2147483648..2147483647) OPTIONAL
66}
67
68
69TESTCONTAINING ::= OCTET STRING ( CONTAINING INTEGER )
70TESTENCODEDBY ::= OCTET STRING ( ENCODED BY
71  { joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) }
72)
73
74TESTDer OBJECT IDENTIFIER ::= {
75	joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1)
76}
77
78TESTCONTAININGENCODEDBY ::= OCTET STRING ( CONTAINING INTEGER ENCODED BY
79  { joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) }
80)
81
82TESTCONTAININGENCODEDBY2 ::= OCTET STRING (
83	CONTAINING INTEGER ENCODED BY TESTDer
84)
85
86
87TESTValue1 INTEGER ::= 1
88
89TESTUSERCONSTRAINED ::= 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 })
93
94TESTSeqOf ::= SEQUENCE OF TESTInteger
95
96TESTSeqSizeOf1 ::= SEQUENCE SIZE (2) OF TESTInteger
97TESTSeqSizeOf2 ::= SEQUENCE SIZE (1..2) OF TESTInteger
98TESTSeqSizeOf3 ::= SEQUENCE SIZE (1..MAX) OF TESTInteger
99TESTSeqSizeOf4 ::= SEQUENCE SIZE (MIN..2) OF TESTInteger
100
101TESTOSSize1 ::= OCTET STRING SIZE (1..2)
102
103TESTSeqOfSeq ::= SEQUENCE OF SEQUENCE {
104	zero [0] TESTInteger
105}
106
107TESTSeqOfSeq2 ::= SEQUENCE OF SEQUENCE {
108	string [0] GeneralString
109}
110
111TESTSeqOfSeq3 ::= SEQUENCE OF SEQUENCE {
112	zero [0] TESTInteger,
113	string [0] GeneralString
114}
115
116TESTSeqOf2 ::= SEQUENCE {
117	strings SEQUENCE OF GeneralString
118}
119
120TESTSeqOf3 ::= SEQUENCE {
121	strings SEQUENCE OF GeneralString OPTIONAL
122}
123
124TESTPreserve ::= SEQUENCE {
125	zero [0] TESTInteger,
126	one [1] TESTInteger
127}
128
129TESTBitString ::= BIT STRING {
130	      zero(0),
131	      eight(8),
132	      thirtyone(31)
133}
134
135TESTMechType::= OBJECT IDENTIFIER
136TESTMechTypeList ::= SEQUENCE OF TESTMechType
137
138END
139