| vlm | fa67ddc | 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 | -- .16 |
| 7 | |
| 8 | ModuleTestConstraint |
| 9 | { iso org(3) dod(6) internet(1) private(4) enterprise(1) |
| 10 | spelio(9363) software(1) asn1c(5) test(1) 16 } |
| 11 | DEFINITIONS ::= |
| 12 | BEGIN |
| 13 | |
| 14 | -- external reference |
| vlm | a6a12e3 | 2005-03-20 12:58:00 +0000 | [diff] [blame^] | 15 | Type0 ::= IA5String (Type6) |
| 16 | Type1 ::= IA5String (SIZE(1..ten,...))(FROM("a".."z"|"#",...)) |
| vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 17 | Type2 ::= IA5String (SIZE (MIN..4)|FROM ("abc")) |
| 18 | Type3 ::= BMPString (SIZE(1)) |
| 19 | Type4 ::= INTEGER (1..MAX) |
| 20 | Type5 ::= BOOLEAN (TRUE|FALSE) |
| vlm | a6a12e3 | 2005-03-20 12:58:00 +0000 | [diff] [blame^] | 21 | Type6 ::= IA5String (Type1) |
| 22 | |
| 23 | ten INTEGER ::= 10 |
| vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 24 | |
| 25 | v1 Type1 ::= "#value wi |
| 26 | th ""double quotes""" |
| 27 | END |