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) |
Lev Walkin | 6bd424f | 2005-03-20 13:12:58 +0000 | [diff] [blame] | 6 | -- .16 1 |
| 7 | -- .16 2 |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 8 | |
Lev Walkin | 6bd424f | 2005-03-20 13:12:58 +0000 | [diff] [blame] | 9 | ModuleTestConstraint1 |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 10 | { iso org(3) dod(6) internet(1) private(4) enterprise(1) |
Lev Walkin | 6bd424f | 2005-03-20 13:12:58 +0000 | [diff] [blame] | 11 | spelio(9363) software(1) asn1c(5) test(1) 16 1 } |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 12 | DEFINITIONS ::= |
| 13 | BEGIN |
Lev Walkin | 6bd424f | 2005-03-20 13:12:58 +0000 | [diff] [blame] | 14 | IMPORTS Type1 FROM ModuleTestConstraint2; |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 15 | |
| 16 | -- external reference |
Lev Walkin | ff7dd14 | 2005-03-20 12:58:00 +0000 | [diff] [blame] | 17 | Type0 ::= IA5String (Type6) |
Lev Walkin | 6bd424f | 2005-03-20 13:12:58 +0000 | [diff] [blame] | 18 | Type6 ::= IA5String (Type1) |
| 19 | END |
| 20 | |
| 21 | ModuleTestConstraint2 |
| 22 | { iso org(3) dod(6) internet(1) private(4) enterprise(1) |
| 23 | spelio(9363) software(1) asn1c(5) test(1) 16 2 } |
| 24 | DEFINITIONS ::= |
| 25 | BEGIN |
| 26 | EXPORTS Type1; |
| 27 | |
| 28 | -- external reference |
Lev Walkin | ff7dd14 | 2005-03-20 12:58:00 +0000 | [diff] [blame] | 29 | Type1 ::= IA5String (SIZE(1..ten,...))(FROM("a".."z"|"#",...)) |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 30 | Type2 ::= IA5String (SIZE (MIN..4)|FROM ("abc")) |
| 31 | Type3 ::= BMPString (SIZE(1)) |
| 32 | Type4 ::= INTEGER (1..MAX) |
| 33 | Type5 ::= BOOLEAN (TRUE|FALSE) |
Lev Walkin | ff7dd14 | 2005-03-20 12:58:00 +0000 | [diff] [blame] | 34 | |
| 35 | ten INTEGER ::= 10 |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 36 | |
| 37 | v1 Type1 ::= "#value wi |
| 38 | th ""double quotes""" |
| 39 | END |