blob: 46d9dbd0d6811fb86815e338e8aa812ec37a4966 [file] [log] [blame]
Lev Walkin082cadc2005-08-14 02:18:27 +00001
2-- OK: Everything is fine
3
4-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
5-- .spelio.software.asn1c.test (9363.1.5.1)
6-- .90
7
8ModuleConditionalIntegerType
9 { iso org(3) dod(6) internet (1) private(4) enterprise(1)
10 spelio(9363) software(1) asn1c(5) test(1) 90 }
11DEFINITIONS ::=
12BEGIN
13
14 CN-IntegerUnlimited ::= INTEGER
15 CN-IntegerMinMax ::= INTEGER (MIN..MAX)
16 CN-IntegerMinLow ::= INTEGER (MIN..1)
Lev Walkinc3f0b892005-08-14 02:40:04 +000017 NO-IntegerMinHigh ::= INTEGER (MIN..3000000000)
18 NO-IntegerLowHigh ::= INTEGER (1..3000000000)
Lev Walkin082cadc2005-08-14 02:18:27 +000019 CN-IntegerLowMax ::= INTEGER (1..MAX)
Lev Walkinc3f0b892005-08-14 02:40:04 +000020 NO-IntegerHighMax ::= INTEGER (3000000000..MAX)
21 NO-IntegerLowestMax ::= INTEGER (-3000000000..MAX)
22 NO-IntegerOutRange ::= INTEGER (3000000000..3000000001)
23 NO-IntegerOutValue ::= INTEGER (3000000000)
Lev Walkin082cadc2005-08-14 02:18:27 +000024 OK-IntegerInRange1 ::= INTEGER (-100..100)
25 OK-IntegerInRange2 ::= INTEGER (-100|100)
26 OK-IntegerInRange3 ::= INTEGER (-2147483648..2147483647)
27 OK-IntegerInRange4 ::= INTEGER (-2147483648|2147483647)
28 OK-IntegerInRange5 ::= INTEGER (-2147483648|2147483647,...)
Lev Walkinfee6f712005-08-27 03:13:51 +000029 NO-IntegerInRange6 ::= INTEGER (0..4294967295)
Lev Walkin082cadc2005-08-14 02:18:27 +000030 CN-IntegerEnumerated1 ::= INTEGER { a(1), b(2) }
Lev Walkinc3f0b892005-08-14 02:40:04 +000031 NO-IntegerEnumerated2 ::= INTEGER { a(1), b(3000000000) }
Lev Walkin082cadc2005-08-14 02:18:27 +000032
33END