| Lev Walkin | 4d8f18a | 2004-09-05 10:44:23 +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 | -- .62 |
| 7 | |
| 8 | ModuleTestANYSyntax |
| 9 | { iso org(3) dod(6) internet(1) private(4) enterprise(1) |
| 10 | spelio(9363) software(1) asn1c(5) test(1) 62 } |
| 11 | DEFINITIONS IMPLICIT TAGS ::= |
| 12 | BEGIN |
| 13 | |
| Lev Walkin | 373d77c | 2004-10-05 06:37:42 +0000 | [diff] [blame] | 14 | T ::= CHOICE { |
| Lev Walkin | 6379436 | 2004-10-28 13:22:38 +0000 | [diff] [blame^] | 15 | s1 T1-ext, |
| 16 | s2 T2, |
| 17 | s3 T3 |
| Lev Walkin | 373d77c | 2004-10-05 06:37:42 +0000 | [diff] [blame] | 18 | } |
| 19 | |
| Lev Walkin | 6379436 | 2004-10-28 13:22:38 +0000 | [diff] [blame^] | 20 | T1-ext ::= SEQUENCE { |
| Lev Walkin | cb3aabe | 2004-09-27 20:31:02 +0000 | [diff] [blame] | 21 | i INTEGER OPTIONAL, |
| 22 | any [1] ANY, -- Converted into [1] EXPLICIT ANY |
| 23 | ... |
| Lev Walkin | 4d8f18a | 2004-09-05 10:44:23 +0000 | [diff] [blame] | 24 | } |
| 25 | |
| Lev Walkin | 373d77c | 2004-10-05 06:37:42 +0000 | [diff] [blame] | 26 | T2 ::= [16] SEQUENCE { |
| Lev Walkin | 6379436 | 2004-10-28 13:22:38 +0000 | [diff] [blame^] | 27 | m1 [0] NumericString, |
| 28 | m2 [1] BOOLEAN, |
| 29 | m3 [3] SEQUENCE OF NumericString, |
| 30 | o4 [4] BOOLEAN OPTIONAL, |
| 31 | o5 [5] BOOLEAN OPTIONAL, |
| 32 | o6 [6] BOOLEAN OPTIONAL |
| 33 | } |
| 34 | |
| 35 | T3 ::= SET { |
| 36 | m1 [0] NumericString, |
| 37 | m2 [1] BOOLEAN |
| Lev Walkin | 373d77c | 2004-10-05 06:37:42 +0000 | [diff] [blame] | 38 | } |
| 39 | |
| Lev Walkin | 4d8f18a | 2004-09-05 10:44:23 +0000 | [diff] [blame] | 40 | END |