1233294Sstas-- $Id$ --
2178825Sdfr
3178825SdfrTEST DEFINITIONS ::=
4178825Sdfr
5178825SdfrBEGIN
6178825Sdfr
7178825SdfrIMPORTS heim_any FROM heim;
8178825Sdfr
9233294SstasTESTuint32 ::= INTEGER (0..4294967295)
10233294Sstas
11178825SdfrTESTLargeTag ::= SEQUENCE {
12233294Sstas	foo[127] INTEGER (-2147483648..2147483647),
13233294Sstas	bar[128] INTEGER (-2147483648..2147483647)
14178825Sdfr}
15178825Sdfr
16178825SdfrTESTSeq ::= SEQUENCE {
17178825Sdfr	tag0[0] INTEGER (-2147483648..2147483647),
18178825Sdfr	tag1[1] TESTLargeTag,
19178825Sdfr	tagless INTEGER (-2147483648..2147483647),
20178825Sdfr	tag3[2] INTEGER (-2147483648..2147483647)
21178825Sdfr}
22178825Sdfr
23178825SdfrTESTChoice1 ::= CHOICE {
24178825Sdfr	i1[1]	INTEGER (-2147483648..2147483647),
25178825Sdfr	i2[2]	INTEGER (-2147483648..2147483647),
26233294Sstas	...
27178825Sdfr}
28178825Sdfr
29178825SdfrTESTChoice2 ::= CHOICE {
30178825Sdfr	i1[1]	INTEGER (-2147483648..2147483647),
31233294Sstas	...
32178825Sdfr}
33178825Sdfr
34178825SdfrTESTInteger ::= INTEGER (-2147483648..2147483647)
35178825Sdfr
36178825SdfrTESTInteger2 ::= [4] IMPLICIT TESTInteger
37178825SdfrTESTInteger3 ::= [5] IMPLICIT TESTInteger2
38178825Sdfr
39178825SdfrTESTImplicit ::= SEQUENCE {
40178825Sdfr	ti1[0] IMPLICIT INTEGER (-2147483648..2147483647),
41233294Sstas	ti2[1] IMPLICIT SEQUENCE {
42178825Sdfr		foo[127] INTEGER (-2147483648..2147483647)
43178825Sdfr	},
44178825Sdfr	ti3[2] IMPLICIT [5] IMPLICIT [4] IMPLICIT INTEGER (-2147483648..2147483647)
45178825Sdfr}
46178825Sdfr
47178825SdfrTESTImplicit2 ::= SEQUENCE {
48178825Sdfr	ti1[0] IMPLICIT TESTInteger,
49178825Sdfr	ti2[1] IMPLICIT TESTLargeTag,
50178825Sdfr	ti3[2] IMPLICIT TESTInteger3
51178825Sdfr}
52178825Sdfr
53178825SdfrTESTAllocInner ::= SEQUENCE {
54178825Sdfr	ai[0] TESTInteger
55178825Sdfr}
56178825Sdfr
57178825SdfrTESTAlloc ::= SEQUENCE {
58178825Sdfr	  tagless TESTAllocInner OPTIONAL,
59178825Sdfr	  three [1] INTEGER (-2147483648..2147483647),
60178825Sdfr	  tagless2 heim_any OPTIONAL
61178825Sdfr}
62178825Sdfr
63233294SstasTESTOptional ::= SEQUENCE {
64233294Sstas	  zero [0] INTEGER (-2147483648..2147483647) OPTIONAL,
65233294Sstas	  one [1] INTEGER (-2147483648..2147483647) OPTIONAL
66233294Sstas}
67178825Sdfr
68233294Sstas
69178825SdfrTESTCONTAINING ::= OCTET STRING ( CONTAINING INTEGER )
70233294SstasTESTENCODEDBY ::= OCTET STRING ( ENCODED BY
71178825Sdfr  { joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) }
72178825Sdfr)
73178825Sdfr
74233294SstasTESTDer OBJECT IDENTIFIER ::= {
75178825Sdfr	joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1)
76178825Sdfr}
77178825Sdfr
78233294SstasTESTCONTAININGENCODEDBY ::= OCTET STRING ( CONTAINING INTEGER ENCODED BY
79178825Sdfr  { joint-iso-itu-t(2) asn(1) ber-derived(2) distinguished-encoding(1) }
80178825Sdfr)
81178825Sdfr
82233294SstasTESTCONTAININGENCODEDBY2 ::= OCTET STRING (
83178825Sdfr	CONTAINING INTEGER ENCODED BY TESTDer
84178825Sdfr)
85178825Sdfr
86178825Sdfr
87178825SdfrTESTValue1 INTEGER ::= 1
88178825Sdfr
89178825SdfrTESTUSERCONSTRAINED ::= OCTET STRING (CONSTRAINED BY { -- meh -- })
90178825Sdfr-- TESTUSERCONSTRAINED2 ::= OCTET STRING (CONSTRAINED BY { TESTInteger })
91178825Sdfr-- TESTUSERCONSTRAINED3 ::= OCTET STRING (CONSTRAINED BY { INTEGER })
92178825Sdfr-- TESTUSERCONSTRAINED4 ::= OCTET STRING (CONSTRAINED BY { INTEGER : 1 })
93178825Sdfr
94178825SdfrTESTSeqOf ::= SEQUENCE OF TESTInteger
95178825Sdfr
96178825SdfrTESTSeqSizeOf1 ::= SEQUENCE SIZE (2) OF TESTInteger
97178825SdfrTESTSeqSizeOf2 ::= SEQUENCE SIZE (1..2) OF TESTInteger
98178825SdfrTESTSeqSizeOf3 ::= SEQUENCE SIZE (1..MAX) OF TESTInteger
99178825SdfrTESTSeqSizeOf4 ::= SEQUENCE SIZE (MIN..2) OF TESTInteger
100178825Sdfr
101178825SdfrTESTOSSize1 ::= OCTET STRING SIZE (1..2)
102178825Sdfr
103233294SstasTESTSeqOfSeq ::= SEQUENCE OF SEQUENCE {
104233294Sstas	zero [0] TESTInteger
105233294Sstas}
106233294Sstas
107233294SstasTESTSeqOfSeq2 ::= SEQUENCE OF SEQUENCE {
108233294Sstas	string [0] GeneralString
109233294Sstas}
110233294Sstas
111233294SstasTESTSeqOfSeq3 ::= SEQUENCE OF SEQUENCE {
112233294Sstas	zero [0] TESTInteger,
113233294Sstas	string [0] GeneralString
114233294Sstas}
115233294Sstas
116233294SstasTESTSeqOf2 ::= SEQUENCE {
117233294Sstas	strings SEQUENCE OF GeneralString
118233294Sstas}
119233294Sstas
120233294SstasTESTSeqOf3 ::= SEQUENCE {
121233294Sstas	strings SEQUENCE OF GeneralString OPTIONAL
122233294Sstas}
123233294Sstas
124233294SstasTESTPreserve ::= SEQUENCE {
125233294Sstas	zero [0] TESTInteger,
126233294Sstas	one [1] TESTInteger
127233294Sstas}
128233294Sstas
129233294SstasTESTBitString ::= BIT STRING {
130233294Sstas	      zero(0),
131233294Sstas	      eight(8),
132233294Sstas	      thirtyone(31)
133233294Sstas}
134233294Sstas
135233294SstasTESTMechType::= OBJECT IDENTIFIER
136233294SstasTESTMechTypeList ::= SEQUENCE OF TESTMechType
137233294Sstas
138178825SdfrEND
139