tests/tests-asn1c-compiler/84-param-tags-OK.asn1.-EF

   1 ModuleTestParameterizationTags1 { iso org(3) dod(6) internet(1) private(4)
   2         enterprise(1) spelio(9363) software(1) asn1c(5) test(1) 84 1 }
   3 DEFINITIONS ::=
   4 BEGIN
   5
   6 TestType{Parameter} ::= SEQUENCE {
   7     common       Parameter DEFAULT 0
   8 }
   9
  10 TestChoice ::= CHOICE {
  11     type1        TestType{ INTEGER (1..10)},
  12     type2        [0] IMPLICIT TestType{ BOOLEAN}
  13 }
  14
  15 END
  16
  17 ModuleTestParameterizationTagsAuto2 { iso org(3) dod(6) internet(1) private(4)
  18         enterprise(1) spelio(9363) software(1) asn1c(5) test(1) 84 2 }
  19 DEFINITIONS AUTOMATIC TAGS ::=
  20 BEGIN
  21
  22 AutoType{Parameter} ::= SEQUENCE {
  23     common       Parameter (0)
  24 }
  25
  26 AutoChoice ::= CHOICE {
  27     type1        [0] IMPLICIT AutoType{ INTEGER (0..1)},
  28     type2        [1] IMPLICIT AutoType{ BOOLEAN}
  29 }
  30
  31 END