blob: 423217baabb48e4c2bc3bc47d012b835bcaac418 [file] [log] [blame]
Thomas Hellera4ea6032003-04-17 18:55:45 +00001import unittest
2from test import test_support
Christian Heimesea837932008-02-26 17:23:51 +00003from _testcapi import getargs_keywords
Christian Heimesc5f05e42008-02-23 17:40:11 +00004import warnings
Thomas Hellera4ea6032003-04-17 18:55:45 +00005
6"""
7> How about the following counterproposal. This also changes some of
8> the other format codes to be a little more regular.
9>
10> Code C type Range check
11>
12> b unsigned char 0..UCHAR_MAX
Guido van Rossumbbb931b2003-04-18 00:13:53 +000013> h signed short SHRT_MIN..SHRT_MAX
Thomas Hellera4ea6032003-04-17 18:55:45 +000014> B unsigned char none **
15> H unsigned short none **
16> k * unsigned long none
17> I * unsigned int 0..UINT_MAX
18
19
20> i int INT_MIN..INT_MAX
21> l long LONG_MIN..LONG_MAX
22
23> K * unsigned long long none
24> L long long LLONG_MIN..LLONG_MAX
25
26> Notes:
27>
28> * New format codes.
29>
30> ** Changed from previous "range-and-a-half" to "none"; the
31> range-and-a-half checking wasn't particularly useful.
32
33Plus a C API or two, e.g. PyInt_AsLongMask() ->
34unsigned long and PyInt_AsLongLongMask() -> unsigned
35long long (if that exists).
36"""
37
38LARGE = 0x7FFFFFFF
39VERY_LARGE = 0xFF0000121212121212121242L
40
41from _testcapi import UCHAR_MAX, USHRT_MAX, UINT_MAX, ULONG_MAX, INT_MAX, \
Mark Dickinsonb5e348b2009-12-20 15:57:56 +000042 INT_MIN, LONG_MIN, LONG_MAX, PY_SSIZE_T_MIN, PY_SSIZE_T_MAX, \
43 SHRT_MIN, SHRT_MAX
Thomas Hellera4ea6032003-04-17 18:55:45 +000044
Thomas Hellera4ea6032003-04-17 18:55:45 +000045# fake, they are not defined in Python's header files
46LLONG_MAX = 2**63-1
47LLONG_MIN = -2**63
48ULLONG_MAX = 2**64-1
49
50class Long:
51 def __int__(self):
52 return 99L
53
54class Int:
55 def __int__(self):
56 return 99
57
58class Unsigned_TestCase(unittest.TestCase):
59 def test_b(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000060 from _testcapi import getargs_b
Thomas Hellera4ea6032003-04-17 18:55:45 +000061 # b returns 'unsigned char', and does range checking (0 ... UCHAR_MAX)
Mark Dickinson1b34d252010-01-01 17:27:30 +000062 self.assertRaises(TypeError, getargs_b, 3.14)
Benjamin Peterson5c8da862009-06-30 22:57:08 +000063 self.assertEqual(99, getargs_b(Long()))
64 self.assertEqual(99, getargs_b(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +000065
Thomas Heller54aa5782003-04-24 16:15:29 +000066 self.assertRaises(OverflowError, getargs_b, -1)
Benjamin Peterson5c8da862009-06-30 22:57:08 +000067 self.assertEqual(0, getargs_b(0))
68 self.assertEqual(UCHAR_MAX, getargs_b(UCHAR_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +000069 self.assertRaises(OverflowError, getargs_b, UCHAR_MAX + 1)
Thomas Hellera4ea6032003-04-17 18:55:45 +000070
Benjamin Peterson5c8da862009-06-30 22:57:08 +000071 self.assertEqual(42, getargs_b(42))
72 self.assertEqual(42, getargs_b(42L))
Thomas Heller54aa5782003-04-24 16:15:29 +000073 self.assertRaises(OverflowError, getargs_b, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +000074
Thomas Hellera4ea6032003-04-17 18:55:45 +000075 def test_B(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000076 from _testcapi import getargs_B
Thomas Hellera4ea6032003-04-17 18:55:45 +000077 # B returns 'unsigned char', no range checking
Mark Dickinson1b34d252010-01-01 17:27:30 +000078 self.assertRaises(TypeError, getargs_B, 3.14)
Benjamin Peterson5c8da862009-06-30 22:57:08 +000079 self.assertEqual(99, getargs_B(Long()))
80 self.assertEqual(99, getargs_B(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +000081
Benjamin Peterson5c8da862009-06-30 22:57:08 +000082 self.assertEqual(UCHAR_MAX, getargs_B(-1))
83 self.assertEqual(UCHAR_MAX, getargs_B(-1L))
84 self.assertEqual(0, getargs_B(0))
85 self.assertEqual(UCHAR_MAX, getargs_B(UCHAR_MAX))
86 self.assertEqual(0, getargs_B(UCHAR_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +000087
Benjamin Peterson5c8da862009-06-30 22:57:08 +000088 self.assertEqual(42, getargs_B(42))
89 self.assertEqual(42, getargs_B(42L))
90 self.assertEqual(UCHAR_MAX & VERY_LARGE, getargs_B(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +000091
92 def test_H(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000093 from _testcapi import getargs_H
Thomas Hellera4ea6032003-04-17 18:55:45 +000094 # H returns 'unsigned short', no range checking
Mark Dickinson1b34d252010-01-01 17:27:30 +000095 self.assertRaises(TypeError, getargs_H, 3.14)
Benjamin Peterson5c8da862009-06-30 22:57:08 +000096 self.assertEqual(99, getargs_H(Long()))
97 self.assertEqual(99, getargs_H(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +000098
Benjamin Peterson5c8da862009-06-30 22:57:08 +000099 self.assertEqual(USHRT_MAX, getargs_H(-1))
100 self.assertEqual(0, getargs_H(0))
101 self.assertEqual(USHRT_MAX, getargs_H(USHRT_MAX))
102 self.assertEqual(0, getargs_H(USHRT_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000103
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000104 self.assertEqual(42, getargs_H(42))
105 self.assertEqual(42, getargs_H(42L))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000106
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000107 self.assertEqual(VERY_LARGE & USHRT_MAX, getargs_H(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000108
109 def test_I(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000110 from _testcapi import getargs_I
Thomas Hellera4ea6032003-04-17 18:55:45 +0000111 # I returns 'unsigned int', no range checking
Mark Dickinson1b34d252010-01-01 17:27:30 +0000112 self.assertRaises(TypeError, getargs_I, 3.14)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000113 self.assertEqual(99, getargs_I(Long()))
114 self.assertEqual(99, getargs_I(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000115
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000116 self.assertEqual(UINT_MAX, getargs_I(-1))
117 self.assertEqual(0, getargs_I(0))
118 self.assertEqual(UINT_MAX, getargs_I(UINT_MAX))
119 self.assertEqual(0, getargs_I(UINT_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000120
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000121 self.assertEqual(42, getargs_I(42))
122 self.assertEqual(42, getargs_I(42L))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000123
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000124 self.assertEqual(VERY_LARGE & UINT_MAX, getargs_I(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000125
126 def test_k(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000127 from _testcapi import getargs_k
Thomas Hellera4ea6032003-04-17 18:55:45 +0000128 # k returns 'unsigned long', no range checking
129 # it does not accept float, or instances with __int__
Thomas Heller54aa5782003-04-24 16:15:29 +0000130 self.assertRaises(TypeError, getargs_k, 3.14)
131 self.assertRaises(TypeError, getargs_k, Long())
132 self.assertRaises(TypeError, getargs_k, Int())
Thomas Hellera4ea6032003-04-17 18:55:45 +0000133
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000134 self.assertEqual(ULONG_MAX, getargs_k(-1))
135 self.assertEqual(0, getargs_k(0))
136 self.assertEqual(ULONG_MAX, getargs_k(ULONG_MAX))
137 self.assertEqual(0, getargs_k(ULONG_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000138
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000139 self.assertEqual(42, getargs_k(42))
140 self.assertEqual(42, getargs_k(42L))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000141
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000142 self.assertEqual(VERY_LARGE & ULONG_MAX, getargs_k(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000143
144class Signed_TestCase(unittest.TestCase):
Mark Dickinsonb5e348b2009-12-20 15:57:56 +0000145 def test_h(self):
146 from _testcapi import getargs_h
147 # h returns 'short', and does range checking (SHRT_MIN ... SHRT_MAX)
Mark Dickinson1b34d252010-01-01 17:27:30 +0000148 self.assertRaises(TypeError, getargs_h, 3.14)
Mark Dickinsonb5e348b2009-12-20 15:57:56 +0000149 self.assertEqual(99, getargs_h(Long()))
150 self.assertEqual(99, getargs_h(Int()))
151
152 self.assertRaises(OverflowError, getargs_h, SHRT_MIN-1)
153 self.assertEqual(SHRT_MIN, getargs_h(SHRT_MIN))
154 self.assertEqual(SHRT_MAX, getargs_h(SHRT_MAX))
155 self.assertRaises(OverflowError, getargs_h, SHRT_MAX+1)
156
157 self.assertEqual(42, getargs_h(42))
158 self.assertEqual(42, getargs_h(42L))
159 self.assertRaises(OverflowError, getargs_h, VERY_LARGE)
160
Thomas Hellera4ea6032003-04-17 18:55:45 +0000161 def test_i(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000162 from _testcapi import getargs_i
Thomas Hellera4ea6032003-04-17 18:55:45 +0000163 # i returns 'int', and does range checking (INT_MIN ... INT_MAX)
Mark Dickinson1b34d252010-01-01 17:27:30 +0000164 self.assertRaises(TypeError, getargs_i, 3.14)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000165 self.assertEqual(99, getargs_i(Long()))
166 self.assertEqual(99, getargs_i(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000167
Thomas Heller54aa5782003-04-24 16:15:29 +0000168 self.assertRaises(OverflowError, getargs_i, INT_MIN-1)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000169 self.assertEqual(INT_MIN, getargs_i(INT_MIN))
170 self.assertEqual(INT_MAX, getargs_i(INT_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +0000171 self.assertRaises(OverflowError, getargs_i, INT_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000172
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000173 self.assertEqual(42, getargs_i(42))
174 self.assertEqual(42, getargs_i(42L))
Thomas Heller54aa5782003-04-24 16:15:29 +0000175 self.assertRaises(OverflowError, getargs_i, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000176
177 def test_l(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000178 from _testcapi import getargs_l
Thomas Hellera4ea6032003-04-17 18:55:45 +0000179 # l returns 'long', and does range checking (LONG_MIN ... LONG_MAX)
Mark Dickinson1b34d252010-01-01 17:27:30 +0000180 self.assertRaises(TypeError, getargs_l, 3.14)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000181 self.assertEqual(99, getargs_l(Long()))
182 self.assertEqual(99, getargs_l(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000183
Thomas Heller54aa5782003-04-24 16:15:29 +0000184 self.assertRaises(OverflowError, getargs_l, LONG_MIN-1)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000185 self.assertEqual(LONG_MIN, getargs_l(LONG_MIN))
186 self.assertEqual(LONG_MAX, getargs_l(LONG_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +0000187 self.assertRaises(OverflowError, getargs_l, LONG_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000188
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000189 self.assertEqual(42, getargs_l(42))
190 self.assertEqual(42, getargs_l(42L))
Thomas Heller54aa5782003-04-24 16:15:29 +0000191 self.assertRaises(OverflowError, getargs_l, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000192
Georg Brandl7f573f72006-04-13 07:59:30 +0000193 def test_n(self):
194 from _testcapi import getargs_n
Tim Peters8e6480c2006-04-13 22:58:42 +0000195 # n returns 'Py_ssize_t', and does range checking
Georg Brandl7f573f72006-04-13 07:59:30 +0000196 # (PY_SSIZE_T_MIN ... PY_SSIZE_T_MAX)
Mark Dickinson1b34d252010-01-01 17:27:30 +0000197 self.assertRaises(TypeError, getargs_n, 3.14)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000198 self.assertEqual(99, getargs_n(Long()))
199 self.assertEqual(99, getargs_n(Int()))
Georg Brandl7f573f72006-04-13 07:59:30 +0000200
201 self.assertRaises(OverflowError, getargs_n, PY_SSIZE_T_MIN-1)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000202 self.assertEqual(PY_SSIZE_T_MIN, getargs_n(PY_SSIZE_T_MIN))
203 self.assertEqual(PY_SSIZE_T_MAX, getargs_n(PY_SSIZE_T_MAX))
Georg Brandl7f573f72006-04-13 07:59:30 +0000204 self.assertRaises(OverflowError, getargs_n, PY_SSIZE_T_MAX+1)
205
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000206 self.assertEqual(42, getargs_n(42))
207 self.assertEqual(42, getargs_n(42L))
Georg Brandl7f573f72006-04-13 07:59:30 +0000208 self.assertRaises(OverflowError, getargs_n, VERY_LARGE)
209
Thomas Hellera4ea6032003-04-17 18:55:45 +0000210
211class LongLong_TestCase(unittest.TestCase):
212 def test_L(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000213 from _testcapi import getargs_L
Mark Dickinson1b34d252010-01-01 17:27:30 +0000214 # L returns 'long long', and does range checking (LLONG_MIN
215 # ... LLONG_MAX)
216 with warnings.catch_warnings():
217 warnings.filterwarnings(
218 "ignore",
219 category=DeprecationWarning,
220 message=".*integer argument expected, got float",
221 module=__name__)
222 self.assertEqual(3, getargs_L(3.14))
223 with warnings.catch_warnings():
224 warnings.filterwarnings(
225 "error",
226 category=DeprecationWarning,
227 message=".*integer argument expected, got float",
228 module="unittest")
229 self.assertRaises(DeprecationWarning, getargs_L, 3.14)
230
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000231 self.assertRaises(TypeError, getargs_L, "Hello")
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000232 self.assertEqual(99, getargs_L(Long()))
233 self.assertEqual(99, getargs_L(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000234
Thomas Heller54aa5782003-04-24 16:15:29 +0000235 self.assertRaises(OverflowError, getargs_L, LLONG_MIN-1)
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000236 self.assertEqual(LLONG_MIN, getargs_L(LLONG_MIN))
237 self.assertEqual(LLONG_MAX, getargs_L(LLONG_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +0000238 self.assertRaises(OverflowError, getargs_L, LLONG_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000239
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000240 self.assertEqual(42, getargs_L(42))
241 self.assertEqual(42, getargs_L(42L))
Thomas Heller54aa5782003-04-24 16:15:29 +0000242 self.assertRaises(OverflowError, getargs_L, VERY_LARGE)
Tim Peters0eadaac2003-04-24 16:02:54 +0000243
Thomas Hellera4ea6032003-04-17 18:55:45 +0000244 def test_K(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000245 from _testcapi import getargs_K
Thomas Hellera4ea6032003-04-17 18:55:45 +0000246 # K return 'unsigned long long', no range checking
Thomas Heller54aa5782003-04-24 16:15:29 +0000247 self.assertRaises(TypeError, getargs_K, 3.14)
248 self.assertRaises(TypeError, getargs_K, Long())
249 self.assertRaises(TypeError, getargs_K, Int())
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000250 self.assertEqual(ULLONG_MAX, getargs_K(ULLONG_MAX))
251 self.assertEqual(0, getargs_K(0))
252 self.assertEqual(0, getargs_K(ULLONG_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000253
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000254 self.assertEqual(42, getargs_K(42))
255 self.assertEqual(42, getargs_K(42L))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000256
Benjamin Peterson5c8da862009-06-30 22:57:08 +0000257 self.assertEqual(VERY_LARGE & ULLONG_MAX, getargs_K(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000258
Georg Brandl5f135782006-07-26 08:03:10 +0000259
260class Tuple_TestCase(unittest.TestCase):
261 def test_tuple(self):
262 from _testcapi import getargs_tuple
Tim Peters95621b22006-07-26 23:23:15 +0000263
Georg Brandl5f135782006-07-26 08:03:10 +0000264 ret = getargs_tuple(1, (2, 3))
265 self.assertEquals(ret, (1,2,3))
266
267 # make sure invalid tuple arguments are handled correctly
268 class seq:
269 def __len__(self):
270 return 2
271 def __getitem__(self, n):
272 raise ValueError
273 self.assertRaises(TypeError, getargs_tuple, 1, seq())
274
Christian Heimesea837932008-02-26 17:23:51 +0000275class Keywords_TestCase(unittest.TestCase):
276 def test_positional_args(self):
277 # using all positional args
278 self.assertEquals(
279 getargs_keywords((1,2), 3, (4,(5,6)), (7,8,9), 10),
280 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
281 )
282 def test_mixed_args(self):
283 # positional and keyword args
284 self.assertEquals(
285 getargs_keywords((1,2), 3, (4,(5,6)), arg4=(7,8,9), arg5=10),
286 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
287 )
288 def test_keyword_args(self):
289 # all keywords
290 self.assertEquals(
291 getargs_keywords(arg1=(1,2), arg2=3, arg3=(4,(5,6)), arg4=(7,8,9), arg5=10),
292 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
293 )
294 def test_optional_args(self):
295 # missing optional keyword args, skipping tuples
296 self.assertEquals(
297 getargs_keywords(arg1=(1,2), arg2=3, arg5=10),
298 (1, 2, 3, -1, -1, -1, -1, -1, -1, 10)
299 )
300 def test_required_args(self):
301 # required arg missing
302 try:
303 getargs_keywords(arg1=(1,2))
304 except TypeError, err:
305 self.assertEquals(str(err), "Required argument 'arg2' (pos 2) not found")
306 else:
307 self.fail('TypeError should have been raised')
308 def test_too_many_args(self):
309 try:
310 getargs_keywords((1,2),3,(4,(5,6)),(7,8,9),10,111)
311 except TypeError, err:
312 self.assertEquals(str(err), "function takes at most 5 arguments (6 given)")
313 else:
314 self.fail('TypeError should have been raised')
315 def test_invalid_keyword(self):
316 # extraneous keyword arg
317 try:
318 getargs_keywords((1,2),3,arg5=10,arg666=666)
319 except TypeError, err:
320 self.assertEquals(str(err), "'arg666' is an invalid keyword argument for this function")
321 else:
322 self.fail('TypeError should have been raised')
Georg Brandl5f135782006-07-26 08:03:10 +0000323
Thomas Hellera4ea6032003-04-17 18:55:45 +0000324def test_main():
Christian Heimesea837932008-02-26 17:23:51 +0000325 tests = [Signed_TestCase, Unsigned_TestCase, Tuple_TestCase, Keywords_TestCase]
Thomas Hellera4ea6032003-04-17 18:55:45 +0000326 try:
Thomas Heller54aa5782003-04-24 16:15:29 +0000327 from _testcapi import getargs_L, getargs_K
328 except ImportError:
Thomas Hellera4ea6032003-04-17 18:55:45 +0000329 pass # PY_LONG_LONG not available
330 else:
Walter Dörwald21d3a322003-05-01 17:45:56 +0000331 tests.append(LongLong_TestCase)
332 test_support.run_unittest(*tests)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000333
334if __name__ == "__main__":
335 test_main()