tests/tests-asn1c-compiler/07-int-OK.asn1

   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 -- .7
   7
   8 ModuleTestInt1
   9         { iso org(3) dod(6) internet (1) private(4) enterprise(1)
  10                 spelio(9363) software(1) asn1c(5) test(1) 7 }
  11         DEFINITIONS ::=
  12 BEGIN
  13
  14         int123456 INTEGER ::= 123456
  15
  16         Interval ::= INTEGER (1..int123456)
  17
  18         SameInterval INTEGER ::= { 1 | 2 | 3 | 4 | 5 | 6 }
  19
  20         Reason ::= INTEGER {
  21                         no-reason(0),
  22                         negative-reason(-10),
  23                         some-large-value(1324324)
  24                 }
  25
  26 END