ofs | hex dump | ascii |
---|
0000 | 4d 6f 64 75 6c 65 54 65 73 74 43 6f 6e 73 74 72 61 69 6e 74 31 20 7b 20 69 73 6f 20 6f 72 67 28 | ModuleTestConstraint1.{.iso.org( |
0020 | 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 76 61 74 65 28 34 29 | 3).dod(6).internet(1).private(4) |
0040 | 20 65 6e 74 65 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 | .enterprise(1)..spelio(9363).sof |
0060 | 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 20 31 36 20 31 20 7d | tware(1).asn1c(5).test(1).16.1.} |
0080 | 0a 44 45 46 49 4e 49 54 49 4f 4e 53 20 3a 3a 3d 0a 42 45 47 49 4e 0a 0a 54 79 70 65 30 20 3a 3a | .DEFINITIONS.::=.BEGIN..Type0.:: |
00a0 | 3d 20 49 41 35 53 74 72 69 6e 67 20 28 28 28 53 49 5a 45 28 31 2e 2e 31 30 29 29 28 46 52 4f 4d | =.IA5String.(((SIZE(1..10))(FROM |
00c0 | 28 22 61 22 2e 2e 22 7a 22 20 7c 20 22 23 22 29 29 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 | ("a".."z".|."#")))).--.Combined. |
00e0 | 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 28 28 53 49 5a 45 28 31 2e 2e 31 30 29 29 28 46 52 4f | constraints:.(((SIZE(1..10))(FRO |
0100 | 4d 28 22 61 22 2e 2e 22 7a 22 20 7c 20 22 23 22 29 29 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 | M("a".."z".|."#")))).--.Practica |
0120 | 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 54 79 70 65 30 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 | l.constraints.(Type0):.(MIN..MAX |
0140 | 29 20 28 53 49 5a 45 28 31 2e 2e 31 30 29 29 20 28 46 52 4f 4d 28 22 23 22 20 7c 20 22 61 22 2e | ).(SIZE(1..10)).(FROM("#".|."a". |
0160 | 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 |
0180 | 73 20 28 54 79 70 65 30 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 31 | s.(Type0):.(MIN..MAX).(SIZE(1..1 |
01a0 | 30 29 29 20 28 46 52 4f 4d 28 22 23 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 0a 54 79 70 65 | 0)).(FROM("#".|."a".."z"))..Type |
01c0 | 36 20 3a 3a 3d 20 49 41 35 53 74 72 69 6e 67 20 28 28 53 49 5a 45 28 31 2e 2e 31 30 29 29 28 46 | 6.::=.IA5String.((SIZE(1..10))(F |
01e0 | 52 4f 4d 28 22 61 22 2e 2e 22 7a 22 20 7c 20 22 23 22 29 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 | ROM("a".."z".|."#"))).--.Combine |
0200 | 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 28 53 49 5a 45 28 31 2e 2e 31 30 29 29 28 46 52 | d.constraints:.((SIZE(1..10))(FR |
0220 | 4f 4d 28 22 61 22 2e 2e 22 7a 22 20 7c 20 22 23 22 29 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 | OM("a".."z".|."#"))).--.Practica |
0240 | 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 54 79 70 65 36 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 | l.constraints.(Type6):.(MIN..MAX |
0260 | 29 20 28 53 49 5a 45 28 31 2e 2e 31 30 29 29 20 28 46 52 4f 4d 28 22 23 22 20 7c 20 22 61 22 2e | ).(SIZE(1..10)).(FROM("#".|."a". |
0280 | 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 |
02a0 | 73 20 28 54 79 70 65 36 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 31 | s.(Type6):.(MIN..MAX).(SIZE(1..1 |
02c0 | 30 29 29 20 28 46 52 4f 4d 28 22 23 22 20 7c 20 22 61 22 2e 2e 22 7a 22 29 29 0a 0a 45 4e 44 0a | 0)).(FROM("#".|."a".."z"))..END. |
02e0 | 0a 4d 6f 64 75 6c 65 54 65 73 74 43 6f 6e 73 74 72 61 69 6e 74 32 20 7b 20 69 73 6f 20 6f 72 67 | .ModuleTestConstraint2.{.iso.org |
0300 | 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 76 61 74 65 28 34 | (3).dod(6).internet(1).private(4 |
0320 | 29 20 65 6e 74 65 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 | ).enterprise(1)..spelio(9363).so |
0340 | 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 20 31 36 20 32 20 | ftware(1).asn1c(5).test(1).16.2. |
0360 | 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 54 79 70 65 31 20 3a | }.DEFINITIONS.::=.BEGIN..Type1.: |
0380 | 3a 3d 20 49 41 35 53 74 72 69 6e 67 20 28 53 49 5a 45 28 31 2e 2e 31 30 2c 2e 2e 2e 29 29 28 46 | :=.IA5String.(SIZE(1..10,...))(F |
03a0 | 52 4f 4d 28 22 61 22 2e 2e 22 7a 22 20 7c 20 22 23 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 43 6f 6d 62 | ROM("a".."z".|."#",...)).--.Comb |
03c0 | 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 53 49 5a 45 28 31 2e 2e 31 30 2c 2e 2e | ined.constraints:.(SIZE(1..10,.. |
03e0 | 2e 29 29 28 46 52 4f 4d 28 22 61 22 2e 2e 22 7a 22 20 7c 20 22 23 22 2c 2e 2e 2e 29 29 0a 2d 2d | .))(FROM("a".."z".|."#",...)).-- |
0400 | 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 54 79 70 65 31 29 3a 20 | .Practical.constraints.(Type1):. |
0420 | 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 31 30 2c 2e 2e 2e 29 29 20 28 46 52 | (MIN..MAX).(SIZE(1..10,...)).(FR |
0440 | 4f 4d 28 22 23 22 20 7c 20 22 61 22 2e 2e 22 7a 22 2c 2e 2e 2e 29 29 0a 2d 2d 20 50 45 52 2d 76 | OM("#".|."a".."z",...)).--.PER-v |
0460 | 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 54 79 70 65 31 29 3a 20 28 4d 49 4e | isible.constraints.(Type1):.(MIN |
0480 | 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 31 30 2c 2e 2e 2e 29 29 20 28 46 52 4f 4d 28 22 | ..MAX).(SIZE(1..10,...)).(FROM(" |
04a0 | 00 22 2e 2e 22 7f 22 29 29 0a 0a 54 79 70 65 32 20 3a 3a 3d 20 49 41 35 53 74 72 69 6e 67 20 28 | .".."."))..Type2.::=.IA5String.( |
04c0 | 53 49 5a 45 28 4d 49 4e 2e 2e 34 29 20 7c 20 46 52 4f 4d 28 22 61 62 63 22 29 29 0a 2d 2d 20 43 | SIZE(MIN..4).|.FROM("abc")).--.C |
04e0 | 6f 6d 62 69 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 | ombined.constraints:.(SIZE(MIN.. |
0500 | 34 29 20 7c 20 46 52 4f 4d 28 22 61 62 63 22 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 | 4).|.FROM("abc")).--.Practical.c |
0520 | 6f 6e 73 74 72 61 69 6e 74 73 20 28 54 79 70 65 32 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 | onstraints.(Type2):.(MIN..MAX).( |
0540 | 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 0a 2d | SIZE(0..MAX)).(FROM("."..".")).- |
0560 | 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 54 79 70 65 32 | -.PER-visible.constraints.(Type2 |
0580 | 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 |
05a0 | 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 0a 54 79 70 65 33 20 3a 3a 3d 20 42 4d 50 53 74 72 69 | OM(".".."."))..Type3.::=.BMPStri |
05c0 | 6e 67 20 28 53 49 5a 45 28 31 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 | ng.(SIZE(1)).--.Combined.constra |
05e0 | 69 6e 74 73 3a 20 28 53 49 5a 45 28 31 29 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e | ints:.(SIZE(1)).--.Practical.con |
0600 | 73 74 72 61 69 6e 74 73 20 28 54 79 70 65 33 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 | straints.(Type3):.(MIN..MAX).(SI |
0620 | 5a 45 28 31 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 fd 22 29 29 0a 2d 2d 20 50 45 52 2d 76 | ZE(1)).(FROM("."..".")).--.PER-v |
0640 | 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 54 79 70 65 33 29 3a 20 28 4d 49 4e | isible.constraints.(Type3):.(MIN |
0660 | 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 fd 22 29 | ..MAX).(SIZE(1)).(FROM("."..".") |
0680 | 29 0a 0a 54 79 70 65 34 20 3a 3a 3d 20 49 4e 54 45 47 45 52 20 28 31 2e 2e 4d 41 58 29 0a 2d 2d | )..Type4.::=.INTEGER.(1..MAX).-- |
06a0 | 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 31 2e 2e 4d 41 58 29 0a | .Combined.constraints:.(1..MAX). |
06c0 | 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 54 79 70 65 34 29 | --.Practical.constraints.(Type4) |
06e0 | 3a 20 28 31 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 6f 6e 73 | :.(1..MAX)...--.PER-visible.cons |
0700 | 74 72 61 69 6e 74 73 20 28 54 79 70 65 34 29 3a 20 28 31 2e 2e 4d 41 58 29 20 20 0a 0a 54 79 70 | traints.(Type4):.(1..MAX)....Typ |
0720 | 65 35 20 3a 3a 3d 20 42 4f 4f 4c 45 41 4e 20 28 54 52 55 45 20 7c 20 46 41 4c 53 45 29 0a 2d 2d | e5.::=.BOOLEAN.(TRUE.|.FALSE).-- |
0740 | 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 54 52 55 45 20 7c 20 46 | .Combined.constraints:.(TRUE.|.F |
0760 | 41 4c 53 45 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 | ALSE).--.Practical.constraints.( |
0780 | 54 79 70 65 35 29 3a 20 28 30 2e 2e 31 29 20 20 0a 2d 2d 20 50 45 52 2d 76 69 73 69 62 6c 65 20 | Type5):.(0..1)...--.PER-visible. |
07a0 | 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 54 79 70 65 35 29 3a 20 28 30 2e 2e 31 29 20 20 0a 0a 74 | constraints.(Type5):.(0..1)....t |
07c0 | 65 6e 20 49 4e 54 45 47 45 52 20 3a 3a 3d 20 31 30 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 | en.INTEGER.::=.10.--.Practical.c |
07e0 | 6f 6e 73 74 72 61 69 6e 74 73 20 28 74 65 6e 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 2d | onstraints.(ten):.(MIN..MAX)...- |
0800 | 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 65 6e 29 3a | -.PER-visible.constraints.(ten): |
0820 | 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 20 0a 0a 76 31 20 54 79 70 65 31 20 3a 3a 3d 20 22 23 76 61 | .(MIN..MAX)....v1.Type1.::=."#va |
0840 | 6c 75 65 20 77 69 74 68 20 22 22 64 6f 75 62 6c 65 20 71 75 6f 74 65 73 22 22 22 0a 2d 2d 20 50 | lue.with.""double.quotes""".--.P |
0860 | 72 61 63 74 69 63 61 6c 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 54 79 70 65 31 29 3a 20 28 4d | ractical.constraints.(Type1):.(M |
0880 | 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 28 22 00 | IN..MAX).(SIZE(0..MAX)).(FROM(". |
08a0 | 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 73 74 72 61 69 | "..".")).--.PER-visible.constrai |
08c0 | 6e 74 73 20 28 54 79 70 65 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 30 2e | nts.(Type1):.(MIN..MAX).(SIZE(0. |
08e0 | 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 45 4e 44 0a | .MAX)).(FROM(".".."."))..END. |