ofs | hex dump | ascii |
---|
0000 | 4d 6f 64 75 6c 65 4e 65 73 74 65 64 43 6f 6e 73 74 72 61 69 6e 74 73 43 68 65 63 6b 20 7b 20 69 | ModuleNestedConstraintsCheck.{.i |
0020 | 73 6f 20 6f 72 67 28 33 29 20 64 6f 64 28 36 29 20 69 6e 74 65 72 6e 65 74 28 31 29 20 70 72 69 | so.org(3).dod(6).internet(1).pri |
0040 | 76 61 74 65 28 34 29 0a 09 65 6e 74 65 72 70 72 69 73 65 28 31 29 20 73 70 65 6c 69 6f 28 39 33 | vate(4)..enterprise(1).spelio(93 |
0060 | 36 33 29 20 73 6f 66 74 77 61 72 65 28 31 29 20 61 73 6e 31 63 28 35 29 20 74 65 73 74 28 31 29 | 63).software(1).asn1c(5).test(1) |
0080 | 20 35 30 20 31 20 7d 0a 44 45 46 49 4e 49 54 49 4f 4e 53 20 3a 3a 3d 0a 42 45 47 49 4e 0a 0a 49 | .50.1.}.DEFINITIONS.::=.BEGIN..I |
00a0 | 6e 74 31 20 3a 3a 3d 20 49 4e 54 45 47 45 52 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e | nt1.::=.INTEGER.--.Practical.con |
00c0 | 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2d 2d | straints.(Int1):.(MIN..MAX)...-- |
00e0 | 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a | .PER-visible.constraints.(Int1): |
0100 | 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 0a 49 6e 74 32 20 3a 3a 3d 20 49 6e 74 31 20 28 30 2e | .(MIN..MAX)....Int2.::=.Int1.(0. |
0120 | 2e 4d 41 58 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 | .MAX).--.Combined.constraints:.( |
0140 | 30 2e 2e 4d 41 58 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 | 0..MAX).--.Practical.constraints |
0160 | 20 28 49 6e 74 31 29 3a 20 28 30 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 | .(Int1):.(0..MAX)...--.PER-visib |
0180 | 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 30 2e 2e 4d 41 58 29 20 | le.constraints.(Int1):.(0..MAX). |
01a0 | 20 0a 0a 49 6e 74 33 20 3a 3a 3d 20 49 6e 74 32 20 28 4d 49 4e 2e 2e 31 30 29 0a 2d 2d 20 43 6f | ...Int3.::=.Int2.(MIN..10).--.Co |
01c0 | 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 30 2e 2e 4d 41 58 29 28 4d 49 4e | mbined.constraints:.(0..MAX)(MIN |
01e0 | 2e 2e 31 30 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 | ..10).--.Practical.constraints.( |
0200 | 49 6e 74 31 29 3a 20 28 30 2e 2e 31 30 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 | Int1):.(0..10)...--.PER-visible. |
0220 | 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 30 2e 2e 31 30 29 20 20 0a 0a 49 | constraints.(Int1):.(0..10)....I |
0240 | 6e 74 34 20 3a 3a 3d 20 49 6e 74 33 20 28 35 2e 2e 4d 41 58 2c 2e 2e 2e 2c 31 2e 2e 34 29 0a 2d | nt4.::=.Int3.(5..MAX,...,1..4).- |
0260 | 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 30 2e 2e 4d 41 58 29 | -.Combined.constraints:.(0..MAX) |
0280 | 28 4d 49 4e 2e 2e 31 30 29 28 35 2e 2e 4d 41 58 2c 2e 2e 2e 2c 31 2e 2e 34 29 0a 2d 2d 20 50 72 | (MIN..10)(5..MAX,...,1..4).--.Pr |
02a0 | 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 31 2e 2e | actical.constraints.(Int1):.(1.. |
02c0 | 31 30 2c 2e 2e 2e 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 | 10,...)...--.PER-visible.constra |
02e0 | 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 31 2e 2e 31 30 2c 2e 2e 2e 29 20 20 0a 0a 49 6e 74 35 | ints.(Int1):.(1..10,...)....Int5 |
0300 | 20 3a 3a 3d 20 49 6e 74 34 20 28 4d 49 4e 2e 2e 35 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 | .::=.Int4.(MIN..5).--.Combined.c |
0320 | 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 30 2e 2e 4d 41 58 29 28 4d 49 4e 2e 2e 31 30 29 28 35 2e | onstraints:.(0..MAX)(MIN..10)(5. |
0340 | 2e 4d 41 58 29 28 4d 49 4e 2e 2e 35 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 | .MAX)(MIN..5).--.Practical.const |
0360 | 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 35 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 | raints.(Int1):.(5)...--.PER-visi |
0380 | 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 35 29 20 20 0a 0a 74 | ble.constraints.(Int1):.(5)....t |
03a0 | 65 6e 20 49 6e 74 31 20 3a 3a 3d 20 31 30 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 | en.Int1.::=.10.--.Practical.cons |
03c0 | 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 | traints.(Int1):.(MIN..MAX)...--. |
03e0 | 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 | PER-visible.constraints.(Int1):. |
0400 | 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 0a 6f 74 68 65 72 2d 74 65 6e 20 49 6e 74 32 20 3a 3a 3d | (MIN..MAX)....other-ten.Int2.::= |
0420 | 20 31 30 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e | .10.--.Practical.constraints.(In |
0440 | 74 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 | t1):.(MIN..MAX)...--.PER-visible |
0460 | 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 | .constraints.(Int1):.(MIN..MAX). |
0480 | 20 0a 0a 45 78 74 65 6e 73 69 62 6c 65 45 78 74 65 6e 73 69 6f 6e 73 20 3a 3a 3d 20 49 4e 54 45 | ...ExtensibleExtensions.::=.INTE |
04a0 | 47 45 52 20 28 28 31 2e 2e 32 35 36 2c 2e 2e 2e 29 20 5e 20 28 31 2e 2e 32 35 36 29 29 0a 2d 2d | GER.((1..256,...).^.(1..256)).-- |
04c0 | 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 28 31 2e 2e 32 35 36 2c | .Combined.constraints:.((1..256, |
04e0 | 2e 2e 2e 29 20 5e 20 28 31 2e 2e 32 35 36 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f | ...).^.(1..256)).--.Practical.co |
0500 | 6e 73 74 72 61 69 6e 74 73 20 28 45 78 74 65 6e 73 69 62 6c 65 45 78 74 65 6e 73 69 6f 6e 73 29 | nstraints.(ExtensibleExtensions) |
0520 | 3a 20 28 31 2e 2e 32 35 36 2c 2e 2e 2e 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 | :.(1..256,...)...--.PER-visible. |
0540 | 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 45 78 74 65 6e 73 69 62 6c 65 45 78 74 65 6e 73 69 6f 6e | constraints.(ExtensibleExtension |
0560 | 73 29 3a 20 28 31 2e 2e 32 35 36 2c 2e 2e 2e 29 20 20 0a 0a 53 74 72 31 20 3a 3a 3d 20 49 41 35 | s):.(1..256,...)....Str1.::=.IA5 |
0580 | 53 74 72 69 6e 67 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 | String.--.Practical.constraints. |
05a0 | 28 53 74 72 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 | (Str1):.(MIN..MAX).(SIZE(0..MAX) |
05c0 | 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c | ).(FROM("."..".")).--.PER-visibl |
05e0 | 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 74 72 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 | e.constraints.(Str1):.(MIN..MAX) |
0600 | 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 | .(SIZE(0..MAX)).(FROM("."..".")) |
0620 | 0a 0a 53 74 72 32 20 3a 3a 3d 20 53 74 72 31 20 28 53 49 5a 45 28 4d 49 4e 2e 2e 32 30 20 7c 20 | ..Str2.::=.Str1.(SIZE(MIN..20.|. |
0640 | 32 35 2e 2e 33 30 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 | 25..30)).--.Combined.constraints |
0660 | 3a 20 28 53 49 5a 45 28 4d 49 4e 2e 2e 32 30 20 7c 20 32 35 2e 2e 33 30 29 29 0a 2d 2d 20 50 72 | :.(SIZE(MIN..20.|.25..30)).--.Pr |
0680 | 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 74 72 31 29 3a 20 28 4d 49 4e | actical.constraints.(Str1):.(MIN |
06a0 | 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 32 30 20 7c 20 32 35 2e 2e 33 30 29 29 20 28 46 | ..MAX).(SIZE(0..20.|.25..30)).(F |
06c0 | 52 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f | ROM("."..".")).--.PER-visible.co |
06e0 | 6e 73 74 72 61 69 6e 74 73 20 28 53 74 72 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 | nstraints.(Str1):.(MIN..MAX).(SI |
0700 | 5a 45 28 30 2e 2e 32 30 20 7c 20 32 35 2e 2e 33 30 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 | ZE(0..20.|.25..30)).(FROM(".".." |
0720 | 7f 22 29 29 0a 0a 53 74 72 33 20 3a 3a 3d 20 53 74 72 32 20 28 53 49 5a 45 28 31 30 2e 2e 32 37 | ."))..Str3.::=.Str2.(SIZE(10..27 |
0740 | 29 29 28 46 52 4f 4d 28 22 41 42 43 22 20 7c 20 22 64 65 66 22 29 29 0a 2d 2d 20 43 6f 6d 62 69 | ))(FROM("ABC".|."def")).--.Combi |
0760 | 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 53 49 5a 45 28 4d 49 4e 2e 2e 32 30 20 7c | ned.constraints:.(SIZE(MIN..20.| |
0780 | 20 32 35 2e 2e 33 30 29 29 28 53 49 5a 45 28 31 30 2e 2e 32 37 29 29 28 46 52 4f 4d 28 22 41 42 | .25..30))(SIZE(10..27))(FROM("AB |
07a0 | 43 22 20 7c 20 22 64 65 66 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 | C".|."def")).--.Practical.constr |
07c0 | 61 69 6e 74 73 20 28 53 74 72 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 | aints.(Str1):.(MIN..MAX).(SIZE(1 |
07e0 | 30 2e 2e 32 30 20 7c 20 32 35 2e 2e 32 37 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 43 22 20 | 0..20.|.25..27)).(FROM("A".."C". |
0800 | 7c 20 22 64 22 2e 2e 22 66 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 | |."d".."f")).--.PER-visible.cons |
0820 | 74 72 61 69 6e 74 73 20 28 53 74 72 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 | traints.(Str1):.(MIN..MAX).(SIZE |
0840 | 28 31 30 2e 2e 32 30 20 7c 20 32 35 2e 2e 32 37 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 43 | (10..20.|.25..27)).(FROM("A".."C |
0860 | 22 20 7c 20 22 64 22 2e 2e 22 66 22 29 29 0a 0a 53 74 72 34 20 3a 3a 3d 20 49 41 35 53 74 72 69 | ".|."d".."f"))..Str4.::=.IA5Stri |
0880 | 6e 67 20 28 22 41 42 43 44 22 20 7c 20 53 49 5a 45 28 34 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 | ng.("ABCD".|.SIZE(4)).--.Combine |
08a0 | 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 22 41 42 43 44 22 20 7c 20 53 49 5a 45 28 34 29 | d.constraints:.("ABCD".|.SIZE(4) |
08c0 | 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 74 72 34 | ).--.Practical.constraints.(Str4 |
08e0 | 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 | ):.(MIN..MAX).(SIZE(0..MAX)).(FR |
0900 | 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e | OM("."..".")).--.PER-visible.con |
0920 | 73 74 72 61 69 6e 74 73 20 28 53 74 72 34 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a | straints.(Str4):.(MIN..MAX).(SIZ |
0940 | 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 0a 50 45 52 | E(0..MAX)).(FROM(".".."."))..PER |
0960 | 2d 56 69 73 69 62 6c 65 20 3a 3a 3d 20 49 41 35 53 74 72 69 6e 67 20 28 46 52 4f 4d 28 22 41 22 | -Visible.::=.IA5String.(FROM("A" |
0980 | 2e 2e 22 46 22 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a | .."F")).--.Combined.constraints: |
09a0 | 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 | .(FROM("A".."F")).--.Practical.c |
09c0 | 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e | onstraints.(PER-Visible):.(MIN.. |
09e0 | 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 | MAX).(SIZE(0..MAX)).(FROM("A".." |
0a00 | 46 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 | F")).--.PER-visible.constraints. |
0a20 | 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 | (PER-Visible):.(MIN..MAX).(SIZE( |
0a40 | 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 0a 50 45 52 2d 56 | 0..MAX)).(FROM("A".."F"))..PER-V |
0a60 | 69 73 69 62 6c 65 2d 32 20 3a 3a 3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 46 52 4f 4d 28 22 | isible-2.::=.PER-Visible.(FROM(" |
0a80 | 45 22 2e 2e 22 46 22 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 | E".."F")).--.Combined.constraint |
0aa0 | 73 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 46 52 4f 4d 28 22 45 22 2e 2e 22 46 | s:.(FROM("A".."F"))(FROM("E".."F |
0ac0 | 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 | ")).--.Practical.constraints.(PE |
0ae0 | 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e | R-Visible):.(MIN..MAX).(SIZE(0.. |
0b00 | 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 45 22 2e 2e 22 46 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 | MAX)).(FROM("E".."F")).--.PER-vi |
0b20 | 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a | sible.constraints.(PER-Visible): |
0b40 | 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d | .(MIN..MAX).(SIZE(0..MAX)).(FROM |
0b60 | 28 22 45 22 2e 2e 22 46 22 29 29 0a 0a 4e 6f 74 2d 50 45 52 2d 56 69 73 69 62 6c 65 2d 31 20 3a | ("E".."F"))..Not-PER-Visible-1.: |
0b80 | 3a 3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 46 52 4f 4d 28 22 41 42 22 29 20 7c 20 53 49 5a | :=.PER-Visible.(FROM("AB").|.SIZ |
0ba0 | 45 28 31 2e 2e 32 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 | E(1..2)).--.Combined.constraints |
0bc0 | 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 46 52 4f 4d 28 22 41 42 22 29 20 7c 20 | :.(FROM("A".."F"))(FROM("AB").|. |
0be0 | 53 49 5a 45 28 31 2e 2e 32 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 | SIZE(1..2)).--.Practical.constra |
0c00 | 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 | ints.(PER-Visible):.(MIN..MAX).( |
0c20 | 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 2d | SIZE(0..MAX)).(FROM("A".."F")).- |
0c40 | 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 | -.PER-visible.constraints.(PER-V |
0c60 | 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 | isible):.(MIN..MAX).(SIZE(0..MAX |
0c80 | 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 0a 4e 6f 74 2d 50 45 52 2d 56 69 73 | )).(FROM("A".."F"))..Not-PER-Vis |
0ca0 | 69 62 6c 65 2d 32 20 3a 3a 3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 46 52 4f 4d 28 22 41 42 | ible-2.::=.PER-Visible.(FROM("AB |
0cc0 | 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a | ",...)).--.Combined.constraints: |
0ce0 | 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 46 52 4f 4d 28 22 41 42 22 2c 2e 2e 2e 29 | .(FROM("A".."F"))(FROM("AB",...) |
0d00 | 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d | ).--.Practical.constraints.(PER- |
0d20 | 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 | Visible):.(MIN..MAX).(SIZE(0..MA |
0d40 | 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 42 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50 45 52 2d | X)).(FROM("A".."B",...)).--.PER- |
0d60 | 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 | visible.constraints.(PER-Visible |
0d80 | 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 | ):.(MIN..MAX).(SIZE(0..MAX)).(FR |
0da0 | 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 0a 4e 6f 74 2d 50 45 52 2d 56 69 73 69 62 6c 65 2d 33 | OM("A".."F"))..Not-PER-Visible-3 |
0dc0 | 20 3a 3a 3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 46 52 4f 4d 28 22 41 42 22 29 2c 2e 2e 2e | .::=.PER-Visible.(FROM("AB"),... |
0de0 | 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 46 52 4f 4d | ).--.Combined.constraints:.(FROM |
0e00 | 28 22 41 22 2e 2e 22 46 22 29 29 28 46 52 4f 4d 28 22 41 42 22 29 2c 2e 2e 2e 29 0a 2d 2d 20 50 | ("A".."F"))(FROM("AB"),...).--.P |
0e20 | 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c | ractical.constraints.(PER-Visibl |
0e40 | 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 | e):.(MIN..MAX).(SIZE(0..MAX)).(F |
0e60 | 52 4f 4d 28 22 41 22 2e 2e 22 42 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c | ROM("A".."B",...)).--.PER-visibl |
0e80 | 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 | e.constraints.(PER-Visible):.(MI |
0ea0 | 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 | N..MAX).(SIZE(0..MAX)).(FROM("A" |
0ec0 | 2e 2e 22 46 22 29 29 0a 0a 53 49 5a 45 2d 62 75 74 2d 6e 6f 74 2d 46 52 4f 4d 20 3a 3a 3d 20 50 | .."F"))..SIZE-but-not-FROM.::=.P |
0ee0 | 45 52 2d 56 69 73 69 62 6c 65 20 28 53 49 5a 45 28 31 2e 2e 34 29 20 5e 20 46 52 4f 4d 28 22 41 | ER-Visible.(SIZE(1..4).^.FROM("A |
0f00 | 42 43 44 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e | BCD",...)).--.Combined.constrain |
0f20 | 74 73 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 53 49 5a 45 28 31 2e 2e 34 29 20 | ts:.(FROM("A".."F"))(SIZE(1..4). |
0f40 | 5e 20 46 52 4f 4d 28 22 41 42 43 44 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c | ^.FROM("ABCD",...)).--.Practical |
0f60 | 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e | .constraints.(PER-Visible):.(MIN |
0f80 | 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 34 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 | ..MAX).(SIZE(1..4)).(FROM("A".." |
0fa0 | 44 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 | D",...)).--.PER-visible.constrai |
0fc0 | 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 | nts.(PER-Visible):.(MIN..MAX).(S |
0fe0 | 49 5a 45 28 31 2e 2e 34 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 0a 53 49 5a | IZE(1..4)).(FROM("A".."F"))..SIZ |
1000 | 45 2d 61 6e 64 2d 46 52 4f 4d 20 3a 3a 3d 20 50 45 52 2d 56 69 73 69 62 6c 65 20 28 53 49 5a 45 | E-and-FROM.::=.PER-Visible.(SIZE |
1020 | 28 31 2e 2e 34 29 20 5e 20 46 52 4f 4d 28 22 41 42 43 44 22 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e | (1..4).^.FROM("ABCD")).--.Combin |
1040 | 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 | ed.constraints:.(FROM("A".."F")) |
1060 | 28 53 49 5a 45 28 31 2e 2e 34 29 20 5e 20 46 52 4f 4d 28 22 41 42 43 44 22 29 29 0a 2d 2d 20 50 | (SIZE(1..4).^.FROM("ABCD")).--.P |
1080 | 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c | ractical.constraints.(PER-Visibl |
10a0 | 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 34 29 29 20 28 46 52 4f | e):.(MIN..MAX).(SIZE(1..4)).(FRO |
10c0 | 4d 28 22 41 22 2e 2e 22 44 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 | M("A".."D")).--.PER-visible.cons |
10e0 | 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 | traints.(PER-Visible):.(MIN..MAX |
1100 | 29 20 28 53 49 5a 45 28 31 2e 2e 34 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 44 22 29 29 0a | ).(SIZE(1..4)).(FROM("A".."D")). |
1120 | 0a 4e 65 69 74 68 65 72 2d 53 49 5a 45 2d 6e 6f 72 2d 46 52 4f 4d 20 3a 3a 3d 20 50 45 52 2d 56 | .Neither-SIZE-nor-FROM.::=.PER-V |
1140 | 69 73 69 62 6c 65 20 28 53 49 5a 45 28 31 2e 2e 34 29 20 7c 20 46 52 4f 4d 28 22 41 42 43 44 22 | isible.(SIZE(1..4).|.FROM("ABCD" |
1160 | 2c 2e 2e 2e 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 | ,...)).--.Combined.constraints:. |
1180 | 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 28 53 49 5a 45 28 31 2e 2e 34 29 20 7c 20 46 52 | (FROM("A".."F"))(SIZE(1..4).|.FR |
11a0 | 4f 4d 28 22 41 42 43 44 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e | OM("ABCD",...)).--.Practical.con |
11c0 | 73 74 72 61 69 6e 74 73 20 28 50 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 | straints.(PER-Visible):.(MIN..MA |
11e0 | 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 | X).(SIZE(0..MAX)).(FROM("A".."F" |
1200 | 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 | )).--.PER-visible.constraints.(P |
1220 | 45 52 2d 56 69 73 69 62 6c 65 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e | ER-Visible):.(MIN..MAX).(SIZE(0. |
1240 | 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 0a 55 74 66 38 2d 34 20 | .MAX)).(FROM("A".."F"))..Utf8-4. |
1260 | 3a 3a 3d 20 55 54 46 38 53 74 72 69 6e 67 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 29 29 0a | ::=.UTF8String.(FROM("A".."Z")). |
1280 | 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 46 52 4f 4d 28 22 | --.Combined.constraints:.(FROM(" |
12a0 | 41 22 2e 2e 22 5a 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e | A".."Z")).--.Practical.constrain |
12c0 | 74 73 20 28 55 74 66 38 2d 34 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e | ts.(Utf8-4):.(MIN..MAX).(SIZE(0. |
12e0 | 2e 4d 41 58 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 29 29 0a 2d 2d 20 50 45 52 2d 76 | .MAX)).(FROM("A".."Z")).--.PER-v |
1300 | 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 55 74 66 38 2d 34 29 3a 20 20 20 0a | isible.constraints.(Utf8-4):.... |
1320 | 0a 55 74 66 38 2d 33 20 3a 3a 3d 20 55 74 66 38 2d 32 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a | .Utf8-3.::=.Utf8-2.(FROM("A".."Z |
1340 | 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 | ".|."a".."z")).--.Combined.const |
1360 | 72 61 69 6e 74 73 3a 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 28 46 52 4f 4d 28 22 41 22 2e 2e 22 | raints:.(SIZE(1..2))(FROM("A".." |
1380 | 5a 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e | Z".|."a".."z")).--.Practical.con |
13a0 | 73 74 72 61 69 6e 74 73 20 28 55 74 66 38 2d 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 | straints.(Utf8-1):.(MIN..MAX).(S |
13c0 | 49 5a 45 28 31 2e 2e 32 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 20 7c 20 22 61 22 2e | IZE(1..2)).(FROM("A".."Z".|."a". |
13e0 | 2e 22 7a 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 | ."z")).--.PER-visible.constraint |
1400 | 73 20 28 55 74 66 38 2d 31 29 3a 20 20 20 0a 0a 55 74 66 38 2d 32 20 3a 3a 3d 20 55 74 66 38 2d | s.(Utf8-1):.....Utf8-2.::=.Utf8- |
1420 | 31 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 | 1.(SIZE(1..2)).--.Combined.const |
1440 | 72 61 69 6e 74 73 3a 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 | raints:.(SIZE(1..2)).--.Practica |
1460 | 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 55 74 66 38 2d 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 | l.constraints.(Utf8-1):.(MIN..MA |
1480 | 58 29 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 ff 22 29 29 | X).(SIZE(1..2)).(FROM("."..".")) |
14a0 | 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 55 74 66 | .--.PER-visible.constraints.(Utf |
14c0 | 38 2d 31 29 3a 20 20 20 0a 0a 55 74 66 38 2d 31 20 3a 3a 3d 20 55 54 46 38 53 74 72 69 6e 67 0a | 8-1):.....Utf8-1.::=.UTF8String. |
14e0 | 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 55 74 66 38 2d 31 | --.Practical.constraints.(Utf8-1 |
1500 | 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e 2e 4d 41 58 29 29 20 28 46 52 | ):.(MIN..MAX).(SIZE(0..MAX)).(FR |
1520 | 4f 4d 28 22 00 22 2e 2e 22 ff 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e | OM("."..".")).--.PER-visible.con |
1540 | 73 74 72 61 69 6e 74 73 20 28 55 74 66 38 2d 31 29 3a 20 20 20 0a 0a 56 69 73 69 62 6c 65 49 64 | straints.(Utf8-1):.....VisibleId |
1560 | 65 6e 74 69 66 69 65 72 20 3a 3a 3d 20 49 64 65 6e 74 69 66 69 65 72 0a 2d 2d 20 43 6f 6d 62 69 | entifier.::=.Identifier.--.Combi |
1580 | 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 46 52 4f 4d 28 22 41 22 20 7c 20 22 61 22 | ned.constraints:.(FROM("A".|."a" |
15a0 | 20 7c 20 22 42 22 20 7c 20 22 62 22 20 7c 20 22 43 22 20 7c 20 22 63 22 20 7c 20 22 44 22 20 7c | .|."B".|."b".|."C".|."c".|."D".| |
15c0 | 20 22 64 22 20 7c 20 22 45 22 20 7c 20 22 65 22 20 7c 20 22 46 22 20 7c 20 22 66 22 20 7c 20 22 | ."d".|."E".|."e".|."F".|."f".|." |
15e0 | 47 22 20 7c 20 22 67 22 20 7c 20 22 48 22 20 7c 20 22 68 22 20 7c 20 22 49 22 20 7c 20 22 69 22 | G".|."g".|."H".|."h".|."I".|."i" |
1600 | 20 7c 20 22 4a 22 20 7c 20 22 6a 22 20 7c 20 22 4b 22 20 7c 20 22 6b 22 20 7c 20 22 4c 22 20 7c | .|."J".|."j".|."K".|."k".|."L".| |
1620 | 20 22 6c 22 20 7c 20 22 4d 22 20 7c 20 22 6d 22 20 7c 20 22 4e 22 20 7c 20 22 6e 22 20 7c 20 22 | ."l".|."M".|."m".|."N".|."n".|." |
1640 | 4f 22 20 7c 20 22 6f 22 20 7c 20 22 50 22 20 7c 20 22 70 22 20 7c 20 22 51 22 20 7c 20 22 71 22 | O".|."o".|."P".|."p".|."Q".|."q" |
1660 | 20 7c 20 22 52 22 20 7c 20 22 72 22 20 7c 20 22 53 22 20 7c 20 22 73 22 20 7c 20 22 54 22 20 7c | .|."R".|."r".|."S".|."s".|."T".| |
1680 | 20 22 74 22 20 7c 20 22 55 22 20 7c 20 22 75 22 20 7c 20 22 56 22 20 7c 20 22 76 22 20 7c 20 22 | ."t".|."U".|."u".|."V".|."v".|." |
16a0 | 57 22 20 7c 20 22 77 22 20 7c 20 22 58 22 20 7c 20 22 78 22 20 7c 20 22 59 22 20 7c 20 22 79 22 | W".|."w".|."X".|."x".|."Y".|."y" |
16c0 | 20 7c 20 22 5a 22 20 7c 20 22 7a 22 20 7c 20 22 24 22 20 7c 20 22 5f 22 20 7c 20 22 30 22 20 7c | .|."Z".|."z".|."$".|."_".|."0".| |
16e0 | 20 22 31 22 20 7c 20 22 32 22 20 7c 20 22 33 22 20 7c 20 22 34 22 20 7c 20 22 35 22 20 7c 20 22 | ."1".|."2".|."3".|."4".|."5".|." |
1700 | 36 22 20 7c 20 22 37 22 20 7c 20 22 38 22 20 7c 20 22 39 22 29 29 28 53 49 5a 45 28 31 2e 2e 33 | 6".|."7".|."8".|."9"))(SIZE(1..3 |
1720 | 32 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 64 | 2)).--.Practical.constraints.(Id |
1740 | 65 6e 74 69 66 69 65 72 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 33 | entifier):.(MIN..MAX).(SIZE(1..3 |
1760 | 32 29 29 20 28 46 52 4f 4d 28 22 24 22 20 7c 20 22 30 22 2e 2e 22 39 22 20 7c 20 22 41 22 2e 2e | 2)).(FROM("$".|."0".."9".|."A".. |
1780 | 22 5a 22 20 7c 20 22 5f 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 | "Z".|."_".|."a".."z")).--.PER-vi |
17a0 | 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 64 65 6e 74 69 66 69 65 72 29 3a 20 | sible.constraints.(Identifier):. |
17c0 | 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 33 32 29 29 20 28 46 52 4f 4d 28 22 | (MIN..MAX).(SIZE(1..32)).(FROM(" |
17e0 | 24 22 20 7c 20 22 30 22 2e 2e 22 39 22 20 7c 20 22 41 22 2e 2e 22 5a 22 20 7c 20 22 5f 22 20 7c | $".|."0".."9".|."A".."Z".|."_".| |
1800 | 20 22 61 22 2e 2e 22 7a 22 29 29 0a 0a 53 65 71 75 65 6e 63 65 20 3a 3a 3d 20 53 45 51 55 45 4e | ."a".."z"))..Sequence.::=.SEQUEN |
1820 | 43 45 20 7b 0a 20 20 20 20 69 6e 74 31 2d 63 09 20 49 6e 74 31 20 28 2d 32 2e 2e 4d 41 58 29 0a | CE.{.....int1-c..Int1.(-2..MAX). |
1840 | 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 2d 32 2e 2e 4d 41 | --.Combined.constraints:.(-2..MA |
1860 | 58 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 | X).--.Practical.constraints.(Int |
1880 | 31 29 3a 20 28 2d 32 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 | 1):.(-2..MAX)...--.PER-visible.c |
18a0 | 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 2d 32 2e 2e 4d 41 58 29 20 20 0a 20 | onstraints.(Int1):.(-2..MAX).... |
18c0 | 44 45 46 41 55 4c 54 20 33 2c 0a 20 20 20 20 69 6e 74 34 09 20 5b 32 5d 20 45 58 50 4c 49 43 49 | DEFAULT.3,.....int4..[2].EXPLICI |
18e0 | 54 20 49 6e 74 34 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 | T.Int4.--.Combined.constraints:. |
1900 | 28 30 2e 2e 4d 41 58 29 28 4d 49 4e 2e 2e 31 30 29 28 35 2e 2e 4d 41 58 2c 2e 2e 2e 2c 31 2e 2e | (0..MAX)(MIN..10)(5..MAX,...,1.. |
1920 | 34 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 | 4).--.Practical.constraints.(Int |
1940 | 31 29 3a 20 28 31 2e 2e 31 30 2c 2e 2e 2e 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 | 1):.(1..10,...)...--.PER-visible |
1960 | 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 31 2e 2e 31 30 2c 2e 2e 2e 29 | .constraints.(Int1):.(1..10,...) |
1980 | 20 20 0a 2c 0a 20 20 20 20 69 6e 74 34 2d 63 09 20 49 6e 74 34 20 28 4d 49 4e 2e 2e 37 29 0a 2d | ...,.....int4-c..Int4.(MIN..7).- |
19a0 | 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 30 2e 2e 4d 41 58 29 | -.Combined.constraints:.(0..MAX) |
19c0 | 28 4d 49 4e 2e 2e 31 30 29 28 35 2e 2e 4d 41 58 29 28 4d 49 4e 2e 2e 37 29 0a 2d 2d 20 50 72 61 | (MIN..10)(5..MAX)(MIN..7).--.Pra |
19e0 | 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 35 2e 2e 37 | ctical.constraints.(Int1):.(5..7 |
1a00 | 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 | )...--.PER-visible.constraints.( |
1a20 | 49 6e 74 31 29 3a 20 28 35 2e 2e 37 29 20 20 0a 2c 0a 20 20 20 20 62 6f 6f 6c 09 20 42 4f 4f 4c | Int1):.(5..7)...,.....bool..BOOL |
1a40 | 45 41 4e 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 62 6f | EAN.--.Practical.constraints.(bo |
1a60 | 6f 6c 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 | ol):.(MIN..MAX)...--.PER-visible |
1a80 | 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 62 6f 6f 6c 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 | .constraints.(bool):.(MIN..MAX). |
1aa0 | 20 0a 20 44 45 46 41 55 4c 54 20 31 2c 0a 20 20 20 20 65 6e 75 6d 2d 63 09 20 45 4e 55 4d 45 52 | ...DEFAULT.1,.....enum-c..ENUMER |
1ac0 | 41 54 45 44 20 7b 0a 20 20 20 20 20 20 20 20 6f 6e 65 28 31 29 0a 2d 2d 20 50 72 61 63 74 69 63 | ATED.{.........one(1).--.Practic |
1ae0 | 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 6f 6e 65 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d | al.constraints.(one):....--.PER- |
1b00 | 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 6f 6e 65 29 3a 20 20 20 0a 2c 20 | visible.constraints.(one):....,. |
1b20 | 20 20 20 0a 20 20 20 20 20 20 20 20 74 77 6f 28 32 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 | ............two(2).--.Practical. |
1b40 | 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 | constraints.(two):....--.PER-vis |
1b60 | 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a 20 20 20 0a 2c 20 20 20 20 | ible.constraints.(two):....,.... |
1b80 | 0a 20 20 20 20 20 20 20 20 2e 2e 2e 2c 20 20 20 20 0a 20 20 20 20 20 20 20 20 74 68 72 65 65 28 | ............,.............three( |
1ba0 | 33 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 68 72 | 3).--.Practical.constraints.(thr |
1bc0 | 65 65 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e | ee):....--.PER-visible.constrain |
1be0 | 74 73 20 28 74 68 72 65 65 29 3a 20 20 20 0a 0a 20 20 20 20 7d 0a 2d 2d 20 50 72 61 63 74 69 63 | ts.(three):.........}.--.Practic |
1c00 | 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 65 6e 75 6d 2d 63 29 3a 20 28 4d 49 4e 2e 2e 4d | al.constraints.(enum-c):.(MIN..M |
1c20 | 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 | AX)...--.PER-visible.constraints |
1c40 | 20 28 65 6e 75 6d 2d 63 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2c 0a 20 20 20 20 6e 75 | .(enum-c):.(MIN..MAX)...,.....nu |
1c60 | 6c 6c 09 20 4e 55 4c 4c 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 | ll..NULL.--.Practical.constraint |
1c80 | 73 20 28 6e 75 6c 6c 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 | s.(null):....--.PER-visible.cons |
1ca0 | 74 72 61 69 6e 74 73 20 28 6e 75 6c 6c 29 3a 20 20 20 0a 20 4f 50 54 49 4f 4e 41 4c 2c 0a 20 20 | traints.(null):.....OPTIONAL,... |
1cc0 | 20 20 2e 2e 2e 2c 0a 20 20 20 20 69 6e 74 35 2d 63 09 20 49 6e 74 35 20 28 35 29 0a 2d 2d 20 43 | .....,.....int5-c..Int5.(5).--.C |
1ce0 | 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 30 2e 2e 4d 41 58 29 28 4d 49 | ombined.constraints:.(0..MAX)(MI |
1d00 | 4e 2e 2e 31 30 29 28 35 2e 2e 4d 41 58 29 28 4d 49 4e 2e 2e 35 29 28 35 29 0a 2d 2d 20 50 72 61 | N..10)(5..MAX)(MIN..5)(5).--.Pra |
1d20 | 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 31 29 3a 20 28 35 29 20 20 | ctical.constraints.(Int1):.(5).. |
1d40 | 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 6e 74 | .--.PER-visible.constraints.(Int |
1d60 | 31 29 3a 20 28 35 29 20 20 0a 20 4f 50 54 49 4f 4e 41 4c 0a 7d 0a 2d 2d 20 50 72 61 63 74 69 63 | 1):.(5)....OPTIONAL.}.--.Practic |
1d80 | 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 65 71 75 65 6e 63 65 29 3a 20 20 20 0a 2d 2d | al.constraints.(Sequence):....-- |
1da0 | 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 65 71 75 65 6e | .PER-visible.constraints.(Sequen |
1dc0 | 63 65 29 3a 20 20 20 0a 0a 53 65 71 75 65 6e 63 65 4f 66 20 3a 3a 3d 20 53 45 51 55 45 4e 43 45 | ce):.....SequenceOf.::=.SEQUENCE |
1de0 | 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 20 4f 46 20 53 65 71 75 65 6e 63 65 0a 2d 2d 20 50 72 61 | .(SIZE(1..2)).OF.Sequence.--.Pra |
1e00 | 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 65 71 75 65 6e 63 65 29 3a 20 20 | ctical.constraints.(Sequence):.. |
1e20 | 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 65 | ..--.PER-visible.constraints.(Se |
1e40 | 71 75 65 6e 63 65 29 3a 20 20 20 0a 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 | quence):.....--.Combined.constra |
1e60 | 69 6e 74 73 3a 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 | ints:.(SIZE(1..2)).--.Practical. |
1e80 | 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 53 65 71 75 65 6e 63 65 4f 66 29 3a 20 20 28 53 49 5a 45 | constraints.(SequenceOf):..(SIZE |
1ea0 | 28 31 2e 2e 32 29 29 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 | (1..2))..--.PER-visible.constrai |
1ec0 | 6e 74 73 20 28 53 65 71 75 65 6e 63 65 4f 66 29 3a 20 20 28 53 49 5a 45 28 31 2e 2e 32 29 29 20 | nts.(SequenceOf):..(SIZE(1..2)). |
1ee0 | 0a 0a 45 6e 75 6d 30 20 3a 3a 3d 20 45 4e 55 4d 45 52 41 54 45 44 20 7b 0a 20 20 20 20 6f 6e 65 | ..Enum0.::=.ENUMERATED.{.....one |
1f00 | 28 30 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 6f 6e | (0).--.Practical.constraints.(on |
1f20 | 65 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 | e):....--.PER-visible.constraint |
1f40 | 73 20 28 6f 6e 65 29 3a 20 20 20 0a 2c 0a 20 20 20 20 74 77 6f 28 31 29 0a 2d 2d 20 50 72 61 63 | s.(one):....,.....two(1).--.Prac |
1f60 | 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a 20 20 20 0a 2d 2d 20 50 | tical.constraints.(two):....--.P |
1f80 | 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a 20 20 20 | ER-visible.constraints.(two):... |
1fa0 | 0a 0a 7d 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 45 6e | ..}.--.Practical.constraints.(En |
1fc0 | 75 6d 30 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c | um0):.(MIN..MAX)...--.PER-visibl |
1fe0 | 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 45 6e 75 6d 30 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 | e.constraints.(Enum0):.(MIN..MAX |
2000 | 29 20 20 0a 0a 45 6e 75 6d 31 20 3a 3a 3d 20 45 4e 55 4d 45 52 41 54 45 44 20 7b 0a 20 20 20 20 | )....Enum1.::=.ENUMERATED.{..... |
2020 | 6f 6e 65 28 30 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 | one(0).--.Practical.constraints. |
2040 | 28 6f 6e 65 29 3a 20 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 | (one):....--.PER-visible.constra |
2060 | 69 6e 74 73 20 28 6f 6e 65 29 3a 20 20 20 0a 2c 0a 20 20 20 20 74 77 6f 28 31 29 0a 2d 2d 20 50 | ints.(one):....,.....two(1).--.P |
2080 | 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a 20 20 20 0a 2d | ractical.constraints.(two):....- |
20a0 | 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 77 6f 29 3a | -.PER-visible.constraints.(two): |
20c0 | 20 20 20 0a 0a 7d 20 28 30 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e | .....}.(0).--.Combined.constrain |
20e0 | 74 73 3a 20 28 30 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 | ts:.(0).--.Practical.constraints |
2100 | 20 28 45 6e 75 6d 31 29 3a 20 28 30 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 | .(Enum1):.(0)...--.PER-visible.c |
2120 | 6f 6e 73 74 72 61 69 6e 74 73 20 28 45 6e 75 6d 31 29 3a 20 28 30 29 20 20 0a 0a 45 4e 44 0a 0a | onstraints.(Enum1):.(0)....END.. |
2140 | 49 64 65 6e 74 69 66 69 65 72 4d 6f 64 75 6c 65 20 7b 20 69 73 6f 20 6f 72 67 28 33 29 20 64 6f | IdentifierModule.{.iso.org(3).do |
2160 | 64 28 36 29 20 69 6e 74 65 72 6e 65 74 28 31 29 20 70 72 69 76 61 74 65 28 34 29 20 65 6e 74 65 | d(6).internet(1).private(4).ente |
2180 | 72 70 72 69 73 65 28 31 29 0a 09 73 70 65 6c 69 6f 28 39 33 36 33 29 20 73 6f 66 74 77 61 72 65 | rprise(1)..spelio(9363).software |
21a0 | 28 31 29 20 61 73 6e 31 63 28 35 29 20 74 65 73 74 28 31 29 20 35 30 20 32 20 7d 0a 44 45 46 49 | (1).asn1c(5).test(1).50.2.}.DEFI |
21c0 | 4e 49 54 49 4f 4e 53 20 3a 3a 3d 0a 42 45 47 49 4e 0a 0a 6d 61 78 49 64 65 6e 74 69 66 69 65 72 | NITIONS.::=.BEGIN..maxIdentifier |
21e0 | 20 49 4e 54 45 47 45 52 20 3a 3a 3d 20 33 32 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e | .INTEGER.::=.32.--.Practical.con |
2200 | 73 74 72 61 69 6e 74 73 20 28 6d 61 78 49 64 65 6e 74 69 66 69 65 72 29 3a 20 28 4d 49 4e 2e 2e | straints.(maxIdentifier):.(MIN.. |
2220 | 4d 41 58 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 | MAX)...--.PER-visible.constraint |
2240 | 73 20 28 6d 61 78 49 64 65 6e 74 69 66 69 65 72 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a | s.(maxIdentifier):.(MIN..MAX)... |
2260 | 0a 49 64 65 6e 74 69 66 69 65 72 20 3a 3a 3d 20 56 69 73 69 62 6c 65 53 74 72 69 6e 67 20 28 46 | .Identifier.::=.VisibleString.(F |
2280 | 52 4f 4d 28 22 41 22 20 7c 20 22 61 22 20 7c 20 22 42 22 20 7c 20 22 62 22 20 7c 20 22 43 22 20 | ROM("A".|."a".|."B".|."b".|."C". |
22a0 | 7c 20 22 63 22 20 7c 20 22 44 22 20 7c 20 22 64 22 20 7c 20 22 45 22 20 7c 20 22 65 22 20 7c 20 | |."c".|."D".|."d".|."E".|."e".|. |
22c0 | 22 46 22 20 7c 20 22 66 22 20 7c 20 22 47 22 20 7c 20 22 67 22 20 7c 20 22 48 22 20 7c 20 22 68 | "F".|."f".|."G".|."g".|."H".|."h |
22e0 | 22 20 7c 20 22 49 22 20 7c 20 22 69 22 20 7c 20 22 4a 22 20 7c 20 22 6a 22 20 7c 20 22 4b 22 20 | ".|."I".|."i".|."J".|."j".|."K". |
2300 | 7c 20 22 6b 22 20 7c 20 22 4c 22 20 7c 20 22 6c 22 20 7c 20 22 4d 22 20 7c 20 22 6d 22 20 7c 20 | |."k".|."L".|."l".|."M".|."m".|. |
2320 | 22 4e 22 20 7c 20 22 6e 22 20 7c 20 22 4f 22 20 7c 20 22 6f 22 20 7c 20 22 50 22 20 7c 20 22 70 | "N".|."n".|."O".|."o".|."P".|."p |
2340 | 22 20 7c 20 22 51 22 20 7c 20 22 71 22 20 7c 20 22 52 22 20 7c 20 22 72 22 20 7c 20 22 53 22 20 | ".|."Q".|."q".|."R".|."r".|."S". |
2360 | 7c 20 22 73 22 20 7c 20 22 54 22 20 7c 20 22 74 22 20 7c 20 22 55 22 20 7c 20 22 75 22 20 7c 20 | |."s".|."T".|."t".|."U".|."u".|. |
2380 | 22 56 22 20 7c 20 22 76 22 20 7c 20 22 57 22 20 7c 20 22 77 22 20 7c 20 22 58 22 20 7c 20 22 78 | "V".|."v".|."W".|."w".|."X".|."x |
23a0 | 22 20 7c 20 22 59 22 20 7c 20 22 79 22 20 7c 20 22 5a 22 20 7c 20 22 7a 22 20 7c 20 22 24 22 20 | ".|."Y".|."y".|."Z".|."z".|."$". |
23c0 | 7c 20 22 5f 22 20 7c 20 22 30 22 20 7c 20 22 31 22 20 7c 20 22 32 22 20 7c 20 22 33 22 20 7c 20 | |."_".|."0".|."1".|."2".|."3".|. |
23e0 | 22 34 22 20 7c 20 22 35 22 20 7c 20 22 36 22 20 7c 20 22 37 22 20 7c 20 22 38 22 20 7c 20 22 39 | "4".|."5".|."6".|."7".|."8".|."9 |
2400 | 22 29 29 28 53 49 5a 45 28 31 2e 2e 33 32 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e | "))(SIZE(1..32)).--.Combined.con |
2420 | 73 74 72 61 69 6e 74 73 3a 20 28 46 52 4f 4d 28 22 41 22 20 7c 20 22 61 22 20 7c 20 22 42 22 20 | straints:.(FROM("A".|."a".|."B". |
2440 | 7c 20 22 62 22 20 7c 20 22 43 22 20 7c 20 22 63 22 20 7c 20 22 44 22 20 7c 20 22 64 22 20 7c 20 | |."b".|."C".|."c".|."D".|."d".|. |
2460 | 22 45 22 20 7c 20 22 65 22 20 7c 20 22 46 22 20 7c 20 22 66 22 20 7c 20 22 47 22 20 7c 20 22 67 | "E".|."e".|."F".|."f".|."G".|."g |
2480 | 22 20 7c 20 22 48 22 20 7c 20 22 68 22 20 7c 20 22 49 22 20 7c 20 22 69 22 20 7c 20 22 4a 22 20 | ".|."H".|."h".|."I".|."i".|."J". |
24a0 | 7c 20 22 6a 22 20 7c 20 22 4b 22 20 7c 20 22 6b 22 20 7c 20 22 4c 22 20 7c 20 22 6c 22 20 7c 20 | |."j".|."K".|."k".|."L".|."l".|. |
24c0 | 22 4d 22 20 7c 20 22 6d 22 20 7c 20 22 4e 22 20 7c 20 22 6e 22 20 7c 20 22 4f 22 20 7c 20 22 6f | "M".|."m".|."N".|."n".|."O".|."o |
24e0 | 22 20 7c 20 22 50 22 20 7c 20 22 70 22 20 7c 20 22 51 22 20 7c 20 22 71 22 20 7c 20 22 52 22 20 | ".|."P".|."p".|."Q".|."q".|."R". |
2500 | 7c 20 22 72 22 20 7c 20 22 53 22 20 7c 20 22 73 22 20 7c 20 22 54 22 20 7c 20 22 74 22 20 7c 20 | |."r".|."S".|."s".|."T".|."t".|. |
2520 | 22 55 22 20 7c 20 22 75 22 20 7c 20 22 56 22 20 7c 20 22 76 22 20 7c 20 22 57 22 20 7c 20 22 77 | "U".|."u".|."V".|."v".|."W".|."w |
2540 | 22 20 7c 20 22 58 22 20 7c 20 22 78 22 20 7c 20 22 59 22 20 7c 20 22 79 22 20 7c 20 22 5a 22 20 | ".|."X".|."x".|."Y".|."y".|."Z". |
2560 | 7c 20 22 7a 22 20 7c 20 22 24 22 20 7c 20 22 5f 22 20 7c 20 22 30 22 20 7c 20 22 31 22 20 7c 20 | |."z".|."$".|."_".|."0".|."1".|. |
2580 | 22 32 22 20 7c 20 22 33 22 20 7c 20 22 34 22 20 7c 20 22 35 22 20 7c 20 22 36 22 20 7c 20 22 37 | "2".|."3".|."4".|."5".|."6".|."7 |
25a0 | 22 20 7c 20 22 38 22 20 7c 20 22 39 22 29 29 28 53 49 5a 45 28 31 2e 2e 33 32 29 29 0a 2d 2d 20 | ".|."8".|."9"))(SIZE(1..32)).--. |
25c0 | 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 64 65 6e 74 69 66 69 65 | Practical.constraints.(Identifie |
25e0 | 72 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 33 32 29 29 20 28 46 52 | r):.(MIN..MAX).(SIZE(1..32)).(FR |
2600 | 4f 4d 28 22 24 22 20 7c 20 22 30 22 2e 2e 22 39 22 20 7c 20 22 41 22 2e 2e 22 5a 22 20 7c 20 22 | OM("$".|."0".."9".|."A".."Z".|." |
2620 | 5f 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 63 | _".|."a".."z")).--.PER-visible.c |
2640 | 6f 6e 73 74 72 61 69 6e 74 73 20 28 49 64 65 6e 74 69 66 69 65 72 29 3a 20 28 4d 49 4e 2e 2e 4d | onstraints.(Identifier):.(MIN..M |
2660 | 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 33 32 29 29 20 28 46 52 4f 4d 28 22 24 22 20 7c 20 22 30 | AX).(SIZE(1..32)).(FROM("$".|."0 |
2680 | 22 2e 2e 22 39 22 20 7c 20 22 41 22 2e 2e 22 5a 22 20 7c 20 22 5f 22 20 7c 20 22 61 22 2e 2e 22 | ".."9".|."A".."Z".|."_".|."a".." |
26a0 | 7a 22 29 29 0a 0a 45 4e 44 0a | z"))..END. |