blob: a4077885fb6b09f14e15a5344cc85058eed01b5f [file] [log] [blame]
Thomas Hellera4ea6032003-04-17 18:55:45 +00001import unittest
Benjamin Petersonee8712c2008-05-20 21:35:26 +00002from test import support
Christian Heimes380f7f22008-02-28 11:19:05 +00003from _testcapi import getargs_keywords
Christian Heimes05e8be12008-02-23 18:30:17 +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
Guido van Rossume2a383d2007-01-15 16:59:06 +000039VERY_LARGE = 0xFF0000121212121212121242
Thomas Hellera4ea6032003-04-17 18:55:45 +000040
41from _testcapi import UCHAR_MAX, USHRT_MAX, UINT_MAX, ULONG_MAX, INT_MAX, \
Mark Dickinson1554b182009-12-20 16:03:30 +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
Thomas Hellera4ea6032003-04-17 18:55:45 +000050class Int:
51 def __int__(self):
52 return 99
53
54class Unsigned_TestCase(unittest.TestCase):
55 def test_b(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000056 from _testcapi import getargs_b
Thomas Hellera4ea6032003-04-17 18:55:45 +000057 # b returns 'unsigned char', and does range checking (0 ... UCHAR_MAX)
Thomas Woutersc9471232006-04-15 09:15:11 +000058 self.assertRaises(TypeError, getargs_b, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000059 self.assertEqual(99, getargs_b(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +000060
Thomas Heller54aa5782003-04-24 16:15:29 +000061 self.assertRaises(OverflowError, getargs_b, -1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000062 self.assertEqual(0, getargs_b(0))
63 self.assertEqual(UCHAR_MAX, getargs_b(UCHAR_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +000064 self.assertRaises(OverflowError, getargs_b, UCHAR_MAX + 1)
Thomas Hellera4ea6032003-04-17 18:55:45 +000065
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000066 self.assertEqual(42, getargs_b(42))
Thomas Heller54aa5782003-04-24 16:15:29 +000067 self.assertRaises(OverflowError, getargs_b, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +000068
Thomas Hellera4ea6032003-04-17 18:55:45 +000069 def test_B(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000070 from _testcapi import getargs_B
Thomas Hellera4ea6032003-04-17 18:55:45 +000071 # B returns 'unsigned char', no range checking
Thomas Woutersc9471232006-04-15 09:15:11 +000072 self.assertRaises(TypeError, getargs_B, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000073 self.assertEqual(99, getargs_B(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +000074
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000075 self.assertEqual(UCHAR_MAX, getargs_B(-1))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000076 self.assertEqual(0, getargs_B(0))
77 self.assertEqual(UCHAR_MAX, getargs_B(UCHAR_MAX))
78 self.assertEqual(0, getargs_B(UCHAR_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +000079
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000080 self.assertEqual(42, getargs_B(42))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000081 self.assertEqual(UCHAR_MAX & VERY_LARGE, getargs_B(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +000082
83 def test_H(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000084 from _testcapi import getargs_H
Thomas Hellera4ea6032003-04-17 18:55:45 +000085 # H returns 'unsigned short', no range checking
Thomas Woutersc9471232006-04-15 09:15:11 +000086 self.assertRaises(TypeError, getargs_H, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000087 self.assertEqual(99, getargs_H(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +000088
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000089 self.assertEqual(USHRT_MAX, getargs_H(-1))
90 self.assertEqual(0, getargs_H(0))
91 self.assertEqual(USHRT_MAX, getargs_H(USHRT_MAX))
92 self.assertEqual(0, getargs_H(USHRT_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +000093
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000094 self.assertEqual(42, getargs_H(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +000095
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000096 self.assertEqual(VERY_LARGE & USHRT_MAX, getargs_H(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +000097
98 def test_I(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000099 from _testcapi import getargs_I
Thomas Hellera4ea6032003-04-17 18:55:45 +0000100 # I returns 'unsigned int', no range checking
Thomas Woutersc9471232006-04-15 09:15:11 +0000101 self.assertRaises(TypeError, getargs_I, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000102 self.assertEqual(99, getargs_I(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000103
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000104 self.assertEqual(UINT_MAX, getargs_I(-1))
105 self.assertEqual(0, getargs_I(0))
106 self.assertEqual(UINT_MAX, getargs_I(UINT_MAX))
107 self.assertEqual(0, getargs_I(UINT_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000108
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000109 self.assertEqual(42, getargs_I(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000110
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000111 self.assertEqual(VERY_LARGE & UINT_MAX, getargs_I(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000112
113 def test_k(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000114 from _testcapi import getargs_k
Thomas Hellera4ea6032003-04-17 18:55:45 +0000115 # k returns 'unsigned long', no range checking
116 # it does not accept float, or instances with __int__
Thomas Heller54aa5782003-04-24 16:15:29 +0000117 self.assertRaises(TypeError, getargs_k, 3.14)
Thomas Heller54aa5782003-04-24 16:15:29 +0000118 self.assertRaises(TypeError, getargs_k, Int())
Thomas Hellera4ea6032003-04-17 18:55:45 +0000119
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000120 self.assertEqual(ULONG_MAX, getargs_k(-1))
121 self.assertEqual(0, getargs_k(0))
122 self.assertEqual(ULONG_MAX, getargs_k(ULONG_MAX))
123 self.assertEqual(0, getargs_k(ULONG_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000124
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000125 self.assertEqual(42, getargs_k(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000126
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000127 self.assertEqual(VERY_LARGE & ULONG_MAX, getargs_k(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000128
129class Signed_TestCase(unittest.TestCase):
Mark Dickinson1554b182009-12-20 16:03:30 +0000130 def test_h(self):
131 from _testcapi import getargs_h
132 # h returns 'short', and does range checking (SHRT_MIN ... SHRT_MAX)
133 self.assertRaises(TypeError, getargs_h, 3.14)
134 self.assertEqual(99, getargs_h(Int()))
135
136 self.assertRaises(OverflowError, getargs_h, SHRT_MIN-1)
137 self.assertEqual(SHRT_MIN, getargs_h(SHRT_MIN))
138 self.assertEqual(SHRT_MAX, getargs_h(SHRT_MAX))
139 self.assertRaises(OverflowError, getargs_h, SHRT_MAX+1)
140
141 self.assertEqual(42, getargs_h(42))
142 self.assertRaises(OverflowError, getargs_h, VERY_LARGE)
143
Thomas Hellera4ea6032003-04-17 18:55:45 +0000144 def test_i(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000145 from _testcapi import getargs_i
Thomas Hellera4ea6032003-04-17 18:55:45 +0000146 # i returns 'int', and does range checking (INT_MIN ... INT_MAX)
Thomas Woutersc9471232006-04-15 09:15:11 +0000147 self.assertRaises(TypeError, getargs_i, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000148 self.assertEqual(99, getargs_i(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000149
Thomas Heller54aa5782003-04-24 16:15:29 +0000150 self.assertRaises(OverflowError, getargs_i, INT_MIN-1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000151 self.assertEqual(INT_MIN, getargs_i(INT_MIN))
152 self.assertEqual(INT_MAX, getargs_i(INT_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +0000153 self.assertRaises(OverflowError, getargs_i, INT_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000154
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000155 self.assertEqual(42, getargs_i(42))
Thomas Heller54aa5782003-04-24 16:15:29 +0000156 self.assertRaises(OverflowError, getargs_i, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000157
158 def test_l(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000159 from _testcapi import getargs_l
Thomas Hellera4ea6032003-04-17 18:55:45 +0000160 # l returns 'long', and does range checking (LONG_MIN ... LONG_MAX)
Thomas Woutersc9471232006-04-15 09:15:11 +0000161 self.assertRaises(TypeError, getargs_l, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000162 self.assertEqual(99, getargs_l(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000163
Thomas Heller54aa5782003-04-24 16:15:29 +0000164 self.assertRaises(OverflowError, getargs_l, LONG_MIN-1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000165 self.assertEqual(LONG_MIN, getargs_l(LONG_MIN))
166 self.assertEqual(LONG_MAX, getargs_l(LONG_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +0000167 self.assertRaises(OverflowError, getargs_l, LONG_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000168
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000169 self.assertEqual(42, getargs_l(42))
Thomas Heller54aa5782003-04-24 16:15:29 +0000170 self.assertRaises(OverflowError, getargs_l, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000171
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000172 def test_n(self):
173 from _testcapi import getargs_n
174 # n returns 'Py_ssize_t', and does range checking
175 # (PY_SSIZE_T_MIN ... PY_SSIZE_T_MAX)
Thomas Woutersd8073282006-04-21 11:36:13 +0000176 self.assertRaises(TypeError, getargs_n, 3.14)
Trent Nelson35133582008-04-22 19:02:40 +0000177 self.assertRaises(TypeError, getargs_n, Int())
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000178
179 self.assertRaises(OverflowError, getargs_n, PY_SSIZE_T_MIN-1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000180 self.assertEqual(PY_SSIZE_T_MIN, getargs_n(PY_SSIZE_T_MIN))
181 self.assertEqual(PY_SSIZE_T_MAX, getargs_n(PY_SSIZE_T_MAX))
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000182 self.assertRaises(OverflowError, getargs_n, PY_SSIZE_T_MAX+1)
183
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000184 self.assertEqual(42, getargs_n(42))
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000185 self.assertRaises(OverflowError, getargs_n, VERY_LARGE)
186
Thomas Hellera4ea6032003-04-17 18:55:45 +0000187
188class LongLong_TestCase(unittest.TestCase):
189 def test_L(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000190 from _testcapi import getargs_L
Mark Dickinsonde604012010-01-01 19:27:32 +0000191 # L returns 'long long', and does range checking (LLONG_MIN
192 # ... LLONG_MAX)
193 with warnings.catch_warnings():
194 warnings.filterwarnings(
195 "ignore",
196 category=DeprecationWarning,
197 message=".*integer argument expected, got float",
198 module=__name__)
199 self.assertEqual(3, getargs_L(3.14))
200 with warnings.catch_warnings():
201 warnings.filterwarnings(
202 "error",
203 category=DeprecationWarning,
204 message=".*integer argument expected, got float",
205 module="unittest")
206 self.assertRaises(DeprecationWarning, getargs_L, 3.14)
207
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000208 self.assertRaises(TypeError, getargs_L, "Hello")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000209 self.assertEqual(99, getargs_L(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000210
Thomas Heller54aa5782003-04-24 16:15:29 +0000211 self.assertRaises(OverflowError, getargs_L, LLONG_MIN-1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000212 self.assertEqual(LLONG_MIN, getargs_L(LLONG_MIN))
213 self.assertEqual(LLONG_MAX, getargs_L(LLONG_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +0000214 self.assertRaises(OverflowError, getargs_L, LLONG_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000215
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000216 self.assertEqual(42, getargs_L(42))
Thomas Heller54aa5782003-04-24 16:15:29 +0000217 self.assertRaises(OverflowError, getargs_L, VERY_LARGE)
Tim Peters0eadaac2003-04-24 16:02:54 +0000218
Thomas Hellera4ea6032003-04-17 18:55:45 +0000219 def test_K(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000220 from _testcapi import getargs_K
Thomas Hellera4ea6032003-04-17 18:55:45 +0000221 # K return 'unsigned long long', no range checking
Thomas Heller54aa5782003-04-24 16:15:29 +0000222 self.assertRaises(TypeError, getargs_K, 3.14)
Thomas Heller54aa5782003-04-24 16:15:29 +0000223 self.assertRaises(TypeError, getargs_K, Int())
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000224 self.assertEqual(ULLONG_MAX, getargs_K(ULLONG_MAX))
225 self.assertEqual(0, getargs_K(0))
226 self.assertEqual(0, getargs_K(ULLONG_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000227
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000228 self.assertEqual(42, getargs_K(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000229
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000230 self.assertEqual(VERY_LARGE & ULLONG_MAX, getargs_K(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000231
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000232
233class Tuple_TestCase(unittest.TestCase):
234 def test_tuple(self):
235 from _testcapi import getargs_tuple
236
237 ret = getargs_tuple(1, (2, 3))
238 self.assertEquals(ret, (1,2,3))
239
240 # make sure invalid tuple arguments are handled correctly
241 class seq:
242 def __len__(self):
243 return 2
244 def __getitem__(self, n):
245 raise ValueError
246 self.assertRaises(TypeError, getargs_tuple, 1, seq())
247
Christian Heimes380f7f22008-02-28 11:19:05 +0000248class Keywords_TestCase(unittest.TestCase):
249 def test_positional_args(self):
250 # using all positional args
251 self.assertEquals(
252 getargs_keywords((1,2), 3, (4,(5,6)), (7,8,9), 10),
253 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
254 )
255 def test_mixed_args(self):
256 # positional and keyword args
257 self.assertEquals(
258 getargs_keywords((1,2), 3, (4,(5,6)), arg4=(7,8,9), arg5=10),
259 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
260 )
261 def test_keyword_args(self):
262 # all keywords
263 self.assertEquals(
264 getargs_keywords(arg1=(1,2), arg2=3, arg3=(4,(5,6)), arg4=(7,8,9), arg5=10),
265 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
266 )
267 def test_optional_args(self):
268 # missing optional keyword args, skipping tuples
269 self.assertEquals(
270 getargs_keywords(arg1=(1,2), arg2=3, arg5=10),
271 (1, 2, 3, -1, -1, -1, -1, -1, -1, 10)
272 )
273 def test_required_args(self):
274 # required arg missing
275 try:
276 getargs_keywords(arg1=(1,2))
277 except TypeError as err:
278 self.assertEquals(str(err), "Required argument 'arg2' (pos 2) not found")
279 else:
280 self.fail('TypeError should have been raised')
281 def test_too_many_args(self):
282 try:
283 getargs_keywords((1,2),3,(4,(5,6)),(7,8,9),10,111)
284 except TypeError as err:
285 self.assertEquals(str(err), "function takes at most 5 arguments (6 given)")
286 else:
287 self.fail('TypeError should have been raised')
288 def test_invalid_keyword(self):
289 # extraneous keyword arg
290 try:
291 getargs_keywords((1,2),3,arg5=10,arg666=666)
292 except TypeError as err:
293 self.assertEquals(str(err), "'arg666' is an invalid keyword argument for this function")
294 else:
295 self.fail('TypeError should have been raised')
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000296
Thomas Hellera4ea6032003-04-17 18:55:45 +0000297def test_main():
Christian Heimes380f7f22008-02-28 11:19:05 +0000298 tests = [Signed_TestCase, Unsigned_TestCase, Tuple_TestCase, Keywords_TestCase]
Thomas Hellera4ea6032003-04-17 18:55:45 +0000299 try:
Thomas Heller54aa5782003-04-24 16:15:29 +0000300 from _testcapi import getargs_L, getargs_K
301 except ImportError:
Thomas Hellera4ea6032003-04-17 18:55:45 +0000302 pass # PY_LONG_LONG not available
303 else:
Walter Dörwald21d3a322003-05-01 17:45:56 +0000304 tests.append(LongLong_TestCase)
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000305 support.run_unittest(*tests)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000306
307if __name__ == "__main__":
308 test_main()