blob: 4ad99ed5575eef97026f97a9d30ac98d686ae507 (plain)

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 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	.org(3)..dod(6).internet(1).priv
0040	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 36	ate(4)..enterprise(1).spelio(936
0060	33 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	3)..software(1).asn1c(5).test(1)
0080	0a 09 31 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	..118.}.DEFINITIONS.::=.BEGIN..E
00a0	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 35 2c 2e 2e 2e 29 20	1.::=.IA5String.(SIZE(1..5,...).
00c0	5e 20 46 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	^.FROM("A".."Z")).--.Combined.co
00e0	6e 73 74 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	nstraints:.(SIZE(1..5,...).^.FRO
0100	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 74 72	M("A".."Z")).--.Practical.constr
0120	61 69 6e 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	aints.(E1):.(MIN..MAX).(SIZE(1..
0140	35 2c 2e 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	5,...)).(FROM("A".."Z")).--.PER-
0160	76 69 73 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	visible.constraints.(E1):.(MIN..
0180	4d 41 58 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	MAX).(SIZE(1..5,...)).(FROM("A".
01a0	2e 22 5a 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	."Z"))..E2.::=.IA5String.(SIZE(1
01c0	2e 2e 35 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	..5,...,5))(FROM("A".."Z")).--.C
01e0	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 2e 35 29	ombined.constraints:.(SIZE(1..5)
0200	29 28 46 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	)(FROM("A".."Z")).--.Practical.c
0220	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 58 29 20 28 53 49 5a	onstraints.(E2):.(MIN..MAX).(SIZ
0240	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 0a 2d 2d 20 50 45 52	E(1..5)).(FROM("A".."Z")).--.PER
0260	2d 76 69 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	-visible.constraints.(E2):.(MIN.
0280	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 5a	.MAX).(SIZE(1..5)).(FROM("A".."Z
02a0	22 29 29 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	"))..E3.::=.IA5String.(SIZE(1..5
02c0	29 20 5e 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	).^.FROM("A".."Z"),...).--.Combi
02e0	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 20 5e 20 46	ned.constraints:.(SIZE(1..5).^.F
0300	52 4f 4d 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	ROM("A".."Z"),...).--.Practical.
0320	63 6f 6e 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	constraints.(E3):.(MIN..MAX,...)
0340	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 22	.(SIZE(1..5,...)).(FROM("A".."Z"
0360	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 6e 74	,...)).--.PER-visible.constraint
0380	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 49 5a 45 28 31 2e 2e	s.(E3):.(MIN..MAX,...).(SIZE(1..
03a0	35 2c 2e 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	5,...)).(FROM(".".."."))..E4.::=
03c0	20 49 41 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	.IA5String.(FROM("A".."Z"),...)(
03e0	53 49 5a 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	SIZE(1..5)).--.Combined.constrai
0400	6e 74 73 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	nts:.(FROM("A".."Z"))(SIZE(1..5)
0420	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 45 34 29 3a	).--.Practical.constraints.(E4):
0440	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("
0460	41 22 2e 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	A".."Z")).--.PER-visible.constra
0480	69 6e 74 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	ints.(E4):.(MIN..MAX).(SIZE(1..5
04a0	29 29 20 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	)).(FROM("A".."Z"))..C.::=.IA5St
04c0	72 69 6e 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	ring.(SIZE(10).^.FROM("A".."D").
04e0	7c 20 53 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	|.SIZE(20).^.FROM("D".."F")).--.
0500	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 30 29 20	Combined.constraints:.(SIZE(10).
0520	5e 20 46 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	^.FROM("A".."D").|.SIZE(20).^.FR
0540	4f 4d 28 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	OM("D".."F")).--.Practical.const
0560	72 61 69 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	raints.(C):.(MIN..MAX).(SIZE(10.
0580	7c 20 32 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	|.20)).(FROM("A".."F")).--.PER-v
05a0	69 73 69 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	isible.constraints.(C):.(MIN..MA
05c0	58 29 20 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	X).(SIZE(10.|.20)).(FROM("A".."F
05e0	22 29 29 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	"))..P.::=.IA5String.(FROM("AB")
0600	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 49 5a	.^.SIZE(1..2).|.FROM("DE").^.SIZ
0620	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 29 29	E(3).|.FROM("AXE").^.SIZE(1..5))
0640	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 28	.--.Combined.constraints:.(FROM(
0660	22 41 42 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	"AB").^.SIZE(1..2).|.FROM("DE").
0680	5e 20 53 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	^.SIZE(3).|.FROM("AXE").^.SIZE(1
06a0	2e 2e 35 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	..5)).--.Practical.constraints.(
06c0	50 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 28 46 52 4f	P):.(MIN..MAX).(SIZE(1..5)).(FRO
06e0	4d 28 22 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	M("A".."B".|."D".."E".|."X")).--
0700	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 29 3a 20 28 4d	.PER-visible.constraints.(P):.(M
0720	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".
0740	2e 22 42 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	."B".|."D".."E".|."X"))..END.