1
Seq DEFINITIONS IMPLICIT TAGS ::=
5
IMPORTS Set1 FROM SeqSetLib;
11
boolPri [PRIVATE 21] BOOLEAN,
12
boolApp [APPLICATION 22] BOOLEAN,
13
boolExpCon [30] EXPLICIT BOOLEAN,
14
boolExpPri [PRIVATE 31] EXPLICIT BOOLEAN,
15
boolExpApp [APPLICATION 32] EXPLICIT BOOLEAN
47
bool1 BOOLEAN DEFAULT TRUE,
54
seq2 SeqIn DEFAULT {},
61
bool3 BOOLEAN DEFAULT TRUE,
62
seq3 SeqIn DEFAULT {},
63
int3 INTEGER DEFAULT 17
68
bool1 BOOLEAN OPTIONAL,
82
bool3 BOOLEAN OPTIONAL,
90
boolIn BOOLEAN OPTIONAL,
91
intIn INTEGER DEFAULT 12
99
seqS1 SEQUENCE { boolIn BOOLEAN,
105
seqS2 SEQUENCE { boolIn BOOLEAN,
115
seqS3 SEQUENCE { boolIn BOOLEAN,