ofs | hex dump | ascii |
---|
0000 | 4d 6f 64 75 6c 65 43 6f 6e 73 74 72 61 69 6e 74 50 72 65 63 65 64 65 6e 63 65 20 7b 20 69 73 6f | ModuleConstraintPrecedence.{.iso |
0020 | 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 76 61 | .org(3).dod(6).internet(1).priva |
0040 | 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 |
0060 | 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 20 31 | ).software(1).asn1c(5).test(1).1 |
0080 | 31 38 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 45 31 20 3a | 18.}.DEFINITIONS.::=.BEGIN..E1.: |
00a0 | 3a 3d 20 49 41 35 53 74 72 69 6e 67 20 28 53 49 5a 45 28 31 2e 2e 35 2c 2e 2e 2e 29 20 5e 20 46 | :=.IA5String.(SIZE(1..5,...).^.F |
00c0 | 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 29 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 20 63 6f 6e 73 74 | ROM("A".."Z")).--.Combined.const |
00e0 | 72 61 69 6e 74 73 3a 20 28 53 49 5a 45 28 31 2e 2e 35 2c 2e 2e 2e 29 20 5e 20 46 52 4f 4d 28 22 | raints:.(SIZE(1..5,...).^.FROM(" |
0100 | 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 |
0120 | 74 73 20 28 45 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 35 2c 2e | ts.(E1):.(MIN..MAX).(SIZE(1..5,. |
0140 | 2e 2e 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 69 73 | ..)).(FROM("A".."Z")).--.PER-vis |
0160 | 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 45 31 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 | ible.constraints.(E1):.(MIN..MAX |
0180 | 29 20 28 53 49 5a 45 28 31 2e 2e 35 2c 2e 2e 2e 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a | ).(SIZE(1..5,...)).(FROM("A".."Z |
01a0 | 22 29 29 0a 0a 45 32 20 3a 3a 3d 20 49 41 35 53 74 72 69 6e 67 20 28 53 49 5a 45 28 31 2e 2e 35 | "))..E2.::=.IA5String.(SIZE(1..5 |
01c0 | 2c 2e 2e 2e 2c 35 29 29 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 29 29 0a 2d 2d 20 43 6f 6d 62 | ,...,5))(FROM("A".."Z")).--.Comb |
01e0 | 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 35 29 29 28 46 | ined.constraints:.(SIZE(1..5))(F |
0200 | 52 4f 4d 28 22 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 | ROM("A".."Z")).--.Practical.cons |
0220 | 74 72 61 69 6e 74 73 20 28 45 32 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 | traints.(E2):.(MIN..MAX).(SIZE(1 |
0240 | 2e 2e 35 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 69 | ..5)).(FROM("A".."Z")).--.PER-vi |
0260 | 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 45 32 29 3a 20 28 4d 49 4e 2e 2e 4d 41 | sible.constraints.(E2):.(MIN..MA |
0280 | 58 29 20 28 53 49 5a 45 28 31 2e 2e 35 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 29 29 | X).(SIZE(1..5)).(FROM("A".."Z")) |
02a0 | 0a 0a 45 33 20 3a 3a 3d 20 49 41 35 53 74 72 69 6e 67 20 28 53 49 5a 45 28 31 2e 2e 35 29 20 5e | ..E3.::=.IA5String.(SIZE(1..5).^ |
02c0 | 20 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 29 2c 2e 2e 2e 29 0a 2d 2d 20 43 6f 6d 62 69 6e 65 64 | .FROM("A".."Z"),...).--.Combined |
02e0 | 20 63 6f 6e 73 74 72 61 69 6e 74 73 3a 20 28 53 49 5a 45 28 31 2e 2e 35 29 20 5e 20 46 52 4f 4d | .constraints:.(SIZE(1..5).^.FROM |
0300 | 28 22 41 22 2e 2e 22 5a 22 29 2c 2e 2e 2e 29 0a 2d 2d 20 50 72 61 63 74 69 63 61 6c 20 63 6f 6e | ("A".."Z"),...).--.Practical.con |
0320 | 73 74 72 61 69 6e 74 73 20 28 45 33 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 2c 2e 2e 2e 29 20 28 53 | straints.(E3):.(MIN..MAX,...).(S |
0340 | 49 5a 45 28 31 2e 2e 35 2c 2e 2e 2e 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 2c 2e 2e | IZE(1..5,...)).(FROM("A".."Z",.. |
0360 | 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 6e 74 73 20 28 | .)).--.PER-visible.constraints.( |
0380 | 45 33 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 2c 2e 2e 2e 29 20 28 53 49 5a 45 28 31 2e 2e 35 2c 2e | E3):.(MIN..MAX,...).(SIZE(1..5,. |
03a0 | 2e 2e 29 29 20 28 46 52 4f 4d 28 22 00 22 2e 2e 22 7f 22 29 29 0a 0a 45 34 20 3a 3a 3d 20 49 41 | ..)).(FROM(".".."."))..E4.::=.IA |
03c0 | 35 53 74 72 69 6e 67 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 29 2c 2e 2e 2e 29 28 53 49 5a | 5String.(FROM("A".."Z"),...)(SIZ |
03e0 | 45 28 31 2e 2e 35 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..5)).--.Combined.constraints |
0400 | 3a 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 29 29 28 53 49 5a 45 28 31 2e 2e 35 29 29 0a 2d | :.(FROM("A".."Z"))(SIZE(1..5)).- |
0420 | 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 34 29 3a 20 28 4d | -.Practical.constraints.(E4):.(M |
0440 | 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 35 29 29 20 28 46 52 4f 4d 28 22 41 22 2e | IN..MAX).(SIZE(1..5)).(FROM("A". |
0460 | 2e 22 5a 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 |
0480 | 73 20 28 45 34 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 35 29 29 20 | s.(E4):.(MIN..MAX).(SIZE(1..5)). |
04a0 | 28 46 52 4f 4d 28 22 41 22 2e 2e 22 5a 22 29 29 0a 0a 43 20 3a 3a 3d 20 49 41 35 53 74 72 69 6e | (FROM("A".."Z"))..C.::=.IA5Strin |
04c0 | 67 20 28 53 49 5a 45 28 31 30 29 20 5e 20 46 52 4f 4d 28 22 41 22 2e 2e 22 44 22 29 20 7c 20 53 | g.(SIZE(10).^.FROM("A".."D").|.S |
04e0 | 49 5a 45 28 32 30 29 20 5e 20 46 52 4f 4d 28 22 44 22 2e 2e 22 46 22 29 29 0a 2d 2d 20 43 6f 6d | IZE(20).^.FROM("D".."F")).--.Com |
0500 | 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 30 29 20 5e 20 46 | bined.constraints:.(SIZE(10).^.F |
0520 | 52 4f 4d 28 22 41 22 2e 2e 22 44 22 29 20 7c 20 53 49 5a 45 28 32 30 29 20 5e 20 46 52 4f 4d 28 | ROM("A".."D").|.SIZE(20).^.FROM( |
0540 | 22 44 22 2e 2e 22 46 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 | "D".."F")).--.Practical.constrai |
0560 | 6e 74 73 20 28 43 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 30 20 7c 20 32 | nts.(C):.(MIN..MAX).(SIZE(10.|.2 |
0580 | 30 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 0a 2d 2d 20 50 45 52 2d 76 69 73 69 | 0)).(FROM("A".."F")).--.PER-visi |
05a0 | 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 43 29 3a 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 | ble.constraints.(C):.(MIN..MAX). |
05c0 | 28 53 49 5a 45 28 31 30 20 7c 20 32 30 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 46 22 29 29 | (SIZE(10.|.20)).(FROM("A".."F")) |
05e0 | 0a 0a 50 20 3a 3a 3d 20 49 41 35 53 74 72 69 6e 67 20 28 46 52 4f 4d 28 22 41 42 22 29 20 5e 20 | ..P.::=.IA5String.(FROM("AB").^. |
0600 | 53 49 5a 45 28 31 2e 2e 32 29 20 7c 20 46 52 4f 4d 28 22 44 45 22 29 20 5e 20 53 49 5a 45 28 33 | SIZE(1..2).|.FROM("DE").^.SIZE(3 |
0620 | 29 20 7c 20 46 52 4f 4d 28 22 41 58 45 22 29 20 5e 20 53 49 5a 45 28 31 2e 2e 35 29 29 0a 2d 2d | ).|.FROM("AXE").^.SIZE(1..5)).-- |
0640 | 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 41 42 | .Combined.constraints:.(FROM("AB |
0660 | 22 29 20 5e 20 53 49 5a 45 28 31 2e 2e 32 29 20 7c 20 46 52 4f 4d 28 22 44 45 22 29 20 5e 20 53 | ").^.SIZE(1..2).|.FROM("DE").^.S |
0680 | 49 5a 45 28 33 29 20 7c 20 46 52 4f 4d 28 22 41 58 45 22 29 20 5e 20 53 49 5a 45 28 31 2e 2e 35 | IZE(3).|.FROM("AXE").^.SIZE(1..5 |
06a0 | 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 29 3a | )).--.Practical.constraints.(P): |
06c0 | 20 28 4d 49 4e 2e 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 35 29 29 20 28 46 52 4f 4d 28 22 | .(MIN..MAX).(SIZE(1..5)).(FROM(" |
06e0 | 41 22 2e 2e 22 42 22 20 7c 20 22 44 22 2e 2e 22 45 22 20 7c 20 22 58 22 29 29 0a 2d 2d 20 50 45 | A".."B".|."D".."E".|."X")).--.PE |
0700 | 52 2d 76 69 73 69 62 6c 65 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 28 50 29 3a 20 28 4d 49 4e 2e | R-visible.constraints.(P):.(MIN. |
0720 | 2e 4d 41 58 29 20 28 53 49 5a 45 28 31 2e 2e 35 29 29 20 28 46 52 4f 4d 28 22 41 22 2e 2e 22 42 | .MAX).(SIZE(1..5)).(FROM("A".."B |
0740 | 22 20 7c 20 22 44 22 2e 2e 22 45 22 20 7c 20 22 58 22 29 29 0a 0a 45 4e 44 0a | ".|."D".."E".|."X"))..END. |