vlm | 75b3a53 | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 1 | ModuleConditionalIntegerType { iso org(3) dod(6) internet(1) private(4) |
| 2 | enterprise(1) spelio(9363) software(1) asn1c(5) test(1) 90 } |
| 3 | DEFINITIONS ::= |
| 4 | BEGIN |
| 5 | |
| 6 | CN-IntegerUnlimited ::= INTEGER |
| 7 | -- Practical constraints (CN-IntegerUnlimited): (MIN..MAX) |
| 8 | -- PER-visible constraints (CN-IntegerUnlimited): (MIN..MAX) |
| 9 | |
| 10 | CN-IntegerMinMax ::= INTEGER (MIN..MAX) |
| 11 | -- Combined constraints: (MIN..MAX) |
| 12 | -- Practical constraints (CN-IntegerMinMax): (MIN..MAX) |
| 13 | -- PER-visible constraints (CN-IntegerMinMax): (MIN..MAX) |
| 14 | |
| 15 | CN-IntegerMinLow ::= INTEGER (MIN..1) |
| 16 | -- Combined constraints: (MIN..1) |
| 17 | -- Practical constraints (CN-IntegerMinLow): (MIN..1) |
| 18 | -- PER-visible constraints (CN-IntegerMinLow): (MIN..1) |
| 19 | |
vlm | a33a216 | 2005-08-14 02:40:04 +0000 | [diff] [blame] | 20 | NO-IntegerMinHigh ::= INTEGER (MIN..3000000000) |
| 21 | -- Combined constraints: (MIN..3000000000) |
| 22 | -- Practical constraints (NO-IntegerMinHigh): (MIN..3000000000) |
| 23 | -- PER-visible constraints (NO-IntegerMinHigh): (MIN..3000000000) |
vlm | 75b3a53 | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 24 | |
vlm | a33a216 | 2005-08-14 02:40:04 +0000 | [diff] [blame] | 25 | NO-IntegerLowHigh ::= INTEGER (1..3000000000) |
| 26 | -- Combined constraints: (1..3000000000) |
| 27 | -- Practical constraints (NO-IntegerLowHigh): (1..3000000000) |
| 28 | -- PER-visible constraints (NO-IntegerLowHigh): (1..3000000000) |
vlm | 75b3a53 | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 29 | |
| 30 | CN-IntegerLowMax ::= INTEGER (1..MAX) |
| 31 | -- Combined constraints: (1..MAX) |
| 32 | -- Practical constraints (CN-IntegerLowMax): (1..MAX) |
| 33 | -- PER-visible constraints (CN-IntegerLowMax): (1..MAX) |
| 34 | |
vlm | a33a216 | 2005-08-14 02:40:04 +0000 | [diff] [blame] | 35 | NO-IntegerHighMax ::= INTEGER (3000000000..MAX) |
| 36 | -- Combined constraints: (3000000000..MAX) |
| 37 | -- Practical constraints (NO-IntegerHighMax): (3000000000..MAX) |
| 38 | -- PER-visible constraints (NO-IntegerHighMax): (3000000000..MAX) |
vlm | 75b3a53 | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 39 | |
vlm | a33a216 | 2005-08-14 02:40:04 +0000 | [diff] [blame] | 40 | NO-IntegerLowestMax ::= INTEGER (-3000000000..MAX) |
| 41 | -- Combined constraints: (-3000000000..MAX) |
| 42 | -- Practical constraints (NO-IntegerLowestMax): (-3000000000..MAX) |
| 43 | -- PER-visible constraints (NO-IntegerLowestMax): (-3000000000..MAX) |
vlm | 75b3a53 | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 44 | |
vlm | a33a216 | 2005-08-14 02:40:04 +0000 | [diff] [blame] | 45 | NO-IntegerOutRange ::= INTEGER (3000000000..3000000001) |
| 46 | -- Combined constraints: (3000000000..3000000001) |
| 47 | -- Practical constraints (NO-IntegerOutRange): (3000000000..3000000001) |
| 48 | -- PER-visible constraints (NO-IntegerOutRange): (3000000000..3000000001) |
vlm | 75b3a53 | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 49 | |
vlm | a33a216 | 2005-08-14 02:40:04 +0000 | [diff] [blame] | 50 | NO-IntegerOutValue ::= INTEGER (3000000000) |
| 51 | -- Combined constraints: (3000000000) |
| 52 | -- Practical constraints (NO-IntegerOutValue): (3000000000) |
| 53 | -- PER-visible constraints (NO-IntegerOutValue): (3000000000) |
vlm | 75b3a53 | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 54 | |
| 55 | OK-IntegerInRange1 ::= INTEGER (-100..100) |
| 56 | -- Combined constraints: (-100..100) |
| 57 | -- Practical constraints (OK-IntegerInRange1): (-100..100) |
| 58 | -- PER-visible constraints (OK-IntegerInRange1): (-100..100) |
| 59 | |
| 60 | OK-IntegerInRange2 ::= INTEGER (-100 | 100) |
| 61 | -- Combined constraints: (-100 | 100) |
| 62 | -- Practical constraints (OK-IntegerInRange2): (-100 | 100) |
| 63 | -- PER-visible constraints (OK-IntegerInRange2): (-100 | 100) |
| 64 | |
| 65 | OK-IntegerInRange3 ::= INTEGER (-2147483648..2147483647) |
| 66 | -- Combined constraints: (-2147483648..2147483647) |
| 67 | -- Practical constraints (OK-IntegerInRange3): (-2147483648..2147483647) |
| 68 | -- PER-visible constraints (OK-IntegerInRange3): (-2147483648..2147483647) |
| 69 | |
| 70 | OK-IntegerInRange4 ::= INTEGER (-2147483648 | 2147483647) |
| 71 | -- Combined constraints: (-2147483648 | 2147483647) |
| 72 | -- Practical constraints (OK-IntegerInRange4): (-2147483648 | 2147483647) |
| 73 | -- PER-visible constraints (OK-IntegerInRange4): (-2147483648 | 2147483647) |
| 74 | |
| 75 | OK-IntegerInRange5 ::= INTEGER (-2147483648 | 2147483647,...) |
| 76 | -- Combined constraints: (-2147483648 | 2147483647,...) |
| 77 | -- Practical constraints (OK-IntegerInRange5): (-2147483648 | 2147483647,...) |
| 78 | -- PER-visible constraints (OK-IntegerInRange5): (-2147483648 | 2147483647,...) |
| 79 | |
vlm | 9302384 | 2005-08-27 03:13:51 +0000 | [diff] [blame] | 80 | NO-IntegerInRange6 ::= INTEGER (0..4294967295) |
| 81 | -- Combined constraints: (0..4294967295) |
| 82 | -- Practical constraints (NO-IntegerInRange6): (0..4294967295) |
| 83 | -- PER-visible constraints (NO-IntegerInRange6): (0..4294967295) |
| 84 | |
vlm | a33a216 | 2005-08-14 02:40:04 +0000 | [diff] [blame] | 85 | CN-IntegerEnumerated1 ::= INTEGER { |
| 86 | a(1) |
| 87 | -- Practical constraints (a): |
| 88 | -- PER-visible constraints (a): |
| 89 | , |
| 90 | b(2) |
| 91 | -- Practical constraints (b): |
| 92 | -- PER-visible constraints (b): |
| 93 | |
| 94 | } |
| 95 | -- Practical constraints (CN-IntegerEnumerated1): (MIN..MAX) |
| 96 | -- PER-visible constraints (CN-IntegerEnumerated1): (MIN..MAX) |
| 97 | |
| 98 | NO-IntegerEnumerated2 ::= INTEGER { |
| 99 | a(1) |
| 100 | -- Practical constraints (a): |
| 101 | -- PER-visible constraints (a): |
| 102 | , |
| 103 | b(3000000000) |
| 104 | -- Practical constraints (b): |
| 105 | -- PER-visible constraints (b): |
| 106 | |
| 107 | } |
| 108 | -- Practical constraints (NO-IntegerEnumerated2): (MIN..MAX) |
| 109 | -- PER-visible constraints (NO-IntegerEnumerated2): (MIN..MAX) |
| 110 | |
vlm | 75b3a53 | 2005-08-14 02:18:27 +0000 | [diff] [blame] | 111 | END |