
ModuleNestedConstraintsCheck {iso(-1) org(3) dod(6) internet(1) private(4)
	enterprise(1) spelio(9363) software(1) asn1c(5) test(1)
	50 }
DEFINITIONS ::=
BEGIN

Int1 ::= INTEGER
-- PER-visible constraints: (MIN..MAX)  

Int2 ::= Int1 (0..MAX)
-- Combined constraints: (0..MAX)
-- PER-visible constraints: (0..MAX)  

Int3 ::= Int2 (MIN..10)
-- Combined constraints: (0..MAX)(MIN..10)
-- PER-visible constraints: (0..10)  

Int4 ::= Int3 (5..MAX,...,1..4)
-- Combined constraints: (0..MAX)(MIN..10)(5..MAX,...,1..4)
-- PER-visible constraints: (0..10,...)  

Int5 ::= Int4 (MIN..5)
-- Combined constraints: (0..MAX)(MIN..10)(5..MAX)(MIN..5)
-- PER-visible constraints: (5)  

ten Int1 ::= 10
-- PER-visible constraints: (MIN..MAX)  

other-ten Int2 ::= 10
-- PER-visible constraints: (MIN..MAX)  

ExtensibleExtensions ::= INTEGER ((1..256,...) ^ (1..256))
-- Combined constraints: ((1..256,...) ^ (1..256))
-- PER-visible constraints: (1..256,...)  

Str1 ::= IA5String
-- PER-visible constraints: (MIN..MAX) (SIZE(0..MAX)) (FROM(" "..""))

Str2 ::= Str1 (SIZE(MIN..20 | 25..30))
-- Combined constraints: (SIZE(MIN..20 | 25..30))
-- PER-visible constraints: (MIN..MAX) (SIZE(0..20 | 25..30)) (FROM(" "..""))

Str3 ::= Str2 (SIZE(10..27))(FROM("ABC" | "def"))
-- Combined constraints: (SIZE(MIN..20 | 25..30))(SIZE(10..27))(FROM("ABC" | "def"))
-- PER-visible constraints: (MIN..MAX) (SIZE(10..20 | 25..27)) (FROM("A".."C" | "d".."f"))

PER-Visible ::= IA5String (FROM("A".."F"))
-- Combined constraints: (FROM("A".."F"))
-- PER-visible constraints: (MIN..MAX) (SIZE(0..MAX)) (FROM("A".."F"))

PER-Visible-2 ::= PER-Visible (FROM("E".."F"))
-- Combined constraints: (FROM("A".."F"))(FROM("E".."F"))
-- PER-visible constraints: (MIN..MAX) (SIZE(0..MAX)) (FROM("E".."F"))

Not-PER-Visible-1 ::= PER-Visible (FROM("AB") | SIZE(1..2))
-- Combined constraints: (FROM("A".."F"))(FROM("AB") | SIZE(1..2))
-- PER-visible constraints: (MIN..MAX) (SIZE(0..MAX)) (FROM("A".."F"))

Not-PER-Visible-2 ::= PER-Visible (FROM("AB",...))
-- Combined constraints: (FROM("A".."F"))(FROM("AB",...))
-- PER-visible constraints: (MIN..MAX) (SIZE(0..MAX)) (FROM("A".."F",...))

Not-PER-Visible-3 ::= PER-Visible (FROM("AB"),...)
-- Combined constraints: (FROM("A".."F"))(FROM("AB"),...)
-- PER-visible constraints: (MIN..MAX) (SIZE(0..MAX)) (FROM("A".."F",...))

SIZE-but-not-FROM ::= PER-Visible (SIZE(1..4) ^ FROM("ABCD",...))
-- Combined constraints: (FROM("A".."F"))(SIZE(1..4) ^ FROM("ABCD",...))
-- PER-visible constraints: (MIN..MAX) (SIZE(1..4)) (FROM("A".."F"))

SIZE-and-FROM ::= PER-Visible (SIZE(1..4) ^ FROM("ABCD"))
-- Combined constraints: (FROM("A".."F"))(SIZE(1..4) ^ FROM("ABCD"))
-- PER-visible constraints: (MIN..MAX) (SIZE(1..4)) (FROM("A".."D"))

Neither-SIZE-nor-FROM ::= PER-Visible (SIZE(1..4) | FROM("ABCD",...))
-- Combined constraints: (FROM("A".."F"))(SIZE(1..4) | FROM("ABCD",...))
-- PER-visible constraints: (MIN..MAX) (SIZE(0..MAX)) (FROM("A".."F"))

END