tests/tests-asn1c-compiler/10-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 -- .10
   7
   8 ModuleTestInt4
   9         { iso org(3) dod(6) internet (1) private(4) enterprise(1)
  10                 spelio(9363) software(1) asn1c(5) test(1) 10 }
  11         DEFINITIONS ::=
  12 BEGIN
  13
  14         alpha INTEGER ::= 1
  15         Type1 ::= INTEGER { alpha(2) }
  16         Type2 ::= INTEGER { alpha(3), beta(alpha) }
  17         gamma Type2 ::= beta    -- equals 1 --
  18         delta Type2 ::= alpha   -- equals 3 --
  19
  20         /*
  21          *  The following are for post-fix checking by the check_fixer.
  22          * It will be able to pick-up these values if the file is parseable,
  23          * even if it contains some semantic errors.
  24          */
  25
  26         check-gamma INTEGER ::= 1       -- check "gamma"'s value
  27         check-delta INTEGER ::= 3       -- check "delta"'s value
  28
  29 END