SeqExtension DEFINITIONS IMPLICIT TAGS ::=
BEGIN
IMPORTS XSeqExt1, XSeqExt2 FROM External;
SeqExt1 ::= SEQUENCE
{
...
}
SeqExt2 ::= SEQUENCE
{
bool BOOLEAN,
int INTEGER,
...
}
SeqExt3 ::= SEQUENCE
{
...,
bool BOOLEAN,
int INTEGER
}
SeqExt4 ::= SEQUENCE
{
bool BOOLEAN,
...,
int INTEGER
}
SeqExt5 ::= SEQUENCE
{
...,
[[ name OCTET STRING (SIZE (1..8)),
shoesize INTEGER ]]
}
SeqExt6 ::= SEQUENCE
{
-- The spaces between the ellipsis and the comma will prevent them
-- from being removed.
... ,
[[ i1 [100] INTEGER, i2 [101] INTEGER, i3 [102] INTEGER ]],
[[ i4 [104] INTEGER, i5 [105] INTEGER ]],
[[ i6 [106] INTEGER, i7 [107] INTEGER ]]
}
SeqExt1X ::= XSeqExt1
SeqExt2X ::= XSeqExt2
SuperSeq ::= SEQUENCE
{
s1 SeqExt1,
s2 SeqExt2,
s3 SeqExt3,
s4 SeqExt4,
s5 SeqExt5,
s6 SeqExt6,
i INTEGER
}
END
