tests/tests-asn1c-compiler/90-cond-int-type-OK.asn1.-EFprint-constraints

   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 -- OER-visible constraints (CN-IntegerUnlimited): (MIN..MAX)
   9 -- PER-visible constraints (CN-IntegerUnlimited): (MIN..MAX)
  10
  11 CN-IntegerMinMax ::= INTEGER (MIN..MAX)
  12 -- Combined constraints: (MIN..MAX)
  13 -- Practical constraints (CN-IntegerMinMax): (MIN..MAX)
  14 -- OER-visible constraints (CN-IntegerMinMax): (MIN..MAX)
  15 -- PER-visible constraints (CN-IntegerMinMax): (MIN..MAX)
  16
  17 CN-IntegerMinLow ::= INTEGER (MIN..1)
  18 -- Combined constraints: (MIN..1)
  19 -- Practical constraints (CN-IntegerMinLow): (MIN..1)
  20 -- OER-visible constraints (CN-IntegerMinLow): (MIN..1)
  21 -- PER-visible constraints (CN-IntegerMinLow): (MIN..1)
  22
  23 NO-IntegerMinHigh ::= INTEGER (MIN..3000000000)
  24 -- Combined constraints: (MIN..3000000000)
  25 -- Practical constraints (NO-IntegerMinHigh): (MIN..3000000000)
  26 -- OER-visible constraints (NO-IntegerMinHigh): (MIN..3000000000)
  27 -- PER-visible constraints (NO-IntegerMinHigh): (MIN..3000000000)
  28
  29 NO-IntegerLowHigh ::= INTEGER (1..3000000000)
  30 -- Combined constraints: (1..3000000000)
  31 -- Practical constraints (NO-IntegerLowHigh): (1..3000000000)
  32 -- OER-visible constraints (NO-IntegerLowHigh): (1..3000000000)
  33 -- PER-visible constraints (NO-IntegerLowHigh): (1..3000000000)
  34
  35 CN-IntegerLowMax ::= INTEGER (1..MAX)
  36 -- Combined constraints: (1..MAX)
  37 -- Practical constraints (CN-IntegerLowMax): (1..MAX)
  38 -- OER-visible constraints (CN-IntegerLowMax): (1..MAX)
  39 -- PER-visible constraints (CN-IntegerLowMax): (1..MAX)
  40
  41 NO-IntegerHighMax ::= INTEGER (3000000000..MAX)
  42 -- Combined constraints: (3000000000..MAX)
  43 -- Practical constraints (NO-IntegerHighMax): (3000000000..MAX)
  44 -- OER-visible constraints (NO-IntegerHighMax): (3000000000..MAX)
  45 -- PER-visible constraints (NO-IntegerHighMax): (3000000000..MAX)
  46
  47 NO-IntegerLowestMax ::= INTEGER (-3000000000..MAX)
  48 -- Combined constraints: (-3000000000..MAX)
  49 -- Practical constraints (NO-IntegerLowestMax): (-3000000000..MAX)
  50 -- OER-visible constraints (NO-IntegerLowestMax): (-3000000000..MAX)
  51 -- PER-visible constraints (NO-IntegerLowestMax): (-3000000000..MAX)
  52
  53 NO-IntegerOutRange ::= INTEGER (3000000000..3000000001)
  54 -- Combined constraints: (3000000000..3000000001)
  55 -- Practical constraints (NO-IntegerOutRange): (3000000000..3000000001)
  56 -- OER-visible constraints (NO-IntegerOutRange): (3000000000..3000000001)
  57 -- PER-visible constraints (NO-IntegerOutRange): (3000000000..3000000001)
  58
  59 NO-IntegerOutValue ::= INTEGER (3000000000)
  60 -- Combined constraints: (3000000000)
  61 -- Practical constraints (NO-IntegerOutValue): (3000000000)
  62 -- OER-visible constraints (NO-IntegerOutValue): (3000000000)
  63 -- PER-visible constraints (NO-IntegerOutValue): (3000000000)
  64
  65 OK-IntegerInRange1 ::= INTEGER (-100..100)
  66 -- Combined constraints: (-100..100)
  67 -- Practical constraints (OK-IntegerInRange1): (-100..100)
  68 -- OER-visible constraints (OK-IntegerInRange1): (-100..100)
  69 -- PER-visible constraints (OK-IntegerInRange1): (-100..100)
  70
  71 OK-IntegerInRange2 ::= INTEGER (-100 | 100)
  72 -- Combined constraints: (-100 | 100)
  73 -- Practical constraints (OK-IntegerInRange2): (-100 | 100)
  74 -- OER-visible constraints (OK-IntegerInRange2): (-100 | 100)
  75 -- PER-visible constraints (OK-IntegerInRange2): (-100 | 100)
  76
  77 OK-IntegerInRange3 ::= INTEGER (-2147483648..2147483647)
  78 -- Combined constraints: (-2147483648..2147483647)
  79 -- Practical constraints (OK-IntegerInRange3): (-2147483648..2147483647)
  80 -- OER-visible constraints (OK-IntegerInRange3): (-2147483648..2147483647)
  81 -- PER-visible constraints (OK-IntegerInRange3): (-2147483648..2147483647)
  82
  83 OK-IntegerInRange4 ::= INTEGER (-2147483648 | 2147483647)
  84 -- Combined constraints: (-2147483648 | 2147483647)
  85 -- Practical constraints (OK-IntegerInRange4): (-2147483648 | 2147483647)
  86 -- OER-visible constraints (OK-IntegerInRange4): (-2147483648 | 2147483647)
  87 -- PER-visible constraints (OK-IntegerInRange4): (-2147483648 | 2147483647)
  88
  89 OK-IntegerInRange5 ::= INTEGER (-2147483648 | 2147483647,...)
  90 -- Combined constraints: (-2147483648 | 2147483647,...)
  91 -- Practical constraints (OK-IntegerInRange5): (-2147483648 | 2147483647,...)
  92 -- OER-visible constraints (OK-IntegerInRange5): (MIN..MAX)
  93 -- PER-visible constraints (OK-IntegerInRange5): (-2147483648 | 2147483647,...)
  94
  95 NO-IntegerInRange6 ::= INTEGER (0..4294967295)
  96 -- Combined constraints: (0..4294967295)
  97 -- Practical constraints (NO-IntegerInRange6): (0..4294967295)
  98 -- OER-visible constraints (NO-IntegerInRange6): (0..4294967295)
  99 -- PER-visible constraints (NO-IntegerInRange6): (0..4294967295)
 100
 101 CN-IntegerEnumerated1 ::= INTEGER {
 102     a(1)
 103 -- Practical constraints (a):
 104 -- OER-visible constraints (a):
 105 -- PER-visible constraints (a):
 106 ,
 107     b(2)
 108 -- Practical constraints (b):
 109 -- OER-visible constraints (b):
 110 -- PER-visible constraints (b):
 111
 112 }
 113 -- Practical constraints (CN-IntegerEnumerated1): (MIN..MAX)
 114 -- OER-visible constraints (CN-IntegerEnumerated1): (MIN..MAX)
 115 -- PER-visible constraints (CN-IntegerEnumerated1): (MIN..MAX)
 116
 117 NO-IntegerEnumerated2 ::= INTEGER {
 118     a(1)
 119 -- Practical constraints (a):
 120 -- OER-visible constraints (a):
 121 -- PER-visible constraints (a):
 122 ,
 123     b(3000000000)
 124 -- Practical constraints (b):
 125 -- OER-visible constraints (b):
 126 -- PER-visible constraints (b):
 127
 128 }
 129 -- Practical constraints (NO-IntegerEnumerated2): (MIN..MAX)
 130 -- OER-visible constraints (NO-IntegerEnumerated2): (MIN..MAX)
 131 -- PER-visible constraints (NO-IntegerEnumerated2): (MIN..MAX)
 132
 133 END