Lev Walkin | d6db802 | 2005-03-18 03:53:05 +0000 | [diff] [blame] | 1 | ModuleTestIntegerAndEnumeratedConstraints { iso org(3) dod(6) internet(1) |
Lev Walkin | 5b7eeaf | 2005-03-28 17:52:43 +0000 | [diff] [blame] | 2 | private(4) enterprise(1) spelio(9363) software(1) asn1c(5) test(1) |
| 3 | 74 } |
Lev Walkin | 412dec9 | 2005-03-10 11:30:23 +0000 | [diff] [blame] | 4 | DEFINITIONS ::= |
| 5 | BEGIN |
| 6 | |
| 7 | Enum ::= ENUMERATED { |
| 8 | one(0) |
| 9 | -- Practical constraints (one): |
| 10 | -- PER-visible constraints (one): |
| 11 | , |
| 12 | two(1) |
| 13 | -- Practical constraints (two): |
| 14 | -- PER-visible constraints (two): |
| 15 | |
| 16 | } (1 | 0) |
| 17 | -- Combined constraints: (1 | 0) |
| 18 | -- Practical constraints (Enum): (0..1) |
| 19 | -- PER-visible constraints (Enum): (0..1) |
| 20 | |
| 21 | Int ::= INTEGER { |
| 22 | v1-0(123) |
| 23 | -- Practical constraints (v1-0): |
| 24 | -- PER-visible constraints (v1-0): |
| 25 | |
| 26 | } (123) |
| 27 | -- Combined constraints: (123) |
| 28 | -- Practical constraints (Int): (123) |
| 29 | -- PER-visible constraints (Int): (123) |
| 30 | |
| 31 | EnumRef ::= Enum (1) |
| 32 | -- Combined constraints: (1 | 0)(1) |
| 33 | -- Practical constraints (Enum): (1) |
| 34 | -- PER-visible constraints (Enum): (1) |
| 35 | |
| 36 | END |