blob: 3806e1959d72a5e8d3f028be0293a99a5ed64972 (plain)

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.