Thomas Heller | a4ea603 | 2003-04-17 18:55:45 +0000 | [diff] [blame] | 1 | import unittest |
| 2 | from test import test_support |
| 3 | import sys |
| 4 | |
| 5 | import warnings, re |
| 6 | warnings.filterwarnings("ignore", category=DeprecationWarning, module=__name__) |
| 7 | |
| 8 | """ |
| 9 | > How about the following counterproposal. This also changes some of |
| 10 | > the other format codes to be a little more regular. |
| 11 | > |
| 12 | > Code C type Range check |
| 13 | > |
| 14 | > b unsigned char 0..UCHAR_MAX |
Guido van Rossum | bbb931b | 2003-04-18 00:13:53 +0000 | [diff] [blame^] | 15 | > h signed short SHRT_MIN..SHRT_MAX |
Thomas Heller | a4ea603 | 2003-04-17 18:55:45 +0000 | [diff] [blame] | 16 | > B unsigned char none ** |
| 17 | > H unsigned short none ** |
| 18 | > k * unsigned long none |
| 19 | > I * unsigned int 0..UINT_MAX |
| 20 | |
| 21 | |
| 22 | > i int INT_MIN..INT_MAX |
| 23 | > l long LONG_MIN..LONG_MAX |
| 24 | |
| 25 | > K * unsigned long long none |
| 26 | > L long long LLONG_MIN..LLONG_MAX |
| 27 | |
| 28 | > Notes: |
| 29 | > |
| 30 | > * New format codes. |
| 31 | > |
| 32 | > ** Changed from previous "range-and-a-half" to "none"; the |
| 33 | > range-and-a-half checking wasn't particularly useful. |
| 34 | |
| 35 | Plus a C API or two, e.g. PyInt_AsLongMask() -> |
| 36 | unsigned long and PyInt_AsLongLongMask() -> unsigned |
| 37 | long long (if that exists). |
| 38 | """ |
| 39 | |
| 40 | LARGE = 0x7FFFFFFF |
| 41 | VERY_LARGE = 0xFF0000121212121212121242L |
| 42 | |
| 43 | from _testcapi import UCHAR_MAX, USHRT_MAX, UINT_MAX, ULONG_MAX, INT_MAX, \ |
| 44 | INT_MIN, LONG_MIN, LONG_MAX |
| 45 | |
| 46 | from _testcapi import getargs_ul as ul_convert |
| 47 | from _testcapi import getargs_l as l_convert |
| 48 | try: |
| 49 | from _testcapi import getargs_ll as ll_convert |
| 50 | from _testcapi import getargs_ull as ull_convert |
| 51 | except ImportError: |
| 52 | pass |
| 53 | |
| 54 | # fake, they are not defined in Python's header files |
| 55 | LLONG_MAX = 2**63-1 |
| 56 | LLONG_MIN = -2**63 |
| 57 | ULLONG_MAX = 2**64-1 |
| 58 | |
| 59 | class Long: |
| 60 | def __int__(self): |
| 61 | return 99L |
| 62 | |
| 63 | class Int: |
| 64 | def __int__(self): |
| 65 | return 99 |
| 66 | |
| 67 | class Unsigned_TestCase(unittest.TestCase): |
| 68 | def test_b(self): |
| 69 | # b returns 'unsigned char', and does range checking (0 ... UCHAR_MAX) |
| 70 | self.failUnlessEqual(3, ul_convert("b", 3.14)) |
| 71 | self.failUnlessEqual(99, ul_convert("b", Long())) |
| 72 | self.failUnlessEqual(99, ul_convert("b", Int())) |
| 73 | |
| 74 | self.assertRaises(OverflowError, ul_convert, "b", -1) |
| 75 | self.failUnlessEqual(0, ul_convert("b", 0)) |
| 76 | self.failUnlessEqual(UCHAR_MAX, ul_convert("b", UCHAR_MAX)) |
| 77 | self.assertRaises(OverflowError, ul_convert, "b", UCHAR_MAX + 1) |
| 78 | |
| 79 | self.failUnlessEqual(42, ul_convert("b", 42)) |
| 80 | self.failUnlessEqual(42, ul_convert("b", 42L)) |
| 81 | self.assertRaises(OverflowError, ul_convert, "b", VERY_LARGE) |
| 82 | |
Thomas Heller | a4ea603 | 2003-04-17 18:55:45 +0000 | [diff] [blame] | 83 | def test_B(self): |
| 84 | # B returns 'unsigned char', no range checking |
| 85 | self.failUnless(3 == ul_convert("B", 3.14)) |
| 86 | self.failUnlessEqual(99, ul_convert("B", Long())) |
| 87 | self.failUnlessEqual(99, ul_convert("B", Int())) |
| 88 | |
| 89 | self.failUnlessEqual(UCHAR_MAX, ul_convert("B", -1)) |
| 90 | self.failUnlessEqual(UCHAR_MAX, ul_convert("B", -1L)) |
| 91 | self.failUnlessEqual(0, ul_convert("B", 0)) |
| 92 | self.failUnlessEqual(UCHAR_MAX, ul_convert("B", UCHAR_MAX)) |
| 93 | self.failUnlessEqual(0, ul_convert("B", UCHAR_MAX+1)) |
| 94 | |
| 95 | self.failUnlessEqual(42, ul_convert("B", 42)) |
| 96 | self.failUnlessEqual(42, ul_convert("B", 42L)) |
| 97 | self.failUnlessEqual(UCHAR_MAX & VERY_LARGE, ul_convert("B", VERY_LARGE)) |
| 98 | |
| 99 | def test_H(self): |
| 100 | # H returns 'unsigned short', no range checking |
| 101 | self.failUnlessEqual(3, ul_convert("H", 3.14)) |
| 102 | self.failUnlessEqual(99, ul_convert("H", Long())) |
| 103 | self.failUnlessEqual(99, ul_convert("H", Int())) |
| 104 | |
| 105 | self.failUnlessEqual(USHRT_MAX, ul_convert("H", -1)) |
| 106 | self.failUnlessEqual(0, ul_convert("H", 0)) |
| 107 | self.failUnlessEqual(USHRT_MAX, ul_convert("H", USHRT_MAX)) |
| 108 | self.failUnlessEqual(0, ul_convert("H", USHRT_MAX+1)) |
| 109 | |
| 110 | self.failUnlessEqual(42, ul_convert("H", 42)) |
| 111 | self.failUnlessEqual(42, ul_convert("H", 42L)) |
| 112 | |
| 113 | self.failUnlessEqual(VERY_LARGE & USHRT_MAX, ul_convert("H", VERY_LARGE)) |
| 114 | |
| 115 | def test_I(self): |
| 116 | # I returns 'unsigned int', no range checking |
| 117 | self.failUnlessEqual(3, ul_convert("I", 3.14)) |
| 118 | self.failUnlessEqual(99, ul_convert("I", Long())) |
| 119 | self.failUnlessEqual(99, ul_convert("I", Int())) |
| 120 | |
| 121 | self.failUnlessEqual(UINT_MAX, ul_convert("I", -1)) |
| 122 | self.failUnlessEqual(0, ul_convert("I", 0)) |
| 123 | self.failUnlessEqual(UINT_MAX, ul_convert("I", UINT_MAX)) |
| 124 | self.failUnlessEqual(0, ul_convert("I", UINT_MAX+1)) |
| 125 | |
| 126 | self.failUnlessEqual(42, ul_convert("I", 42)) |
| 127 | self.failUnlessEqual(42, ul_convert("I", 42L)) |
| 128 | |
| 129 | self.failUnlessEqual(VERY_LARGE & UINT_MAX, ul_convert("I", VERY_LARGE)) |
| 130 | |
| 131 | def test_k(self): |
| 132 | # k returns 'unsigned long', no range checking |
| 133 | # it does not accept float, or instances with __int__ |
| 134 | self.assertRaises(TypeError, ul_convert, "k", 3.14) |
| 135 | self.assertRaises(TypeError, ul_convert, "k", Long()) |
| 136 | self.assertRaises(TypeError, ul_convert, "k", Int()) |
| 137 | |
| 138 | self.failUnlessEqual(ULONG_MAX, ul_convert("k", -1)) |
| 139 | self.failUnlessEqual(0, ul_convert("k", 0)) |
| 140 | self.failUnlessEqual(ULONG_MAX, ul_convert("k", ULONG_MAX)) |
| 141 | self.failUnlessEqual(0, ul_convert("k", ULONG_MAX+1)) |
| 142 | |
| 143 | self.failUnlessEqual(42, ul_convert("k", 42)) |
| 144 | self.failUnlessEqual(42, ul_convert("k", 42L)) |
| 145 | |
| 146 | self.failUnlessEqual(VERY_LARGE & ULONG_MAX, ul_convert("k", VERY_LARGE)) |
| 147 | |
| 148 | class Signed_TestCase(unittest.TestCase): |
| 149 | def test_i(self): |
| 150 | # i returns 'int', and does range checking (INT_MIN ... INT_MAX) |
| 151 | self.failUnlessEqual(3, l_convert("i", 3.14)) |
| 152 | self.failUnlessEqual(99, l_convert("i", Long())) |
| 153 | self.failUnlessEqual(99, l_convert("i", Int())) |
| 154 | |
| 155 | self.assertRaises(OverflowError, l_convert, "i", INT_MIN-1) |
| 156 | self.failUnlessEqual(INT_MIN, l_convert("i", INT_MIN)) |
| 157 | self.failUnlessEqual(INT_MAX, l_convert("i", INT_MAX)) |
| 158 | self.assertRaises(OverflowError, l_convert, "i", INT_MAX+1) |
| 159 | |
| 160 | self.failUnlessEqual(42, l_convert("i", 42)) |
| 161 | self.failUnlessEqual(42, l_convert("i", 42L)) |
| 162 | self.assertRaises(OverflowError, l_convert, "i", VERY_LARGE) |
| 163 | |
| 164 | def test_l(self): |
| 165 | # l returns 'long', and does range checking (LONG_MIN ... LONG_MAX) |
| 166 | self.failUnlessEqual(3, l_convert("l", 3.14)) |
| 167 | self.failUnlessEqual(99, l_convert("l", Long())) |
| 168 | self.failUnlessEqual(99, l_convert("l", Int())) |
| 169 | |
| 170 | self.assertRaises(OverflowError, l_convert, "l", LONG_MIN-1) |
| 171 | self.failUnlessEqual(LONG_MIN, l_convert("l", LONG_MIN)) |
| 172 | self.failUnlessEqual(LONG_MAX, l_convert("l", LONG_MAX)) |
| 173 | self.assertRaises(OverflowError, l_convert, "l", LONG_MAX+1) |
| 174 | |
| 175 | self.failUnlessEqual(42, l_convert("l", 42)) |
| 176 | self.failUnlessEqual(42, l_convert("l", 42L)) |
| 177 | self.assertRaises(OverflowError, l_convert, "l", VERY_LARGE) |
| 178 | |
| 179 | |
| 180 | class LongLong_TestCase(unittest.TestCase): |
| 181 | def test_L(self): |
| 182 | # L returns 'long long', and does range checking (LLONG_MIN ... LLONG_MAX) |
| 183 | |
| 184 | # XXX There's a bug in getargs.c, format code "L": |
| 185 | # If you pass something else than a Python long, you |
| 186 | # get "Bad argument to internal function". |
| 187 | |
| 188 | # So these three tests are commented out: |
| 189 | |
| 190 | ## self.failUnlessEqual(3, ll_convert("L", 3.14)) |
| 191 | ## self.failUnlessEqual(99, ll_convert("L", Long())) |
| 192 | ## self.failUnlessEqual(99, ll_convert("L", Int())) |
| 193 | |
| 194 | self.assertRaises(OverflowError, ll_convert, "L", LLONG_MIN-1) |
| 195 | self.failUnlessEqual(LLONG_MIN, ll_convert("L", LLONG_MIN)) |
| 196 | self.failUnlessEqual(LLONG_MAX, ll_convert("L", LLONG_MAX)) |
| 197 | self.assertRaises(OverflowError, ll_convert, "L", LLONG_MAX+1) |
| 198 | |
| 199 | self.failUnlessEqual(42, ll_convert("L", 42)) |
| 200 | self.failUnlessEqual(42, ll_convert("L", 42L)) |
| 201 | self.assertRaises(OverflowError, ll_convert, "L", VERY_LARGE) |
| 202 | |
| 203 | def test_K(self): |
| 204 | # K return 'unsigned long long', no range checking |
| 205 | self.assertRaises(TypeError, ull_convert, "K", 3.14) |
| 206 | self.assertRaises(TypeError, ull_convert, "K", Long()) |
| 207 | self.assertRaises(TypeError, ull_convert, "K", Int()) |
| 208 | self.failUnlessEqual(ULLONG_MAX, ull_convert("K", ULLONG_MAX)) |
| 209 | self.failUnlessEqual(0, ull_convert("K", 0)) |
| 210 | self.failUnlessEqual(0, ull_convert("K", ULLONG_MAX+1)) |
| 211 | |
| 212 | self.failUnlessEqual(42, ull_convert("K", 42)) |
| 213 | self.failUnlessEqual(42, ull_convert("K", 42L)) |
| 214 | |
| 215 | self.failUnlessEqual(VERY_LARGE & ULLONG_MAX, ull_convert("K", VERY_LARGE)) |
| 216 | |
| 217 | def test_main(): |
| 218 | suite = unittest.TestSuite() |
| 219 | suite.addTest(unittest.makeSuite(Signed_TestCase)) |
| 220 | suite.addTest(unittest.makeSuite(Unsigned_TestCase)) |
| 221 | try: |
| 222 | ll_convert |
| 223 | except NameError: |
| 224 | pass # PY_LONG_LONG not available |
| 225 | else: |
| 226 | suite.addTest(unittest.makeSuite(LongLong_TestCase)) |
| 227 | test_support.run_suite(suite) |
| 228 | |
| 229 | if __name__ == "__main__": |
| 230 | test_main() |