blob: c852adc57ef67999d7d3b39f5558ec17cea49317 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
Seq2738 DEFINITIONS IMPLICIT TAGS ::=
-- Tests that a missing mandatory component of an optional
-- component is detected as an error and not just as if the optional
-- component was missing
BEGIN
-- We create a value of type SeqWithOptFake , encode it and then
-- try to decode it as a value of type SeqWithOpt.
-- The decoder should detect this as an error, because the
-- mandatory first component of type INTEGER in OptSeq is missing
SeqOpt ::= SEQUENCE
{
int INTEGER,
opt OptSeq OPTIONAL
}
SeqOptFake ::= SEQUENCE
{
int INTEGER,
opt OptSeqFake OPTIONAL
}
OptSeq ::= SEQUENCE
{
int INTEGER
}
OptSeqFake ::= SEQUENCE
{
bool BOOLEAN
}
END
|
