blob: 490d5a16ea5c90c2346c58a8e10a1d42de2d2885 (
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
|
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
|
