blob: 53ad20cab2385e4a50693b5ce28951ec43d41232 [file] [log] [blame]
Thomas Hellera4ea6032003-04-17 18:55:45 +00001import unittest
2from test import test_support
3import sys
4
5import warnings, re
6warnings.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 Rossumbbb931b2003-04-18 00:13:53 +000015> h signed short SHRT_MIN..SHRT_MAX
Thomas Hellera4ea6032003-04-17 18:55:45 +000016> 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
35Plus a C API or two, e.g. PyInt_AsLongMask() ->
36unsigned long and PyInt_AsLongLongMask() -> unsigned
37long long (if that exists).
38"""
39
40LARGE = 0x7FFFFFFF
41VERY_LARGE = 0xFF0000121212121212121242L
42
43from _testcapi import UCHAR_MAX, USHRT_MAX, UINT_MAX, ULONG_MAX, INT_MAX, \
44 INT_MIN, LONG_MIN, LONG_MAX
45
46from _testcapi import getargs_ul as ul_convert
47from _testcapi import getargs_l as l_convert
48try:
49 from _testcapi import getargs_ll as ll_convert
50 from _testcapi import getargs_ull as ull_convert
51except ImportError:
52 pass
53
54# fake, they are not defined in Python's header files
55LLONG_MAX = 2**63-1
56LLONG_MIN = -2**63
57ULLONG_MAX = 2**64-1
58
59class Long:
60 def __int__(self):
61 return 99L
62
63class Int:
64 def __int__(self):
65 return 99
66
67class 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 Hellera4ea6032003-04-17 18:55:45 +000083 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
148class 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
180class 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
217def 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
229if __name__ == "__main__":
230 test_main()