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 0a 09 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 |
0040 | 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 36 33 29 0a 09 73 | )..enterprise(1).spelio(9363)..s |
0060 | 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 0a 09 31 36 20 | oftware(1).asn1c(5).test(1)..16. |
0080 | 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 54 79 70 65 30 | 1.}.DEFINITIONS.::=.BEGIN..Type0 |
00a0 | 20 3a 3a 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 | .::=.IA5String.(((SIZE(1..10))(F |
00c0 | 52 4f 4d 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 | ROM("a".."z".|."#")))).--.Combin |
00e0 | 65 64 20 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 | ed.constraints:.(((SIZE(1..10))( |
0100 | 46 52 4f 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 | FROM("a".."z".|."#")))).--.Pract |
0120 | 69 63 61 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 | ical.constraints.(Type0):.(MIN.. |
0140 | 4d 41 58 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 | MAX).(SIZE(1..10)).(FROM("#".|." |
0160 | 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 6f 6e 73 74 72 61 | a".."z")).--.PER-visible.constra |
0180 | 69 6e 74 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 | ints.(Type0):.(MIN..MAX).(SIZE(1 |
01a0 | 2e 2e 31 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 | ..10)).(FROM("#".|."a".."z"))..T |
01c0 | 79 70 65 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 | ype6.::=.IA5String.((SIZE(1..10) |
01e0 | 29 28 46 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 | )(FROM("a".."z".|."#"))).--.Comb |
0200 | 69 6e 65 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 | ined.constraints:.((SIZE(1..10)) |
0220 | 28 46 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 50 72 61 63 74 | (FROM("a".."z".|."#"))).--.Pract |
0240 | 69 63 61 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 | ical.constraints.(Type6):.(MIN.. |
0260 | 4d 41 58 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 | MAX).(SIZE(1..10)).(FROM("#".|." |
0280 | 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 6f 6e 73 74 72 61 | a".."z")).--.PER-visible.constra |
02a0 | 69 6e 74 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 | ints.(Type6):.(MIN..MAX).(SIZE(1 |
02c0 | 2e 2e 31 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 | ..10)).(FROM("#".|."a".."z"))..E |
02e0 | 4e 44 0a 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 | ND..ModuleTestConstraint2.{.iso. |
0300 | 6f 72 67 28 33 29 0a 09 64 6f 64 28 36 29 20 69 6e 74 65 72 6e 65 74 28 31 29 20 70 72 69 76 61 | org(3)..dod(6).internet(1).priva |
0320 | 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 36 33 | te(4)..enterprise(1).spelio(9363 |
0340 | 29 0a 09 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 0a | )..software(1).asn1c(5).test(1). |
0360 | 09 31 36 20 32 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 54 | .16.2.}.DEFINITIONS.::=.BEGIN..T |
0380 | 79 70 65 31 20 3a 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 | ype1.::=.IA5String.(SIZE(1..10,. |
03a0 | 2e 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 | ..))(FROM("a".."z".|."#",...)).- |
03c0 | 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 53 49 5a 45 28 31 2e | -.Combined.constraints:.(SIZE(1. |
03e0 | 2e 31 30 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 | .10))(FROM("a".."z".|."#",...)). |
0400 | 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 31 29 | --.Practical.constraints.(Type1) |
0420 | 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 31 30 29 29 20 28 46 52 4f 4d | :.(MIN..MAX).(SIZE(1..10)).(FROM |
0440 | 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 69 73 | ("#".|."a".."z",...)).--.PER-vis |
0460 | 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 2e 2e | ible.constraints.(Type1):.(MIN.. |
0480 | 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 31 30 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f | MAX).(SIZE(1..10)).(FROM("."..". |
04a0 | 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 53 49 5a 45 28 4d | "))..Type2.::=.IA5String.(SIZE(M |
04c0 | 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 6f 6d 62 69 6e 65 | IN..4).|.FROM("abc")).--.Combine |
04e0 | 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 34 29 20 7c 20 46 | d.constraints:.(SIZE(MIN..4).|.F |
0500 | 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 6f 6e 73 74 72 61 | ROM("abc")).--.Practical.constra |
0520 | 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 53 49 5a 45 28 30 | ints.(Type2):.(MIN..MAX).(SIZE(0 |
0540 | 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 2d 20 50 45 52 2d | ..MAX)).(FROM("."..".")).--.PER- |
0560 | 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 29 3a 20 28 4d 49 | visible.constraints.(Type2):.(MI |
0580 | 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 22 | N..MAX).(SIZE(0..MAX)).(FROM("." |
05a0 | 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 6e 67 20 28 53 49 | .."."))..Type3.::=.BMPString.(SI |
05c0 | 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 69 6e 74 73 3a 20 | ZE(1)).--.Combined.constraints:. |
05e0 | 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 73 74 72 61 69 6e | (SIZE(1)).--.Practical.constrain |
0600 | 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 5a 45 28 31 29 29 | ts.(Type3):.(MIN..MAX).(SIZE(1)) |
0620 | 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 69 73 69 62 6c 65 | .(FROM("."..".")).--.PER-visible |
0640 | 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 2e 2e 4d 41 58 29 | .constraints.(Type3):.(MIN..MAX) |
0660 | 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 29 0a 0a 54 79 70 | .(SIZE(1)).(FROM(".".."."))..Typ |
0680 | 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 20 43 6f 6d 62 69 | e4.::=.INTEGER.(1..MAX).--.Combi |
06a0 | 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 2d 2d 20 50 72 61 | ned.constraints:.(1..MAX).--.Pra |
06c0 | 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 3a 20 28 31 2e 2e | ctical.constraints.(Type4):.(1.. |
06e0 | 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 |
0700 | 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 65 35 20 3a 3a 3d | s.(Type4):.(1..MAX)....Type5.::= |
0720 | 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 20 43 6f 6d 62 69 | .BOOLEAN.(TRUE.|.FALSE).--.Combi |
0740 | 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 41 4c 53 45 29 0a | ned.constraints:.(TRUE.|.FALSE). |
0760 | 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 35 29 | --.Practical.constraints.(Type5) |
0780 | 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 63 6f 6e 73 74 72 | :.(0..1)...--.PER-visible.constr |
07a0 | 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 65 6e 20 49 4e 54 | aints.(Type5):.(0..1)....ten.INT |
07c0 | 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 6f 6e 73 74 72 61 | EGER.::=.10.--.Practical.constra |
07e0 | 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 2d 20 50 45 52 2d | ints.(ten):.(MIN..MAX)...--.PER- |
0800 | 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 20 28 4d 49 4e 2e | visible.constraints.(ten):.(MIN. |
0820 | 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 6c 75 65 20 77 69 | .MAX)....v1.Type1.::=."#value.wi |
0840 | 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 72 61 63 74 69 63 | th.""double.quotes""".--.Practic |
0860 | 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 49 4e 2e 2e 4d 41 | al.constraints.(Type1):.(MIN..MA |
0880 | 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 22 2e 2e 22 7f 22 | X).(SIZE(0..MAX)).(FROM(".".."." |
08a0 | 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 54 | )).--.PER-visible.constraints.(T |
08c0 | 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 2e 4d 41 58 29 29 | ype1):.(MIN..MAX).(SIZE(0..MAX)) |
08e0 | 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 0a 45 4e 44 0a | .(FROM(".".."."))..END. |