| Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 1 | |
| 2 | -- OK: Everything is Fine |
| 3 | |
| 4 | -- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1) |
| 5 | -- .spelio.software.asn1c.test (9363.1.5.1) |
| 6 | -- .37 |
| 7 | |
| 8 | ModuleTestIndirectChoiceFine |
| 9 | { iso org(3) dod(6) internet(1) private(4) enterprise(1) |
| 10 | spelio(9363) software(1) asn1c(5) test(1) 37 } |
| Lev Walkin | bc00c1c | 2004-09-05 10:37:55 +0000 | [diff] [blame] | 11 | DEFINITIONS IMPLICIT TAGS ::= |
| Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 12 | BEGIN |
| 13 | |
| 14 | T ::= CHOICE { |
| 15 | t-a INTEGER, |
| 16 | t-b OCTET STRING, |
| 17 | t-c [1] Choice1, |
| Lev Walkin | bc00c1c | 2004-09-05 10:37:55 +0000 | [diff] [blame] | 18 | t-d [3] Choice2 |
| Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 19 | } |
| 20 | |
| 21 | Choice1 ::= CHOICE { |
| 22 | c-a OCTET STRING, |
| 23 | c-b INTEGER |
| 24 | } |
| 25 | |
| 26 | Choice2 ::= [2] CHOICE { |
| 27 | c-a OCTET STRING, |
| 28 | c-b INTEGER, |
| 29 | c-d [3] Choice1 |
| 30 | } |
| 31 | |
| Lev Walkin | bc00c1c | 2004-09-05 10:37:55 +0000 | [diff] [blame] | 32 | Choice3 ::= [3] EXPLICIT Choice2 -- tags [3] [2] |
| 33 | |
| Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 34 | END |