aboutsummaryrefslogtreecommitdiffstats
path: root/tests/90-cond-int-type-OK.asn1.-EFprint-constraints
blob: fed0d333e59878b4f7ac5c0e722a54b054ebf3b0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
ModuleConditionalIntegerType { iso org(3) dod(6) internet(1) private(4)
	enterprise(1) spelio(9363) software(1) asn1c(5) test(1) 90 }
DEFINITIONS ::=
BEGIN

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

CN-IntegerMinMax ::= INTEGER (MIN..MAX)
-- Combined constraints: (MIN..MAX)
-- Practical constraints (CN-IntegerMinMax): (MIN..MAX)  
-- PER-visible constraints (CN-IntegerMinMax): (MIN..MAX)  

CN-IntegerMinLow ::= INTEGER (MIN..1)
-- Combined constraints: (MIN..1)
-- Practical constraints (CN-IntegerMinLow): (MIN..1)  
-- PER-visible constraints (CN-IntegerMinLow): (MIN..1)  

NO-IntegerMinHigh ::= INTEGER (MIN..3000000000)
-- Combined constraints: (MIN..3000000000)
-- Practical constraints (NO-IntegerMinHigh): (MIN..3000000000)  
-- PER-visible constraints (NO-IntegerMinHigh): (MIN..3000000000)  

NO-IntegerLowHigh ::= INTEGER (1..3000000000)
-- Combined constraints: (1..3000000000)
-- Practical constraints (NO-IntegerLowHigh): (1..3000000000)  
-- PER-visible constraints (NO-IntegerLowHigh): (1..3000000000)  

CN-IntegerLowMax ::= INTEGER (1..MAX)
-- Combined constraints: (1..MAX)
-- Practical constraints (CN-IntegerLowMax): (1..MAX)  
-- PER-visible constraints (CN-IntegerLowMax): (1..MAX)  

NO-IntegerHighMax ::= INTEGER (3000000000..MAX)
-- Combined constraints: (3000000000..MAX)
-- Practical constraints (NO-IntegerHighMax): (3000000000..MAX)  
-- PER-visible constraints (NO-IntegerHighMax): (3000000000..MAX)  

NO-IntegerLowestMax ::= INTEGER (-3000000000..MAX)
-- Combined constraints: (-3000000000..MAX)
-- Practical constraints (NO-IntegerLowestMax): (-3000000000..MAX)  
-- PER-visible constraints (NO-IntegerLowestMax): (-3000000000..MAX)  

NO-IntegerOutRange ::= INTEGER (3000000000..3000000001)
-- Combined constraints: (3000000000..3000000001)
-- Practical constraints (NO-IntegerOutRange): (3000000000..3000000001)  
-- PER-visible constraints (NO-IntegerOutRange): (3000000000..3000000001)  

NO-IntegerOutValue ::= INTEGER (3000000000)
-- Combined constraints: (3000000000)
-- Practical constraints (NO-IntegerOutValue): (3000000000)  
-- PER-visible constraints (NO-IntegerOutValue): (3000000000)  

OK-IntegerInRange1 ::= INTEGER (-100..100)
-- Combined constraints: (-100..100)
-- Practical constraints (OK-IntegerInRange1): (-100..100)  
-- PER-visible constraints (OK-IntegerInRange1): (-100..100)  

OK-IntegerInRange2 ::= INTEGER (-100 | 100)
-- Combined constraints: (-100 | 100)
-- Practical constraints (OK-IntegerInRange2): (-100 | 100)  
-- PER-visible constraints (OK-IntegerInRange2): (-100 | 100)  

OK-IntegerInRange3 ::= INTEGER (-2147483648..2147483647)
-- Combined constraints: (-2147483648..2147483647)
-- Practical constraints (OK-IntegerInRange3): (-2147483648..2147483647)  
-- PER-visible constraints (OK-IntegerInRange3): (-2147483648..2147483647)  

OK-IntegerInRange4 ::= INTEGER (-2147483648 | 2147483647)
-- Combined constraints: (-2147483648 | 2147483647)
-- Practical constraints (OK-IntegerInRange4): (-2147483648 | 2147483647)  
-- PER-visible constraints (OK-IntegerInRange4): (-2147483648 | 2147483647)  

OK-IntegerInRange5 ::= INTEGER (-2147483648 | 2147483647,...)
-- Combined constraints: (-2147483648 | 2147483647,...)
-- Practical constraints (OK-IntegerInRange5): (-2147483648 | 2147483647,...)  
-- PER-visible constraints (OK-IntegerInRange5): (-2147483648 | 2147483647,...)  

NO-IntegerInRange6 ::= INTEGER (0..4294967295)
-- Combined constraints: (0..4294967295)
-- Practical constraints (NO-IntegerInRange6): (0..4294967295)  
-- PER-visible constraints (NO-IntegerInRange6): (0..4294967295)  

CN-IntegerEnumerated1 ::= INTEGER {
    a(1)
-- Practical constraints (a):   
-- PER-visible constraints (a):   
,
    b(2)
-- Practical constraints (b):   
-- PER-visible constraints (b):   

}
-- Practical constraints (CN-IntegerEnumerated1): (MIN..MAX)  
-- PER-visible constraints (CN-IntegerEnumerated1): (MIN..MAX)  

NO-IntegerEnumerated2 ::= INTEGER {
    a(1)
-- Practical constraints (a):   
-- PER-visible constraints (a):   
,
    b(3000000000)
-- Practical constraints (b):   
-- PER-visible constraints (b):   

}
-- Practical constraints (NO-IntegerEnumerated2): (MIN..MAX)  
-- PER-visible constraints (NO-IntegerEnumerated2): (MIN..MAX)  

END