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