tests/tests-asn1c-compiler/143-inner-parameterization-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 -- .143
   7
   8 ModuleInnerParameterization
   9         { iso org(3) dod(6) internet (1) private(4) enterprise(1)
  10                 spelio(9363) software(1) asn1c(5) test(1) 143 }
  11         DEFINITIONS ::=
  12 BEGIN
  13
  14     Message ::= SEQUENCE {
  15         content13 SpecializedContent {13},
  16         content42 SpecializedContent {42}
  17     }
  18
  19     SpecializedContent {INTEGER:constraint} ::= SEQUENCE {
  20         id      INTEGER (constraint)
  21     }
  22
  23 END