blob: 715b5c6a32e1894f873c1892c967e856c1594a25 [file] [log] [blame]
Thomas Hellera4ea6032003-04-17 18:55:45 +00001import unittest
Benjamin Petersonee8712c2008-05-20 21:35:26 +00002from test import support
Larry Hastings83a9f482012-03-20 20:06:16 +00003from _testcapi import getargs_keywords, getargs_keyword_only
Thomas Hellera4ea6032003-04-17 18:55:45 +00004
5"""
6> How about the following counterproposal. This also changes some of
7> the other format codes to be a little more regular.
8>
9> Code C type Range check
10>
11> b unsigned char 0..UCHAR_MAX
Guido van Rossumbbb931b2003-04-18 00:13:53 +000012> h signed short SHRT_MIN..SHRT_MAX
Thomas Hellera4ea6032003-04-17 18:55:45 +000013> B unsigned char none **
14> H unsigned short none **
15> k * unsigned long none
16> I * unsigned int 0..UINT_MAX
17
18
19> i int INT_MIN..INT_MAX
20> l long LONG_MIN..LONG_MAX
21
22> K * unsigned long long none
23> L long long LLONG_MIN..LLONG_MAX
24
25> Notes:
26>
27> * New format codes.
28>
29> ** Changed from previous "range-and-a-half" to "none"; the
30> range-and-a-half checking wasn't particularly useful.
31
32Plus a C API or two, e.g. PyInt_AsLongMask() ->
33unsigned long and PyInt_AsLongLongMask() -> unsigned
34long long (if that exists).
35"""
36
37LARGE = 0x7FFFFFFF
Guido van Rossume2a383d2007-01-15 16:59:06 +000038VERY_LARGE = 0xFF0000121212121212121242
Thomas Hellera4ea6032003-04-17 18:55:45 +000039
40from _testcapi import UCHAR_MAX, USHRT_MAX, UINT_MAX, ULONG_MAX, INT_MAX, \
Mark Dickinson1554b182009-12-20 16:03:30 +000041 INT_MIN, LONG_MIN, LONG_MAX, PY_SSIZE_T_MIN, PY_SSIZE_T_MAX, \
42 SHRT_MIN, SHRT_MAX
Thomas Hellera4ea6032003-04-17 18:55:45 +000043
Thomas Hellera4ea6032003-04-17 18:55:45 +000044# fake, they are not defined in Python's header files
45LLONG_MAX = 2**63-1
46LLONG_MIN = -2**63
47ULLONG_MAX = 2**64-1
48
Thomas Hellera4ea6032003-04-17 18:55:45 +000049class Int:
50 def __int__(self):
51 return 99
52
Serhiy Storchaka31a65542013-12-11 21:07:54 +020053class IntSubclass(int):
54 def __int__(self):
55 return 99
56
57class BadInt:
58 def __int__(self):
59 return 1.0
60
61class BadInt2:
62 def __int__(self):
63 return True
64
65class BadInt3(int):
66 def __int__(self):
67 return True
68
69
Thomas Hellera4ea6032003-04-17 18:55:45 +000070class Unsigned_TestCase(unittest.TestCase):
71 def test_b(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000072 from _testcapi import getargs_b
Thomas Hellera4ea6032003-04-17 18:55:45 +000073 # b returns 'unsigned char', and does range checking (0 ... UCHAR_MAX)
Thomas Woutersc9471232006-04-15 09:15:11 +000074 self.assertRaises(TypeError, getargs_b, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000075 self.assertEqual(99, getargs_b(Int()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +020076 self.assertEqual(0, getargs_b(IntSubclass()))
77 self.assertRaises(TypeError, getargs_b, BadInt())
Serhiy Storchakac836a282013-12-14 21:07:09 +020078 self.assertEqual(1, getargs_b(BadInt2()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +020079 self.assertEqual(0, getargs_b(BadInt3()))
Thomas Hellera4ea6032003-04-17 18:55:45 +000080
Thomas Heller54aa5782003-04-24 16:15:29 +000081 self.assertRaises(OverflowError, getargs_b, -1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000082 self.assertEqual(0, getargs_b(0))
83 self.assertEqual(UCHAR_MAX, getargs_b(UCHAR_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +000084 self.assertRaises(OverflowError, getargs_b, UCHAR_MAX + 1)
Thomas Hellera4ea6032003-04-17 18:55:45 +000085
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000086 self.assertEqual(42, getargs_b(42))
Thomas Heller54aa5782003-04-24 16:15:29 +000087 self.assertRaises(OverflowError, getargs_b, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +000088
Thomas Hellera4ea6032003-04-17 18:55:45 +000089 def test_B(self):
Thomas Heller54aa5782003-04-24 16:15:29 +000090 from _testcapi import getargs_B
Thomas Hellera4ea6032003-04-17 18:55:45 +000091 # B returns 'unsigned char', no range checking
Thomas Woutersc9471232006-04-15 09:15:11 +000092 self.assertRaises(TypeError, getargs_B, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000093 self.assertEqual(99, getargs_B(Int()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +020094 self.assertEqual(0, getargs_B(IntSubclass()))
95 self.assertRaises(TypeError, getargs_B, BadInt())
Serhiy Storchakac836a282013-12-14 21:07:09 +020096 self.assertEqual(1, getargs_B(BadInt2()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +020097 self.assertEqual(0, getargs_B(BadInt3()))
Thomas Hellera4ea6032003-04-17 18:55:45 +000098
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000099 self.assertEqual(UCHAR_MAX, getargs_B(-1))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000100 self.assertEqual(0, getargs_B(0))
101 self.assertEqual(UCHAR_MAX, getargs_B(UCHAR_MAX))
102 self.assertEqual(0, getargs_B(UCHAR_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000103
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000104 self.assertEqual(42, getargs_B(42))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000105 self.assertEqual(UCHAR_MAX & VERY_LARGE, getargs_B(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000106
107 def test_H(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000108 from _testcapi import getargs_H
Thomas Hellera4ea6032003-04-17 18:55:45 +0000109 # H returns 'unsigned short', no range checking
Thomas Woutersc9471232006-04-15 09:15:11 +0000110 self.assertRaises(TypeError, getargs_H, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000111 self.assertEqual(99, getargs_H(Int()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200112 self.assertEqual(0, getargs_H(IntSubclass()))
113 self.assertRaises(TypeError, getargs_H, BadInt())
Serhiy Storchakac836a282013-12-14 21:07:09 +0200114 self.assertEqual(1, getargs_H(BadInt2()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200115 self.assertEqual(0, getargs_H(BadInt3()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000116
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000117 self.assertEqual(USHRT_MAX, getargs_H(-1))
118 self.assertEqual(0, getargs_H(0))
119 self.assertEqual(USHRT_MAX, getargs_H(USHRT_MAX))
120 self.assertEqual(0, getargs_H(USHRT_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000121
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000122 self.assertEqual(42, getargs_H(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000123
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000124 self.assertEqual(VERY_LARGE & USHRT_MAX, getargs_H(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000125
126 def test_I(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000127 from _testcapi import getargs_I
Thomas Hellera4ea6032003-04-17 18:55:45 +0000128 # I returns 'unsigned int', no range checking
Thomas Woutersc9471232006-04-15 09:15:11 +0000129 self.assertRaises(TypeError, getargs_I, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000130 self.assertEqual(99, getargs_I(Int()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200131 self.assertEqual(0, getargs_I(IntSubclass()))
132 self.assertRaises(TypeError, getargs_I, BadInt())
Serhiy Storchakac836a282013-12-14 21:07:09 +0200133 self.assertEqual(1, getargs_I(BadInt2()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200134 self.assertEqual(0, getargs_I(BadInt3()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000135
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000136 self.assertEqual(UINT_MAX, getargs_I(-1))
137 self.assertEqual(0, getargs_I(0))
138 self.assertEqual(UINT_MAX, getargs_I(UINT_MAX))
139 self.assertEqual(0, getargs_I(UINT_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000140
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000141 self.assertEqual(42, getargs_I(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000142
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000143 self.assertEqual(VERY_LARGE & UINT_MAX, getargs_I(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000144
145 def test_k(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000146 from _testcapi import getargs_k
Thomas Hellera4ea6032003-04-17 18:55:45 +0000147 # k returns 'unsigned long', no range checking
148 # it does not accept float, or instances with __int__
Thomas Heller54aa5782003-04-24 16:15:29 +0000149 self.assertRaises(TypeError, getargs_k, 3.14)
Thomas Heller54aa5782003-04-24 16:15:29 +0000150 self.assertRaises(TypeError, getargs_k, Int())
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200151 self.assertEqual(0, getargs_k(IntSubclass()))
152 self.assertRaises(TypeError, getargs_k, BadInt())
153 self.assertRaises(TypeError, getargs_k, BadInt2())
154 self.assertEqual(0, getargs_k(BadInt3()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000155
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000156 self.assertEqual(ULONG_MAX, getargs_k(-1))
157 self.assertEqual(0, getargs_k(0))
158 self.assertEqual(ULONG_MAX, getargs_k(ULONG_MAX))
159 self.assertEqual(0, getargs_k(ULONG_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000160
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000161 self.assertEqual(42, getargs_k(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000162
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000163 self.assertEqual(VERY_LARGE & ULONG_MAX, getargs_k(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000164
165class Signed_TestCase(unittest.TestCase):
Mark Dickinson1554b182009-12-20 16:03:30 +0000166 def test_h(self):
167 from _testcapi import getargs_h
168 # h returns 'short', and does range checking (SHRT_MIN ... SHRT_MAX)
169 self.assertRaises(TypeError, getargs_h, 3.14)
170 self.assertEqual(99, getargs_h(Int()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200171 self.assertEqual(0, getargs_h(IntSubclass()))
172 self.assertRaises(TypeError, getargs_h, BadInt())
Serhiy Storchakac836a282013-12-14 21:07:09 +0200173 self.assertEqual(1, getargs_h(BadInt2()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200174 self.assertEqual(0, getargs_h(BadInt3()))
Mark Dickinson1554b182009-12-20 16:03:30 +0000175
176 self.assertRaises(OverflowError, getargs_h, SHRT_MIN-1)
177 self.assertEqual(SHRT_MIN, getargs_h(SHRT_MIN))
178 self.assertEqual(SHRT_MAX, getargs_h(SHRT_MAX))
179 self.assertRaises(OverflowError, getargs_h, SHRT_MAX+1)
180
181 self.assertEqual(42, getargs_h(42))
182 self.assertRaises(OverflowError, getargs_h, VERY_LARGE)
183
Thomas Hellera4ea6032003-04-17 18:55:45 +0000184 def test_i(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000185 from _testcapi import getargs_i
Thomas Hellera4ea6032003-04-17 18:55:45 +0000186 # i returns 'int', and does range checking (INT_MIN ... INT_MAX)
Thomas Woutersc9471232006-04-15 09:15:11 +0000187 self.assertRaises(TypeError, getargs_i, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000188 self.assertEqual(99, getargs_i(Int()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200189 self.assertEqual(0, getargs_i(IntSubclass()))
190 self.assertRaises(TypeError, getargs_i, BadInt())
Serhiy Storchakac836a282013-12-14 21:07:09 +0200191 self.assertEqual(1, getargs_i(BadInt2()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200192 self.assertEqual(0, getargs_i(BadInt3()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000193
Thomas Heller54aa5782003-04-24 16:15:29 +0000194 self.assertRaises(OverflowError, getargs_i, INT_MIN-1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000195 self.assertEqual(INT_MIN, getargs_i(INT_MIN))
196 self.assertEqual(INT_MAX, getargs_i(INT_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +0000197 self.assertRaises(OverflowError, getargs_i, INT_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000198
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000199 self.assertEqual(42, getargs_i(42))
Thomas Heller54aa5782003-04-24 16:15:29 +0000200 self.assertRaises(OverflowError, getargs_i, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000201
202 def test_l(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000203 from _testcapi import getargs_l
Thomas Hellera4ea6032003-04-17 18:55:45 +0000204 # l returns 'long', and does range checking (LONG_MIN ... LONG_MAX)
Thomas Woutersc9471232006-04-15 09:15:11 +0000205 self.assertRaises(TypeError, getargs_l, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000206 self.assertEqual(99, getargs_l(Int()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200207 self.assertEqual(0, getargs_l(IntSubclass()))
208 self.assertRaises(TypeError, getargs_l, BadInt())
Serhiy Storchakac836a282013-12-14 21:07:09 +0200209 self.assertEqual(1, getargs_l(BadInt2()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200210 self.assertEqual(0, getargs_l(BadInt3()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000211
Thomas Heller54aa5782003-04-24 16:15:29 +0000212 self.assertRaises(OverflowError, getargs_l, LONG_MIN-1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000213 self.assertEqual(LONG_MIN, getargs_l(LONG_MIN))
214 self.assertEqual(LONG_MAX, getargs_l(LONG_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +0000215 self.assertRaises(OverflowError, getargs_l, LONG_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000216
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000217 self.assertEqual(42, getargs_l(42))
Thomas Heller54aa5782003-04-24 16:15:29 +0000218 self.assertRaises(OverflowError, getargs_l, VERY_LARGE)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000219
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000220 def test_n(self):
221 from _testcapi import getargs_n
222 # n returns 'Py_ssize_t', and does range checking
223 # (PY_SSIZE_T_MIN ... PY_SSIZE_T_MAX)
Thomas Woutersd8073282006-04-21 11:36:13 +0000224 self.assertRaises(TypeError, getargs_n, 3.14)
Trent Nelson35133582008-04-22 19:02:40 +0000225 self.assertRaises(TypeError, getargs_n, Int())
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200226 self.assertEqual(0, getargs_n(IntSubclass()))
227 self.assertRaises(TypeError, getargs_n, BadInt())
228 self.assertRaises(TypeError, getargs_n, BadInt2())
229 self.assertEqual(0, getargs_n(BadInt3()))
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000230
231 self.assertRaises(OverflowError, getargs_n, PY_SSIZE_T_MIN-1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000232 self.assertEqual(PY_SSIZE_T_MIN, getargs_n(PY_SSIZE_T_MIN))
233 self.assertEqual(PY_SSIZE_T_MAX, getargs_n(PY_SSIZE_T_MAX))
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000234 self.assertRaises(OverflowError, getargs_n, PY_SSIZE_T_MAX+1)
235
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000236 self.assertEqual(42, getargs_n(42))
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000237 self.assertRaises(OverflowError, getargs_n, VERY_LARGE)
238
Thomas Hellera4ea6032003-04-17 18:55:45 +0000239
240class LongLong_TestCase(unittest.TestCase):
241 def test_L(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000242 from _testcapi import getargs_L
Mark Dickinsonde604012010-01-01 19:27:32 +0000243 # L returns 'long long', and does range checking (LLONG_MIN
244 # ... LLONG_MAX)
Mark Dickinsonc7301312010-06-10 16:05:10 +0000245 self.assertRaises(TypeError, getargs_L, 3.14)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000246 self.assertRaises(TypeError, getargs_L, "Hello")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000247 self.assertEqual(99, getargs_L(Int()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200248 self.assertEqual(0, getargs_L(IntSubclass()))
249 self.assertRaises(TypeError, getargs_L, BadInt())
Serhiy Storchakac836a282013-12-14 21:07:09 +0200250 self.assertEqual(1, getargs_L(BadInt2()))
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200251 self.assertEqual(0, getargs_L(BadInt3()))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000252
Thomas Heller54aa5782003-04-24 16:15:29 +0000253 self.assertRaises(OverflowError, getargs_L, LLONG_MIN-1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000254 self.assertEqual(LLONG_MIN, getargs_L(LLONG_MIN))
255 self.assertEqual(LLONG_MAX, getargs_L(LLONG_MAX))
Thomas Heller54aa5782003-04-24 16:15:29 +0000256 self.assertRaises(OverflowError, getargs_L, LLONG_MAX+1)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000257
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000258 self.assertEqual(42, getargs_L(42))
Thomas Heller54aa5782003-04-24 16:15:29 +0000259 self.assertRaises(OverflowError, getargs_L, VERY_LARGE)
Tim Peters0eadaac2003-04-24 16:02:54 +0000260
Thomas Hellera4ea6032003-04-17 18:55:45 +0000261 def test_K(self):
Thomas Heller54aa5782003-04-24 16:15:29 +0000262 from _testcapi import getargs_K
Thomas Hellera4ea6032003-04-17 18:55:45 +0000263 # K return 'unsigned long long', no range checking
Thomas Heller54aa5782003-04-24 16:15:29 +0000264 self.assertRaises(TypeError, getargs_K, 3.14)
Thomas Heller54aa5782003-04-24 16:15:29 +0000265 self.assertRaises(TypeError, getargs_K, Int())
Serhiy Storchaka31a65542013-12-11 21:07:54 +0200266 self.assertEqual(0, getargs_K(IntSubclass()))
267 self.assertRaises(TypeError, getargs_K, BadInt())
268 self.assertRaises(TypeError, getargs_K, BadInt2())
269 self.assertEqual(0, getargs_K(BadInt3()))
270
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000271 self.assertEqual(ULLONG_MAX, getargs_K(ULLONG_MAX))
272 self.assertEqual(0, getargs_K(0))
273 self.assertEqual(0, getargs_K(ULLONG_MAX+1))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000274
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000275 self.assertEqual(42, getargs_K(42))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000276
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000277 self.assertEqual(VERY_LARGE & ULLONG_MAX, getargs_K(VERY_LARGE))
Thomas Hellera4ea6032003-04-17 18:55:45 +0000278
Larry Hastingsfaf91e72012-05-05 16:54:29 -0700279class Paradox:
280 "This statement is false."
281 def __bool__(self):
282 raise NotImplementedError
283
284class Boolean_TestCase(unittest.TestCase):
285 def test_p(self):
286 from _testcapi import getargs_p
287 self.assertEqual(0, getargs_p(False))
288 self.assertEqual(0, getargs_p(None))
289 self.assertEqual(0, getargs_p(0))
290 self.assertEqual(0, getargs_p(0.0))
291 self.assertEqual(0, getargs_p(0j))
292 self.assertEqual(0, getargs_p(''))
293 self.assertEqual(0, getargs_p(()))
294 self.assertEqual(0, getargs_p([]))
295 self.assertEqual(0, getargs_p({}))
296
297 self.assertEqual(1, getargs_p(True))
298 self.assertEqual(1, getargs_p(1))
299 self.assertEqual(1, getargs_p(1.0))
300 self.assertEqual(1, getargs_p(1j))
301 self.assertEqual(1, getargs_p('x'))
302 self.assertEqual(1, getargs_p((1,)))
303 self.assertEqual(1, getargs_p([1]))
304 self.assertEqual(1, getargs_p({1:2}))
305 self.assertEqual(1, getargs_p(unittest.TestCase))
306
307 self.assertRaises(NotImplementedError, getargs_p, Paradox())
308
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000309
310class Tuple_TestCase(unittest.TestCase):
311 def test_tuple(self):
312 from _testcapi import getargs_tuple
313
314 ret = getargs_tuple(1, (2, 3))
Ezio Melottib3aedd42010-11-20 19:04:17 +0000315 self.assertEqual(ret, (1,2,3))
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000316
317 # make sure invalid tuple arguments are handled correctly
318 class seq:
319 def __len__(self):
320 return 2
321 def __getitem__(self, n):
322 raise ValueError
323 self.assertRaises(TypeError, getargs_tuple, 1, seq())
324
Christian Heimes380f7f22008-02-28 11:19:05 +0000325class Keywords_TestCase(unittest.TestCase):
326 def test_positional_args(self):
327 # using all positional args
Ezio Melottib3aedd42010-11-20 19:04:17 +0000328 self.assertEqual(
Christian Heimes380f7f22008-02-28 11:19:05 +0000329 getargs_keywords((1,2), 3, (4,(5,6)), (7,8,9), 10),
330 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
331 )
Victor Stinner93b55132010-05-19 00:54:06 +0000332
Christian Heimes380f7f22008-02-28 11:19:05 +0000333 def test_mixed_args(self):
334 # positional and keyword args
Ezio Melottib3aedd42010-11-20 19:04:17 +0000335 self.assertEqual(
Christian Heimes380f7f22008-02-28 11:19:05 +0000336 getargs_keywords((1,2), 3, (4,(5,6)), arg4=(7,8,9), arg5=10),
337 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
338 )
Victor Stinner93b55132010-05-19 00:54:06 +0000339
Christian Heimes380f7f22008-02-28 11:19:05 +0000340 def test_keyword_args(self):
341 # all keywords
Ezio Melottib3aedd42010-11-20 19:04:17 +0000342 self.assertEqual(
Christian Heimes380f7f22008-02-28 11:19:05 +0000343 getargs_keywords(arg1=(1,2), arg2=3, arg3=(4,(5,6)), arg4=(7,8,9), arg5=10),
344 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
345 )
Victor Stinner93b55132010-05-19 00:54:06 +0000346
Christian Heimes380f7f22008-02-28 11:19:05 +0000347 def test_optional_args(self):
348 # missing optional keyword args, skipping tuples
Ezio Melottib3aedd42010-11-20 19:04:17 +0000349 self.assertEqual(
Christian Heimes380f7f22008-02-28 11:19:05 +0000350 getargs_keywords(arg1=(1,2), arg2=3, arg5=10),
351 (1, 2, 3, -1, -1, -1, -1, -1, -1, 10)
352 )
Victor Stinner93b55132010-05-19 00:54:06 +0000353
Christian Heimes380f7f22008-02-28 11:19:05 +0000354 def test_required_args(self):
355 # required arg missing
356 try:
357 getargs_keywords(arg1=(1,2))
358 except TypeError as err:
Ezio Melottib3aedd42010-11-20 19:04:17 +0000359 self.assertEqual(str(err), "Required argument 'arg2' (pos 2) not found")
Christian Heimes380f7f22008-02-28 11:19:05 +0000360 else:
361 self.fail('TypeError should have been raised')
Victor Stinner93b55132010-05-19 00:54:06 +0000362
Christian Heimes380f7f22008-02-28 11:19:05 +0000363 def test_too_many_args(self):
364 try:
365 getargs_keywords((1,2),3,(4,(5,6)),(7,8,9),10,111)
366 except TypeError as err:
Ezio Melottib3aedd42010-11-20 19:04:17 +0000367 self.assertEqual(str(err), "function takes at most 5 arguments (6 given)")
Christian Heimes380f7f22008-02-28 11:19:05 +0000368 else:
369 self.fail('TypeError should have been raised')
Victor Stinner93b55132010-05-19 00:54:06 +0000370
Christian Heimes380f7f22008-02-28 11:19:05 +0000371 def test_invalid_keyword(self):
372 # extraneous keyword arg
373 try:
374 getargs_keywords((1,2),3,arg5=10,arg666=666)
375 except TypeError as err:
Ezio Melottib3aedd42010-11-20 19:04:17 +0000376 self.assertEqual(str(err), "'arg666' is an invalid keyword argument for this function")
Christian Heimes380f7f22008-02-28 11:19:05 +0000377 else:
378 self.fail('TypeError should have been raised')
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000379
Victor Stinner93b55132010-05-19 00:54:06 +0000380 def test_surrogate_keyword(self):
381 try:
382 getargs_keywords((1,2), 3, (4,(5,6)), (7,8,9), **{'\uDC80': 10})
383 except TypeError as err:
Ezio Melottib3aedd42010-11-20 19:04:17 +0000384 self.assertEqual(str(err), "'\udc80' is an invalid keyword argument for this function")
Victor Stinner93b55132010-05-19 00:54:06 +0000385 else:
386 self.fail('TypeError should have been raised')
387
Larry Hastings83a9f482012-03-20 20:06:16 +0000388class KeywordOnly_TestCase(unittest.TestCase):
389 def test_positional_args(self):
390 # using all possible positional args
391 self.assertEqual(
392 getargs_keyword_only(1, 2),
393 (1, 2, -1)
394 )
395
396 def test_mixed_args(self):
397 # positional and keyword args
398 self.assertEqual(
399 getargs_keyword_only(1, 2, keyword_only=3),
400 (1, 2, 3)
401 )
402
403 def test_keyword_args(self):
404 # all keywords
405 self.assertEqual(
406 getargs_keyword_only(required=1, optional=2, keyword_only=3),
407 (1, 2, 3)
408 )
409
410 def test_optional_args(self):
411 # missing optional keyword args, skipping tuples
412 self.assertEqual(
413 getargs_keyword_only(required=1, optional=2),
414 (1, 2, -1)
415 )
416 self.assertEqual(
417 getargs_keyword_only(required=1, keyword_only=3),
418 (1, -1, 3)
419 )
420
421 def test_required_args(self):
422 self.assertEqual(
423 getargs_keyword_only(1),
424 (1, -1, -1)
425 )
426 self.assertEqual(
427 getargs_keyword_only(required=1),
428 (1, -1, -1)
429 )
430 # required arg missing
431 with self.assertRaisesRegex(TypeError,
432 "Required argument 'required' \(pos 1\) not found"):
433 getargs_keyword_only(optional=2)
434
435 with self.assertRaisesRegex(TypeError,
436 "Required argument 'required' \(pos 1\) not found"):
437 getargs_keyword_only(keyword_only=3)
438
439 def test_too_many_args(self):
440 with self.assertRaisesRegex(TypeError,
441 "Function takes at most 2 positional arguments \(3 given\)"):
442 getargs_keyword_only(1, 2, 3)
443
444 with self.assertRaisesRegex(TypeError,
445 "function takes at most 3 arguments \(4 given\)"):
446 getargs_keyword_only(1, 2, 3, keyword_only=5)
447
448 def test_invalid_keyword(self):
449 # extraneous keyword arg
450 with self.assertRaisesRegex(TypeError,
451 "'monster' is an invalid keyword argument for this function"):
452 getargs_keyword_only(1, 2, monster=666)
453
454 def test_surrogate_keyword(self):
455 with self.assertRaisesRegex(TypeError,
456 "'\udc80' is an invalid keyword argument for this function"):
457 getargs_keyword_only(1, 2, **{'\uDC80': 10})
458
Victor Stinner06e49dd2010-06-13 18:21:50 +0000459class Bytes_TestCase(unittest.TestCase):
Eli Bendersky906b88f2011-07-29 07:05:08 +0300460 def test_c(self):
461 from _testcapi import getargs_c
462 self.assertRaises(TypeError, getargs_c, b'abc') # len > 1
463 self.assertEqual(getargs_c(b'a'), b'a')
464 self.assertEqual(getargs_c(bytearray(b'a')), b'a')
465 self.assertRaises(TypeError, getargs_c, memoryview(b'a'))
466 self.assertRaises(TypeError, getargs_c, 's')
467 self.assertRaises(TypeError, getargs_c, None)
468
Victor Stinner06e49dd2010-06-13 18:21:50 +0000469 def test_s(self):
470 from _testcapi import getargs_s
471 self.assertEqual(getargs_s('abc\xe9'), b'abc\xc3\xa9')
472 self.assertRaises(TypeError, getargs_s, 'nul:\0')
473 self.assertRaises(TypeError, getargs_s, b'bytes')
474 self.assertRaises(TypeError, getargs_s, bytearray(b'bytearray'))
475 self.assertRaises(TypeError, getargs_s, memoryview(b'memoryview'))
476 self.assertRaises(TypeError, getargs_s, None)
477
478 def test_s_star(self):
479 from _testcapi import getargs_s_star
480 self.assertEqual(getargs_s_star('abc\xe9'), b'abc\xc3\xa9')
481 self.assertEqual(getargs_s_star('nul:\0'), b'nul:\0')
482 self.assertEqual(getargs_s_star(b'bytes'), b'bytes')
483 self.assertEqual(getargs_s_star(bytearray(b'bytearray')), b'bytearray')
484 self.assertEqual(getargs_s_star(memoryview(b'memoryview')), b'memoryview')
485 self.assertRaises(TypeError, getargs_s_star, None)
486
487 def test_s_hash(self):
488 from _testcapi import getargs_s_hash
489 self.assertEqual(getargs_s_hash('abc\xe9'), b'abc\xc3\xa9')
490 self.assertEqual(getargs_s_hash('nul:\0'), b'nul:\0')
491 self.assertEqual(getargs_s_hash(b'bytes'), b'bytes')
492 self.assertRaises(TypeError, getargs_s_hash, bytearray(b'bytearray'))
493 self.assertRaises(TypeError, getargs_s_hash, memoryview(b'memoryview'))
494 self.assertRaises(TypeError, getargs_s_hash, None)
495
496 def test_z(self):
497 from _testcapi import getargs_z
498 self.assertEqual(getargs_z('abc\xe9'), b'abc\xc3\xa9')
499 self.assertRaises(TypeError, getargs_z, 'nul:\0')
Victor Stinner4aae1eb2010-06-24 22:08:25 +0000500 self.assertRaises(TypeError, getargs_z, b'bytes')
Victor Stinner06e49dd2010-06-13 18:21:50 +0000501 self.assertRaises(TypeError, getargs_z, bytearray(b'bytearray'))
502 self.assertRaises(TypeError, getargs_z, memoryview(b'memoryview'))
503 self.assertIsNone(getargs_z(None))
504
505 def test_z_star(self):
506 from _testcapi import getargs_z_star
507 self.assertEqual(getargs_z_star('abc\xe9'), b'abc\xc3\xa9')
508 self.assertEqual(getargs_z_star('nul:\0'), b'nul:\0')
509 self.assertEqual(getargs_z_star(b'bytes'), b'bytes')
510 self.assertEqual(getargs_z_star(bytearray(b'bytearray')), b'bytearray')
511 self.assertEqual(getargs_z_star(memoryview(b'memoryview')), b'memoryview')
512 self.assertIsNone(getargs_z_star(None))
513
514 def test_z_hash(self):
515 from _testcapi import getargs_z_hash
516 self.assertEqual(getargs_z_hash('abc\xe9'), b'abc\xc3\xa9')
517 self.assertEqual(getargs_z_hash('nul:\0'), b'nul:\0')
518 self.assertEqual(getargs_z_hash(b'bytes'), b'bytes')
519 self.assertRaises(TypeError, getargs_z_hash, bytearray(b'bytearray'))
520 self.assertRaises(TypeError, getargs_z_hash, memoryview(b'memoryview'))
521 self.assertIsNone(getargs_z_hash(None))
522
523 def test_y(self):
524 from _testcapi import getargs_y
525 self.assertRaises(TypeError, getargs_y, 'abc\xe9')
526 self.assertEqual(getargs_y(b'bytes'), b'bytes')
527 self.assertRaises(TypeError, getargs_y, b'nul:\0')
528 self.assertRaises(TypeError, getargs_y, bytearray(b'bytearray'))
529 self.assertRaises(TypeError, getargs_y, memoryview(b'memoryview'))
530 self.assertRaises(TypeError, getargs_y, None)
531
532 def test_y_star(self):
533 from _testcapi import getargs_y_star
534 self.assertRaises(TypeError, getargs_y_star, 'abc\xe9')
535 self.assertEqual(getargs_y_star(b'bytes'), b'bytes')
536 self.assertEqual(getargs_y_star(b'nul:\0'), b'nul:\0')
537 self.assertEqual(getargs_y_star(bytearray(b'bytearray')), b'bytearray')
538 self.assertEqual(getargs_y_star(memoryview(b'memoryview')), b'memoryview')
539 self.assertRaises(TypeError, getargs_y_star, None)
540
541 def test_y_hash(self):
542 from _testcapi import getargs_y_hash
543 self.assertRaises(TypeError, getargs_y_hash, 'abc\xe9')
544 self.assertEqual(getargs_y_hash(b'bytes'), b'bytes')
545 self.assertEqual(getargs_y_hash(b'nul:\0'), b'nul:\0')
546 self.assertRaises(TypeError, getargs_y_hash, bytearray(b'bytearray'))
547 self.assertRaises(TypeError, getargs_y_hash, memoryview(b'memoryview'))
548 self.assertRaises(TypeError, getargs_y_hash, None)
549
Victor Stinner25e8ec42010-06-25 00:02:38 +0000550 def test_w_star(self):
551 # getargs_w_star() modifies first and last byte
552 from _testcapi import getargs_w_star
553 self.assertRaises(TypeError, getargs_w_star, 'abc\xe9')
554 self.assertRaises(TypeError, getargs_w_star, b'bytes')
555 self.assertRaises(TypeError, getargs_w_star, b'nul:\0')
Antoine Pitrouad62b032011-01-18 18:57:52 +0000556 self.assertRaises(TypeError, getargs_w_star, memoryview(b'bytes'))
Victor Stinner25e8ec42010-06-25 00:02:38 +0000557 self.assertEqual(getargs_w_star(bytearray(b'bytearray')), b'[ytearra]')
Antoine Pitrouad62b032011-01-18 18:57:52 +0000558 self.assertEqual(getargs_w_star(memoryview(bytearray(b'memoryview'))),
559 b'[emoryvie]')
Victor Stinner25e8ec42010-06-25 00:02:38 +0000560 self.assertRaises(TypeError, getargs_w_star, None)
561
Victor Stinner06e49dd2010-06-13 18:21:50 +0000562
563class Unicode_TestCase(unittest.TestCase):
564 def test_u(self):
565 from _testcapi import getargs_u
566 self.assertEqual(getargs_u('abc\xe9'), 'abc\xe9')
567 self.assertRaises(TypeError, getargs_u, 'nul:\0')
568 self.assertRaises(TypeError, getargs_u, b'bytes')
569 self.assertRaises(TypeError, getargs_u, bytearray(b'bytearray'))
570 self.assertRaises(TypeError, getargs_u, memoryview(b'memoryview'))
571 self.assertRaises(TypeError, getargs_u, None)
572
573 def test_u_hash(self):
574 from _testcapi import getargs_u_hash
575 self.assertEqual(getargs_u_hash('abc\xe9'), 'abc\xe9')
576 self.assertEqual(getargs_u_hash('nul:\0'), 'nul:\0')
577 self.assertRaises(TypeError, getargs_u_hash, b'bytes')
578 self.assertRaises(TypeError, getargs_u_hash, bytearray(b'bytearray'))
579 self.assertRaises(TypeError, getargs_u_hash, memoryview(b'memoryview'))
580 self.assertRaises(TypeError, getargs_u_hash, None)
581
582 def test_Z(self):
583 from _testcapi import getargs_Z
584 self.assertEqual(getargs_Z('abc\xe9'), 'abc\xe9')
585 self.assertRaises(TypeError, getargs_Z, 'nul:\0')
586 self.assertRaises(TypeError, getargs_Z, b'bytes')
587 self.assertRaises(TypeError, getargs_Z, bytearray(b'bytearray'))
588 self.assertRaises(TypeError, getargs_Z, memoryview(b'memoryview'))
589 self.assertIsNone(getargs_Z(None))
590
591 def test_Z_hash(self):
592 from _testcapi import getargs_Z_hash
593 self.assertEqual(getargs_Z_hash('abc\xe9'), 'abc\xe9')
594 self.assertEqual(getargs_Z_hash('nul:\0'), 'nul:\0')
595 self.assertRaises(TypeError, getargs_Z_hash, b'bytes')
596 self.assertRaises(TypeError, getargs_Z_hash, bytearray(b'bytearray'))
597 self.assertRaises(TypeError, getargs_Z_hash, memoryview(b'memoryview'))
598 self.assertIsNone(getargs_Z_hash(None))
599
600
Thomas Hellera4ea6032003-04-17 18:55:45 +0000601def test_main():
Victor Stinner06e49dd2010-06-13 18:21:50 +0000602 tests = [
603 Signed_TestCase,
604 Unsigned_TestCase,
Larry Hastingsfaf91e72012-05-05 16:54:29 -0700605 Boolean_TestCase,
Victor Stinner06e49dd2010-06-13 18:21:50 +0000606 Tuple_TestCase,
607 Keywords_TestCase,
Larry Hastings83a9f482012-03-20 20:06:16 +0000608 KeywordOnly_TestCase,
Victor Stinner06e49dd2010-06-13 18:21:50 +0000609 Bytes_TestCase,
610 Unicode_TestCase,
611 ]
Thomas Hellera4ea6032003-04-17 18:55:45 +0000612 try:
Thomas Heller54aa5782003-04-24 16:15:29 +0000613 from _testcapi import getargs_L, getargs_K
614 except ImportError:
Thomas Hellera4ea6032003-04-17 18:55:45 +0000615 pass # PY_LONG_LONG not available
616 else:
Walter Dörwald21d3a322003-05-01 17:45:56 +0000617 tests.append(LongLong_TestCase)
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000618 support.run_unittest(*tests)
Thomas Hellera4ea6032003-04-17 18:55:45 +0000619
620if __name__ == "__main__":
621 test_main()