diff --git a/tests/74-int-enum-constraints-OK.asn1 b/tests/74-int-enum-constraints-OK.asn1 new file mode 100644 index 0000000000000000000000000000000000000000..9697788dc6c65446f6cbe1da593d0fdfe9553e02 --- /dev/null +++ b/tests/74-int-enum-constraints-OK.asn1 @@ -0,0 +1,22 @@ + +-- OK: Everything is fine + +-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1) +-- .spelio.software.asn1c.test (9363.1.5.1) +-- .74 + +ModuleTestIntegerAndEnumeratedConstraints + { iso org(3) dod(6) internet (1) private(4) enterprise(1) + spelio(9363) software(1) asn1c(5) test(1) 74 } + DEFINITIONS ::= +BEGIN + + -- Enumeration constrained by the second choice. + Enum ::= ENUMERATED { one, two } (two|one) + + -- Integer constrained by the only choice. + Int ::= INTEGER { v1-0(123) } (v1-0) + + EnumRef ::= Enum (two) + +END diff --git a/tests/74-int-enum-constraints-OK.asn1.-EFprint-constraints b/tests/74-int-enum-constraints-OK.asn1.-EFprint-constraints new file mode 100644 index 0000000000000000000000000000000000000000..1776279d3006e3f45c806e039131bd1a0d1b4366 --- /dev/null +++ b/tests/74-int-enum-constraints-OK.asn1.-EFprint-constraints @@ -0,0 +1,36 @@ +ModuleTestIntegerAndEnumeratedConstraints {iso org(3) dod(6) internet(1) private(4) + enterprise(1) spelio(9363) software(1) asn1c(5) test(1) + 74 } +DEFINITIONS ::= +BEGIN + +Enum ::= ENUMERATED { + one(0) +-- Practical constraints (one): +-- PER-visible constraints (one): +, + two(1) +-- Practical constraints (two): +-- PER-visible constraints (two): + +} (1 | 0) +-- Combined constraints: (1 | 0) +-- Practical constraints (Enum): (0..1) +-- PER-visible constraints (Enum): (0..1) + +Int ::= INTEGER { + v1-0(123) +-- Practical constraints (v1-0): +-- PER-visible constraints (v1-0): + +} (123) +-- Combined constraints: (123) +-- Practical constraints (Int): (123) +-- PER-visible constraints (Int): (123) + +EnumRef ::= Enum (1) +-- Combined constraints: (1 | 0)(1) +-- Practical constraints (Enum): (1) +-- PER-visible constraints (Enum): (1) + +END