Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 1 | |
2 | -- SE: Semantic error | ||||
3 | |||||
4 | -- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1) | ||||
5 | -- .spelio.software.asn1c.test (9363.1.5.1) | ||||
6 | -- .27 | ||||
7 | |||||
8 | ModuleTestSetTagsDistinct | ||||
9 | { iso org(3) dod(6) internet(1) private(4) enterprise(1) | ||||
10 | spelio(9363) software(1) asn1c(5) test(1) 27 } | ||||
11 | DEFINITIONS IMPLICIT TAGS ::= | ||||
12 | BEGIN | ||||
13 | |||||
14 | T ::= SET { | ||||
15 | a INTEGER, | ||||
16 | b CHOICE { -- Could we lookup tag past CHOICE?.. | ||||
17 | c INTEGER -- Tags must be distinct here. | ||||
18 | } | ||||
19 | } | ||||
20 | |||||
21 | END |