tests/tests-asn1c-compiler/106-param-constr-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 -- .106
   7
   8 ModuleParameterizationWithConstraints
   9         { iso org(3) dod(6) internet (1) private(4) enterprise(1)
  10                 spelio(9363) software(1) asn1c(5) test(1) 106 }
  11         DEFINITIONS ::=
  12 BEGIN
  13
  14         Narrow {Type, INTEGER:value} ::= SEQUENCE {
  15                 narrow1 Type (1..5)     DEFAULT value,
  16                 narrow2 [0] Type (2..5),
  17                 narrow3 [1] Type (3..5) OPTIONAL
  18         }
  19
  20         NarrowInteger ::= Narrow {INTEGER (0..10), 3}
  21
  22 END