tests/tests-asn1c-compiler/16-constraint-OK.asn1.-EFprint-constraints

   1 ModuleTestConstraint1 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
   2         spelio(9363) software(1) asn1c(5) test(1) 16 1 }
   3 DEFINITIONS ::=
   4 BEGIN
   5
   6 Type0 ::= IA5String (((SIZE(1..10)) (FROM("a".."z" | "#"))))
   7 -- Combined constraints: (((SIZE(1..10)) (FROM("a".."z" | "#"))))
   8 -- Practical constraints (Type0): (MIN..MAX) (SIZE(1..10)) (FROM("#" | "a".."z"))
   9 -- OER-visible constraints (Type0): (MIN..MAX) (SIZE(1..10))
  10 -- PER-visible constraints (Type0): (MIN..MAX) (SIZE(1..10)) (FROM("#" | "a".."z"))
  11
  12 Type6 ::= IA5String ((SIZE(1..10)) (FROM("a".."z" | "#")))
  13 -- Combined constraints: ((SIZE(1..10)) (FROM("a".."z" | "#")))
  14 -- Practical constraints (Type6): (MIN..MAX) (SIZE(1..10)) (FROM("#" | "a".."z"))
  15 -- OER-visible constraints (Type6): (MIN..MAX) (SIZE(1..10))
  16 -- PER-visible constraints (Type6): (MIN..MAX) (SIZE(1..10)) (FROM("#" | "a".."z"))
  17
  18 END
  19
  20 ModuleTestConstraint2 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
  21         spelio(9363) software(1) asn1c(5) test(1) 16 2 }
  22 DEFINITIONS ::=
  23 BEGIN
  24
  25 Type1 ::= IA5String (SIZE(1..10,...)) (FROM("a".."z" | "#",...))
  26 -- Combined constraints: (SIZE(1..10)) (FROM("a".."z" | "#",...))
  27 -- Practical constraints (Type1): (MIN..MAX) (SIZE(1..10)) (FROM("#" | "a".."z",...))
  28 -- OER-visible constraints (Type1): (MIN..MAX) (SIZE(1..10))
  29 -- PER-visible constraints (Type1): (MIN..MAX) (SIZE(1..10)) (FROM("\0".."\7f"))
  30
  31 Type2 ::= IA5String (SIZE(MIN..4) | FROM("abc"))
  32 -- Combined constraints: (SIZE(MIN..4) | FROM("abc"))
  33 -- Practical constraints (Type2): (MIN..MAX) (SIZE(0..MAX)) (FROM("\0".."\7f"))
  34 -- OER-visible constraints (Type2): (MIN..MAX) (SIZE(0..MAX))
  35 -- PER-visible constraints (Type2): (MIN..MAX) (SIZE(0..MAX)) (FROM("\0".."\7f"))
  36
  37 Type3 ::= BMPString (SIZE(1))
  38 -- Combined constraints: (SIZE(1))
  39 -- Practical constraints (Type3): (MIN..MAX) (SIZE(1)) (FROM("\0".."ý"))
  40 -- OER-visible constraints (Type3): (MIN..MAX) (SIZE(1))
  41 -- PER-visible constraints (Type3): (MIN..MAX) (SIZE(1)) (FROM("\0".."ý"))
  42
  43 Type4 ::= INTEGER (1..MAX)
  44 -- Combined constraints: (1..MAX)
  45 -- Practical constraints (Type4): (1..MAX)
  46 -- OER-visible constraints (Type4): (1..MAX)
  47 -- PER-visible constraints (Type4): (1..MAX)
  48
  49 Type5 ::= BOOLEAN (TRUE | FALSE)
  50 -- Combined constraints: (TRUE | FALSE)
  51 -- Practical constraints (Type5): (0..1)
  52 -- OER-visible constraints (Type5): (0..1)
  53 -- PER-visible constraints (Type5): (0..1)
  54
  55 ten INTEGER ::= 10
  56 -- Practical constraints (ten): (MIN..MAX)
  57 -- OER-visible constraints (ten): (MIN..MAX)
  58 -- PER-visible constraints (ten): (MIN..MAX)
  59
  60 v1 Type1 ::= "#value with ""double quotes"""
  61 -- Practical constraints (Type1): (MIN..MAX) (SIZE(0..MAX)) (FROM("\0".."\7f"))
  62 -- OER-visible constraints (Type1): (MIN..MAX) (SIZE(0..MAX))
  63 -- PER-visible constraints (Type1): (MIN..MAX) (SIZE(0..MAX)) (FROM("\0".."\7f"))
  64
  65 END