test for constraints on primitive types being defined

tests/74-int-enum-constraints-OK.asn1

+
+-- 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

tests/74-int-enum-constraints-OK.asn1.-EFprint-constraints

+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