tests/tests-asn1c-compiler/13-resolver-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 -- .13 1
   7 -- .13 2
   8
   9 ModuleTestResolver1
  10         { iso org(3) dod(6) internet(1) private(4) enterprise(1)
  11                 spelio(9363) software(1) asn1c(5) test(1) 13 1 }
  12         DEFINITIONS ::=
  13 BEGIN
  14         IMPORTS IntegerType, beta FROM
  15                 Renamed
  16                 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
  17                         spelio(9363) software(1) asn1c(5) test(1) 13 2 };
  18
  19         -- external reference
  20         alpha IntegerType ::= beta
  21         alpha2 Renamed.IntegerType ::= beta
  22
  23         --
  24         -- The following are for post-fix checking by the check_fixer.
  25         -- It will be able to pick-up these values if the file is parseable,
  26         -- even if it contains some semantic errors.
  27         --
  28
  29         check-alpha INTEGER ::= 123
  30         check-alpha2 INTEGER ::= 123
  31
  32 END
  33
  34 ModuleTestResolver2
  35         { iso org(3) dod(6) internet(1) private(4) enterprise(1)
  36                 spelio(9363) software(1) asn1c(5) test(1) 13 2 }
  37         DEFINITIONS ::=
  38 BEGIN
  39         EXPORTS beta, IntegerType ;
  40
  41         beta HiddenType ::= 123
  42
  43         HiddenType ::= INTEGER
  44
  45         IntegerType ::= INTEGER
  46
  47 END