Lev Walkin | 082cadc | 2005-08-14 02:18:27 +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 | -- .90 |
| 7 | |
| 8 | ModuleConditionalIntegerType |
| 9 | { iso org(3) dod(6) internet (1) private(4) enterprise(1) |
| 10 | spelio(9363) software(1) asn1c(5) test(1) 90 } |
| 11 | DEFINITIONS ::= |
| 12 | BEGIN |
| 13 | |
| 14 | CN-IntegerUnlimited ::= INTEGER |
| 15 | CN-IntegerMinMax ::= INTEGER (MIN..MAX) |
| 16 | CN-IntegerMinLow ::= INTEGER (MIN..1) |
Lev Walkin | c3f0b89 | 2005-08-14 02:40:04 +0000 | [diff] [blame] | 17 | NO-IntegerMinHigh ::= INTEGER (MIN..3000000000) |
| 18 | NO-IntegerLowHigh ::= INTEGER (1..3000000000) |
Lev Walkin | 082cadc | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 19 | CN-IntegerLowMax ::= INTEGER (1..MAX) |
Lev Walkin | c3f0b89 | 2005-08-14 02:40:04 +0000 | [diff] [blame] | 20 | NO-IntegerHighMax ::= INTEGER (3000000000..MAX) |
| 21 | NO-IntegerLowestMax ::= INTEGER (-3000000000..MAX) |
| 22 | NO-IntegerOutRange ::= INTEGER (3000000000..3000000001) |
| 23 | NO-IntegerOutValue ::= INTEGER (3000000000) |
Lev Walkin | 082cadc | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 24 | OK-IntegerInRange1 ::= INTEGER (-100..100) |
| 25 | OK-IntegerInRange2 ::= INTEGER (-100|100) |
| 26 | OK-IntegerInRange3 ::= INTEGER (-2147483648..2147483647) |
| 27 | OK-IntegerInRange4 ::= INTEGER (-2147483648|2147483647) |
| 28 | OK-IntegerInRange5 ::= INTEGER (-2147483648|2147483647,...) |
Lev Walkin | fee6f71 | 2005-08-27 03:13:51 +0000 | [diff] [blame] | 29 | NO-IntegerInRange6 ::= INTEGER (0..4294967295) |
Lev Walkin | 082cadc | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 30 | CN-IntegerEnumerated1 ::= INTEGER { a(1), b(2) } |
Lev Walkin | c3f0b89 | 2005-08-14 02:40:04 +0000 | [diff] [blame] | 31 | NO-IntegerEnumerated2 ::= INTEGER { a(1), b(3000000000) } |
Lev Walkin | 082cadc | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 32 | |
| 33 | END |