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, |
Lev Walkin | cf2e10d | 2004-09-15 11:53:38 +0000 | [diff] [blame] | 29 | c-d [3] Choice1, |
| 30 | c-e [4] Choice1 |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 31 | } |
| 32 | |
Lev Walkin | bc00c1c | 2004-09-05 10:37:55 +0000 | [diff] [blame] | 33 | Choice3 ::= [3] EXPLICIT Choice2 -- tags [3] [2] |
Lev Walkin | 8c2ca0b | 2006-09-17 06:31:08 +0000 | [diff] [blame] | 34 | Choice4 ::= [4] IMPLICIT Choice2 -- tags [4] |
| 35 | Choice5 ::= Choice2 -- tags [2] |
| 36 | Choice6 ::= Choice1 -- tags |
Lev Walkin | bc00c1c | 2004-09-05 10:37:55 +0000 | [diff] [blame] | 37 | |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 38 | END |