2004-09-05 10:38:36 +00:00
|
|
|
|
ModuleNestedConstraintsCheck {iso org(3) dod(6) internet(1) private(4)
|
2004-08-18 04:54:10 +00:00
|
|
|
|
enterprise(1) spelio(9363) software(1) asn1c(5) test(1)
|
2004-09-15 11:44:13 +00:00
|
|
|
|
50 1 }
|
2004-08-18 04:54:10 +00:00
|
|
|
|
DEFINITIONS ::=
|
|
|
|
|
BEGIN
|
|
|
|
|
|
|
|
|
|
Int1 ::= INTEGER
|
2004-08-25 02:08:08 +00:00
|
|
|
|
-- Practical constraints (Int1): (MIN..MAX)
|
2004-08-20 13:36:32 +00:00
|
|
|
|
-- PER-visible constraints (Int1): (MIN..MAX)
|
2004-08-18 04:54:10 +00:00
|
|
|
|
|
|
|
|
|
Int2 ::= Int1 (0..MAX)
|
|
|
|
|
-- Combined constraints: (0..MAX)
|
2004-08-25 02:08:08 +00:00
|
|
|
|
-- Practical constraints (Int1): (0..MAX)
|
2004-08-20 13:36:32 +00:00
|
|
|
|
-- PER-visible constraints (Int1): (0..MAX)
|
2004-08-18 04:54:10 +00:00
|
|
|
|
|
|
|
|
|
Int3 ::= Int2 (MIN..10)
|
|
|
|
|
-- Combined constraints: (0..MAX)(MIN..10)
|
2004-08-25 02:08:08 +00:00
|
|
|
|
-- Practical constraints (Int1): (0..10)
|
2004-08-20 13:36:32 +00:00
|
|
|
|
-- PER-visible constraints (Int1): (0..10)
|
2004-08-18 04:54:10 +00:00
|
|
|
|
|
|
|
|
|
Int4 ::= Int3 (5..MAX,...,1..4)
|
|
|
|
|
-- Combined constraints: (0..MAX)(MIN..10)(5..MAX,...,1..4)
|
2004-08-25 02:08:08 +00:00
|
|
|
|
-- Practical constraints (Int1): (1..10,...)
|
|
|
|
|
-- PER-visible constraints (Int1): (1..10,...)
|
2004-08-18 04:54:10 +00:00
|
|
|
|
|
|
|
|
|
Int5 ::= Int4 (MIN..5)
|
|
|
|
|
-- Combined constraints: (0..MAX)(MIN..10)(5..MAX)(MIN..5)
|
2004-08-25 02:08:08 +00:00
|
|
|
|
-- Practical constraints (Int1): (5)
|
2004-08-20 13:36:32 +00:00
|
|
|
|
-- PER-visible constraints (Int1): (5)
|
2004-08-18 04:54:10 +00:00
|
|
|
|
|
|
|
|
|
ten Int1 ::= 10
|
2004-08-25 02:08:08 +00:00
|
|
|
|
-- Practical constraints (Int1): (MIN..MAX)
|
2004-08-20 13:36:32 +00:00
|
|
|
|
-- PER-visible constraints (Int1): (MIN..MAX)
|
2004-08-18 04:54:10 +00:00
|
|
|
|
|
|
|
|
|
other-ten Int2 ::= 10
|
2004-08-25 02:08:08 +00:00
|
|
|
|
-- Practical constraints (Int1): (MIN..MAX)
|
2004-08-20 13:36:32 +00:00
|
|
|
|
-- PER-visible constraints (Int1): (MIN..MAX)
|
2004-08-18 04:54:10 +00:00
|
|
|
|
|
|
|
|
|
ExtensibleExtensions ::= INTEGER ((1..256,...) ^ (1..256))
|
|
|
|
|
-- Combined constraints: ((1..256,...) ^ (1..256))
|
2004-08-25 02:08:08 +00:00
|
|
|
|
-- Practical constraints (ExtensibleExtensions): (1..256,...)
|
2004-08-20 13:36:32 +00:00
|
|
|
|
-- PER-visible constraints (ExtensibleExtensions): (1..256,...)
|
2004-08-18 04:54:10 +00:00
|
|
|
|
|
|
|
|
|
Str1 ::= IA5String
|
2004-08-25 02:08:08 +00:00
|
|
|
|
-- Practical constraints (Str1): (MIN..MAX) (SIZE(0..MAX)) (FROM(" |