blob: 490d5a16ea5c90c2346c58a8e10a1d42de2d2885 (
plain) (
blame)
| 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
 | Int DEFINITIONS  ::=
BEGIN
-- F.2.2.2 
-- Define the minimum and maximum allowed values of an integer type 
-- as named numbers.
-- EXAMPLE
	DayOfTheMonth ::= INTEGER {first(1), last(31)}
	today DayOfTheMonth ::= first
	unknown DayOfTheMonth ::= 0
-- To restrict the value of DayOfTheMonth to just "first" and "last", 
-- one would write:
	DayOfTheMonth2 ::= INTEGER {first(1), last(31)} (first | last)
-- and to restrict the value of the DayOfTheMonth to all values 
-- between 1 and 31, inclusive, one would write:
	DayOfTheMonth3 ::= INTEGER {first(1), last(31)} (first .. last)
	dayOfTheMonth DayOfTheMonth3 ::= 4
	SmallInt ::= INTEGER (0..1000)
	OrInt ::= INTEGER (10 | 20 | 30)
	small SmallInt ::= 17
	or OrInt ::= 20
END
 |