blob: 34d8ee03bc6e798e7baa07d9eac67be52028f47d [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
Thomas Hellera4ea6032003-04-17 18:55:45 +00004
Christian Heimes05e8be12008-02-23 18:30:17 +00005import warnings
Thomas Heller54aa5782003-04-24 16:15:29 +00006warnings.filterwarnings("ignore",
7 category=DeprecationWarning,
8 message=".*integer argument expected, got float",
9 module=__name__)
10warnings.filterwarnings("ignore",
11 category=DeprecationWarning,
12 message=".*integer argument expected, got float",
13 module="unittest")
Thomas Hellera4ea6032003-04-17 18:55:45 +000014
15"""
16> How about the following counterproposal. This also changes some of
17> the other format codes to be a little more regular.
18>
19> Code C type Range check
20>
21> b unsigned char 0..UCHAR_MAX
Guido van Rossumbbb931b2003-04-18 00:13:53 +000022> h signed short SHRT_MIN..SHRT_MAX
Thomas Hellera4ea6032003-04-17 18:55:45 +000023> B unsigned char none **
24> H unsigned short none **
25> k * unsigned long none
26> I * unsigned int 0..UINT_MAX
27
28
29> i int INT_MIN..INT_MAX
30> l long LONG_MIN..LONG_MAX
31
32> K * unsigned long long none
33> L long long LLONG_MIN..LLONG_MAX
34
35> Notes:
36>
37> * New format codes.
38>
39> ** Changed from previous "range-and-a-half" to "none"; the
40> range-and-a-half checking wasn't particularly useful.
41
42Plus a C API or two, e.g. PyInt_AsLongMask() ->
43unsigned long and PyInt_AsLongLongMask() -> unsigned
44long long (if that exists).
45"""
46
47LARGE = 0x7FFFFFFF
Guido van Rossume2a383d2007-01-15 16:59:06 +000048VERY_LARGE = 0xFF0000121212121212121242
Thomas Hellera4ea6032003-04-17 18:55:45 +000049
50from _testcapi import UCHAR_MAX, USHRT_MAX, UINT_MAX, ULONG_MAX, INT_MAX, \
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000051 INT_MIN, LONG_MIN, LONG_MAX, PY_SSIZE_T_MIN, PY_SSIZE_T_MAX
Thomas Hellera4ea6032003-04-17 18:55:45 +000052
Thomas Hellera4ea6032003-04-17 18:55:45 +000053# fake, they are not defined in Python's header files
54LLONG_MAX = 2**63-1
55LLONG_MIN = -2**63
56ULLONG_MAX = 2**64-1
57
58class Long:
59 def __int__(self):
Guido van Rossume2a383d2007-01-15 16:59:06 +000060 return 99
Thomas Hellera4ea6032003-04-17 18:55:45 +000061
62class Int:
63 def __int__(self):
64 return 99
65
66class Unsigned_TestCase(unittest.TestCase):
67 def test_b(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000068 from _testcapi import getargs_b
Thomas Hellera4ea6032003-04-17 18:55:45 +000069 # b returns 'unsigned char', and does range checking (0 ... UCHAR_MAX)
Thomas Woutersc9471232006-04-15 09:15:11 +000070 self.assertRaises(TypeError, getargs_b, 3.14)
Thomas Heller54aa5782003-04-24 16:15:29 +000071 self.failUnlessEqual(99, getargs_b(Long()))
72 self.failUnlessEqual(99, getargs_b(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +000073
Thomas Heller54aa5782003-04-24 16:15:29 +000074 self.assertRaises(OverflowError, getargs_b, -1)
75 self.failUnlessEqual(0, getargs_b(0))
76 self.failUnlessEqual(UCHAR_MAX, getargs_b(UCHAR_MAX))
77 self.assertRaises(OverflowError, getargs_b, UCHAR_MAX + 1)
Thomas Hellera4ea6032003-04-17 18:55:45 +000078
Thomas Heller54aa5782003-04-24 16:15:29 +000079 self.failUnlessEqual(42, getargs_b(42))
Guido van Rossume2a383d2007-01-15 16:59:06 +000080 self.failUnlessEqual(42, getargs_b(42))
Thomas Heller54aa5782003-04-24 16:15:29 +000081 self.assertRaises(OverflowError, getargs_b, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +000082
Thomas Hellera4ea6032003-04-17 18:55:45 +000083 def test_B(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000084 from _testcapi import getargs_B
Thomas Hellera4ea6032003-04-17 18:55:45 +000085 # B returns 'unsigned char', no range checking
Thomas Woutersc9471232006-04-15 09:15:11 +000086 self.assertRaises(TypeError, getargs_B, 3.14)
Thomas Heller54aa5782003-04-24 16:15:29 +000087 self.failUnlessEqual(99, getargs_B(Long()))
88 self.failUnlessEqual(99, getargs_B(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +000089
Thomas Heller54aa5782003-04-24 16:15:29 +000090 self.failUnlessEqual(UCHAR_MAX, getargs_B(-1))
Guido van Rossume2a383d2007-01-15 16:59:06 +000091 self.failUnlessEqual(UCHAR_MAX, getargs_B(-1))
Thomas Heller54aa5782003-04-24 16:15:29 +000092 self.failUnlessEqual(0, getargs_B(0))
93 self.failUnlessEqual(UCHAR_MAX, getargs_B(UCHAR_MAX))
94 self.failUnlessEqual(0, getargs_B(UCHAR_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +000095
Thomas Heller54aa5782003-04-24 16:15:29 +000096 self.failUnlessEqual(42, getargs_B(42))
Guido van Rossume2a383d2007-01-15 16:59:06 +000097 self.failUnlessEqual(42, getargs_B(42))
Thomas Heller54aa5782003-04-24 16:15:29 +000098 self.failUnlessEqual(UCHAR_MAX & VERY_LARGE, getargs_B(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +000099
100 def test_H(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000101 from _testcapi import getargs_H
Thomas Hellera4ea6032003-04-17 18:55:45 +0000102 # H returns 'unsigned short', no range checking
Thomas Woutersc9471232006-04-15 09:15:11 +0000103 self.assertRaises(TypeError, getargs_H, 3.14)
Thomas Heller54aa5782003-04-24 16:15:29 +0000104 self.failUnlessEqual(99, getargs_H(Long()))
105 self.failUnlessEqual(99, getargs_H(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000106
Thomas Heller54aa5782003-04-24 16:15:29 +0000107 self.failUnlessEqual(USHRT_MAX, getargs_H(-1))
108 self.failUnlessEqual(0, getargs_H(0))
109 self.failUnlessEqual(USHRT_MAX, getargs_H(USHRT_MAX))
110 self.failUnlessEqual(0, getargs_H(USHRT_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000111
Thomas Heller54aa5782003-04-24 16:15:29 +0000112 self.failUnlessEqual(42, getargs_H(42))
Guido van Rossume2a383d2007-01-15 16:59:06 +0000113 self.failUnlessEqual(42, getargs_H(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000114
Thomas Heller54aa5782003-04-24 16:15:29 +0000115 self.failUnlessEqual(VERY_LARGE & USHRT_MAX, getargs_H(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000116
117 def test_I(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000118 from _testcapi import getargs_I
Thomas Hellera4ea6032003-04-17 18:55:45 +0000119 # I returns 'unsigned int', no range checking
Thomas Woutersc9471232006-04-15 09:15:11 +0000120 self.assertRaises(TypeError, getargs_I, 3.14)
Thomas Heller54aa5782003-04-24 16:15:29 +0000121 self.failUnlessEqual(99, getargs_I(Long()))
122 self.failUnlessEqual(99, getargs_I(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000123
Thomas Heller54aa5782003-04-24 16:15:29 +0000124 self.failUnlessEqual(UINT_MAX, getargs_I(-1))
125 self.failUnlessEqual(0, getargs_I(0))
126 self.failUnlessEqual(UINT_MAX, getargs_I(UINT_MAX))
127 self.failUnlessEqual(0, getargs_I(UINT_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000128
Thomas Heller54aa5782003-04-24 16:15:29 +0000129 self.failUnlessEqual(42, getargs_I(42))
Guido van Rossume2a383d2007-01-15 16:59:06 +0000130 self.failUnlessEqual(42, getargs_I(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000131
Thomas Heller54aa5782003-04-24 16:15:29 +0000132 self.failUnlessEqual(VERY_LARGE & UINT_MAX, getargs_I(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000133
134 def test_k(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000135 from _testcapi import getargs_k
Thomas Hellera4ea6032003-04-17 18:55:45 +0000136 # k returns 'unsigned long', no range checking
137 # it does not accept float, or instances with __int__
Thomas Heller54aa5782003-04-24 16:15:29 +0000138 self.assertRaises(TypeError, getargs_k, 3.14)
139 self.assertRaises(TypeError, getargs_k, Long())
140 self.assertRaises(TypeError, getargs_k, Int())
Thomas Hellera4ea6032003-04-17 18:55:45 +0000141
Thomas Heller54aa5782003-04-24 16:15:29 +0000142 self.failUnlessEqual(ULONG_MAX, getargs_k(-1))
143 self.failUnlessEqual(0, getargs_k(0))
144 self.failUnlessEqual(ULONG_MAX, getargs_k(ULONG_MAX))
145 self.failUnlessEqual(0, getargs_k(ULONG_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000146
Thomas Heller54aa5782003-04-24 16:15:29 +0000147 self.failUnlessEqual(42, getargs_k(42))
Guido van Rossume2a383d2007-01-15 16:59:06 +0000148 self.failUnlessEqual(42, getargs_k(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000149
Thomas Heller54aa5782003-04-24 16:15:29 +0000150 self.failUnlessEqual(VERY_LARGE & ULONG_MAX, getargs_k(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000151
152class Signed_TestCase(unittest.TestCase):
153 def test_i(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000154 from _testcapi import getargs_i
Thomas Hellera4ea6032003-04-17 18:55:45 +0000155 # i returns 'int', and does range checking (INT_MIN ... INT_MAX)
Thomas Woutersc9471232006-04-15 09:15:11 +0000156 self.assertRaises(TypeError, getargs_i, 3.14)
Thomas Heller54aa5782003-04-24 16:15:29 +0000157 self.failUnlessEqual(99, getargs_i(Long()))
158 self.failUnlessEqual(99, getargs_i(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000159
Thomas Heller54aa5782003-04-24 16:15:29 +0000160 self.assertRaises(OverflowError, getargs_i, INT_MIN-1)
161 self.failUnlessEqual(INT_MIN, getargs_i(INT_MIN))
162 self.failUnlessEqual(INT_MAX, getargs_i(INT_MAX))
163 self.assertRaises(OverflowError, getargs_i, INT_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000164
Thomas Heller54aa5782003-04-24 16:15:29 +0000165 self.failUnlessEqual(42, getargs_i(42))
Guido van Rossume2a383d2007-01-15 16:59:06 +0000166 self.failUnlessEqual(42, getargs_i(42))
Thomas Heller54aa5782003-04-24 16:15:29 +0000167 self.assertRaises(OverflowError, getargs_i, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000168
169 def test_l(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000170 from _testcapi import getargs_l
Thomas Hellera4ea6032003-04-17 18:55:45 +0000171 # l returns 'long', and does range checking (LONG_MIN ... LONG_MAX)
Thomas Woutersc9471232006-04-15 09:15:11 +0000172 self.assertRaises(TypeError, getargs_l, 3.14)
Thomas Heller54aa5782003-04-24 16:15:29 +0000173 self.failUnlessEqual(99, getargs_l(Long()))
174 self.failUnlessEqual(99, getargs_l(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000175
Thomas Heller54aa5782003-04-24 16:15:29 +0000176 self.assertRaises(OverflowError, getargs_l, LONG_MIN-1)
177 self.failUnlessEqual(LONG_MIN, getargs_l(LONG_MIN))
178 self.failUnlessEqual(LONG_MAX, getargs_l(LONG_MAX))
179 self.assertRaises(OverflowError, getargs_l, LONG_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000180
Thomas Heller54aa5782003-04-24 16:15:29 +0000181 self.failUnlessEqual(42, getargs_l(42))
Guido van Rossume2a383d2007-01-15 16:59:06 +0000182 self.failUnlessEqual(42, getargs_l(42))
Thomas Heller54aa5782003-04-24 16:15:29 +0000183 self.assertRaises(OverflowError, getargs_l, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000184
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000185 def test_n(self):
186 from _testcapi import getargs_n
187 # n returns 'Py_ssize_t', and does range checking
188 # (PY_SSIZE_T_MIN ... PY_SSIZE_T_MAX)
Thomas Woutersd8073282006-04-21 11:36:13 +0000189 self.assertRaises(TypeError, getargs_n, 3.14)
Trent Nelson35133582008-04-22 19:02:40 +0000190 self.assertRaises(TypeError, getargs_n, Long())
191 self.assertRaises(TypeError, getargs_n, Int())
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000192
193 self.assertRaises(OverflowError, getargs_n, PY_SSIZE_T_MIN-1)
194 self.failUnlessEqual(PY_SSIZE_T_MIN, getargs_n(PY_SSIZE_T_MIN))
195 self.failUnlessEqual(PY_SSIZE_T_MAX, getargs_n(PY_SSIZE_T_MAX))
196 self.assertRaises(OverflowError, getargs_n, PY_SSIZE_T_MAX+1)
197
198 self.failUnlessEqual(42, getargs_n(42))
Guido van Rossume2a383d2007-01-15 16:59:06 +0000199 self.failUnlessEqual(42, getargs_n(42))
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000200 self.assertRaises(OverflowError, getargs_n, VERY_LARGE)
201
Thomas Hellera4ea6032003-04-17 18:55:45 +0000202
203class LongLong_TestCase(unittest.TestCase):
204 def test_L(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000205 from _testcapi import getargs_L
Thomas Hellera4ea6032003-04-17 18:55:45 +0000206 # L returns 'long long', and does range checking (LLONG_MIN ... LLONG_MAX)
Martin v. Löwis6ce7ed22005-03-03 12:26:35 +0000207 self.failUnlessRaises(TypeError, getargs_L, "Hello")
208 self.failUnlessEqual(3, getargs_L(3.14))
209 self.failUnlessEqual(99, getargs_L(Long()))
210 self.failUnlessEqual(99, getargs_L(Int()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000211
Thomas Heller54aa5782003-04-24 16:15:29 +0000212 self.assertRaises(OverflowError, getargs_L, LLONG_MIN-1)
213 self.failUnlessEqual(LLONG_MIN, getargs_L(LLONG_MIN))
214 self.failUnlessEqual(LLONG_MAX, getargs_L(LLONG_MAX))
215 self.assertRaises(OverflowError, getargs_L, LLONG_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000216
Thomas Heller54aa5782003-04-24 16:15:29 +0000217 self.failUnlessEqual(42, getargs_L(42))
Guido van Rossume2a383d2007-01-15 16:59:06 +0000218 self.failUnlessEqual(42, getargs_L(42))
Thomas Heller54aa5782003-04-24 16:15:29 +0000219 self.assertRaises(OverflowError, getargs_L, VERY_LARGE)
Tim Peters0eadaac2003-04-24 16:02:54 +0000220
Thomas Hellera4ea6032003-04-17 18:55:45 +0000221 def test_K(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000222 from _testcapi import getargs_K
Thomas Hellera4ea6032003-04-17 18:55:45 +0000223 # K return 'unsigned long long', no range checking
Thomas Heller54aa5782003-04-24 16:15:29 +0000224 self.assertRaises(TypeError, getargs_K, 3.14)
225 self.assertRaises(TypeError, getargs_K, Long())
226 self.assertRaises(TypeError, getargs_K, Int())
227 self.failUnlessEqual(ULLONG_MAX, getargs_K(ULLONG_MAX))
228 self.failUnlessEqual(0, getargs_K(0))
229 self.failUnlessEqual(0, getargs_K(ULLONG_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000230
Thomas Heller54aa5782003-04-24 16:15:29 +0000231 self.failUnlessEqual(42, getargs_K(42))
Guido van Rossume2a383d2007-01-15 16:59:06 +0000232 self.failUnlessEqual(42, getargs_K(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000233
Thomas Heller54aa5782003-04-24 16:15:29 +0000234 self.failUnlessEqual(VERY_LARGE & ULLONG_MAX, getargs_K(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000235
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000236
237class Tuple_TestCase(unittest.TestCase):
238 def test_tuple(self):
239 from _testcapi import getargs_tuple
240
241 ret = getargs_tuple(1, (2, 3))
242 self.assertEquals(ret, (1,2,3))
243
244 # make sure invalid tuple arguments are handled correctly
245 class seq:
246 def __len__(self):
247 return 2
248 def __getitem__(self, n):
249 raise ValueError
250 self.assertRaises(TypeError, getargs_tuple, 1, seq())
251
Christian Heimes380f7f22008-02-28 11:19:05 +0000252class Keywords_TestCase(unittest.TestCase):
253 def test_positional_args(self):
254 # using all positional args
255 self.assertEquals(
256 getargs_keywords((1,2), 3, (4,(5,6)), (7,8,9), 10),
257 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
258 )
259 def test_mixed_args(self):
260 # positional and keyword args
261 self.assertEquals(
262 getargs_keywords((1,2), 3, (4,(5,6)), arg4=(7,8,9), arg5=10),
263 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
264 )
265 def test_keyword_args(self):
266 # all keywords
267 self.assertEquals(
268 getargs_keywords(arg1=(1,2), arg2=3, arg3=(4,(5,6)), arg4=(7,8,9), arg5=10),
269 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
270 )
271 def test_optional_args(self):
272 # missing optional keyword args, skipping tuples
273 self.assertEquals(
274 getargs_keywords(arg1=(1,2), arg2=3, arg5=10),
275 (1, 2, 3, -1, -1, -1, -1, -1, -1, 10)
276 )
277 def test_required_args(self):
278 # required arg missing
279 try:
280 getargs_keywords(arg1=(1,2))
281 except TypeError as err:
282 self.assertEquals(str(err), "Required argument 'arg2' (pos 2) not found")
283 else:
284 self.fail('TypeError should have been raised')
285 def test_too_many_args(self):
286 try:
287 getargs_keywords((1,2),3,(4,(5,6)),(7,8,9),10,111)
288 except TypeError as err:
289 self.assertEquals(str(err), "function takes at most 5 arguments (6 given)")
290 else:
291 self.fail('TypeError should have been raised')
292 def test_invalid_keyword(self):
293 # extraneous keyword arg
294 try:
295 getargs_keywords((1,2),3,arg5=10,arg666=666)
296 except TypeError as err:
297 self.assertEquals(str(err), "'arg666' is an invalid keyword argument for this function")
298 else:
299 self.fail('TypeError should have been raised')
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000300
Thomas Hellera4ea6032003-04-17 18:55:45 +0000301def test_main():
Christian Heimes380f7f22008-02-28 11:19:05 +0000302 tests = [Signed_TestCase, Unsigned_TestCase, Tuple_TestCase, Keywords_TestCase]
Thomas Hellera4ea6032003-04-17 18:55:45 +0000303 try:
Thomas Heller54aa5782003-04-24 16:15:29 +0000304 from _testcapi import getargs_L, getargs_K
305 except ImportError:
Thomas Hellera4ea6032003-04-17 18:55:45 +0000306 pass # PY_LONG_LONG not available
307 else:
Walter Dörwald21d3a322003-05-01 17:45:56 +0000308 tests.append(LongLong_TestCase)
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000309 support.run_unittest(*tests)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000310
311if __name__ == "__main__":
312 test_main()