mirror of https://gerrit.osmocom.org/asn1c
92 lines
3.5 KiB
Plaintext
92 lines
3.5 KiB
Plaintext
|
||
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 (Int1): (MIN..MAX)
|
||
|
||
Int2 ::= Int1 (0..MAX)
|
||
-- Combined constraints: (0..MAX)
|
||
-- PER-visible constraints (Int1): (0..MAX)
|
||
|
||
Int3 ::= Int2 (MIN..10)
|
||
-- Combined constraints: (0..MAX)(MIN..10)
|
||
-- PER-visible constraints (Int1): (0..10)
|
||
|
||
Int4 ::= Int3 (5..MAX,...,1..4)
|
||
-- Combined constraints: (0..MAX)(MIN..10)(5..MAX,...,1..4)
|
||
-- PER-visible constraints (Int1): (0..10,...)
|
||
|
||
Int5 ::= Int4 (MIN..5)
|
||
-- Combined constraints: (0..MAX)(MIN..10)(5..MAX)(MIN..5)
|
||
-- PER-visible constraints (Int1): (5)
|
||
|
||
ten Int1 ::= 10
|
||
-- PER-visible constraints (Int1): (MIN..MAX)
|
||
|
||
other-ten Int2 ::= 10
|
||
-- PER-visible constraints (Int1): (MIN..MAX)
|
||
|
||
ExtensibleExtensions ::= INTEGER ((1..256,...) ^ (1..256))
|
||
-- Combined constraints: ((1..256,...) ^ (1..256))
|
||
-- PER-visible constraints (ExtensibleExtensions): (1..256,...)
|
||
|
||
Str1 ::= IA5String
|
||
-- PER-visible constraints (Str1): (MIN..MAX) (SIZE(0..MAX)) (FROM(" "..""))
|
||
|
||
Str2 ::= Str1 (SIZE(MIN..20 | 25..30))
|
||
-- Combined constraints: (SIZE(MIN..20 | 25..30))
|
||
-- 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"))
|
||
-- PER-visible constraints (Str1): (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 (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"))
|
||
-- 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))
|
||
-- 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",...))
|
||
-- 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"),...)
|
||
-- 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",...))
|
||
-- 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"))
|
||
-- 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",...))
|
||
-- 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"))
|
||
-- PER-visible constraints (Utf8-1): (MIN..MAX) (SIZE(1..2)) (FROM("A".."Z" | "a".."z"))
|
||
|
||
Utf8-2 ::= Utf8-1 (SIZE(1..2))
|
||
-- Combined constraints: (SIZE(1..2))
|
||
-- PER-visible constraints (Utf8-1): (MIN..MAX) (SIZE(1..2)) (FROM(" ".."<22>"))
|
||
|
||
Utf8-1 ::= UTF8String
|
||
-- PER-visible constraints (Utf8-1): (MIN..MAX) (SIZE(0..MAX)) (FROM(" ".."<22>"))
|
||
|
||
END
|