| 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 | ||||