1SeqDefault DEFINITIONS IMPLICIT TAGS ::=
2
3BEGIN
4
5
6SeqDef1 ::= SEQUENCE
7{
8  bool1 BOOLEAN DEFAULT TRUE,
9  int1  INTEGER,
10  seq1  SeqIn DEFAULT {}
11}
12
13SeqDef1Imp ::= SEQUENCE
14{
15  bool1 [1] BOOLEAN DEFAULT TRUE,
16  int1  INTEGER,
17  seq1  [2] SeqIn DEFAULT {}
18}
19
20SeqDef1Exp ::= SEQUENCE
21{
22  bool1 [1] EXPLICIT BOOLEAN DEFAULT TRUE,
23  int1  INTEGER,
24  seq1  [2] EXPLICIT SeqIn DEFAULT {}
25}
26
27SeqDef2 ::= SEQUENCE
28{
29  seq2  SeqIn DEFAULT {},
30  bool2 BOOLEAN DEFAULT TRUE,
31  int2  INTEGER
32}
33
34SeqDef2Imp ::= SEQUENCE
35{
36  seq2  [1] SeqIn DEFAULT {},
37  bool2 [2] BOOLEAN DEFAULT TRUE,
38  int2  INTEGER
39}
40
41SeqDef2Exp ::= SEQUENCE
42{
43  seq2  [1] EXPLICIT SeqIn DEFAULT {},
44  bool2 [2] EXPLICIT BOOLEAN,
45  int2  INTEGER
46}
47
48SeqDef3 ::= SEQUENCE
49{
50  bool3 BOOLEAN DEFAULT TRUE,
51  seq3  SeqIn DEFAULT {},
52  int3  INTEGER DEFAULT 17
53}
54
55SeqDef3Imp ::= SEQUENCE
56{
57  bool3 [1] BOOLEAN DEFAULT TRUE,
58  seq3  [2] SeqIn DEFAULT {},
59  int3  INTEGER DEFAULT 17
60}
61
62SeqDef3Exp ::= SEQUENCE
63{
64  bool3 [1] EXPLICIT BOOLEAN DEFAULT TRUE,
65  seq3  [2] EXPLICIT SeqIn DEFAULT {},
66  int3  INTEGER DEFAULT 17
67}
68
69
70
71SeqIn ::= SEQUENCE
72{
73  boolIn  BOOLEAN OPTIONAL,
74  intIn  INTEGER DEFAULT 12
75}
76
77SeqExp ::= SEQUENCE
78{
79  bool BOOLEAN,
80  ...,
81  int INTEGER
82}
83
84SeqDef4 ::= SEQUENCE {
85  seq SeqExp DEFAULT { bool TRUE, int 42 }
86}
87
88END
89