asn1c/tests/50-constraint-OK.asn1.-EFprint-constraints

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

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

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

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

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

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

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

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

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

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

Str2 ::= Str1 (SIZE(MIN..20 | 25..30))
-- Combined constraints: (SIZE(MIN..20 | 25..30))
-- Practical constraints (Str1): (MIN..MAX) (SIZE(0..20 | 25..30)) (FROM(""..""))
-- PER-visible constraints (Str1): (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"))
-- Practical constraints (Str1): (MIN..MAX) (SIZE(10..20 | 25..27)) (FROM("A".."C" | "d".."f"))
-- PER-visible constraints (Str1): (MIN..MAX) (SIZE(10..20 | 25..27)) (FROM("A".."C" | "d".."f"))

Str4 ::= IA5String ("ABCD" | SIZE(4))
-- Combined constraints: ("ABCD" | SIZE(4))
-- Practical constraints (Str4): (MIN..MAX) (SIZE(0..MAX)) (FROM(""..""))
-- PER-visible constraints (Str4): (MIN..MAX) (SIZE(0..MAX)) (FROM(""..""))

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

PER-Visible-2 ::= PER-Visible (FROM("E".."F"))
-- Combined constraints: (FROM("A".."F"))(FROM("E".."F"))
-- Practical constraints (PER-Visible): (MIN..MAX) (SIZE(0..MAX)) (FROM("E".."F"))
-- PER-visible constraints (PER-Visible): (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))
-- Practical constraints (PER-Visible): (MIN..MAX) (SIZE(0..MAX)) (FROM("A".."F"))
-- PER-visible constraints (PER-Visible): (MIN..MAX) (SIZE(0..MAX)) (FROM("A".."F"))

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

Not-PER-Visible-3 ::= PER-Visible (FROM("AB"),...)
-- Combined constraints: (FROM("A".."F"))(FROM("AB"),...)
-- Practical constraints (PER-Visible): (MIN..MAX) (SIZE(0..MAX)) (FROM("A".."B",...))
-- PER-visible constraints (PER-Visible): (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",...))
-- Practical constraints (PER-Visible): (MIN..MAX) (SIZE(1..4)) (FROM("A".."D",...))
-- PER-visible constraints (PER-Visible): (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"))
-- Practical constraints (PER-Visible): (MIN..MAX) (SIZE(1..4)) (FROM("A".."D"))
-- PER-visible constraints (PER-Visible): (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",...))
-- Practical constraints (PER-Visible): (MIN..MAX) (SIZE(0..MAX)) (FROM("A".."F"))
-- PER-visible constraints (PER-Visible): (MIN..MAX) (SIZE(0..MAX)) (FROM("A".."F"))

Utf8-3 ::= Utf8-2 (FROM("A".."Z" | "a".."z"))
-- Combined constraints: (SIZE(1..2))(FROM("A".."Z" | "a".."z"))
-- Practical constraints (Utf8-1): (MIN..MAX) (SIZE(1..2)) (FROM("A".."Z" | "a".."z"))
-- PER-visible constraints (Utf8-1):   

Utf8-2 ::= Utf8-1 (SIZE(1..2))
-- Combined constraints: (SIZE(1..2))
-- Practical constraints (Utf8-1): (MIN..MAX) (SIZE(1..2)) (FROM("".."<22>"))
-- PER-visible constraints (Utf8-1):   

Utf8-1 ::= UTF8String
-- Practical constraints (Utf8-1): (MIN..MAX) (SIZE(0..MAX)) (FROM("".."<22>"))
-- PER-visible constraints (Utf8-1):   

END