blob: f0d6d1c4ef3cb332f2207b8fea5df8b34aac2184 [file] [log] [blame]
Benjamin Petersonae937c02009-04-18 20:54:08 +00001import builtins
Benjamin Peterson52c42432012-03-07 18:41:11 -06002import gc
Benjamin Petersona5758c02009-05-09 18:15:04 +00003import sys
Guido van Rossum360e4b82007-05-14 22:51:27 +00004import types
Benjamin Peterson8bb9cde2010-07-01 15:16:55 +00005import math
Georg Brandl479a7e72008-02-05 18:13:15 +00006import unittest
Benjamin Peterson52c42432012-03-07 18:41:11 -06007import weakref
Tim Peters4d9b4662002-04-16 01:59:17 +00008
Georg Brandl479a7e72008-02-05 18:13:15 +00009from copy import deepcopy
Benjamin Petersonee8712c2008-05-20 21:35:26 +000010from test import support
Guido van Rossum875eeaa2001-10-11 18:33:53 +000011
Tim Peters6d6c1a32001-08-02 04:15:00 +000012
Georg Brandl479a7e72008-02-05 18:13:15 +000013class OperatorsTest(unittest.TestCase):
Tim Peters3caca232001-12-06 06:23:26 +000014
Georg Brandl479a7e72008-02-05 18:13:15 +000015 def __init__(self, *args, **kwargs):
16 unittest.TestCase.__init__(self, *args, **kwargs)
17 self.binops = {
18 'add': '+',
19 'sub': '-',
20 'mul': '*',
21 'div': '/',
22 'divmod': 'divmod',
23 'pow': '**',
24 'lshift': '<<',
25 'rshift': '>>',
26 'and': '&',
27 'xor': '^',
28 'or': '|',
29 'cmp': 'cmp',
30 'lt': '<',
31 'le': '<=',
32 'eq': '==',
33 'ne': '!=',
34 'gt': '>',
35 'ge': '>=',
36 }
Tim Peters6d6c1a32001-08-02 04:15:00 +000037
Georg Brandl479a7e72008-02-05 18:13:15 +000038 for name, expr in list(self.binops.items()):
39 if expr.islower():
40 expr = expr + "(a, b)"
41 else:
42 expr = 'a %s b' % expr
43 self.binops[name] = expr
Tim Peters6d6c1a32001-08-02 04:15:00 +000044
Georg Brandl479a7e72008-02-05 18:13:15 +000045 self.unops = {
46 'pos': '+',
47 'neg': '-',
48 'abs': 'abs',
49 'invert': '~',
50 'int': 'int',
51 'float': 'float',
52 'oct': 'oct',
53 'hex': 'hex',
54 }
Tim Peters6d6c1a32001-08-02 04:15:00 +000055
Georg Brandl479a7e72008-02-05 18:13:15 +000056 for name, expr in list(self.unops.items()):
57 if expr.islower():
58 expr = expr + "(a)"
59 else:
60 expr = '%s a' % expr
61 self.unops[name] = expr
Tim Peters6d6c1a32001-08-02 04:15:00 +000062
Georg Brandl479a7e72008-02-05 18:13:15 +000063 def unop_test(self, a, res, expr="len(a)", meth="__len__"):
64 d = {'a': a}
65 self.assertEqual(eval(expr, d), res)
66 t = type(a)
67 m = getattr(t, meth)
Tim Peters6d6c1a32001-08-02 04:15:00 +000068
Georg Brandl479a7e72008-02-05 18:13:15 +000069 # Find method in parent class
70 while meth not in t.__dict__:
71 t = t.__bases__[0]
Benjamin Petersone549ead2009-03-28 21:42:05 +000072 # in some implementations (e.g. PyPy), 'm' can be a regular unbound
73 # method object; the getattr() below obtains its underlying function.
74 self.assertEqual(getattr(m, 'im_func', m), t.__dict__[meth])
Georg Brandl479a7e72008-02-05 18:13:15 +000075 self.assertEqual(m(a), res)
76 bm = getattr(a, meth)
77 self.assertEqual(bm(), res)
Tim Peters2f93e282001-10-04 05:27:00 +000078
Georg Brandl479a7e72008-02-05 18:13:15 +000079 def binop_test(self, a, b, res, expr="a+b", meth="__add__"):
80 d = {'a': a, 'b': b}
Tim Peters2f93e282001-10-04 05:27:00 +000081
Georg Brandl479a7e72008-02-05 18:13:15 +000082 # XXX Hack so this passes before 2.3 when -Qnew is specified.
83 if meth == "__div__" and 1/2 == 0.5:
84 meth = "__truediv__"
Tim Peters2f93e282001-10-04 05:27:00 +000085
Georg Brandl479a7e72008-02-05 18:13:15 +000086 if meth == '__divmod__': pass
Tim Peters2f93e282001-10-04 05:27:00 +000087
Georg Brandl479a7e72008-02-05 18:13:15 +000088 self.assertEqual(eval(expr, d), res)
89 t = type(a)
90 m = getattr(t, meth)
91 while meth not in t.__dict__:
92 t = t.__bases__[0]
Benjamin Petersone549ead2009-03-28 21:42:05 +000093 # in some implementations (e.g. PyPy), 'm' can be a regular unbound
94 # method object; the getattr() below obtains its underlying function.
95 self.assertEqual(getattr(m, 'im_func', m), t.__dict__[meth])
Georg Brandl479a7e72008-02-05 18:13:15 +000096 self.assertEqual(m(a, b), res)
97 bm = getattr(a, meth)
98 self.assertEqual(bm(b), res)
Tim Peters2f93e282001-10-04 05:27:00 +000099
Georg Brandl479a7e72008-02-05 18:13:15 +0000100 def sliceop_test(self, a, b, c, res, expr="a[b:c]", meth="__getitem__"):
101 d = {'a': a, 'b': b, 'c': c}
102 self.assertEqual(eval(expr, d), res)
103 t = type(a)
104 m = getattr(t, meth)
105 while meth not in t.__dict__:
106 t = t.__bases__[0]
Benjamin Petersone549ead2009-03-28 21:42:05 +0000107 # in some implementations (e.g. PyPy), 'm' can be a regular unbound
108 # method object; the getattr() below obtains its underlying function.
109 self.assertEqual(getattr(m, 'im_func', m), t.__dict__[meth])
Georg Brandl479a7e72008-02-05 18:13:15 +0000110 self.assertEqual(m(a, slice(b, c)), res)
111 bm = getattr(a, meth)
112 self.assertEqual(bm(slice(b, c)), res)
Tim Peters6d6c1a32001-08-02 04:15:00 +0000113
Georg Brandl479a7e72008-02-05 18:13:15 +0000114 def setop_test(self, a, b, res, stmt="a+=b", meth="__iadd__"):
115 d = {'a': deepcopy(a), 'b': b}
116 exec(stmt, d)
117 self.assertEqual(d['a'], res)
118 t = type(a)
119 m = getattr(t, meth)
120 while meth not in t.__dict__:
121 t = t.__bases__[0]
Benjamin Petersone549ead2009-03-28 21:42:05 +0000122 # in some implementations (e.g. PyPy), 'm' can be a regular unbound
123 # method object; the getattr() below obtains its underlying function.
124 self.assertEqual(getattr(m, 'im_func', m), t.__dict__[meth])
Georg Brandl479a7e72008-02-05 18:13:15 +0000125 d['a'] = deepcopy(a)
126 m(d['a'], b)
127 self.assertEqual(d['a'], res)
128 d['a'] = deepcopy(a)
129 bm = getattr(d['a'], meth)
130 bm(b)
131 self.assertEqual(d['a'], res)
Tim Peters6d6c1a32001-08-02 04:15:00 +0000132
Georg Brandl479a7e72008-02-05 18:13:15 +0000133 def set2op_test(self, a, b, c, res, stmt="a[b]=c", meth="__setitem__"):
134 d = {'a': deepcopy(a), 'b': b, 'c': c}
135 exec(stmt, d)
136 self.assertEqual(d['a'], res)
137 t = type(a)
138 m = getattr(t, meth)
139 while meth not in t.__dict__:
140 t = t.__bases__[0]
Benjamin Petersone549ead2009-03-28 21:42:05 +0000141 # in some implementations (e.g. PyPy), 'm' can be a regular unbound
142 # method object; the getattr() below obtains its underlying function.
143 self.assertEqual(getattr(m, 'im_func', m), t.__dict__[meth])
Georg Brandl479a7e72008-02-05 18:13:15 +0000144 d['a'] = deepcopy(a)
145 m(d['a'], b, c)
146 self.assertEqual(d['a'], res)
147 d['a'] = deepcopy(a)
148 bm = getattr(d['a'], meth)
149 bm(b, c)
150 self.assertEqual(d['a'], res)
151
152 def setsliceop_test(self, a, b, c, d, res, stmt="a[b:c]=d", meth="__setitem__"):
153 dictionary = {'a': deepcopy(a), 'b': b, 'c': c, 'd': d}
154 exec(stmt, dictionary)
155 self.assertEqual(dictionary['a'], res)
156 t = type(a)
157 while meth not in t.__dict__:
158 t = t.__bases__[0]
159 m = getattr(t, meth)
Benjamin Petersone549ead2009-03-28 21:42:05 +0000160 # in some implementations (e.g. PyPy), 'm' can be a regular unbound
161 # method object; the getattr() below obtains its underlying function.
162 self.assertEqual(getattr(m, 'im_func', m), t.__dict__[meth])
Georg Brandl479a7e72008-02-05 18:13:15 +0000163 dictionary['a'] = deepcopy(a)
164 m(dictionary['a'], slice(b, c), d)
165 self.assertEqual(dictionary['a'], res)
166 dictionary['a'] = deepcopy(a)
167 bm = getattr(dictionary['a'], meth)
168 bm(slice(b, c), d)
169 self.assertEqual(dictionary['a'], res)
170
171 def test_lists(self):
172 # Testing list operations...
173 # Asserts are within individual test methods
174 self.binop_test([1], [2], [1,2], "a+b", "__add__")
175 self.binop_test([1,2,3], 2, 1, "b in a", "__contains__")
176 self.binop_test([1,2,3], 4, 0, "b in a", "__contains__")
177 self.binop_test([1,2,3], 1, 2, "a[b]", "__getitem__")
178 self.sliceop_test([1,2,3], 0, 2, [1,2], "a[b:c]", "__getitem__")
179 self.setop_test([1], [2], [1,2], "a+=b", "__iadd__")
180 self.setop_test([1,2], 3, [1,2,1,2,1,2], "a*=b", "__imul__")
181 self.unop_test([1,2,3], 3, "len(a)", "__len__")
182 self.binop_test([1,2], 3, [1,2,1,2,1,2], "a*b", "__mul__")
183 self.binop_test([1,2], 3, [1,2,1,2,1,2], "b*a", "__rmul__")
184 self.set2op_test([1,2], 1, 3, [1,3], "a[b]=c", "__setitem__")
185 self.setsliceop_test([1,2,3,4], 1, 3, [5,6], [1,5,6,4], "a[b:c]=d",
186 "__setitem__")
187
188 def test_dicts(self):
189 # Testing dict operations...
Georg Brandl479a7e72008-02-05 18:13:15 +0000190 self.binop_test({1:2,3:4}, 1, 1, "b in a", "__contains__")
191 self.binop_test({1:2,3:4}, 2, 0, "b in a", "__contains__")
192 self.binop_test({1:2,3:4}, 1, 2, "a[b]", "__getitem__")
193
194 d = {1:2, 3:4}
195 l1 = []
196 for i in list(d.keys()):
197 l1.append(i)
198 l = []
199 for i in iter(d):
200 l.append(i)
201 self.assertEqual(l, l1)
202 l = []
203 for i in d.__iter__():
204 l.append(i)
205 self.assertEqual(l, l1)
206 l = []
207 for i in dict.__iter__(d):
208 l.append(i)
209 self.assertEqual(l, l1)
210 d = {1:2, 3:4}
211 self.unop_test(d, 2, "len(a)", "__len__")
212 self.assertEqual(eval(repr(d), {}), d)
213 self.assertEqual(eval(d.__repr__(), {}), d)
214 self.set2op_test({1:2,3:4}, 2, 3, {1:2,2:3,3:4}, "a[b]=c",
215 "__setitem__")
216
217 # Tests for unary and binary operators
218 def number_operators(self, a, b, skip=[]):
219 dict = {'a': a, 'b': b}
220
221 for name, expr in list(self.binops.items()):
222 if name not in skip:
223 name = "__%s__" % name
224 if hasattr(a, name):
225 res = eval(expr, dict)
226 self.binop_test(a, b, res, expr, name)
227
228 for name, expr in list(self.unops.items()):
229 if name not in skip:
230 name = "__%s__" % name
231 if hasattr(a, name):
232 res = eval(expr, dict)
233 self.unop_test(a, res, expr, name)
234
235 def test_ints(self):
236 # Testing int operations...
237 self.number_operators(100, 3)
238 # The following crashes in Python 2.2
239 self.assertEqual((1).__bool__(), 1)
240 self.assertEqual((0).__bool__(), 0)
241 # This returns 'NotImplemented' in Python 2.2
242 class C(int):
243 def __add__(self, other):
244 return NotImplemented
245 self.assertEqual(C(5), 5)
Tim Peters25786c02001-09-02 08:22:48 +0000246 try:
Georg Brandl479a7e72008-02-05 18:13:15 +0000247 C() + ""
Tim Peters25786c02001-09-02 08:22:48 +0000248 except TypeError:
249 pass
250 else:
Georg Brandl479a7e72008-02-05 18:13:15 +0000251 self.fail("NotImplemented should have caused TypeError")
Tim Peters25786c02001-09-02 08:22:48 +0000252
Georg Brandl479a7e72008-02-05 18:13:15 +0000253 def test_floats(self):
254 # Testing float operations...
255 self.number_operators(100.0, 3.0)
Tim Peters25786c02001-09-02 08:22:48 +0000256
Georg Brandl479a7e72008-02-05 18:13:15 +0000257 def test_complexes(self):
258 # Testing complex operations...
259 self.number_operators(100.0j, 3.0j, skip=['lt', 'le', 'gt', 'ge',
Mark Dickinson5c2db372009-12-05 20:28:34 +0000260 'int', 'float',
Georg Brandl479a7e72008-02-05 18:13:15 +0000261 'divmod', 'mod'])
Tim Peters25786c02001-09-02 08:22:48 +0000262
Georg Brandl479a7e72008-02-05 18:13:15 +0000263 class Number(complex):
264 __slots__ = ['prec']
265 def __new__(cls, *args, **kwds):
266 result = complex.__new__(cls, *args)
267 result.prec = kwds.get('prec', 12)
268 return result
269 def __repr__(self):
270 prec = self.prec
271 if self.imag == 0.0:
272 return "%.*g" % (prec, self.real)
273 if self.real == 0.0:
274 return "%.*gj" % (prec, self.imag)
275 return "(%.*g+%.*gj)" % (prec, self.real, prec, self.imag)
276 __str__ = __repr__
Tim Peters25786c02001-09-02 08:22:48 +0000277
Georg Brandl479a7e72008-02-05 18:13:15 +0000278 a = Number(3.14, prec=6)
279 self.assertEqual(repr(a), "3.14")
280 self.assertEqual(a.prec, 6)
Tim Peters1fc240e2001-10-26 05:06:50 +0000281
Georg Brandl479a7e72008-02-05 18:13:15 +0000282 a = Number(a, prec=2)
283 self.assertEqual(repr(a), "3.1")
284 self.assertEqual(a.prec, 2)
Tim Peters1fc240e2001-10-26 05:06:50 +0000285
Georg Brandl479a7e72008-02-05 18:13:15 +0000286 a = Number(234.5)
287 self.assertEqual(repr(a), "234.5")
288 self.assertEqual(a.prec, 12)
Tim Peters1fc240e2001-10-26 05:06:50 +0000289
Mark Dickinsonb09a3d62010-09-23 20:11:19 +0000290 def test_explicit_reverse_methods(self):
291 # see issue 9930
292 self.assertEqual(complex.__radd__(3j, 4.0), complex(4.0, 3.0))
293 self.assertEqual(float.__rsub__(3.0, 1), -2.0)
294
Benjamin Petersone549ead2009-03-28 21:42:05 +0000295 @support.impl_detail("the module 'xxsubtype' is internal")
Georg Brandl479a7e72008-02-05 18:13:15 +0000296 def test_spam_lists(self):
297 # Testing spamlist operations...
298 import copy, xxsubtype as spam
299
300 def spamlist(l, memo=None):
301 import xxsubtype as spam
302 return spam.spamlist(l)
303
304 # This is an ugly hack:
305 copy._deepcopy_dispatch[spam.spamlist] = spamlist
306
307 self.binop_test(spamlist([1]), spamlist([2]), spamlist([1,2]), "a+b",
308 "__add__")
309 self.binop_test(spamlist([1,2,3]), 2, 1, "b in a", "__contains__")
310 self.binop_test(spamlist([1,2,3]), 4, 0, "b in a", "__contains__")
311 self.binop_test(spamlist([1,2,3]), 1, 2, "a[b]", "__getitem__")
312 self.sliceop_test(spamlist([1,2,3]), 0, 2, spamlist([1,2]), "a[b:c]",
313 "__getitem__")
314 self.setop_test(spamlist([1]), spamlist([2]), spamlist([1,2]), "a+=b",
315 "__iadd__")
316 self.setop_test(spamlist([1,2]), 3, spamlist([1,2,1,2,1,2]), "a*=b",
317 "__imul__")
318 self.unop_test(spamlist([1,2,3]), 3, "len(a)", "__len__")
319 self.binop_test(spamlist([1,2]), 3, spamlist([1,2,1,2,1,2]), "a*b",
320 "__mul__")
321 self.binop_test(spamlist([1,2]), 3, spamlist([1,2,1,2,1,2]), "b*a",
322 "__rmul__")
323 self.set2op_test(spamlist([1,2]), 1, 3, spamlist([1,3]), "a[b]=c",
324 "__setitem__")
325 self.setsliceop_test(spamlist([1,2,3,4]), 1, 3, spamlist([5,6]),
326 spamlist([1,5,6,4]), "a[b:c]=d", "__setitem__")
327 # Test subclassing
328 class C(spam.spamlist):
329 def foo(self): return 1
330 a = C()
331 self.assertEqual(a, [])
332 self.assertEqual(a.foo(), 1)
333 a.append(100)
334 self.assertEqual(a, [100])
335 self.assertEqual(a.getstate(), 0)
336 a.setstate(42)
337 self.assertEqual(a.getstate(), 42)
338
Benjamin Petersone549ead2009-03-28 21:42:05 +0000339 @support.impl_detail("the module 'xxsubtype' is internal")
Georg Brandl479a7e72008-02-05 18:13:15 +0000340 def test_spam_dicts(self):
341 # Testing spamdict operations...
342 import copy, xxsubtype as spam
343 def spamdict(d, memo=None):
344 import xxsubtype as spam
345 sd = spam.spamdict()
346 for k, v in list(d.items()):
347 sd[k] = v
348 return sd
349 # This is an ugly hack:
350 copy._deepcopy_dispatch[spam.spamdict] = spamdict
351
Georg Brandl479a7e72008-02-05 18:13:15 +0000352 self.binop_test(spamdict({1:2,3:4}), 1, 1, "b in a", "__contains__")
353 self.binop_test(spamdict({1:2,3:4}), 2, 0, "b in a", "__contains__")
354 self.binop_test(spamdict({1:2,3:4}), 1, 2, "a[b]", "__getitem__")
355 d = spamdict({1:2,3:4})
356 l1 = []
357 for i in list(d.keys()):
358 l1.append(i)
359 l = []
360 for i in iter(d):
361 l.append(i)
362 self.assertEqual(l, l1)
363 l = []
364 for i in d.__iter__():
365 l.append(i)
366 self.assertEqual(l, l1)
367 l = []
368 for i in type(spamdict({})).__iter__(d):
369 l.append(i)
370 self.assertEqual(l, l1)
371 straightd = {1:2, 3:4}
372 spamd = spamdict(straightd)
373 self.unop_test(spamd, 2, "len(a)", "__len__")
374 self.unop_test(spamd, repr(straightd), "repr(a)", "__repr__")
375 self.set2op_test(spamdict({1:2,3:4}), 2, 3, spamdict({1:2,2:3,3:4}),
376 "a[b]=c", "__setitem__")
377 # Test subclassing
378 class C(spam.spamdict):
379 def foo(self): return 1
380 a = C()
381 self.assertEqual(list(a.items()), [])
382 self.assertEqual(a.foo(), 1)
383 a['foo'] = 'bar'
384 self.assertEqual(list(a.items()), [('foo', 'bar')])
385 self.assertEqual(a.getstate(), 0)
386 a.setstate(100)
387 self.assertEqual(a.getstate(), 100)
388
389class ClassPropertiesAndMethods(unittest.TestCase):
390
391 def test_python_dicts(self):
392 # Testing Python subclass of dict...
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000393 self.assertTrue(issubclass(dict, dict))
Ezio Melottie9615932010-01-24 19:26:24 +0000394 self.assertIsInstance({}, dict)
Georg Brandl479a7e72008-02-05 18:13:15 +0000395 d = dict()
396 self.assertEqual(d, {})
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000397 self.assertTrue(d.__class__ is dict)
Ezio Melottie9615932010-01-24 19:26:24 +0000398 self.assertIsInstance(d, dict)
Georg Brandl479a7e72008-02-05 18:13:15 +0000399 class C(dict):
400 state = -1
401 def __init__(self_local, *a, **kw):
402 if a:
403 self.assertEqual(len(a), 1)
404 self_local.state = a[0]
405 if kw:
406 for k, v in list(kw.items()):
407 self_local[v] = k
408 def __getitem__(self, key):
409 return self.get(key, 0)
410 def __setitem__(self_local, key, value):
Ezio Melottie9615932010-01-24 19:26:24 +0000411 self.assertIsInstance(key, type(0))
Georg Brandl479a7e72008-02-05 18:13:15 +0000412 dict.__setitem__(self_local, key, value)
413 def setstate(self, state):
414 self.state = state
415 def getstate(self):
416 return self.state
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000417 self.assertTrue(issubclass(C, dict))
Georg Brandl479a7e72008-02-05 18:13:15 +0000418 a1 = C(12)
419 self.assertEqual(a1.state, 12)
420 a2 = C(foo=1, bar=2)
421 self.assertEqual(a2[1] == 'foo' and a2[2], 'bar')
422 a = C()
423 self.assertEqual(a.state, -1)
424 self.assertEqual(a.getstate(), -1)
425 a.setstate(0)
426 self.assertEqual(a.state, 0)
427 self.assertEqual(a.getstate(), 0)
428 a.setstate(10)
429 self.assertEqual(a.state, 10)
430 self.assertEqual(a.getstate(), 10)
431 self.assertEqual(a[42], 0)
432 a[42] = 24
433 self.assertEqual(a[42], 24)
434 N = 50
435 for i in range(N):
436 a[i] = C()
437 for j in range(N):
438 a[i][j] = i*j
439 for i in range(N):
440 for j in range(N):
441 self.assertEqual(a[i][j], i*j)
442
443 def test_python_lists(self):
444 # Testing Python subclass of list...
445 class C(list):
446 def __getitem__(self, i):
447 if isinstance(i, slice):
448 return i.start, i.stop
449 return list.__getitem__(self, i) + 100
450 a = C()
451 a.extend([0,1,2])
452 self.assertEqual(a[0], 100)
453 self.assertEqual(a[1], 101)
454 self.assertEqual(a[2], 102)
455 self.assertEqual(a[100:200], (100,200))
456
457 def test_metaclass(self):
Georg Brandle81f5ef2008-05-27 20:34:09 +0000458 # Testing metaclasses...
Georg Brandl479a7e72008-02-05 18:13:15 +0000459 class C(metaclass=type):
460 def __init__(self):
461 self.__state = 0
462 def getstate(self):
463 return self.__state
464 def setstate(self, state):
465 self.__state = state
466 a = C()
467 self.assertEqual(a.getstate(), 0)
468 a.setstate(10)
469 self.assertEqual(a.getstate(), 10)
470 class _metaclass(type):
471 def myself(cls): return cls
472 class D(metaclass=_metaclass):
473 pass
474 self.assertEqual(D.myself(), D)
475 d = D()
476 self.assertEqual(d.__class__, D)
477 class M1(type):
478 def __new__(cls, name, bases, dict):
479 dict['__spam__'] = 1
480 return type.__new__(cls, name, bases, dict)
481 class C(metaclass=M1):
482 pass
483 self.assertEqual(C.__spam__, 1)
484 c = C()
485 self.assertEqual(c.__spam__, 1)
486
487 class _instance(object):
488 pass
489 class M2(object):
490 @staticmethod
491 def __new__(cls, name, bases, dict):
492 self = object.__new__(cls)
493 self.name = name
494 self.bases = bases
495 self.dict = dict
496 return self
497 def __call__(self):
498 it = _instance()
499 # Early binding of methods
500 for key in self.dict:
501 if key.startswith("__"):
502 continue
503 setattr(it, key, self.dict[key].__get__(it, self))
504 return it
505 class C(metaclass=M2):
506 def spam(self):
507 return 42
508 self.assertEqual(C.name, 'C')
509 self.assertEqual(C.bases, ())
Benjamin Peterson577473f2010-01-19 00:09:57 +0000510 self.assertIn('spam', C.dict)
Georg Brandl479a7e72008-02-05 18:13:15 +0000511 c = C()
512 self.assertEqual(c.spam(), 42)
513
514 # More metaclass examples
515
516 class autosuper(type):
517 # Automatically add __super to the class
518 # This trick only works for dynamic classes
519 def __new__(metaclass, name, bases, dict):
520 cls = super(autosuper, metaclass).__new__(metaclass,
521 name, bases, dict)
522 # Name mangling for __super removes leading underscores
523 while name[:1] == "_":
524 name = name[1:]
525 if name:
526 name = "_%s__super" % name
527 else:
528 name = "__super"
529 setattr(cls, name, super(cls))
530 return cls
531 class A(metaclass=autosuper):
532 def meth(self):
533 return "A"
534 class B(A):
535 def meth(self):
536 return "B" + self.__super.meth()
537 class C(A):
538 def meth(self):
539 return "C" + self.__super.meth()
540 class D(C, B):
541 def meth(self):
542 return "D" + self.__super.meth()
543 self.assertEqual(D().meth(), "DCBA")
544 class E(B, C):
545 def meth(self):
546 return "E" + self.__super.meth()
547 self.assertEqual(E().meth(), "EBCA")
548
549 class autoproperty(type):
550 # Automatically create property attributes when methods
551 # named _get_x and/or _set_x are found
552 def __new__(metaclass, name, bases, dict):
553 hits = {}
554 for key, val in dict.items():
555 if key.startswith("_get_"):
556 key = key[5:]
557 get, set = hits.get(key, (None, None))
558 get = val
559 hits[key] = get, set
560 elif key.startswith("_set_"):
561 key = key[5:]
562 get, set = hits.get(key, (None, None))
563 set = val
564 hits[key] = get, set
565 for key, (get, set) in hits.items():
566 dict[key] = property(get, set)
567 return super(autoproperty, metaclass).__new__(metaclass,
568 name, bases, dict)
569 class A(metaclass=autoproperty):
570 def _get_x(self):
571 return -self.__x
572 def _set_x(self, x):
573 self.__x = -x
574 a = A()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000575 self.assertTrue(not hasattr(a, "x"))
Georg Brandl479a7e72008-02-05 18:13:15 +0000576 a.x = 12
577 self.assertEqual(a.x, 12)
578 self.assertEqual(a._A__x, -12)
579
580 class multimetaclass(autoproperty, autosuper):
581 # Merge of multiple cooperating metaclasses
582 pass
583 class A(metaclass=multimetaclass):
584 def _get_x(self):
585 return "A"
586 class B(A):
587 def _get_x(self):
588 return "B" + self.__super._get_x()
589 class C(A):
590 def _get_x(self):
591 return "C" + self.__super._get_x()
592 class D(C, B):
593 def _get_x(self):
594 return "D" + self.__super._get_x()
595 self.assertEqual(D().x, "DCBA")
596
597 # Make sure type(x) doesn't call x.__class__.__init__
598 class T(type):
599 counter = 0
600 def __init__(self, *args):
601 T.counter += 1
602 class C(metaclass=T):
603 pass
604 self.assertEqual(T.counter, 1)
605 a = C()
606 self.assertEqual(type(a), C)
607 self.assertEqual(T.counter, 1)
608
609 class C(object): pass
610 c = C()
611 try: c()
612 except TypeError: pass
613 else: self.fail("calling object w/o call method should raise "
614 "TypeError")
615
616 # Testing code to find most derived baseclass
617 class A(type):
618 def __new__(*args, **kwargs):
619 return type.__new__(*args, **kwargs)
620
621 class B(object):
622 pass
623
624 class C(object, metaclass=A):
625 pass
626
627 # The most derived metaclass of D is A rather than type.
628 class D(B, C):
629 pass
Nick Coghlande31b192011-10-23 22:04:16 +1000630 self.assertIs(A, type(D))
631
632 # issue1294232: correct metaclass calculation
633 new_calls = [] # to check the order of __new__ calls
634 class AMeta(type):
635 @staticmethod
636 def __new__(mcls, name, bases, ns):
637 new_calls.append('AMeta')
638 return super().__new__(mcls, name, bases, ns)
639 @classmethod
640 def __prepare__(mcls, name, bases):
641 return {}
642
643 class BMeta(AMeta):
644 @staticmethod
645 def __new__(mcls, name, bases, ns):
646 new_calls.append('BMeta')
647 return super().__new__(mcls, name, bases, ns)
648 @classmethod
649 def __prepare__(mcls, name, bases):
650 ns = super().__prepare__(name, bases)
651 ns['BMeta_was_here'] = True
652 return ns
653
654 class A(metaclass=AMeta):
655 pass
656 self.assertEqual(['AMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000657 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000658
659 class B(metaclass=BMeta):
660 pass
661 # BMeta.__new__ calls AMeta.__new__ with super:
662 self.assertEqual(['BMeta', 'AMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000663 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000664
665 class C(A, B):
666 pass
667 # The most derived metaclass is BMeta:
668 self.assertEqual(['BMeta', 'AMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000669 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000670 # BMeta.__prepare__ should've been called:
671 self.assertIn('BMeta_was_here', C.__dict__)
672
673 # The order of the bases shouldn't matter:
674 class C2(B, A):
675 pass
676 self.assertEqual(['BMeta', 'AMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000677 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000678 self.assertIn('BMeta_was_here', C2.__dict__)
679
680 # Check correct metaclass calculation when a metaclass is declared:
681 class D(C, metaclass=type):
682 pass
683 self.assertEqual(['BMeta', 'AMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000684 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000685 self.assertIn('BMeta_was_here', D.__dict__)
686
687 class E(C, metaclass=AMeta):
688 pass
689 self.assertEqual(['BMeta', 'AMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000690 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000691 self.assertIn('BMeta_was_here', E.__dict__)
692
693 # Special case: the given metaclass isn't a class,
694 # so there is no metaclass calculation.
695 marker = object()
696 def func(*args, **kwargs):
697 return marker
698 class X(metaclass=func):
699 pass
700 class Y(object, metaclass=func):
701 pass
702 class Z(D, metaclass=func):
703 pass
704 self.assertIs(marker, X)
705 self.assertIs(marker, Y)
706 self.assertIs(marker, Z)
707
708 # The given metaclass is a class,
709 # but not a descendant of type.
710 prepare_calls = [] # to track __prepare__ calls
711 class ANotMeta:
712 def __new__(mcls, *args, **kwargs):
713 new_calls.append('ANotMeta')
714 return super().__new__(mcls)
715 @classmethod
716 def __prepare__(mcls, name, bases):
717 prepare_calls.append('ANotMeta')
718 return {}
719 class BNotMeta(ANotMeta):
720 def __new__(mcls, *args, **kwargs):
721 new_calls.append('BNotMeta')
722 return super().__new__(mcls)
723 @classmethod
724 def __prepare__(mcls, name, bases):
725 prepare_calls.append('BNotMeta')
726 return super().__prepare__(name, bases)
727
728 class A(metaclass=ANotMeta):
729 pass
730 self.assertIs(ANotMeta, type(A))
731 self.assertEqual(['ANotMeta'], prepare_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000732 prepare_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000733 self.assertEqual(['ANotMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000734 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000735
736 class B(metaclass=BNotMeta):
737 pass
738 self.assertIs(BNotMeta, type(B))
739 self.assertEqual(['BNotMeta', 'ANotMeta'], prepare_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000740 prepare_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000741 self.assertEqual(['BNotMeta', 'ANotMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000742 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000743
744 class C(A, B):
745 pass
746 self.assertIs(BNotMeta, type(C))
747 self.assertEqual(['BNotMeta', 'ANotMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000748 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000749 self.assertEqual(['BNotMeta', 'ANotMeta'], prepare_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000750 prepare_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000751
752 class C2(B, A):
753 pass
754 self.assertIs(BNotMeta, type(C2))
755 self.assertEqual(['BNotMeta', 'ANotMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000756 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000757 self.assertEqual(['BNotMeta', 'ANotMeta'], prepare_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000758 prepare_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000759
760 # This is a TypeError, because of a metaclass conflict:
761 # BNotMeta is neither a subclass, nor a superclass of type
762 with self.assertRaises(TypeError):
763 class D(C, metaclass=type):
764 pass
765
766 class E(C, metaclass=ANotMeta):
767 pass
768 self.assertIs(BNotMeta, type(E))
769 self.assertEqual(['BNotMeta', 'ANotMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000770 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000771 self.assertEqual(['BNotMeta', 'ANotMeta'], prepare_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000772 prepare_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000773
774 class F(object(), C):
775 pass
776 self.assertIs(BNotMeta, type(F))
777 self.assertEqual(['BNotMeta', 'ANotMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000778 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000779 self.assertEqual(['BNotMeta', 'ANotMeta'], prepare_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000780 prepare_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000781
782 class F2(C, object()):
783 pass
784 self.assertIs(BNotMeta, type(F2))
785 self.assertEqual(['BNotMeta', 'ANotMeta'], new_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000786 new_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000787 self.assertEqual(['BNotMeta', 'ANotMeta'], prepare_calls)
Nick Coghlan9715d262011-10-23 22:36:42 +1000788 prepare_calls.clear()
Nick Coghlande31b192011-10-23 22:04:16 +1000789
790 # TypeError: BNotMeta is neither a
791 # subclass, nor a superclass of int
792 with self.assertRaises(TypeError):
793 class X(C, int()):
794 pass
795 with self.assertRaises(TypeError):
796 class X(int(), C):
797 pass
Georg Brandl479a7e72008-02-05 18:13:15 +0000798
799 def test_module_subclasses(self):
800 # Testing Python subclass of module...
801 log = []
Georg Brandl479a7e72008-02-05 18:13:15 +0000802 MT = type(sys)
803 class MM(MT):
804 def __init__(self, name):
805 MT.__init__(self, name)
806 def __getattribute__(self, name):
807 log.append(("getattr", name))
808 return MT.__getattribute__(self, name)
809 def __setattr__(self, name, value):
810 log.append(("setattr", name, value))
811 MT.__setattr__(self, name, value)
812 def __delattr__(self, name):
813 log.append(("delattr", name))
814 MT.__delattr__(self, name)
815 a = MM("a")
816 a.foo = 12
817 x = a.foo
818 del a.foo
819 self.assertEqual(log, [("setattr", "foo", 12),
820 ("getattr", "foo"),
821 ("delattr", "foo")])
822
823 # http://python.org/sf/1174712
Tim Peters1fc240e2001-10-26 05:06:50 +0000824 try:
Georg Brandl479a7e72008-02-05 18:13:15 +0000825 class Module(types.ModuleType, str):
826 pass
827 except TypeError:
Tim Peters1fc240e2001-10-26 05:06:50 +0000828 pass
829 else:
Georg Brandl479a7e72008-02-05 18:13:15 +0000830 self.fail("inheriting from ModuleType and str at the same time "
831 "should fail")
Tim Peters1fc240e2001-10-26 05:06:50 +0000832
Georg Brandl479a7e72008-02-05 18:13:15 +0000833 def test_multiple_inheritance(self):
834 # Testing multiple inheritance...
835 class C(object):
836 def __init__(self):
837 self.__state = 0
838 def getstate(self):
839 return self.__state
840 def setstate(self, state):
841 self.__state = state
842 a = C()
843 self.assertEqual(a.getstate(), 0)
844 a.setstate(10)
845 self.assertEqual(a.getstate(), 10)
846 class D(dict, C):
847 def __init__(self):
848 type({}).__init__(self)
849 C.__init__(self)
850 d = D()
851 self.assertEqual(list(d.keys()), [])
852 d["hello"] = "world"
853 self.assertEqual(list(d.items()), [("hello", "world")])
854 self.assertEqual(d["hello"], "world")
855 self.assertEqual(d.getstate(), 0)
856 d.setstate(10)
857 self.assertEqual(d.getstate(), 10)
858 self.assertEqual(D.__mro__, (D, dict, C, object))
Tim Peters5d2b77c2001-09-03 05:47:38 +0000859
Georg Brandl479a7e72008-02-05 18:13:15 +0000860 # SF bug #442833
861 class Node(object):
862 def __int__(self):
863 return int(self.foo())
864 def foo(self):
865 return "23"
866 class Frag(Node, list):
867 def foo(self):
868 return "42"
869 self.assertEqual(Node().__int__(), 23)
870 self.assertEqual(int(Node()), 23)
871 self.assertEqual(Frag().__int__(), 42)
872 self.assertEqual(int(Frag()), 42)
Tim Peters5d2b77c2001-09-03 05:47:38 +0000873
Georg Brandl479a7e72008-02-05 18:13:15 +0000874 def test_diamond_inheritence(self):
875 # Testing multiple inheritance special cases...
876 class A(object):
877 def spam(self): return "A"
878 self.assertEqual(A().spam(), "A")
879 class B(A):
880 def boo(self): return "B"
881 def spam(self): return "B"
882 self.assertEqual(B().spam(), "B")
883 self.assertEqual(B().boo(), "B")
884 class C(A):
885 def boo(self): return "C"
886 self.assertEqual(C().spam(), "A")
887 self.assertEqual(C().boo(), "C")
888 class D(B, C): pass
889 self.assertEqual(D().spam(), "B")
890 self.assertEqual(D().boo(), "B")
891 self.assertEqual(D.__mro__, (D, B, C, A, object))
892 class E(C, B): pass
893 self.assertEqual(E().spam(), "B")
894 self.assertEqual(E().boo(), "C")
895 self.assertEqual(E.__mro__, (E, C, B, A, object))
896 # MRO order disagreement
897 try:
898 class F(D, E): pass
899 except TypeError:
Guido van Rossum360e4b82007-05-14 22:51:27 +0000900 pass
Georg Brandl479a7e72008-02-05 18:13:15 +0000901 else:
902 self.fail("expected MRO order disagreement (F)")
903 try:
904 class G(E, D): pass
905 except TypeError:
906 pass
907 else:
908 self.fail("expected MRO order disagreement (G)")
Guido van Rossum360e4b82007-05-14 22:51:27 +0000909
Georg Brandl479a7e72008-02-05 18:13:15 +0000910 # see thread python-dev/2002-October/029035.html
911 def test_ex5_from_c3_switch(self):
912 # Testing ex5 from C3 switch discussion...
913 class A(object): pass
914 class B(object): pass
915 class C(object): pass
916 class X(A): pass
917 class Y(A): pass
918 class Z(X,B,Y,C): pass
919 self.assertEqual(Z.__mro__, (Z, X, B, Y, A, C, object))
Tim Peters6d6c1a32001-08-02 04:15:00 +0000920
Georg Brandl479a7e72008-02-05 18:13:15 +0000921 # see "A Monotonic Superclass Linearization for Dylan",
922 # by Kim Barrett et al. (OOPSLA 1996)
923 def test_monotonicity(self):
924 # Testing MRO monotonicity...
925 class Boat(object): pass
926 class DayBoat(Boat): pass
927 class WheelBoat(Boat): pass
928 class EngineLess(DayBoat): pass
929 class SmallMultihull(DayBoat): pass
930 class PedalWheelBoat(EngineLess,WheelBoat): pass
931 class SmallCatamaran(SmallMultihull): pass
932 class Pedalo(PedalWheelBoat,SmallCatamaran): pass
Guido van Rossume45763a2001-08-10 21:28:46 +0000933
Georg Brandl479a7e72008-02-05 18:13:15 +0000934 self.assertEqual(PedalWheelBoat.__mro__,
935 (PedalWheelBoat, EngineLess, DayBoat, WheelBoat, Boat, object))
936 self.assertEqual(SmallCatamaran.__mro__,
937 (SmallCatamaran, SmallMultihull, DayBoat, Boat, object))
938 self.assertEqual(Pedalo.__mro__,
939 (Pedalo, PedalWheelBoat, EngineLess, SmallCatamaran,
940 SmallMultihull, DayBoat, WheelBoat, Boat, object))
Guido van Rossum9a818922002-11-14 19:50:14 +0000941
Georg Brandl479a7e72008-02-05 18:13:15 +0000942 # see "A Monotonic Superclass Linearization for Dylan",
943 # by Kim Barrett et al. (OOPSLA 1996)
944 def test_consistency_with_epg(self):
Ezio Melotti42da6632011-03-15 05:18:48 +0200945 # Testing consistency with EPG...
Georg Brandl479a7e72008-02-05 18:13:15 +0000946 class Pane(object): pass
947 class ScrollingMixin(object): pass
948 class EditingMixin(object): pass
949 class ScrollablePane(Pane,ScrollingMixin): pass
950 class EditablePane(Pane,EditingMixin): pass
951 class EditableScrollablePane(ScrollablePane,EditablePane): pass
Guido van Rossum9a818922002-11-14 19:50:14 +0000952
Georg Brandl479a7e72008-02-05 18:13:15 +0000953 self.assertEqual(EditableScrollablePane.__mro__,
954 (EditableScrollablePane, ScrollablePane, EditablePane, Pane,
955 ScrollingMixin, EditingMixin, object))
Guido van Rossum9a818922002-11-14 19:50:14 +0000956
Georg Brandl479a7e72008-02-05 18:13:15 +0000957 def test_mro_disagreement(self):
958 # Testing error messages for MRO disagreement...
959 mro_err_msg = """Cannot create a consistent method resolution
Raymond Hettingerf394df42003-04-06 19:13:41 +0000960order (MRO) for bases """
Raymond Hettinger83245b52003-03-12 04:25:42 +0000961
Georg Brandl479a7e72008-02-05 18:13:15 +0000962 def raises(exc, expected, callable, *args):
Guido van Rossum58da9312007-11-10 23:39:45 +0000963 try:
Georg Brandl479a7e72008-02-05 18:13:15 +0000964 callable(*args)
965 except exc as msg:
Benjamin Petersone549ead2009-03-28 21:42:05 +0000966 # the exact msg is generally considered an impl detail
967 if support.check_impl_detail():
968 if not str(msg).startswith(expected):
969 self.fail("Message %r, expected %r" %
970 (str(msg), expected))
Georg Brandl479a7e72008-02-05 18:13:15 +0000971 else:
972 self.fail("Expected %s" % exc)
Guido van Rossum58da9312007-11-10 23:39:45 +0000973
Georg Brandl479a7e72008-02-05 18:13:15 +0000974 class A(object): pass
975 class B(A): pass
976 class C(object): pass
Christian Heimes9a371592007-12-28 14:08:13 +0000977
Georg Brandl479a7e72008-02-05 18:13:15 +0000978 # Test some very simple errors
979 raises(TypeError, "duplicate base class A",
980 type, "X", (A, A), {})
981 raises(TypeError, mro_err_msg,
982 type, "X", (A, B), {})
983 raises(TypeError, mro_err_msg,
984 type, "X", (A, C, B), {})
985 # Test a slightly more complex error
986 class GridLayout(object): pass
987 class HorizontalGrid(GridLayout): pass
988 class VerticalGrid(GridLayout): pass
989 class HVGrid(HorizontalGrid, VerticalGrid): pass
990 class VHGrid(VerticalGrid, HorizontalGrid): pass
991 raises(TypeError, mro_err_msg,
992 type, "ConfusedGrid", (HVGrid, VHGrid), {})
Guido van Rossum58da9312007-11-10 23:39:45 +0000993
Georg Brandl479a7e72008-02-05 18:13:15 +0000994 def test_object_class(self):
995 # Testing object class...
996 a = object()
997 self.assertEqual(a.__class__, object)
998 self.assertEqual(type(a), object)
999 b = object()
1000 self.assertNotEqual(a, b)
1001 self.assertFalse(hasattr(a, "foo"))
Tim Peters808b94e2001-09-13 19:33:07 +00001002 try:
Georg Brandl479a7e72008-02-05 18:13:15 +00001003 a.foo = 12
1004 except (AttributeError, TypeError):
Tim Peters808b94e2001-09-13 19:33:07 +00001005 pass
1006 else:
Georg Brandl479a7e72008-02-05 18:13:15 +00001007 self.fail("object() should not allow setting a foo attribute")
1008 self.assertFalse(hasattr(object(), "__dict__"))
Tim Peters561f8992001-09-13 19:36:36 +00001009
Georg Brandl479a7e72008-02-05 18:13:15 +00001010 class Cdict(object):
Guido van Rossum5c294fb2001-09-25 03:43:42 +00001011 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00001012 x = Cdict()
1013 self.assertEqual(x.__dict__, {})
1014 x.foo = 1
1015 self.assertEqual(x.foo, 1)
1016 self.assertEqual(x.__dict__, {'foo': 1})
Guido van Rossumd8faa362007-04-27 19:54:29 +00001017
Georg Brandl479a7e72008-02-05 18:13:15 +00001018 def test_slots(self):
1019 # Testing __slots__...
1020 class C0(object):
1021 __slots__ = []
1022 x = C0()
1023 self.assertFalse(hasattr(x, "__dict__"))
1024 self.assertFalse(hasattr(x, "foo"))
1025
1026 class C1(object):
1027 __slots__ = ['a']
1028 x = C1()
1029 self.assertFalse(hasattr(x, "__dict__"))
1030 self.assertFalse(hasattr(x, "a"))
Guido van Rossumd8faa362007-04-27 19:54:29 +00001031 x.a = 1
Georg Brandl479a7e72008-02-05 18:13:15 +00001032 self.assertEqual(x.a, 1)
1033 x.a = None
1034 self.assertEqual(x.a, None)
1035 del x.a
1036 self.assertFalse(hasattr(x, "a"))
Guido van Rossum5c294fb2001-09-25 03:43:42 +00001037
Georg Brandl479a7e72008-02-05 18:13:15 +00001038 class C3(object):
1039 __slots__ = ['a', 'b', 'c']
1040 x = C3()
1041 self.assertFalse(hasattr(x, "__dict__"))
1042 self.assertFalse(hasattr(x, 'a'))
1043 self.assertFalse(hasattr(x, 'b'))
1044 self.assertFalse(hasattr(x, 'c'))
1045 x.a = 1
1046 x.b = 2
1047 x.c = 3
1048 self.assertEqual(x.a, 1)
1049 self.assertEqual(x.b, 2)
1050 self.assertEqual(x.c, 3)
1051
1052 class C4(object):
1053 """Validate name mangling"""
1054 __slots__ = ['__a']
1055 def __init__(self, value):
1056 self.__a = value
1057 def get(self):
1058 return self.__a
1059 x = C4(5)
1060 self.assertFalse(hasattr(x, '__dict__'))
1061 self.assertFalse(hasattr(x, '__a'))
1062 self.assertEqual(x.get(), 5)
Guido van Rossum6661be32001-10-26 04:26:12 +00001063 try:
Georg Brandl479a7e72008-02-05 18:13:15 +00001064 x.__a = 6
1065 except AttributeError:
Guido van Rossum6661be32001-10-26 04:26:12 +00001066 pass
1067 else:
Georg Brandl479a7e72008-02-05 18:13:15 +00001068 self.fail("Double underscored names not mangled")
Guido van Rossum360e4b82007-05-14 22:51:27 +00001069
Georg Brandl479a7e72008-02-05 18:13:15 +00001070 # Make sure slot names are proper identifiers
Guido van Rossum360e4b82007-05-14 22:51:27 +00001071 try:
Georg Brandl479a7e72008-02-05 18:13:15 +00001072 class C(object):
1073 __slots__ = [None]
Guido van Rossum360e4b82007-05-14 22:51:27 +00001074 except TypeError:
1075 pass
1076 else:
Georg Brandl479a7e72008-02-05 18:13:15 +00001077 self.fail("[None] slots not caught")
Guido van Rossum360e4b82007-05-14 22:51:27 +00001078 try:
Georg Brandl479a7e72008-02-05 18:13:15 +00001079 class C(object):
1080 __slots__ = ["foo bar"]
1081 except TypeError:
Guido van Rossum360e4b82007-05-14 22:51:27 +00001082 pass
1083 else:
Georg Brandl479a7e72008-02-05 18:13:15 +00001084 self.fail("['foo bar'] slots not caught")
1085 try:
1086 class C(object):
1087 __slots__ = ["foo\0bar"]
1088 except TypeError:
1089 pass
1090 else:
1091 self.fail("['foo\\0bar'] slots not caught")
1092 try:
1093 class C(object):
1094 __slots__ = ["1"]
1095 except TypeError:
1096 pass
1097 else:
1098 self.fail("['1'] slots not caught")
1099 try:
1100 class C(object):
1101 __slots__ = [""]
1102 except TypeError:
1103 pass
1104 else:
1105 self.fail("[''] slots not caught")
1106 class C(object):
1107 __slots__ = ["a", "a_b", "_a", "A0123456789Z"]
1108 # XXX(nnorwitz): was there supposed to be something tested
1109 # from the class above?
Guido van Rossum360e4b82007-05-14 22:51:27 +00001110
Georg Brandl479a7e72008-02-05 18:13:15 +00001111 # Test a single string is not expanded as a sequence.
1112 class C(object):
1113 __slots__ = "abc"
1114 c = C()
1115 c.abc = 5
1116 self.assertEqual(c.abc, 5)
Guido van Rossum6661be32001-10-26 04:26:12 +00001117
Georg Brandl479a7e72008-02-05 18:13:15 +00001118 # Test unicode slot names
1119 # Test a single unicode string is not expanded as a sequence.
1120 class C(object):
1121 __slots__ = "abc"
1122 c = C()
1123 c.abc = 5
1124 self.assertEqual(c.abc, 5)
Guido van Rossum3926a632001-09-25 16:25:58 +00001125
Georg Brandl479a7e72008-02-05 18:13:15 +00001126 # _unicode_to_string used to modify slots in certain circumstances
1127 slots = ("foo", "bar")
1128 class C(object):
1129 __slots__ = slots
1130 x = C()
1131 x.foo = 5
1132 self.assertEqual(x.foo, 5)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001133 self.assertTrue(type(slots[0]) is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00001134 # this used to leak references
1135 try:
1136 class C(object):
1137 __slots__ = [chr(128)]
1138 except (TypeError, UnicodeEncodeError):
1139 pass
1140 else:
1141 raise TestFailed("[chr(128)] slots not caught")
Guido van Rossum3926a632001-09-25 16:25:58 +00001142
Georg Brandl479a7e72008-02-05 18:13:15 +00001143 # Test leaks
1144 class Counted(object):
1145 counter = 0 # counts the number of instances alive
1146 def __init__(self):
1147 Counted.counter += 1
1148 def __del__(self):
1149 Counted.counter -= 1
1150 class C(object):
1151 __slots__ = ['a', 'b', 'c']
1152 x = C()
1153 x.a = Counted()
1154 x.b = Counted()
1155 x.c = Counted()
1156 self.assertEqual(Counted.counter, 3)
1157 del x
Benjamin Petersone549ead2009-03-28 21:42:05 +00001158 support.gc_collect()
Georg Brandl479a7e72008-02-05 18:13:15 +00001159 self.assertEqual(Counted.counter, 0)
1160 class D(C):
1161 pass
1162 x = D()
1163 x.a = Counted()
1164 x.z = Counted()
1165 self.assertEqual(Counted.counter, 2)
1166 del x
Benjamin Petersone549ead2009-03-28 21:42:05 +00001167 support.gc_collect()
Georg Brandl479a7e72008-02-05 18:13:15 +00001168 self.assertEqual(Counted.counter, 0)
1169 class E(D):
1170 __slots__ = ['e']
1171 x = E()
1172 x.a = Counted()
1173 x.z = Counted()
1174 x.e = Counted()
1175 self.assertEqual(Counted.counter, 3)
1176 del x
Benjamin Petersone549ead2009-03-28 21:42:05 +00001177 support.gc_collect()
Georg Brandl479a7e72008-02-05 18:13:15 +00001178 self.assertEqual(Counted.counter, 0)
Guido van Rossum3926a632001-09-25 16:25:58 +00001179
Georg Brandl479a7e72008-02-05 18:13:15 +00001180 # Test cyclical leaks [SF bug 519621]
1181 class F(object):
1182 __slots__ = ['a', 'b']
Georg Brandl479a7e72008-02-05 18:13:15 +00001183 s = F()
1184 s.a = [Counted(), s]
1185 self.assertEqual(Counted.counter, 1)
1186 s = None
Benjamin Petersone549ead2009-03-28 21:42:05 +00001187 support.gc_collect()
Georg Brandl479a7e72008-02-05 18:13:15 +00001188 self.assertEqual(Counted.counter, 0)
Guido van Rossum3926a632001-09-25 16:25:58 +00001189
Georg Brandl479a7e72008-02-05 18:13:15 +00001190 # Test lookup leaks [SF bug 572567]
Benjamin Petersone549ead2009-03-28 21:42:05 +00001191 if hasattr(gc, 'get_objects'):
1192 class G(object):
Benjamin Petersona8b976b2009-10-11 18:28:48 +00001193 def __eq__(self, other):
1194 return False
Benjamin Petersone549ead2009-03-28 21:42:05 +00001195 g = G()
1196 orig_objects = len(gc.get_objects())
1197 for i in range(10):
1198 g==g
1199 new_objects = len(gc.get_objects())
1200 self.assertEqual(orig_objects, new_objects)
1201
Georg Brandl479a7e72008-02-05 18:13:15 +00001202 class H(object):
1203 __slots__ = ['a', 'b']
1204 def __init__(self):
1205 self.a = 1
1206 self.b = 2
1207 def __del__(self_):
1208 self.assertEqual(self_.a, 1)
1209 self.assertEqual(self_.b, 2)
Benjamin Petersonc1de4cc2008-11-03 21:29:09 +00001210 with support.captured_output('stderr') as s:
Benjamin Petersonc0747cf2008-11-03 20:31:38 +00001211 h = H()
Georg Brandl479a7e72008-02-05 18:13:15 +00001212 del h
Benjamin Petersonc0747cf2008-11-03 20:31:38 +00001213 self.assertEqual(s.getvalue(), '')
Guido van Rossum90c45142001-11-24 21:07:01 +00001214
Benjamin Petersond12362a2009-12-30 19:44:54 +00001215 class X(object):
1216 __slots__ = "a"
1217 with self.assertRaises(AttributeError):
1218 del X().a
1219
Georg Brandl479a7e72008-02-05 18:13:15 +00001220 def test_slots_special(self):
1221 # Testing __dict__ and __weakref__ in __slots__...
1222 class D(object):
1223 __slots__ = ["__dict__"]
1224 a = D()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001225 self.assertTrue(hasattr(a, "__dict__"))
Georg Brandl479a7e72008-02-05 18:13:15 +00001226 self.assertFalse(hasattr(a, "__weakref__"))
1227 a.foo = 42
1228 self.assertEqual(a.__dict__, {"foo": 42})
Guido van Rossum90c45142001-11-24 21:07:01 +00001229
Georg Brandl479a7e72008-02-05 18:13:15 +00001230 class W(object):
1231 __slots__ = ["__weakref__"]
1232 a = W()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001233 self.assertTrue(hasattr(a, "__weakref__"))
Georg Brandl479a7e72008-02-05 18:13:15 +00001234 self.assertFalse(hasattr(a, "__dict__"))
1235 try:
1236 a.foo = 42
1237 except AttributeError:
1238 pass
1239 else:
1240 self.fail("shouldn't be allowed to set a.foo")
1241
1242 class C1(W, D):
1243 __slots__ = []
1244 a = C1()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001245 self.assertTrue(hasattr(a, "__dict__"))
1246 self.assertTrue(hasattr(a, "__weakref__"))
Georg Brandl479a7e72008-02-05 18:13:15 +00001247 a.foo = 42
1248 self.assertEqual(a.__dict__, {"foo": 42})
1249
1250 class C2(D, W):
1251 __slots__ = []
1252 a = C2()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001253 self.assertTrue(hasattr(a, "__dict__"))
1254 self.assertTrue(hasattr(a, "__weakref__"))
Georg Brandl479a7e72008-02-05 18:13:15 +00001255 a.foo = 42
1256 self.assertEqual(a.__dict__, {"foo": 42})
1257
Christian Heimesa156e092008-02-16 07:38:31 +00001258 def test_slots_descriptor(self):
1259 # Issue2115: slot descriptors did not correctly check
1260 # the type of the given object
1261 import abc
1262 class MyABC(metaclass=abc.ABCMeta):
1263 __slots__ = "a"
1264
1265 class Unrelated(object):
1266 pass
1267 MyABC.register(Unrelated)
1268
1269 u = Unrelated()
Ezio Melottie9615932010-01-24 19:26:24 +00001270 self.assertIsInstance(u, MyABC)
Christian Heimesa156e092008-02-16 07:38:31 +00001271
1272 # This used to crash
1273 self.assertRaises(TypeError, MyABC.a.__set__, u, 3)
1274
Georg Brandl479a7e72008-02-05 18:13:15 +00001275 def test_dynamics(self):
1276 # Testing class attribute propagation...
1277 class D(object):
1278 pass
1279 class E(D):
1280 pass
1281 class F(D):
1282 pass
1283 D.foo = 1
1284 self.assertEqual(D.foo, 1)
1285 # Test that dynamic attributes are inherited
1286 self.assertEqual(E.foo, 1)
1287 self.assertEqual(F.foo, 1)
1288 # Test dynamic instances
1289 class C(object):
1290 pass
1291 a = C()
1292 self.assertFalse(hasattr(a, "foobar"))
1293 C.foobar = 2
1294 self.assertEqual(a.foobar, 2)
1295 C.method = lambda self: 42
1296 self.assertEqual(a.method(), 42)
1297 C.__repr__ = lambda self: "C()"
1298 self.assertEqual(repr(a), "C()")
1299 C.__int__ = lambda self: 100
1300 self.assertEqual(int(a), 100)
1301 self.assertEqual(a.foobar, 2)
1302 self.assertFalse(hasattr(a, "spam"))
1303 def mygetattr(self, name):
1304 if name == "spam":
1305 return "spam"
1306 raise AttributeError
1307 C.__getattr__ = mygetattr
1308 self.assertEqual(a.spam, "spam")
1309 a.new = 12
1310 self.assertEqual(a.new, 12)
1311 def mysetattr(self, name, value):
1312 if name == "spam":
1313 raise AttributeError
1314 return object.__setattr__(self, name, value)
1315 C.__setattr__ = mysetattr
1316 try:
1317 a.spam = "not spam"
1318 except AttributeError:
1319 pass
1320 else:
1321 self.fail("expected AttributeError")
1322 self.assertEqual(a.spam, "spam")
1323 class D(C):
1324 pass
1325 d = D()
1326 d.foo = 1
1327 self.assertEqual(d.foo, 1)
1328
1329 # Test handling of int*seq and seq*int
1330 class I(int):
1331 pass
1332 self.assertEqual("a"*I(2), "aa")
1333 self.assertEqual(I(2)*"a", "aa")
1334 self.assertEqual(2*I(3), 6)
1335 self.assertEqual(I(3)*2, 6)
1336 self.assertEqual(I(3)*I(2), 6)
1337
Georg Brandl479a7e72008-02-05 18:13:15 +00001338 # Test comparison of classes with dynamic metaclasses
1339 class dynamicmetaclass(type):
1340 pass
1341 class someclass(metaclass=dynamicmetaclass):
1342 pass
1343 self.assertNotEqual(someclass, object)
1344
1345 def test_errors(self):
1346 # Testing errors...
1347 try:
1348 class C(list, dict):
1349 pass
1350 except TypeError:
1351 pass
1352 else:
1353 self.fail("inheritance from both list and dict should be illegal")
1354
1355 try:
1356 class C(object, None):
1357 pass
1358 except TypeError:
1359 pass
1360 else:
1361 self.fail("inheritance from non-type should be illegal")
1362 class Classic:
1363 pass
1364
1365 try:
1366 class C(type(len)):
1367 pass
1368 except TypeError:
1369 pass
1370 else:
1371 self.fail("inheritance from CFunction should be illegal")
1372
1373 try:
1374 class C(object):
1375 __slots__ = 1
1376 except TypeError:
1377 pass
1378 else:
1379 self.fail("__slots__ = 1 should be illegal")
1380
1381 try:
1382 class C(object):
1383 __slots__ = [1]
1384 except TypeError:
1385 pass
1386 else:
1387 self.fail("__slots__ = [1] should be illegal")
1388
1389 class M1(type):
1390 pass
1391 class M2(type):
1392 pass
1393 class A1(object, metaclass=M1):
1394 pass
1395 class A2(object, metaclass=M2):
1396 pass
1397 try:
1398 class B(A1, A2):
1399 pass
1400 except TypeError:
1401 pass
1402 else:
1403 self.fail("finding the most derived metaclass should have failed")
1404
1405 def test_classmethods(self):
1406 # Testing class methods...
1407 class C(object):
1408 def foo(*a): return a
1409 goo = classmethod(foo)
1410 c = C()
1411 self.assertEqual(C.goo(1), (C, 1))
1412 self.assertEqual(c.goo(1), (C, 1))
1413 self.assertEqual(c.foo(1), (c, 1))
1414 class D(C):
1415 pass
1416 d = D()
1417 self.assertEqual(D.goo(1), (D, 1))
1418 self.assertEqual(d.goo(1), (D, 1))
1419 self.assertEqual(d.foo(1), (d, 1))
1420 self.assertEqual(D.foo(d, 1), (d, 1))
1421 # Test for a specific crash (SF bug 528132)
1422 def f(cls, arg): return (cls, arg)
1423 ff = classmethod(f)
1424 self.assertEqual(ff.__get__(0, int)(42), (int, 42))
1425 self.assertEqual(ff.__get__(0)(42), (int, 42))
1426
1427 # Test super() with classmethods (SF bug 535444)
1428 self.assertEqual(C.goo.__self__, C)
1429 self.assertEqual(D.goo.__self__, D)
1430 self.assertEqual(super(D,D).goo.__self__, D)
1431 self.assertEqual(super(D,d).goo.__self__, D)
1432 self.assertEqual(super(D,D).goo(), (D,))
1433 self.assertEqual(super(D,d).goo(), (D,))
1434
Benjamin Peterson8719ad52009-09-11 22:24:02 +00001435 # Verify that a non-callable will raise
1436 meth = classmethod(1).__get__(1)
1437 self.assertRaises(TypeError, meth)
Georg Brandl479a7e72008-02-05 18:13:15 +00001438
1439 # Verify that classmethod() doesn't allow keyword args
1440 try:
1441 classmethod(f, kw=1)
1442 except TypeError:
1443 pass
1444 else:
1445 self.fail("classmethod shouldn't accept keyword args")
1446
Benjamin Peterson01d7eba2012-02-19 01:10:25 -05001447 cm = classmethod(f)
Benjamin Petersonb900d6a2012-02-19 10:17:30 -05001448 self.assertEqual(cm.__dict__, {})
Benjamin Peterson01d7eba2012-02-19 01:10:25 -05001449 cm.x = 42
1450 self.assertEqual(cm.x, 42)
1451 self.assertEqual(cm.__dict__, {"x" : 42})
1452 del cm.x
1453 self.assertFalse(hasattr(cm, "x"))
1454
Benjamin Petersone549ead2009-03-28 21:42:05 +00001455 @support.impl_detail("the module 'xxsubtype' is internal")
Georg Brandl479a7e72008-02-05 18:13:15 +00001456 def test_classmethods_in_c(self):
1457 # Testing C-based class methods...
1458 import xxsubtype as spam
1459 a = (1, 2, 3)
1460 d = {'abc': 123}
1461 x, a1, d1 = spam.spamlist.classmeth(*a, **d)
1462 self.assertEqual(x, spam.spamlist)
1463 self.assertEqual(a, a1)
1464 self.assertEqual(d, d1)
1465 x, a1, d1 = spam.spamlist().classmeth(*a, **d)
1466 self.assertEqual(x, spam.spamlist)
1467 self.assertEqual(a, a1)
1468 self.assertEqual(d, d1)
Benjamin Peterson7295c6a2012-05-01 09:51:09 -04001469 spam_cm = spam.spamlist.__dict__['classmeth']
1470 x2, a2, d2 = spam_cm(spam.spamlist, *a, **d)
1471 self.assertEqual(x2, spam.spamlist)
1472 self.assertEqual(a2, a1)
1473 self.assertEqual(d2, d1)
1474 class SubSpam(spam.spamlist): pass
1475 x2, a2, d2 = spam_cm(SubSpam, *a, **d)
1476 self.assertEqual(x2, SubSpam)
1477 self.assertEqual(a2, a1)
1478 self.assertEqual(d2, d1)
1479 with self.assertRaises(TypeError):
1480 spam_cm()
1481 with self.assertRaises(TypeError):
1482 spam_cm(spam.spamlist())
1483 with self.assertRaises(TypeError):
1484 spam_cm(list)
Georg Brandl479a7e72008-02-05 18:13:15 +00001485
1486 def test_staticmethods(self):
1487 # Testing static methods...
1488 class C(object):
1489 def foo(*a): return a
1490 goo = staticmethod(foo)
1491 c = C()
1492 self.assertEqual(C.goo(1), (1,))
1493 self.assertEqual(c.goo(1), (1,))
1494 self.assertEqual(c.foo(1), (c, 1,))
1495 class D(C):
1496 pass
1497 d = D()
1498 self.assertEqual(D.goo(1), (1,))
1499 self.assertEqual(d.goo(1), (1,))
1500 self.assertEqual(d.foo(1), (d, 1))
1501 self.assertEqual(D.foo(d, 1), (d, 1))
Benjamin Peterson01d7eba2012-02-19 01:10:25 -05001502 sm = staticmethod(None)
Benjamin Petersonb900d6a2012-02-19 10:17:30 -05001503 self.assertEqual(sm.__dict__, {})
Benjamin Peterson01d7eba2012-02-19 01:10:25 -05001504 sm.x = 42
1505 self.assertEqual(sm.x, 42)
1506 self.assertEqual(sm.__dict__, {"x" : 42})
1507 del sm.x
1508 self.assertFalse(hasattr(sm, "x"))
Georg Brandl479a7e72008-02-05 18:13:15 +00001509
Benjamin Petersone549ead2009-03-28 21:42:05 +00001510 @support.impl_detail("the module 'xxsubtype' is internal")
Georg Brandl479a7e72008-02-05 18:13:15 +00001511 def test_staticmethods_in_c(self):
1512 # Testing C-based static methods...
1513 import xxsubtype as spam
1514 a = (1, 2, 3)
1515 d = {"abc": 123}
1516 x, a1, d1 = spam.spamlist.staticmeth(*a, **d)
1517 self.assertEqual(x, None)
1518 self.assertEqual(a, a1)
1519 self.assertEqual(d, d1)
1520 x, a1, d2 = spam.spamlist().staticmeth(*a, **d)
1521 self.assertEqual(x, None)
1522 self.assertEqual(a, a1)
1523 self.assertEqual(d, d1)
1524
1525 def test_classic(self):
1526 # Testing classic classes...
1527 class C:
1528 def foo(*a): return a
1529 goo = classmethod(foo)
1530 c = C()
1531 self.assertEqual(C.goo(1), (C, 1))
1532 self.assertEqual(c.goo(1), (C, 1))
1533 self.assertEqual(c.foo(1), (c, 1))
1534 class D(C):
1535 pass
1536 d = D()
1537 self.assertEqual(D.goo(1), (D, 1))
1538 self.assertEqual(d.goo(1), (D, 1))
1539 self.assertEqual(d.foo(1), (d, 1))
1540 self.assertEqual(D.foo(d, 1), (d, 1))
1541 class E: # *not* subclassing from C
1542 foo = C.foo
1543 self.assertEqual(E().foo.__func__, C.foo) # i.e., unbound
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001544 self.assertTrue(repr(C.foo.__get__(C())).startswith("<bound method "))
Georg Brandl479a7e72008-02-05 18:13:15 +00001545
1546 def test_compattr(self):
1547 # Testing computed attributes...
1548 class C(object):
1549 class computed_attribute(object):
1550 def __init__(self, get, set=None, delete=None):
1551 self.__get = get
1552 self.__set = set
1553 self.__delete = delete
1554 def __get__(self, obj, type=None):
1555 return self.__get(obj)
1556 def __set__(self, obj, value):
1557 return self.__set(obj, value)
1558 def __delete__(self, obj):
1559 return self.__delete(obj)
1560 def __init__(self):
1561 self.__x = 0
1562 def __get_x(self):
1563 x = self.__x
1564 self.__x = x+1
1565 return x
1566 def __set_x(self, x):
1567 self.__x = x
1568 def __delete_x(self):
1569 del self.__x
1570 x = computed_attribute(__get_x, __set_x, __delete_x)
1571 a = C()
1572 self.assertEqual(a.x, 0)
1573 self.assertEqual(a.x, 1)
1574 a.x = 10
1575 self.assertEqual(a.x, 10)
1576 self.assertEqual(a.x, 11)
1577 del a.x
1578 self.assertEqual(hasattr(a, 'x'), 0)
1579
1580 def test_newslots(self):
1581 # Testing __new__ slot override...
1582 class C(list):
1583 def __new__(cls):
1584 self = list.__new__(cls)
1585 self.foo = 1
1586 return self
1587 def __init__(self):
1588 self.foo = self.foo + 2
1589 a = C()
1590 self.assertEqual(a.foo, 3)
1591 self.assertEqual(a.__class__, C)
1592 class D(C):
1593 pass
1594 b = D()
1595 self.assertEqual(b.foo, 3)
1596 self.assertEqual(b.__class__, D)
1597
1598 def test_altmro(self):
1599 # Testing mro() and overriding it...
1600 class A(object):
1601 def f(self): return "A"
1602 class B(A):
1603 pass
1604 class C(A):
1605 def f(self): return "C"
1606 class D(B, C):
1607 pass
1608 self.assertEqual(D.mro(), [D, B, C, A, object])
1609 self.assertEqual(D.__mro__, (D, B, C, A, object))
1610 self.assertEqual(D().f(), "C")
1611
1612 class PerverseMetaType(type):
1613 def mro(cls):
1614 L = type.mro(cls)
1615 L.reverse()
1616 return L
1617 class X(D,B,C,A, metaclass=PerverseMetaType):
1618 pass
1619 self.assertEqual(X.__mro__, (object, A, C, B, D, X))
1620 self.assertEqual(X().f(), "A")
1621
1622 try:
1623 class _metaclass(type):
1624 def mro(self):
1625 return [self, dict, object]
1626 class X(object, metaclass=_metaclass):
1627 pass
Benjamin Petersone549ead2009-03-28 21:42:05 +00001628 # In CPython, the class creation above already raises
1629 # TypeError, as a protection against the fact that
1630 # instances of X would segfault it. In other Python
1631 # implementations it would be ok to let the class X
1632 # be created, but instead get a clean TypeError on the
1633 # __setitem__ below.
1634 x = object.__new__(X)
1635 x[5] = 6
Georg Brandl479a7e72008-02-05 18:13:15 +00001636 except TypeError:
1637 pass
1638 else:
1639 self.fail("devious mro() return not caught")
1640
1641 try:
1642 class _metaclass(type):
1643 def mro(self):
1644 return [1]
1645 class X(object, metaclass=_metaclass):
1646 pass
1647 except TypeError:
1648 pass
1649 else:
1650 self.fail("non-class mro() return not caught")
1651
1652 try:
1653 class _metaclass(type):
1654 def mro(self):
1655 return 1
1656 class X(object, metaclass=_metaclass):
1657 pass
1658 except TypeError:
1659 pass
1660 else:
1661 self.fail("non-sequence mro() return not caught")
1662
1663 def test_overloading(self):
1664 # Testing operator overloading...
1665
1666 class B(object):
1667 "Intermediate class because object doesn't have a __setattr__"
1668
1669 class C(B):
1670 def __getattr__(self, name):
1671 if name == "foo":
1672 return ("getattr", name)
1673 else:
1674 raise AttributeError
1675 def __setattr__(self, name, value):
1676 if name == "foo":
1677 self.setattr = (name, value)
1678 else:
1679 return B.__setattr__(self, name, value)
1680 def __delattr__(self, name):
1681 if name == "foo":
1682 self.delattr = name
1683 else:
1684 return B.__delattr__(self, name)
1685
1686 def __getitem__(self, key):
1687 return ("getitem", key)
1688 def __setitem__(self, key, value):
1689 self.setitem = (key, value)
1690 def __delitem__(self, key):
1691 self.delitem = key
1692
1693 a = C()
1694 self.assertEqual(a.foo, ("getattr", "foo"))
1695 a.foo = 12
1696 self.assertEqual(a.setattr, ("foo", 12))
1697 del a.foo
1698 self.assertEqual(a.delattr, "foo")
1699
1700 self.assertEqual(a[12], ("getitem", 12))
1701 a[12] = 21
1702 self.assertEqual(a.setitem, (12, 21))
1703 del a[12]
1704 self.assertEqual(a.delitem, 12)
1705
1706 self.assertEqual(a[0:10], ("getitem", slice(0, 10)))
1707 a[0:10] = "foo"
1708 self.assertEqual(a.setitem, (slice(0, 10), "foo"))
1709 del a[0:10]
1710 self.assertEqual(a.delitem, (slice(0, 10)))
1711
1712 def test_methods(self):
1713 # Testing methods...
1714 class C(object):
1715 def __init__(self, x):
1716 self.x = x
1717 def foo(self):
1718 return self.x
1719 c1 = C(1)
1720 self.assertEqual(c1.foo(), 1)
1721 class D(C):
1722 boo = C.foo
1723 goo = c1.foo
1724 d2 = D(2)
1725 self.assertEqual(d2.foo(), 2)
1726 self.assertEqual(d2.boo(), 2)
1727 self.assertEqual(d2.goo(), 1)
1728 class E(object):
1729 foo = C.foo
1730 self.assertEqual(E().foo.__func__, C.foo) # i.e., unbound
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001731 self.assertTrue(repr(C.foo.__get__(C(1))).startswith("<bound method "))
Georg Brandl479a7e72008-02-05 18:13:15 +00001732
Benjamin Peterson224205f2009-05-08 03:25:19 +00001733 def test_special_method_lookup(self):
1734 # The lookup of special methods bypasses __getattr__ and
1735 # __getattribute__, but they still can be descriptors.
1736
1737 def run_context(manager):
1738 with manager:
1739 pass
1740 def iden(self):
1741 return self
1742 def hello(self):
1743 return b"hello"
Benjamin Peterson053c61f2009-05-09 17:21:13 +00001744 def empty_seq(self):
1745 return []
Benjamin Peterson71557592013-04-13 17:20:36 -04001746 def zero(self):
Benjamin Petersona5758c02009-05-09 18:15:04 +00001747 return 0
Benjamin Petersonaea44282010-01-04 01:10:28 +00001748 def complex_num(self):
1749 return 1j
Benjamin Petersona5758c02009-05-09 18:15:04 +00001750 def stop(self):
1751 raise StopIteration
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00001752 def return_true(self, thing=None):
1753 return True
1754 def do_isinstance(obj):
1755 return isinstance(int, obj)
1756 def do_issubclass(obj):
1757 return issubclass(int, obj)
Benjamin Petersona7205592009-05-27 03:08:59 +00001758 def do_dict_missing(checker):
1759 class DictSub(checker.__class__, dict):
1760 pass
1761 self.assertEqual(DictSub()["hi"], 4)
1762 def some_number(self_, key):
1763 self.assertEqual(key, "hi")
1764 return 4
Benjamin Peterson876b2f22009-06-28 03:18:59 +00001765 def swallow(*args): pass
Benjamin Petersonda2cf042010-06-05 00:45:37 +00001766 def format_impl(self, spec):
1767 return "hello"
Benjamin Peterson224205f2009-05-08 03:25:19 +00001768
1769 # It would be nice to have every special method tested here, but I'm
1770 # only listing the ones I can remember outside of typeobject.c, since it
1771 # does it right.
1772 specials = [
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00001773 ("__bytes__", bytes, hello, set(), {}),
1774 ("__reversed__", reversed, empty_seq, set(), {}),
1775 ("__length_hint__", list, zero, set(),
Benjamin Petersona5758c02009-05-09 18:15:04 +00001776 {"__iter__" : iden, "__next__" : stop}),
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00001777 ("__sizeof__", sys.getsizeof, zero, set(), {}),
1778 ("__instancecheck__", do_isinstance, return_true, set(), {}),
Benjamin Petersona7205592009-05-27 03:08:59 +00001779 ("__missing__", do_dict_missing, some_number,
1780 set(("__class__",)), {}),
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00001781 ("__subclasscheck__", do_issubclass, return_true,
1782 set(("__bases__",)), {}),
Benjamin Peterson876b2f22009-06-28 03:18:59 +00001783 ("__enter__", run_context, iden, set(), {"__exit__" : swallow}),
1784 ("__exit__", run_context, swallow, set(), {"__enter__" : iden}),
Benjamin Petersonaea44282010-01-04 01:10:28 +00001785 ("__complex__", complex, complex_num, set(), {}),
Benjamin Petersonda2cf042010-06-05 00:45:37 +00001786 ("__format__", format, format_impl, set(), {}),
Benjamin Peterson8bb9cde2010-07-01 15:16:55 +00001787 ("__floor__", math.floor, zero, set(), {}),
1788 ("__trunc__", math.trunc, zero, set(), {}),
Benjamin Peterson1b1a8e72012-03-20 23:48:11 -04001789 ("__trunc__", int, zero, set(), {}),
Benjamin Petersonf751bc92010-07-02 13:46:42 +00001790 ("__ceil__", math.ceil, zero, set(), {}),
Benjamin Peterson7963a352011-05-23 16:11:05 -05001791 ("__dir__", dir, empty_seq, set(), {}),
Benjamin Peterson214a7d22013-04-13 17:19:01 -04001792 ("__round__", round, zero, set(), {}),
Benjamin Peterson224205f2009-05-08 03:25:19 +00001793 ]
1794
1795 class Checker(object):
1796 def __getattr__(self, attr, test=self):
1797 test.fail("__getattr__ called with {0}".format(attr))
1798 def __getattribute__(self, attr, test=self):
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00001799 if attr not in ok:
1800 test.fail("__getattribute__ called with {0}".format(attr))
Benjamin Petersona7205592009-05-27 03:08:59 +00001801 return object.__getattribute__(self, attr)
Benjamin Peterson224205f2009-05-08 03:25:19 +00001802 class SpecialDescr(object):
1803 def __init__(self, impl):
1804 self.impl = impl
1805 def __get__(self, obj, owner):
1806 record.append(1)
Benjamin Peterson8a282d12009-05-08 18:18:45 +00001807 return self.impl.__get__(obj, owner)
Benjamin Peterson94c65d92009-05-25 03:10:48 +00001808 class MyException(Exception):
1809 pass
1810 class ErrDescr(object):
1811 def __get__(self, obj, owner):
1812 raise MyException
Benjamin Peterson224205f2009-05-08 03:25:19 +00001813
Benjamin Peterson88fe5f92009-05-16 21:55:24 +00001814 for name, runner, meth_impl, ok, env in specials:
Benjamin Peterson224205f2009-05-08 03:25:19 +00001815 class X(Checker):
1816 pass
Benjamin Petersona5758c02009-05-09 18:15:04 +00001817 for attr, obj in env.items():
1818 setattr(X, attr, obj)
Benjamin Peterson8a282d12009-05-08 18:18:45 +00001819 setattr(X, name, meth_impl)
Benjamin Peterson224205f2009-05-08 03:25:19 +00001820 runner(X())
1821
1822 record = []
1823 class X(Checker):
1824 pass
Benjamin Petersona5758c02009-05-09 18:15:04 +00001825 for attr, obj in env.items():
1826 setattr(X, attr, obj)
Benjamin Peterson224205f2009-05-08 03:25:19 +00001827 setattr(X, name, SpecialDescr(meth_impl))
1828 runner(X())
1829 self.assertEqual(record, [1], name)
1830
Benjamin Peterson94c65d92009-05-25 03:10:48 +00001831 class X(Checker):
1832 pass
1833 for attr, obj in env.items():
1834 setattr(X, attr, obj)
1835 setattr(X, name, ErrDescr())
Benjamin Petersonb45c7082011-05-24 19:31:01 -05001836 self.assertRaises(MyException, runner, X())
Benjamin Peterson94c65d92009-05-25 03:10:48 +00001837
Georg Brandl479a7e72008-02-05 18:13:15 +00001838 def test_specials(self):
1839 # Testing special operators...
1840 # Test operators like __hash__ for which a built-in default exists
1841
1842 # Test the default behavior for static classes
1843 class C(object):
1844 def __getitem__(self, i):
1845 if 0 <= i < 10: return i
1846 raise IndexError
1847 c1 = C()
1848 c2 = C()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001849 self.assertTrue(not not c1) # What?
Georg Brandl479a7e72008-02-05 18:13:15 +00001850 self.assertNotEqual(id(c1), id(c2))
1851 hash(c1)
1852 hash(c2)
Georg Brandl479a7e72008-02-05 18:13:15 +00001853 self.assertEqual(c1, c1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001854 self.assertTrue(c1 != c2)
1855 self.assertTrue(not c1 != c1)
1856 self.assertTrue(not c1 == c2)
Georg Brandl479a7e72008-02-05 18:13:15 +00001857 # Note that the module name appears in str/repr, and that varies
1858 # depending on whether this test is run standalone or from a framework.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001859 self.assertTrue(str(c1).find('C object at ') >= 0)
Georg Brandl479a7e72008-02-05 18:13:15 +00001860 self.assertEqual(str(c1), repr(c1))
Benjamin Peterson577473f2010-01-19 00:09:57 +00001861 self.assertNotIn(-1, c1)
Georg Brandl479a7e72008-02-05 18:13:15 +00001862 for i in range(10):
Benjamin Peterson577473f2010-01-19 00:09:57 +00001863 self.assertIn(i, c1)
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001864 self.assertNotIn(10, c1)
Georg Brandl479a7e72008-02-05 18:13:15 +00001865 # Test the default behavior for dynamic classes
1866 class D(object):
1867 def __getitem__(self, i):
1868 if 0 <= i < 10: return i
1869 raise IndexError
1870 d1 = D()
1871 d2 = D()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001872 self.assertTrue(not not d1)
Georg Brandl479a7e72008-02-05 18:13:15 +00001873 self.assertNotEqual(id(d1), id(d2))
1874 hash(d1)
1875 hash(d2)
Georg Brandl479a7e72008-02-05 18:13:15 +00001876 self.assertEqual(d1, d1)
1877 self.assertNotEqual(d1, d2)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001878 self.assertTrue(not d1 != d1)
1879 self.assertTrue(not d1 == d2)
Georg Brandl479a7e72008-02-05 18:13:15 +00001880 # Note that the module name appears in str/repr, and that varies
1881 # depending on whether this test is run standalone or from a framework.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001882 self.assertTrue(str(d1).find('D object at ') >= 0)
Georg Brandl479a7e72008-02-05 18:13:15 +00001883 self.assertEqual(str(d1), repr(d1))
Benjamin Peterson577473f2010-01-19 00:09:57 +00001884 self.assertNotIn(-1, d1)
Georg Brandl479a7e72008-02-05 18:13:15 +00001885 for i in range(10):
Benjamin Peterson577473f2010-01-19 00:09:57 +00001886 self.assertIn(i, d1)
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001887 self.assertNotIn(10, d1)
Benjamin Peterson60192082008-10-16 19:34:46 +00001888 # Test overridden behavior
Georg Brandl479a7e72008-02-05 18:13:15 +00001889 class Proxy(object):
1890 def __init__(self, x):
1891 self.x = x
1892 def __bool__(self):
1893 return not not self.x
1894 def __hash__(self):
1895 return hash(self.x)
1896 def __eq__(self, other):
1897 return self.x == other
1898 def __ne__(self, other):
1899 return self.x != other
Benjamin Peterson60192082008-10-16 19:34:46 +00001900 def __ge__(self, other):
1901 return self.x >= other
1902 def __gt__(self, other):
1903 return self.x > other
1904 def __le__(self, other):
1905 return self.x <= other
1906 def __lt__(self, other):
1907 return self.x < other
Georg Brandl479a7e72008-02-05 18:13:15 +00001908 def __str__(self):
1909 return "Proxy:%s" % self.x
1910 def __repr__(self):
1911 return "Proxy(%r)" % self.x
1912 def __contains__(self, value):
1913 return value in self.x
1914 p0 = Proxy(0)
1915 p1 = Proxy(1)
1916 p_1 = Proxy(-1)
1917 self.assertFalse(p0)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001918 self.assertTrue(not not p1)
Georg Brandl479a7e72008-02-05 18:13:15 +00001919 self.assertEqual(hash(p0), hash(0))
1920 self.assertEqual(p0, p0)
1921 self.assertNotEqual(p0, p1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001922 self.assertTrue(not p0 != p0)
Georg Brandl479a7e72008-02-05 18:13:15 +00001923 self.assertEqual(not p0, p1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001924 self.assertTrue(p0 < p1)
1925 self.assertTrue(p0 <= p1)
1926 self.assertTrue(p1 > p0)
1927 self.assertTrue(p1 >= p0)
Georg Brandl479a7e72008-02-05 18:13:15 +00001928 self.assertEqual(str(p0), "Proxy:0")
1929 self.assertEqual(repr(p0), "Proxy(0)")
1930 p10 = Proxy(range(10))
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001931 self.assertNotIn(-1, p10)
Georg Brandl479a7e72008-02-05 18:13:15 +00001932 for i in range(10):
Benjamin Peterson577473f2010-01-19 00:09:57 +00001933 self.assertIn(i, p10)
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001934 self.assertNotIn(10, p10)
Georg Brandl479a7e72008-02-05 18:13:15 +00001935
Georg Brandl479a7e72008-02-05 18:13:15 +00001936 def test_weakrefs(self):
1937 # Testing weak references...
1938 import weakref
1939 class C(object):
1940 pass
1941 c = C()
1942 r = weakref.ref(c)
1943 self.assertEqual(r(), c)
1944 del c
Benjamin Petersone549ead2009-03-28 21:42:05 +00001945 support.gc_collect()
Georg Brandl479a7e72008-02-05 18:13:15 +00001946 self.assertEqual(r(), None)
1947 del r
1948 class NoWeak(object):
1949 __slots__ = ['foo']
1950 no = NoWeak()
1951 try:
1952 weakref.ref(no)
1953 except TypeError as msg:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001954 self.assertTrue(str(msg).find("weak reference") >= 0)
Georg Brandl479a7e72008-02-05 18:13:15 +00001955 else:
1956 self.fail("weakref.ref(no) should be illegal")
1957 class Weak(object):
1958 __slots__ = ['foo', '__weakref__']
1959 yes = Weak()
1960 r = weakref.ref(yes)
1961 self.assertEqual(r(), yes)
1962 del yes
Benjamin Petersone549ead2009-03-28 21:42:05 +00001963 support.gc_collect()
Georg Brandl479a7e72008-02-05 18:13:15 +00001964 self.assertEqual(r(), None)
1965 del r
1966
1967 def test_properties(self):
1968 # Testing property...
1969 class C(object):
1970 def getx(self):
1971 return self.__x
1972 def setx(self, value):
1973 self.__x = value
1974 def delx(self):
1975 del self.__x
1976 x = property(getx, setx, delx, doc="I'm the x property.")
1977 a = C()
1978 self.assertFalse(hasattr(a, "x"))
1979 a.x = 42
1980 self.assertEqual(a._C__x, 42)
1981 self.assertEqual(a.x, 42)
1982 del a.x
1983 self.assertFalse(hasattr(a, "x"))
1984 self.assertFalse(hasattr(a, "_C__x"))
1985 C.x.__set__(a, 100)
1986 self.assertEqual(C.x.__get__(a), 100)
1987 C.x.__delete__(a)
1988 self.assertFalse(hasattr(a, "x"))
1989
1990 raw = C.__dict__['x']
Ezio Melottie9615932010-01-24 19:26:24 +00001991 self.assertIsInstance(raw, property)
Georg Brandl479a7e72008-02-05 18:13:15 +00001992
1993 attrs = dir(raw)
Benjamin Peterson577473f2010-01-19 00:09:57 +00001994 self.assertIn("__doc__", attrs)
1995 self.assertIn("fget", attrs)
1996 self.assertIn("fset", attrs)
1997 self.assertIn("fdel", attrs)
Georg Brandl479a7e72008-02-05 18:13:15 +00001998
1999 self.assertEqual(raw.__doc__, "I'm the x property.")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002000 self.assertTrue(raw.fget is C.__dict__['getx'])
2001 self.assertTrue(raw.fset is C.__dict__['setx'])
2002 self.assertTrue(raw.fdel is C.__dict__['delx'])
Georg Brandl479a7e72008-02-05 18:13:15 +00002003
2004 for attr in "__doc__", "fget", "fset", "fdel":
2005 try:
2006 setattr(raw, attr, 42)
2007 except AttributeError as msg:
2008 if str(msg).find('readonly') < 0:
2009 self.fail("when setting readonly attr %r on a property, "
2010 "got unexpected AttributeError msg %r" % (attr, str(msg)))
2011 else:
2012 self.fail("expected AttributeError from trying to set readonly %r "
2013 "attr on a property" % attr)
2014
2015 class D(object):
2016 __getitem__ = property(lambda s: 1/0)
2017
2018 d = D()
2019 try:
2020 for i in d:
2021 str(i)
2022 except ZeroDivisionError:
2023 pass
2024 else:
2025 self.fail("expected ZeroDivisionError from bad property")
2026
R. David Murray378c0cf2010-02-24 01:46:21 +00002027 @unittest.skipIf(sys.flags.optimize >= 2,
2028 "Docstrings are omitted with -O2 and above")
2029 def test_properties_doc_attrib(self):
Georg Brandl479a7e72008-02-05 18:13:15 +00002030 class E(object):
2031 def getter(self):
2032 "getter method"
2033 return 0
2034 def setter(self_, value):
2035 "setter method"
2036 pass
2037 prop = property(getter)
2038 self.assertEqual(prop.__doc__, "getter method")
2039 prop2 = property(fset=setter)
2040 self.assertEqual(prop2.__doc__, None)
2041
R. David Murray378c0cf2010-02-24 01:46:21 +00002042 def test_testcapi_no_segfault(self):
Georg Brandl479a7e72008-02-05 18:13:15 +00002043 # this segfaulted in 2.5b2
2044 try:
2045 import _testcapi
2046 except ImportError:
2047 pass
2048 else:
2049 class X(object):
2050 p = property(_testcapi.test_with_docstring)
2051
2052 def test_properties_plus(self):
2053 class C(object):
2054 foo = property(doc="hello")
2055 @foo.getter
2056 def foo(self):
2057 return self._foo
2058 @foo.setter
2059 def foo(self, value):
2060 self._foo = abs(value)
2061 @foo.deleter
2062 def foo(self):
2063 del self._foo
2064 c = C()
2065 self.assertEqual(C.foo.__doc__, "hello")
2066 self.assertFalse(hasattr(c, "foo"))
2067 c.foo = -42
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002068 self.assertTrue(hasattr(c, '_foo'))
Georg Brandl479a7e72008-02-05 18:13:15 +00002069 self.assertEqual(c._foo, 42)
2070 self.assertEqual(c.foo, 42)
2071 del c.foo
2072 self.assertFalse(hasattr(c, '_foo'))
2073 self.assertFalse(hasattr(c, "foo"))
2074
2075 class D(C):
2076 @C.foo.deleter
2077 def foo(self):
2078 try:
2079 del self._foo
2080 except AttributeError:
2081 pass
2082 d = D()
2083 d.foo = 24
2084 self.assertEqual(d.foo, 24)
2085 del d.foo
2086 del d.foo
2087
2088 class E(object):
2089 @property
2090 def foo(self):
2091 return self._foo
2092 @foo.setter
2093 def foo(self, value):
2094 raise RuntimeError
2095 @foo.setter
2096 def foo(self, value):
2097 self._foo = abs(value)
2098 @foo.deleter
2099 def foo(self, value=None):
2100 del self._foo
2101
2102 e = E()
2103 e.foo = -42
2104 self.assertEqual(e.foo, 42)
2105 del e.foo
2106
2107 class F(E):
2108 @E.foo.deleter
2109 def foo(self):
2110 del self._foo
2111 @foo.setter
2112 def foo(self, value):
2113 self._foo = max(0, value)
2114 f = F()
2115 f.foo = -10
2116 self.assertEqual(f.foo, 0)
2117 del f.foo
2118
2119 def test_dict_constructors(self):
2120 # Testing dict constructor ...
2121 d = dict()
2122 self.assertEqual(d, {})
2123 d = dict({})
2124 self.assertEqual(d, {})
2125 d = dict({1: 2, 'a': 'b'})
2126 self.assertEqual(d, {1: 2, 'a': 'b'})
2127 self.assertEqual(d, dict(list(d.items())))
2128 self.assertEqual(d, dict(iter(d.items())))
2129 d = dict({'one':1, 'two':2})
2130 self.assertEqual(d, dict(one=1, two=2))
2131 self.assertEqual(d, dict(**d))
2132 self.assertEqual(d, dict({"one": 1}, two=2))
2133 self.assertEqual(d, dict([("two", 2)], one=1))
2134 self.assertEqual(d, dict([("one", 100), ("two", 200)], **d))
2135 self.assertEqual(d, dict(**d))
2136
2137 for badarg in 0, 0, 0j, "0", [0], (0,):
2138 try:
2139 dict(badarg)
2140 except TypeError:
2141 pass
2142 except ValueError:
2143 if badarg == "0":
2144 # It's a sequence, and its elements are also sequences (gotta
2145 # love strings <wink>), but they aren't of length 2, so this
2146 # one seemed better as a ValueError than a TypeError.
2147 pass
2148 else:
2149 self.fail("no TypeError from dict(%r)" % badarg)
2150 else:
2151 self.fail("no TypeError from dict(%r)" % badarg)
2152
2153 try:
2154 dict({}, {})
2155 except TypeError:
2156 pass
2157 else:
2158 self.fail("no TypeError from dict({}, {})")
2159
2160 class Mapping:
2161 # Lacks a .keys() method; will be added later.
2162 dict = {1:2, 3:4, 'a':1j}
2163
2164 try:
2165 dict(Mapping())
2166 except TypeError:
2167 pass
2168 else:
2169 self.fail("no TypeError from dict(incomplete mapping)")
2170
2171 Mapping.keys = lambda self: list(self.dict.keys())
2172 Mapping.__getitem__ = lambda self, i: self.dict[i]
2173 d = dict(Mapping())
2174 self.assertEqual(d, Mapping.dict)
2175
2176 # Init from sequence of iterable objects, each producing a 2-sequence.
2177 class AddressBookEntry:
2178 def __init__(self, first, last):
2179 self.first = first
2180 self.last = last
2181 def __iter__(self):
2182 return iter([self.first, self.last])
2183
2184 d = dict([AddressBookEntry('Tim', 'Warsaw'),
2185 AddressBookEntry('Barry', 'Peters'),
2186 AddressBookEntry('Tim', 'Peters'),
2187 AddressBookEntry('Barry', 'Warsaw')])
2188 self.assertEqual(d, {'Barry': 'Warsaw', 'Tim': 'Peters'})
2189
2190 d = dict(zip(range(4), range(1, 5)))
2191 self.assertEqual(d, dict([(i, i+1) for i in range(4)]))
2192
2193 # Bad sequence lengths.
2194 for bad in [('tooshort',)], [('too', 'long', 'by 1')]:
2195 try:
2196 dict(bad)
2197 except ValueError:
2198 pass
2199 else:
2200 self.fail("no ValueError from dict(%r)" % bad)
2201
2202 def test_dir(self):
2203 # Testing dir() ...
2204 junk = 12
2205 self.assertEqual(dir(), ['junk', 'self'])
2206 del junk
2207
2208 # Just make sure these don't blow up!
2209 for arg in 2, 2, 2j, 2e0, [2], "2", b"2", (2,), {2:2}, type, self.test_dir:
2210 dir(arg)
2211
2212 # Test dir on new-style classes. Since these have object as a
2213 # base class, a lot more gets sucked in.
2214 def interesting(strings):
2215 return [s for s in strings if not s.startswith('_')]
2216
2217 class C(object):
2218 Cdata = 1
2219 def Cmethod(self): pass
2220
2221 cstuff = ['Cdata', 'Cmethod']
2222 self.assertEqual(interesting(dir(C)), cstuff)
2223
2224 c = C()
2225 self.assertEqual(interesting(dir(c)), cstuff)
Benjamin Peterson577473f2010-01-19 00:09:57 +00002226 ## self.assertIn('__self__', dir(C.Cmethod))
Georg Brandl479a7e72008-02-05 18:13:15 +00002227
2228 c.cdata = 2
2229 c.cmethod = lambda self: 0
2230 self.assertEqual(interesting(dir(c)), cstuff + ['cdata', 'cmethod'])
Benjamin Peterson577473f2010-01-19 00:09:57 +00002231 ## self.assertIn('__self__', dir(c.Cmethod))
Georg Brandl479a7e72008-02-05 18:13:15 +00002232
2233 class A(C):
2234 Adata = 1
2235 def Amethod(self): pass
2236
2237 astuff = ['Adata', 'Amethod'] + cstuff
2238 self.assertEqual(interesting(dir(A)), astuff)
Benjamin Peterson577473f2010-01-19 00:09:57 +00002239 ## self.assertIn('__self__', dir(A.Amethod))
Georg Brandl479a7e72008-02-05 18:13:15 +00002240 a = A()
2241 self.assertEqual(interesting(dir(a)), astuff)
2242 a.adata = 42
2243 a.amethod = lambda self: 3
2244 self.assertEqual(interesting(dir(a)), astuff + ['adata', 'amethod'])
Benjamin Peterson577473f2010-01-19 00:09:57 +00002245 ## self.assertIn('__self__', dir(a.Amethod))
Georg Brandl479a7e72008-02-05 18:13:15 +00002246
2247 # Try a module subclass.
Georg Brandl479a7e72008-02-05 18:13:15 +00002248 class M(type(sys)):
2249 pass
2250 minstance = M("m")
2251 minstance.b = 2
2252 minstance.a = 1
Brett Cannon4c14b5d2013-05-04 13:56:58 -04002253 default_attributes = ['__name__', '__doc__', '__package__',
2254 '__loader__']
2255 names = [x for x in dir(minstance) if x not in default_attributes]
Georg Brandl479a7e72008-02-05 18:13:15 +00002256 self.assertEqual(names, ['a', 'b'])
2257
2258 class M2(M):
2259 def getdict(self):
2260 return "Not a dict!"
2261 __dict__ = property(getdict)
2262
2263 m2instance = M2("m2")
2264 m2instance.b = 2
2265 m2instance.a = 1
2266 self.assertEqual(m2instance.__dict__, "Not a dict!")
2267 try:
2268 dir(m2instance)
2269 except TypeError:
2270 pass
2271
2272 # Two essentially featureless objects, just inheriting stuff from
2273 # object.
Benjamin Petersone549ead2009-03-28 21:42:05 +00002274 self.assertEqual(dir(NotImplemented), dir(Ellipsis))
Georg Brandl479a7e72008-02-05 18:13:15 +00002275
2276 # Nasty test case for proxied objects
2277 class Wrapper(object):
2278 def __init__(self, obj):
2279 self.__obj = obj
2280 def __repr__(self):
2281 return "Wrapper(%s)" % repr(self.__obj)
2282 def __getitem__(self, key):
2283 return Wrapper(self.__obj[key])
2284 def __len__(self):
2285 return len(self.__obj)
2286 def __getattr__(self, name):
2287 return Wrapper(getattr(self.__obj, name))
2288
2289 class C(object):
2290 def __getclass(self):
2291 return Wrapper(type(self))
2292 __class__ = property(__getclass)
2293
2294 dir(C()) # This used to segfault
2295
2296 def test_supers(self):
2297 # Testing super...
2298
2299 class A(object):
2300 def meth(self, a):
2301 return "A(%r)" % a
2302
2303 self.assertEqual(A().meth(1), "A(1)")
2304
2305 class B(A):
2306 def __init__(self):
2307 self.__super = super(B, self)
2308 def meth(self, a):
2309 return "B(%r)" % a + self.__super.meth(a)
2310
2311 self.assertEqual(B().meth(2), "B(2)A(2)")
2312
2313 class C(A):
2314 def meth(self, a):
2315 return "C(%r)" % a + self.__super.meth(a)
2316 C._C__super = super(C)
2317
2318 self.assertEqual(C().meth(3), "C(3)A(3)")
2319
2320 class D(C, B):
2321 def meth(self, a):
2322 return "D(%r)" % a + super(D, self).meth(a)
2323
2324 self.assertEqual(D().meth(4), "D(4)C(4)B(4)A(4)")
2325
2326 # Test for subclassing super
2327
2328 class mysuper(super):
2329 def __init__(self, *args):
2330 return super(mysuper, self).__init__(*args)
2331
2332 class E(D):
2333 def meth(self, a):
2334 return "E(%r)" % a + mysuper(E, self).meth(a)
2335
2336 self.assertEqual(E().meth(5), "E(5)D(5)C(5)B(5)A(5)")
2337
2338 class F(E):
2339 def meth(self, a):
2340 s = self.__super # == mysuper(F, self)
2341 return "F(%r)[%s]" % (a, s.__class__.__name__) + s.meth(a)
2342 F._F__super = mysuper(F)
2343
2344 self.assertEqual(F().meth(6), "F(6)[mysuper]E(6)D(6)C(6)B(6)A(6)")
2345
2346 # Make sure certain errors are raised
2347
2348 try:
2349 super(D, 42)
2350 except TypeError:
2351 pass
2352 else:
2353 self.fail("shouldn't allow super(D, 42)")
2354
2355 try:
2356 super(D, C())
2357 except TypeError:
2358 pass
2359 else:
2360 self.fail("shouldn't allow super(D, C())")
2361
2362 try:
2363 super(D).__get__(12)
2364 except TypeError:
2365 pass
2366 else:
2367 self.fail("shouldn't allow super(D).__get__(12)")
2368
2369 try:
2370 super(D).__get__(C())
2371 except TypeError:
2372 pass
2373 else:
2374 self.fail("shouldn't allow super(D).__get__(C())")
2375
2376 # Make sure data descriptors can be overridden and accessed via super
2377 # (new feature in Python 2.3)
2378
2379 class DDbase(object):
2380 def getx(self): return 42
2381 x = property(getx)
2382
2383 class DDsub(DDbase):
2384 def getx(self): return "hello"
2385 x = property(getx)
2386
2387 dd = DDsub()
2388 self.assertEqual(dd.x, "hello")
2389 self.assertEqual(super(DDsub, dd).x, 42)
2390
2391 # Ensure that super() lookup of descriptor from classmethod
2392 # works (SF ID# 743627)
2393
2394 class Base(object):
2395 aProp = property(lambda self: "foo")
2396
2397 class Sub(Base):
2398 @classmethod
2399 def test(klass):
2400 return super(Sub,klass).aProp
2401
2402 self.assertEqual(Sub.test(), Base.aProp)
2403
2404 # Verify that super() doesn't allow keyword args
2405 try:
2406 super(Base, kw=1)
2407 except TypeError:
2408 pass
2409 else:
2410 self.assertEqual("super shouldn't accept keyword args")
2411
2412 def test_basic_inheritance(self):
2413 # Testing inheritance from basic types...
2414
2415 class hexint(int):
2416 def __repr__(self):
2417 return hex(self)
2418 def __add__(self, other):
2419 return hexint(int.__add__(self, other))
2420 # (Note that overriding __radd__ doesn't work,
2421 # because the int type gets first dibs.)
2422 self.assertEqual(repr(hexint(7) + 9), "0x10")
2423 self.assertEqual(repr(hexint(1000) + 7), "0x3ef")
2424 a = hexint(12345)
2425 self.assertEqual(a, 12345)
2426 self.assertEqual(int(a), 12345)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002427 self.assertTrue(int(a).__class__ is int)
Georg Brandl479a7e72008-02-05 18:13:15 +00002428 self.assertEqual(hash(a), hash(12345))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002429 self.assertTrue((+a).__class__ is int)
2430 self.assertTrue((a >> 0).__class__ is int)
2431 self.assertTrue((a << 0).__class__ is int)
2432 self.assertTrue((hexint(0) << 12).__class__ is int)
2433 self.assertTrue((hexint(0) >> 12).__class__ is int)
Georg Brandl479a7e72008-02-05 18:13:15 +00002434
2435 class octlong(int):
2436 __slots__ = []
2437 def __str__(self):
Mark Dickinson5c2db372009-12-05 20:28:34 +00002438 return oct(self)
Georg Brandl479a7e72008-02-05 18:13:15 +00002439 def __add__(self, other):
2440 return self.__class__(super(octlong, self).__add__(other))
2441 __radd__ = __add__
2442 self.assertEqual(str(octlong(3) + 5), "0o10")
2443 # (Note that overriding __radd__ here only seems to work
2444 # because the example uses a short int left argument.)
2445 self.assertEqual(str(5 + octlong(3000)), "0o5675")
2446 a = octlong(12345)
2447 self.assertEqual(a, 12345)
2448 self.assertEqual(int(a), 12345)
2449 self.assertEqual(hash(a), hash(12345))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002450 self.assertTrue(int(a).__class__ is int)
2451 self.assertTrue((+a).__class__ is int)
2452 self.assertTrue((-a).__class__ is int)
2453 self.assertTrue((-octlong(0)).__class__ is int)
2454 self.assertTrue((a >> 0).__class__ is int)
2455 self.assertTrue((a << 0).__class__ is int)
2456 self.assertTrue((a - 0).__class__ is int)
2457 self.assertTrue((a * 1).__class__ is int)
2458 self.assertTrue((a ** 1).__class__ is int)
2459 self.assertTrue((a // 1).__class__ is int)
2460 self.assertTrue((1 * a).__class__ is int)
2461 self.assertTrue((a | 0).__class__ is int)
2462 self.assertTrue((a ^ 0).__class__ is int)
2463 self.assertTrue((a & -1).__class__ is int)
2464 self.assertTrue((octlong(0) << 12).__class__ is int)
2465 self.assertTrue((octlong(0) >> 12).__class__ is int)
2466 self.assertTrue(abs(octlong(0)).__class__ is int)
Georg Brandl479a7e72008-02-05 18:13:15 +00002467
2468 # Because octlong overrides __add__, we can't check the absence of +0
2469 # optimizations using octlong.
2470 class longclone(int):
2471 pass
2472 a = longclone(1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002473 self.assertTrue((a + 0).__class__ is int)
2474 self.assertTrue((0 + a).__class__ is int)
Georg Brandl479a7e72008-02-05 18:13:15 +00002475
2476 # Check that negative clones don't segfault
2477 a = longclone(-1)
2478 self.assertEqual(a.__dict__, {})
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002479 self.assertEqual(int(a), -1) # self.assertTrue PyNumber_Long() copies the sign bit
Georg Brandl479a7e72008-02-05 18:13:15 +00002480
2481 class precfloat(float):
2482 __slots__ = ['prec']
2483 def __init__(self, value=0.0, prec=12):
2484 self.prec = int(prec)
2485 def __repr__(self):
2486 return "%.*g" % (self.prec, self)
2487 self.assertEqual(repr(precfloat(1.1)), "1.1")
2488 a = precfloat(12345)
2489 self.assertEqual(a, 12345.0)
2490 self.assertEqual(float(a), 12345.0)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002491 self.assertTrue(float(a).__class__ is float)
Georg Brandl479a7e72008-02-05 18:13:15 +00002492 self.assertEqual(hash(a), hash(12345.0))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002493 self.assertTrue((+a).__class__ is float)
Georg Brandl479a7e72008-02-05 18:13:15 +00002494
2495 class madcomplex(complex):
2496 def __repr__(self):
2497 return "%.17gj%+.17g" % (self.imag, self.real)
2498 a = madcomplex(-3, 4)
2499 self.assertEqual(repr(a), "4j-3")
2500 base = complex(-3, 4)
2501 self.assertEqual(base.__class__, complex)
2502 self.assertEqual(a, base)
2503 self.assertEqual(complex(a), base)
2504 self.assertEqual(complex(a).__class__, complex)
2505 a = madcomplex(a) # just trying another form of the constructor
2506 self.assertEqual(repr(a), "4j-3")
2507 self.assertEqual(a, base)
2508 self.assertEqual(complex(a), base)
2509 self.assertEqual(complex(a).__class__, complex)
2510 self.assertEqual(hash(a), hash(base))
2511 self.assertEqual((+a).__class__, complex)
2512 self.assertEqual((a + 0).__class__, complex)
2513 self.assertEqual(a + 0, base)
2514 self.assertEqual((a - 0).__class__, complex)
2515 self.assertEqual(a - 0, base)
2516 self.assertEqual((a * 1).__class__, complex)
2517 self.assertEqual(a * 1, base)
2518 self.assertEqual((a / 1).__class__, complex)
2519 self.assertEqual(a / 1, base)
2520
2521 class madtuple(tuple):
2522 _rev = None
2523 def rev(self):
2524 if self._rev is not None:
2525 return self._rev
2526 L = list(self)
2527 L.reverse()
2528 self._rev = self.__class__(L)
2529 return self._rev
2530 a = madtuple((1,2,3,4,5,6,7,8,9,0))
2531 self.assertEqual(a, (1,2,3,4,5,6,7,8,9,0))
2532 self.assertEqual(a.rev(), madtuple((0,9,8,7,6,5,4,3,2,1)))
2533 self.assertEqual(a.rev().rev(), madtuple((1,2,3,4,5,6,7,8,9,0)))
2534 for i in range(512):
2535 t = madtuple(range(i))
2536 u = t.rev()
2537 v = u.rev()
2538 self.assertEqual(v, t)
2539 a = madtuple((1,2,3,4,5))
2540 self.assertEqual(tuple(a), (1,2,3,4,5))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002541 self.assertTrue(tuple(a).__class__ is tuple)
Georg Brandl479a7e72008-02-05 18:13:15 +00002542 self.assertEqual(hash(a), hash((1,2,3,4,5)))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002543 self.assertTrue(a[:].__class__ is tuple)
2544 self.assertTrue((a * 1).__class__ is tuple)
2545 self.assertTrue((a * 0).__class__ is tuple)
2546 self.assertTrue((a + ()).__class__ is tuple)
Georg Brandl479a7e72008-02-05 18:13:15 +00002547 a = madtuple(())
2548 self.assertEqual(tuple(a), ())
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002549 self.assertTrue(tuple(a).__class__ is tuple)
2550 self.assertTrue((a + a).__class__ is tuple)
2551 self.assertTrue((a * 0).__class__ is tuple)
2552 self.assertTrue((a * 1).__class__ is tuple)
2553 self.assertTrue((a * 2).__class__ is tuple)
2554 self.assertTrue(a[:].__class__ is tuple)
Georg Brandl479a7e72008-02-05 18:13:15 +00002555
2556 class madstring(str):
2557 _rev = None
2558 def rev(self):
2559 if self._rev is not None:
2560 return self._rev
2561 L = list(self)
2562 L.reverse()
2563 self._rev = self.__class__("".join(L))
2564 return self._rev
2565 s = madstring("abcdefghijklmnopqrstuvwxyz")
2566 self.assertEqual(s, "abcdefghijklmnopqrstuvwxyz")
2567 self.assertEqual(s.rev(), madstring("zyxwvutsrqponmlkjihgfedcba"))
2568 self.assertEqual(s.rev().rev(), madstring("abcdefghijklmnopqrstuvwxyz"))
2569 for i in range(256):
2570 s = madstring("".join(map(chr, range(i))))
2571 t = s.rev()
2572 u = t.rev()
2573 self.assertEqual(u, s)
2574 s = madstring("12345")
2575 self.assertEqual(str(s), "12345")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002576 self.assertTrue(str(s).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002577
2578 base = "\x00" * 5
2579 s = madstring(base)
2580 self.assertEqual(s, base)
2581 self.assertEqual(str(s), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002582 self.assertTrue(str(s).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002583 self.assertEqual(hash(s), hash(base))
2584 self.assertEqual({s: 1}[base], 1)
2585 self.assertEqual({base: 1}[s], 1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002586 self.assertTrue((s + "").__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002587 self.assertEqual(s + "", base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002588 self.assertTrue(("" + s).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002589 self.assertEqual("" + s, base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002590 self.assertTrue((s * 0).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002591 self.assertEqual(s * 0, "")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002592 self.assertTrue((s * 1).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002593 self.assertEqual(s * 1, base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002594 self.assertTrue((s * 2).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002595 self.assertEqual(s * 2, base + base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002596 self.assertTrue(s[:].__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002597 self.assertEqual(s[:], base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002598 self.assertTrue(s[0:0].__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002599 self.assertEqual(s[0:0], "")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002600 self.assertTrue(s.strip().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002601 self.assertEqual(s.strip(), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002602 self.assertTrue(s.lstrip().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002603 self.assertEqual(s.lstrip(), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002604 self.assertTrue(s.rstrip().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002605 self.assertEqual(s.rstrip(), base)
2606 identitytab = {}
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002607 self.assertTrue(s.translate(identitytab).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002608 self.assertEqual(s.translate(identitytab), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002609 self.assertTrue(s.replace("x", "x").__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002610 self.assertEqual(s.replace("x", "x"), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002611 self.assertTrue(s.ljust(len(s)).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002612 self.assertEqual(s.ljust(len(s)), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002613 self.assertTrue(s.rjust(len(s)).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002614 self.assertEqual(s.rjust(len(s)), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002615 self.assertTrue(s.center(len(s)).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002616 self.assertEqual(s.center(len(s)), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002617 self.assertTrue(s.lower().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002618 self.assertEqual(s.lower(), base)
2619
2620 class madunicode(str):
2621 _rev = None
2622 def rev(self):
2623 if self._rev is not None:
2624 return self._rev
2625 L = list(self)
2626 L.reverse()
2627 self._rev = self.__class__("".join(L))
2628 return self._rev
2629 u = madunicode("ABCDEF")
2630 self.assertEqual(u, "ABCDEF")
2631 self.assertEqual(u.rev(), madunicode("FEDCBA"))
2632 self.assertEqual(u.rev().rev(), madunicode("ABCDEF"))
2633 base = "12345"
2634 u = madunicode(base)
2635 self.assertEqual(str(u), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002636 self.assertTrue(str(u).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002637 self.assertEqual(hash(u), hash(base))
2638 self.assertEqual({u: 1}[base], 1)
2639 self.assertEqual({base: 1}[u], 1)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002640 self.assertTrue(u.strip().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002641 self.assertEqual(u.strip(), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002642 self.assertTrue(u.lstrip().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002643 self.assertEqual(u.lstrip(), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002644 self.assertTrue(u.rstrip().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002645 self.assertEqual(u.rstrip(), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002646 self.assertTrue(u.replace("x", "x").__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002647 self.assertEqual(u.replace("x", "x"), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002648 self.assertTrue(u.replace("xy", "xy").__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002649 self.assertEqual(u.replace("xy", "xy"), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002650 self.assertTrue(u.center(len(u)).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002651 self.assertEqual(u.center(len(u)), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002652 self.assertTrue(u.ljust(len(u)).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002653 self.assertEqual(u.ljust(len(u)), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002654 self.assertTrue(u.rjust(len(u)).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002655 self.assertEqual(u.rjust(len(u)), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002656 self.assertTrue(u.lower().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002657 self.assertEqual(u.lower(), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002658 self.assertTrue(u.upper().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002659 self.assertEqual(u.upper(), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002660 self.assertTrue(u.capitalize().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002661 self.assertEqual(u.capitalize(), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002662 self.assertTrue(u.title().__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002663 self.assertEqual(u.title(), base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002664 self.assertTrue((u + "").__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002665 self.assertEqual(u + "", base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002666 self.assertTrue(("" + u).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002667 self.assertEqual("" + u, base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002668 self.assertTrue((u * 0).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002669 self.assertEqual(u * 0, "")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002670 self.assertTrue((u * 1).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002671 self.assertEqual(u * 1, base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002672 self.assertTrue((u * 2).__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002673 self.assertEqual(u * 2, base + base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002674 self.assertTrue(u[:].__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002675 self.assertEqual(u[:], base)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002676 self.assertTrue(u[0:0].__class__ is str)
Georg Brandl479a7e72008-02-05 18:13:15 +00002677 self.assertEqual(u[0:0], "")
2678
2679 class sublist(list):
2680 pass
2681 a = sublist(range(5))
2682 self.assertEqual(a, list(range(5)))
2683 a.append("hello")
2684 self.assertEqual(a, list(range(5)) + ["hello"])
2685 a[5] = 5
2686 self.assertEqual(a, list(range(6)))
2687 a.extend(range(6, 20))
2688 self.assertEqual(a, list(range(20)))
2689 a[-5:] = []
2690 self.assertEqual(a, list(range(15)))
2691 del a[10:15]
2692 self.assertEqual(len(a), 10)
2693 self.assertEqual(a, list(range(10)))
2694 self.assertEqual(list(a), list(range(10)))
2695 self.assertEqual(a[0], 0)
2696 self.assertEqual(a[9], 9)
2697 self.assertEqual(a[-10], 0)
2698 self.assertEqual(a[-1], 9)
2699 self.assertEqual(a[:5], list(range(5)))
2700
2701 ## class CountedInput(file):
2702 ## """Counts lines read by self.readline().
2703 ##
2704 ## self.lineno is the 0-based ordinal of the last line read, up to
2705 ## a maximum of one greater than the number of lines in the file.
2706 ##
2707 ## self.ateof is true if and only if the final "" line has been read,
2708 ## at which point self.lineno stops incrementing, and further calls
2709 ## to readline() continue to return "".
2710 ## """
2711 ##
2712 ## lineno = 0
2713 ## ateof = 0
2714 ## def readline(self):
2715 ## if self.ateof:
2716 ## return ""
2717 ## s = file.readline(self)
2718 ## # Next line works too.
2719 ## # s = super(CountedInput, self).readline()
2720 ## self.lineno += 1
2721 ## if s == "":
2722 ## self.ateof = 1
2723 ## return s
2724 ##
Benjamin Petersonee8712c2008-05-20 21:35:26 +00002725 ## f = file(name=support.TESTFN, mode='w')
Georg Brandl479a7e72008-02-05 18:13:15 +00002726 ## lines = ['a\n', 'b\n', 'c\n']
2727 ## try:
2728 ## f.writelines(lines)
2729 ## f.close()
Benjamin Petersonee8712c2008-05-20 21:35:26 +00002730 ## f = CountedInput(support.TESTFN)
Georg Brandl479a7e72008-02-05 18:13:15 +00002731 ## for (i, expected) in zip(range(1, 5) + [4], lines + 2 * [""]):
2732 ## got = f.readline()
2733 ## self.assertEqual(expected, got)
2734 ## self.assertEqual(f.lineno, i)
2735 ## self.assertEqual(f.ateof, (i > len(lines)))
2736 ## f.close()
2737 ## finally:
2738 ## try:
2739 ## f.close()
2740 ## except:
2741 ## pass
Benjamin Petersonee8712c2008-05-20 21:35:26 +00002742 ## support.unlink(support.TESTFN)
Georg Brandl479a7e72008-02-05 18:13:15 +00002743
2744 def test_keywords(self):
2745 # Testing keyword args to basic type constructors ...
2746 self.assertEqual(int(x=1), 1)
2747 self.assertEqual(float(x=2), 2.0)
2748 self.assertEqual(int(x=3), 3)
2749 self.assertEqual(complex(imag=42, real=666), complex(666, 42))
2750 self.assertEqual(str(object=500), '500')
2751 self.assertEqual(str(object=b'abc', errors='strict'), 'abc')
2752 self.assertEqual(tuple(sequence=range(3)), (0, 1, 2))
2753 self.assertEqual(list(sequence=(0, 1, 2)), list(range(3)))
2754 # note: as of Python 2.3, dict() no longer has an "items" keyword arg
2755
2756 for constructor in (int, float, int, complex, str, str,
2757 tuple, list):
2758 try:
2759 constructor(bogus_keyword_arg=1)
2760 except TypeError:
2761 pass
2762 else:
2763 self.fail("expected TypeError from bogus keyword argument to %r"
2764 % constructor)
2765
2766 def test_str_subclass_as_dict_key(self):
2767 # Testing a str subclass used as dict key ..
2768
2769 class cistr(str):
2770 """Sublcass of str that computes __eq__ case-insensitively.
2771
2772 Also computes a hash code of the string in canonical form.
2773 """
2774
2775 def __init__(self, value):
2776 self.canonical = value.lower()
2777 self.hashcode = hash(self.canonical)
2778
2779 def __eq__(self, other):
2780 if not isinstance(other, cistr):
2781 other = cistr(other)
2782 return self.canonical == other.canonical
2783
2784 def __hash__(self):
2785 return self.hashcode
2786
2787 self.assertEqual(cistr('ABC'), 'abc')
2788 self.assertEqual('aBc', cistr('ABC'))
2789 self.assertEqual(str(cistr('ABC')), 'ABC')
2790
2791 d = {cistr('one'): 1, cistr('two'): 2, cistr('tHree'): 3}
2792 self.assertEqual(d[cistr('one')], 1)
2793 self.assertEqual(d[cistr('tWo')], 2)
2794 self.assertEqual(d[cistr('THrEE')], 3)
Benjamin Peterson577473f2010-01-19 00:09:57 +00002795 self.assertIn(cistr('ONe'), d)
Georg Brandl479a7e72008-02-05 18:13:15 +00002796 self.assertEqual(d.get(cistr('thrEE')), 3)
2797
2798 def test_classic_comparisons(self):
2799 # Testing classic comparisons...
2800 class classic:
2801 pass
2802
2803 for base in (classic, int, object):
2804 class C(base):
2805 def __init__(self, value):
2806 self.value = int(value)
2807 def __eq__(self, other):
2808 if isinstance(other, C):
2809 return self.value == other.value
2810 if isinstance(other, int) or isinstance(other, int):
2811 return self.value == other
2812 return NotImplemented
2813 def __ne__(self, other):
2814 if isinstance(other, C):
2815 return self.value != other.value
2816 if isinstance(other, int) or isinstance(other, int):
2817 return self.value != other
2818 return NotImplemented
2819 def __lt__(self, other):
2820 if isinstance(other, C):
2821 return self.value < other.value
2822 if isinstance(other, int) or isinstance(other, int):
2823 return self.value < other
2824 return NotImplemented
2825 def __le__(self, other):
2826 if isinstance(other, C):
2827 return self.value <= other.value
2828 if isinstance(other, int) or isinstance(other, int):
2829 return self.value <= other
2830 return NotImplemented
2831 def __gt__(self, other):
2832 if isinstance(other, C):
2833 return self.value > other.value
2834 if isinstance(other, int) or isinstance(other, int):
2835 return self.value > other
2836 return NotImplemented
2837 def __ge__(self, other):
2838 if isinstance(other, C):
2839 return self.value >= other.value
2840 if isinstance(other, int) or isinstance(other, int):
2841 return self.value >= other
2842 return NotImplemented
2843
2844 c1 = C(1)
2845 c2 = C(2)
2846 c3 = C(3)
2847 self.assertEqual(c1, 1)
2848 c = {1: c1, 2: c2, 3: c3}
2849 for x in 1, 2, 3:
2850 for y in 1, 2, 3:
Georg Brandl479a7e72008-02-05 18:13:15 +00002851 for op in "<", "<=", "==", "!=", ">", ">=":
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002852 self.assertTrue(eval("c[x] %s c[y]" % op) ==
Mark Dickinsona56c4672009-01-27 18:17:45 +00002853 eval("x %s y" % op),
2854 "x=%d, y=%d" % (x, y))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002855 self.assertTrue(eval("c[x] %s y" % op) ==
Mark Dickinsona56c4672009-01-27 18:17:45 +00002856 eval("x %s y" % op),
2857 "x=%d, y=%d" % (x, y))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002858 self.assertTrue(eval("x %s c[y]" % op) ==
Mark Dickinsona56c4672009-01-27 18:17:45 +00002859 eval("x %s y" % op),
2860 "x=%d, y=%d" % (x, y))
Georg Brandl479a7e72008-02-05 18:13:15 +00002861
2862 def test_rich_comparisons(self):
2863 # Testing rich comparisons...
2864 class Z(complex):
2865 pass
2866 z = Z(1)
2867 self.assertEqual(z, 1+0j)
2868 self.assertEqual(1+0j, z)
2869 class ZZ(complex):
2870 def __eq__(self, other):
2871 try:
2872 return abs(self - other) <= 1e-6
2873 except:
2874 return NotImplemented
2875 zz = ZZ(1.0000003)
2876 self.assertEqual(zz, 1+0j)
2877 self.assertEqual(1+0j, zz)
2878
2879 class classic:
2880 pass
2881 for base in (classic, int, object, list):
2882 class C(base):
2883 def __init__(self, value):
2884 self.value = int(value)
2885 def __cmp__(self_, other):
2886 self.fail("shouldn't call __cmp__")
2887 def __eq__(self, other):
2888 if isinstance(other, C):
2889 return self.value == other.value
2890 if isinstance(other, int) or isinstance(other, int):
2891 return self.value == other
2892 return NotImplemented
2893 def __ne__(self, other):
2894 if isinstance(other, C):
2895 return self.value != other.value
2896 if isinstance(other, int) or isinstance(other, int):
2897 return self.value != other
2898 return NotImplemented
2899 def __lt__(self, other):
2900 if isinstance(other, C):
2901 return self.value < other.value
2902 if isinstance(other, int) or isinstance(other, int):
2903 return self.value < other
2904 return NotImplemented
2905 def __le__(self, other):
2906 if isinstance(other, C):
2907 return self.value <= other.value
2908 if isinstance(other, int) or isinstance(other, int):
2909 return self.value <= other
2910 return NotImplemented
2911 def __gt__(self, other):
2912 if isinstance(other, C):
2913 return self.value > other.value
2914 if isinstance(other, int) or isinstance(other, int):
2915 return self.value > other
2916 return NotImplemented
2917 def __ge__(self, other):
2918 if isinstance(other, C):
2919 return self.value >= other.value
2920 if isinstance(other, int) or isinstance(other, int):
2921 return self.value >= other
2922 return NotImplemented
2923 c1 = C(1)
2924 c2 = C(2)
2925 c3 = C(3)
2926 self.assertEqual(c1, 1)
2927 c = {1: c1, 2: c2, 3: c3}
2928 for x in 1, 2, 3:
2929 for y in 1, 2, 3:
2930 for op in "<", "<=", "==", "!=", ">", ">=":
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002931 self.assertTrue(eval("c[x] %s c[y]" % op) == eval("x %s y" % op),
Georg Brandl479a7e72008-02-05 18:13:15 +00002932 "x=%d, y=%d" % (x, y))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002933 self.assertTrue(eval("c[x] %s y" % op) == eval("x %s y" % op),
Georg Brandl479a7e72008-02-05 18:13:15 +00002934 "x=%d, y=%d" % (x, y))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002935 self.assertTrue(eval("x %s c[y]" % op) == eval("x %s y" % op),
Georg Brandl479a7e72008-02-05 18:13:15 +00002936 "x=%d, y=%d" % (x, y))
2937
2938 def test_descrdoc(self):
2939 # Testing descriptor doc strings...
Benjamin Peterson4fa88fa2009-03-04 00:14:51 +00002940 from _io import FileIO
Georg Brandl479a7e72008-02-05 18:13:15 +00002941 def check(descr, what):
2942 self.assertEqual(descr.__doc__, what)
Benjamin Peterson4fa88fa2009-03-04 00:14:51 +00002943 check(FileIO.closed, "True if the file is closed") # getset descriptor
Georg Brandl479a7e72008-02-05 18:13:15 +00002944 check(complex.real, "the real part of a complex number") # member descriptor
2945
2946 def test_doc_descriptor(self):
2947 # Testing __doc__ descriptor...
2948 # SF bug 542984
2949 class DocDescr(object):
2950 def __get__(self, object, otype):
2951 if object:
2952 object = object.__class__.__name__ + ' instance'
2953 if otype:
2954 otype = otype.__name__
2955 return 'object=%s; type=%s' % (object, otype)
2956 class OldClass:
2957 __doc__ = DocDescr()
2958 class NewClass(object):
2959 __doc__ = DocDescr()
2960 self.assertEqual(OldClass.__doc__, 'object=None; type=OldClass')
2961 self.assertEqual(OldClass().__doc__, 'object=OldClass instance; type=OldClass')
2962 self.assertEqual(NewClass.__doc__, 'object=None; type=NewClass')
2963 self.assertEqual(NewClass().__doc__, 'object=NewClass instance; type=NewClass')
2964
2965 def test_set_class(self):
2966 # Testing __class__ assignment...
2967 class C(object): pass
2968 class D(object): pass
2969 class E(object): pass
2970 class F(D, E): pass
2971 for cls in C, D, E, F:
2972 for cls2 in C, D, E, F:
2973 x = cls()
2974 x.__class__ = cls2
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002975 self.assertTrue(x.__class__ is cls2)
Georg Brandl479a7e72008-02-05 18:13:15 +00002976 x.__class__ = cls
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00002977 self.assertTrue(x.__class__ is cls)
Georg Brandl479a7e72008-02-05 18:13:15 +00002978 def cant(x, C):
2979 try:
2980 x.__class__ = C
2981 except TypeError:
2982 pass
2983 else:
2984 self.fail("shouldn't allow %r.__class__ = %r" % (x, C))
2985 try:
2986 delattr(x, "__class__")
Benjamin Petersone549ead2009-03-28 21:42:05 +00002987 except (TypeError, AttributeError):
Georg Brandl479a7e72008-02-05 18:13:15 +00002988 pass
2989 else:
2990 self.fail("shouldn't allow del %r.__class__" % x)
2991 cant(C(), list)
2992 cant(list(), C)
2993 cant(C(), 1)
2994 cant(C(), object)
2995 cant(object(), list)
2996 cant(list(), object)
2997 class Int(int): __slots__ = []
2998 cant(2, Int)
2999 cant(Int(), int)
3000 cant(True, int)
3001 cant(2, bool)
3002 o = object()
3003 cant(o, type(1))
3004 cant(o, type(None))
3005 del o
3006 class G(object):
3007 __slots__ = ["a", "b"]
3008 class H(object):
3009 __slots__ = ["b", "a"]
3010 class I(object):
3011 __slots__ = ["a", "b"]
3012 class J(object):
3013 __slots__ = ["c", "b"]
3014 class K(object):
3015 __slots__ = ["a", "b", "d"]
3016 class L(H):
3017 __slots__ = ["e"]
3018 class M(I):
3019 __slots__ = ["e"]
3020 class N(J):
3021 __slots__ = ["__weakref__"]
3022 class P(J):
3023 __slots__ = ["__dict__"]
3024 class Q(J):
3025 pass
3026 class R(J):
3027 __slots__ = ["__dict__", "__weakref__"]
3028
3029 for cls, cls2 in ((G, H), (G, I), (I, H), (Q, R), (R, Q)):
3030 x = cls()
3031 x.a = 1
3032 x.__class__ = cls2
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00003033 self.assertTrue(x.__class__ is cls2,
Georg Brandl479a7e72008-02-05 18:13:15 +00003034 "assigning %r as __class__ for %r silently failed" % (cls2, x))
3035 self.assertEqual(x.a, 1)
3036 x.__class__ = cls
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00003037 self.assertTrue(x.__class__ is cls,
Georg Brandl479a7e72008-02-05 18:13:15 +00003038 "assigning %r as __class__ for %r silently failed" % (cls, x))
3039 self.assertEqual(x.a, 1)
3040 for cls in G, J, K, L, M, N, P, R, list, Int:
3041 for cls2 in G, J, K, L, M, N, P, R, list, Int:
3042 if cls is cls2:
3043 continue
3044 cant(cls(), cls2)
3045
Benjamin Peterson193152c2009-04-25 01:08:45 +00003046 # Issue5283: when __class__ changes in __del__, the wrong
3047 # type gets DECREF'd.
3048 class O(object):
3049 pass
3050 class A(object):
3051 def __del__(self):
3052 self.__class__ = O
3053 l = [A() for x in range(100)]
3054 del l
3055
Georg Brandl479a7e72008-02-05 18:13:15 +00003056 def test_set_dict(self):
3057 # Testing __dict__ assignment...
3058 class C(object): pass
3059 a = C()
3060 a.__dict__ = {'b': 1}
3061 self.assertEqual(a.b, 1)
3062 def cant(x, dict):
3063 try:
3064 x.__dict__ = dict
3065 except (AttributeError, TypeError):
3066 pass
3067 else:
3068 self.fail("shouldn't allow %r.__dict__ = %r" % (x, dict))
3069 cant(a, None)
3070 cant(a, [])
3071 cant(a, 1)
3072 del a.__dict__ # Deleting __dict__ is allowed
3073
3074 class Base(object):
3075 pass
3076 def verify_dict_readonly(x):
3077 """
3078 x has to be an instance of a class inheriting from Base.
3079 """
3080 cant(x, {})
3081 try:
3082 del x.__dict__
3083 except (AttributeError, TypeError):
3084 pass
3085 else:
3086 self.fail("shouldn't allow del %r.__dict__" % x)
3087 dict_descr = Base.__dict__["__dict__"]
3088 try:
3089 dict_descr.__set__(x, {})
3090 except (AttributeError, TypeError):
3091 pass
3092 else:
3093 self.fail("dict_descr allowed access to %r's dict" % x)
3094
3095 # Classes don't allow __dict__ assignment and have readonly dicts
3096 class Meta1(type, Base):
3097 pass
3098 class Meta2(Base, type):
3099 pass
3100 class D(object, metaclass=Meta1):
3101 pass
3102 class E(object, metaclass=Meta2):
3103 pass
3104 for cls in C, D, E:
3105 verify_dict_readonly(cls)
3106 class_dict = cls.__dict__
3107 try:
3108 class_dict["spam"] = "eggs"
3109 except TypeError:
3110 pass
3111 else:
3112 self.fail("%r's __dict__ can be modified" % cls)
3113
3114 # Modules also disallow __dict__ assignment
3115 class Module1(types.ModuleType, Base):
3116 pass
3117 class Module2(Base, types.ModuleType):
3118 pass
3119 for ModuleType in Module1, Module2:
3120 mod = ModuleType("spam")
3121 verify_dict_readonly(mod)
3122 mod.__dict__["spam"] = "eggs"
3123
3124 # Exception's __dict__ can be replaced, but not deleted
Benjamin Petersone549ead2009-03-28 21:42:05 +00003125 # (at least not any more than regular exception's __dict__ can
3126 # be deleted; on CPython it is not the case, whereas on PyPy they
3127 # can, just like any other new-style instance's __dict__.)
3128 def can_delete_dict(e):
3129 try:
3130 del e.__dict__
3131 except (TypeError, AttributeError):
3132 return False
3133 else:
3134 return True
Georg Brandl479a7e72008-02-05 18:13:15 +00003135 class Exception1(Exception, Base):
3136 pass
3137 class Exception2(Base, Exception):
3138 pass
3139 for ExceptionType in Exception, Exception1, Exception2:
3140 e = ExceptionType()
3141 e.__dict__ = {"a": 1}
3142 self.assertEqual(e.a, 1)
Benjamin Petersone549ead2009-03-28 21:42:05 +00003143 self.assertEqual(can_delete_dict(e), can_delete_dict(ValueError()))
Georg Brandl479a7e72008-02-05 18:13:15 +00003144
3145 def test_pickles(self):
3146 # Testing pickling and copying new-style classes and objects...
3147 import pickle
3148
3149 def sorteditems(d):
3150 L = list(d.items())
3151 L.sort()
3152 return L
3153
3154 global C
3155 class C(object):
3156 def __init__(self, a, b):
3157 super(C, self).__init__()
3158 self.a = a
3159 self.b = b
3160 def __repr__(self):
3161 return "C(%r, %r)" % (self.a, self.b)
3162
3163 global C1
3164 class C1(list):
3165 def __new__(cls, a, b):
3166 return super(C1, cls).__new__(cls)
3167 def __getnewargs__(self):
3168 return (self.a, self.b)
3169 def __init__(self, a, b):
3170 self.a = a
3171 self.b = b
3172 def __repr__(self):
3173 return "C1(%r, %r)<%r>" % (self.a, self.b, list(self))
3174
3175 global C2
3176 class C2(int):
3177 def __new__(cls, a, b, val=0):
3178 return super(C2, cls).__new__(cls, val)
3179 def __getnewargs__(self):
3180 return (self.a, self.b, int(self))
3181 def __init__(self, a, b, val=0):
3182 self.a = a
3183 self.b = b
3184 def __repr__(self):
3185 return "C2(%r, %r)<%r>" % (self.a, self.b, int(self))
3186
3187 global C3
3188 class C3(object):
3189 def __init__(self, foo):
3190 self.foo = foo
3191 def __getstate__(self):
3192 return self.foo
3193 def __setstate__(self, foo):
3194 self.foo = foo
3195
3196 global C4classic, C4
3197 class C4classic: # classic
3198 pass
3199 class C4(C4classic, object): # mixed inheritance
3200 pass
3201
Guido van Rossum3926a632001-09-25 16:25:58 +00003202 for bin in 0, 1:
Guido van Rossum3926a632001-09-25 16:25:58 +00003203 for cls in C, C1, C2:
Georg Brandl479a7e72008-02-05 18:13:15 +00003204 s = pickle.dumps(cls, bin)
3205 cls2 = pickle.loads(s)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00003206 self.assertTrue(cls2 is cls)
Guido van Rossum3926a632001-09-25 16:25:58 +00003207
3208 a = C1(1, 2); a.append(42); a.append(24)
3209 b = C2("hello", "world", 42)
Georg Brandl479a7e72008-02-05 18:13:15 +00003210 s = pickle.dumps((a, b), bin)
3211 x, y = pickle.loads(s)
3212 self.assertEqual(x.__class__, a.__class__)
3213 self.assertEqual(sorteditems(x.__dict__), sorteditems(a.__dict__))
3214 self.assertEqual(y.__class__, b.__class__)
3215 self.assertEqual(sorteditems(y.__dict__), sorteditems(b.__dict__))
3216 self.assertEqual(repr(x), repr(a))
3217 self.assertEqual(repr(y), repr(b))
Guido van Rossum90c45142001-11-24 21:07:01 +00003218 # Test for __getstate__ and __setstate__ on new style class
3219 u = C3(42)
Georg Brandl479a7e72008-02-05 18:13:15 +00003220 s = pickle.dumps(u, bin)
3221 v = pickle.loads(s)
3222 self.assertEqual(u.__class__, v.__class__)
3223 self.assertEqual(u.foo, v.foo)
Guido van Rossum90c45142001-11-24 21:07:01 +00003224 # Test for picklability of hybrid class
3225 u = C4()
3226 u.foo = 42
Georg Brandl479a7e72008-02-05 18:13:15 +00003227 s = pickle.dumps(u, bin)
3228 v = pickle.loads(s)
3229 self.assertEqual(u.__class__, v.__class__)
3230 self.assertEqual(u.foo, v.foo)
Guido van Rossum3926a632001-09-25 16:25:58 +00003231
Georg Brandl479a7e72008-02-05 18:13:15 +00003232 # Testing copy.deepcopy()
3233 import copy
3234 for cls in C, C1, C2:
3235 cls2 = copy.deepcopy(cls)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00003236 self.assertTrue(cls2 is cls)
Guido van Rossum6cef6d52001-09-28 18:13:29 +00003237
Georg Brandl479a7e72008-02-05 18:13:15 +00003238 a = C1(1, 2); a.append(42); a.append(24)
3239 b = C2("hello", "world", 42)
3240 x, y = copy.deepcopy((a, b))
3241 self.assertEqual(x.__class__, a.__class__)
3242 self.assertEqual(sorteditems(x.__dict__), sorteditems(a.__dict__))
3243 self.assertEqual(y.__class__, b.__class__)
3244 self.assertEqual(sorteditems(y.__dict__), sorteditems(b.__dict__))
3245 self.assertEqual(repr(x), repr(a))
3246 self.assertEqual(repr(y), repr(b))
Guido van Rossum6cef6d52001-09-28 18:13:29 +00003247
Georg Brandl479a7e72008-02-05 18:13:15 +00003248 def test_pickle_slots(self):
3249 # Testing pickling of classes with __slots__ ...
3250 import pickle
3251 # Pickling of classes with __slots__ but without __getstate__ should fail
3252 # (if using protocol 0 or 1)
3253 global B, C, D, E
3254 class B(object):
Guido van Rossum8c842552002-03-14 23:05:54 +00003255 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003256 for base in [object, B]:
3257 class C(base):
3258 __slots__ = ['a']
3259 class D(C):
3260 pass
3261 try:
3262 pickle.dumps(C(), 0)
3263 except TypeError:
3264 pass
3265 else:
3266 self.fail("should fail: pickle C instance - %s" % base)
3267 try:
3268 pickle.dumps(C(), 0)
3269 except TypeError:
3270 pass
3271 else:
3272 self.fail("should fail: pickle D instance - %s" % base)
3273 # Give C a nice generic __getstate__ and __setstate__
3274 class C(base):
3275 __slots__ = ['a']
3276 def __getstate__(self):
3277 try:
3278 d = self.__dict__.copy()
3279 except AttributeError:
3280 d = {}
3281 for cls in self.__class__.__mro__:
3282 for sn in cls.__dict__.get('__slots__', ()):
3283 try:
3284 d[sn] = getattr(self, sn)
3285 except AttributeError:
3286 pass
3287 return d
3288 def __setstate__(self, d):
3289 for k, v in list(d.items()):
3290 setattr(self, k, v)
3291 class D(C):
3292 pass
3293 # Now it should work
3294 x = C()
3295 y = pickle.loads(pickle.dumps(x))
3296 self.assertEqual(hasattr(y, 'a'), 0)
3297 x.a = 42
3298 y = pickle.loads(pickle.dumps(x))
3299 self.assertEqual(y.a, 42)
3300 x = D()
3301 x.a = 42
3302 x.b = 100
3303 y = pickle.loads(pickle.dumps(x))
3304 self.assertEqual(y.a + y.b, 142)
3305 # A subclass that adds a slot should also work
3306 class E(C):
3307 __slots__ = ['b']
3308 x = E()
3309 x.a = 42
3310 x.b = "foo"
3311 y = pickle.loads(pickle.dumps(x))
3312 self.assertEqual(y.a, x.a)
3313 self.assertEqual(y.b, x.b)
3314
3315 def test_binary_operator_override(self):
3316 # Testing overrides of binary operations...
3317 class I(int):
3318 def __repr__(self):
3319 return "I(%r)" % int(self)
3320 def __add__(self, other):
3321 return I(int(self) + int(other))
3322 __radd__ = __add__
3323 def __pow__(self, other, mod=None):
3324 if mod is None:
3325 return I(pow(int(self), int(other)))
3326 else:
3327 return I(pow(int(self), int(other), int(mod)))
3328 def __rpow__(self, other, mod=None):
3329 if mod is None:
3330 return I(pow(int(other), int(self), mod))
3331 else:
3332 return I(pow(int(other), int(self), int(mod)))
3333
3334 self.assertEqual(repr(I(1) + I(2)), "I(3)")
3335 self.assertEqual(repr(I(1) + 2), "I(3)")
3336 self.assertEqual(repr(1 + I(2)), "I(3)")
3337 self.assertEqual(repr(I(2) ** I(3)), "I(8)")
3338 self.assertEqual(repr(2 ** I(3)), "I(8)")
3339 self.assertEqual(repr(I(2) ** 3), "I(8)")
3340 self.assertEqual(repr(pow(I(2), I(3), I(5))), "I(3)")
3341 class S(str):
3342 def __eq__(self, other):
3343 return self.lower() == other.lower()
3344
3345 def test_subclass_propagation(self):
3346 # Testing propagation of slot functions to subclasses...
3347 class A(object):
3348 pass
3349 class B(A):
3350 pass
3351 class C(A):
3352 pass
3353 class D(B, C):
3354 pass
3355 d = D()
3356 orig_hash = hash(d) # related to id(d) in platform-dependent ways
3357 A.__hash__ = lambda self: 42
3358 self.assertEqual(hash(d), 42)
3359 C.__hash__ = lambda self: 314
3360 self.assertEqual(hash(d), 314)
3361 B.__hash__ = lambda self: 144
3362 self.assertEqual(hash(d), 144)
3363 D.__hash__ = lambda self: 100
3364 self.assertEqual(hash(d), 100)
Nick Coghland1abd252008-07-15 15:46:38 +00003365 D.__hash__ = None
3366 self.assertRaises(TypeError, hash, d)
Georg Brandl479a7e72008-02-05 18:13:15 +00003367 del D.__hash__
3368 self.assertEqual(hash(d), 144)
Nick Coghland1abd252008-07-15 15:46:38 +00003369 B.__hash__ = None
3370 self.assertRaises(TypeError, hash, d)
Georg Brandl479a7e72008-02-05 18:13:15 +00003371 del B.__hash__
3372 self.assertEqual(hash(d), 314)
Nick Coghland1abd252008-07-15 15:46:38 +00003373 C.__hash__ = None
3374 self.assertRaises(TypeError, hash, d)
Georg Brandl479a7e72008-02-05 18:13:15 +00003375 del C.__hash__
3376 self.assertEqual(hash(d), 42)
Nick Coghland1abd252008-07-15 15:46:38 +00003377 A.__hash__ = None
3378 self.assertRaises(TypeError, hash, d)
Georg Brandl479a7e72008-02-05 18:13:15 +00003379 del A.__hash__
3380 self.assertEqual(hash(d), orig_hash)
3381 d.foo = 42
3382 d.bar = 42
3383 self.assertEqual(d.foo, 42)
3384 self.assertEqual(d.bar, 42)
3385 def __getattribute__(self, name):
3386 if name == "foo":
3387 return 24
3388 return object.__getattribute__(self, name)
3389 A.__getattribute__ = __getattribute__
3390 self.assertEqual(d.foo, 24)
3391 self.assertEqual(d.bar, 42)
3392 def __getattr__(self, name):
3393 if name in ("spam", "foo", "bar"):
3394 return "hello"
3395 raise AttributeError(name)
3396 B.__getattr__ = __getattr__
3397 self.assertEqual(d.spam, "hello")
3398 self.assertEqual(d.foo, 24)
3399 self.assertEqual(d.bar, 42)
3400 del A.__getattribute__
3401 self.assertEqual(d.foo, 42)
3402 del d.foo
3403 self.assertEqual(d.foo, "hello")
3404 self.assertEqual(d.bar, 42)
3405 del B.__getattr__
Guido van Rossum8c842552002-03-14 23:05:54 +00003406 try:
Georg Brandl479a7e72008-02-05 18:13:15 +00003407 d.foo
3408 except AttributeError:
3409 pass
3410 else:
3411 self.fail("d.foo should be undefined now")
3412
3413 # Test a nasty bug in recurse_down_subclasses()
Georg Brandl479a7e72008-02-05 18:13:15 +00003414 class A(object):
3415 pass
3416 class B(A):
3417 pass
3418 del B
Benjamin Petersone549ead2009-03-28 21:42:05 +00003419 support.gc_collect()
Georg Brandl479a7e72008-02-05 18:13:15 +00003420 A.__setitem__ = lambda *a: None # crash
3421
3422 def test_buffer_inheritance(self):
3423 # Testing that buffer interface is inherited ...
3424
3425 import binascii
3426 # SF bug [#470040] ParseTuple t# vs subclasses.
3427
Martin v. Löwis15b16a32008-12-02 06:00:15 +00003428 class MyBytes(bytes):
Georg Brandl479a7e72008-02-05 18:13:15 +00003429 pass
Martin v. Löwis15b16a32008-12-02 06:00:15 +00003430 base = b'abc'
3431 m = MyBytes(base)
Georg Brandl479a7e72008-02-05 18:13:15 +00003432 # b2a_hex uses the buffer interface to get its argument's value, via
3433 # PyArg_ParseTuple 't#' code.
3434 self.assertEqual(binascii.b2a_hex(m), binascii.b2a_hex(base))
3435
Georg Brandl479a7e72008-02-05 18:13:15 +00003436 class MyInt(int):
3437 pass
3438 m = MyInt(42)
3439 try:
3440 binascii.b2a_hex(m)
3441 self.fail('subclass of int should not have a buffer interface')
3442 except TypeError:
3443 pass
3444
3445 def test_str_of_str_subclass(self):
3446 # Testing __str__ defined in subclass of str ...
3447 import binascii
3448 import io
3449
3450 class octetstring(str):
3451 def __str__(self):
Martin v. Löwis15b16a32008-12-02 06:00:15 +00003452 return binascii.b2a_hex(self.encode('ascii')).decode("ascii")
Georg Brandl479a7e72008-02-05 18:13:15 +00003453 def __repr__(self):
3454 return self + " repr"
3455
3456 o = octetstring('A')
3457 self.assertEqual(type(o), octetstring)
3458 self.assertEqual(type(str(o)), str)
3459 self.assertEqual(type(repr(o)), str)
3460 self.assertEqual(ord(o), 0x41)
3461 self.assertEqual(str(o), '41')
3462 self.assertEqual(repr(o), 'A repr')
3463 self.assertEqual(o.__str__(), '41')
3464 self.assertEqual(o.__repr__(), 'A repr')
3465
3466 capture = io.StringIO()
3467 # Calling str() or not exercises different internal paths.
3468 print(o, file=capture)
3469 print(str(o), file=capture)
3470 self.assertEqual(capture.getvalue(), '41\n41\n')
3471 capture.close()
3472
3473 def test_keyword_arguments(self):
3474 # Testing keyword arguments to __init__, __call__...
3475 def f(a): return a
3476 self.assertEqual(f.__call__(a=42), 42)
3477 a = []
3478 list.__init__(a, sequence=[0, 1, 2])
3479 self.assertEqual(a, [0, 1, 2])
3480
3481 def test_recursive_call(self):
3482 # Testing recursive __call__() by setting to instance of class...
3483 class A(object):
3484 pass
3485
3486 A.__call__ = A()
3487 try:
3488 A()()
3489 except RuntimeError:
3490 pass
3491 else:
3492 self.fail("Recursion limit should have been reached for __call__()")
3493
3494 def test_delete_hook(self):
3495 # Testing __del__ hook...
3496 log = []
3497 class C(object):
3498 def __del__(self):
3499 log.append(1)
3500 c = C()
3501 self.assertEqual(log, [])
3502 del c
Benjamin Petersone549ead2009-03-28 21:42:05 +00003503 support.gc_collect()
Georg Brandl479a7e72008-02-05 18:13:15 +00003504 self.assertEqual(log, [1])
3505
3506 class D(object): pass
3507 d = D()
3508 try: del d[0]
3509 except TypeError: pass
3510 else: self.fail("invalid del() didn't raise TypeError")
3511
3512 def test_hash_inheritance(self):
3513 # Testing hash of mutable subclasses...
3514
3515 class mydict(dict):
3516 pass
3517 d = mydict()
3518 try:
3519 hash(d)
Guido van Rossum8c842552002-03-14 23:05:54 +00003520 except TypeError:
3521 pass
3522 else:
Georg Brandl479a7e72008-02-05 18:13:15 +00003523 self.fail("hash() of dict subclass should fail")
3524
3525 class mylist(list):
3526 pass
3527 d = mylist()
Guido van Rossum8c842552002-03-14 23:05:54 +00003528 try:
Georg Brandl479a7e72008-02-05 18:13:15 +00003529 hash(d)
Guido van Rossum8c842552002-03-14 23:05:54 +00003530 except TypeError:
3531 pass
3532 else:
Georg Brandl479a7e72008-02-05 18:13:15 +00003533 self.fail("hash() of list subclass should fail")
3534
3535 def test_str_operations(self):
3536 try: 'a' + 5
3537 except TypeError: pass
3538 else: self.fail("'' + 5 doesn't raise TypeError")
3539
3540 try: ''.split('')
3541 except ValueError: pass
3542 else: self.fail("''.split('') doesn't raise ValueError")
3543
3544 try: ''.join([0])
3545 except TypeError: pass
3546 else: self.fail("''.join([0]) doesn't raise TypeError")
3547
3548 try: ''.rindex('5')
3549 except ValueError: pass
3550 else: self.fail("''.rindex('5') doesn't raise ValueError")
3551
3552 try: '%(n)s' % None
3553 except TypeError: pass
3554 else: self.fail("'%(n)s' % None doesn't raise TypeError")
3555
3556 try: '%(n' % {}
3557 except ValueError: pass
3558 else: self.fail("'%(n' % {} '' doesn't raise ValueError")
3559
3560 try: '%*s' % ('abc')
3561 except TypeError: pass
3562 else: self.fail("'%*s' % ('abc') doesn't raise TypeError")
3563
3564 try: '%*.*s' % ('abc', 5)
3565 except TypeError: pass
3566 else: self.fail("'%*.*s' % ('abc', 5) doesn't raise TypeError")
3567
3568 try: '%s' % (1, 2)
3569 except TypeError: pass
3570 else: self.fail("'%s' % (1, 2) doesn't raise TypeError")
3571
3572 try: '%' % None
3573 except ValueError: pass
3574 else: self.fail("'%' % None doesn't raise ValueError")
3575
3576 self.assertEqual('534253'.isdigit(), 1)
3577 self.assertEqual('534253x'.isdigit(), 0)
3578 self.assertEqual('%c' % 5, '\x05')
3579 self.assertEqual('%c' % '5', '5')
3580
3581 def test_deepcopy_recursive(self):
3582 # Testing deepcopy of recursive objects...
3583 class Node:
Guido van Rossum8c842552002-03-14 23:05:54 +00003584 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003585 a = Node()
3586 b = Node()
3587 a.b = b
3588 b.a = a
3589 z = deepcopy(a) # This blew up before
3590
3591 def test_unintialized_modules(self):
3592 # Testing uninitialized module objects...
3593 from types import ModuleType as M
3594 m = M.__new__(M)
3595 str(m)
3596 self.assertEqual(hasattr(m, "__name__"), 0)
3597 self.assertEqual(hasattr(m, "__file__"), 0)
3598 self.assertEqual(hasattr(m, "foo"), 0)
Benjamin Petersone549ead2009-03-28 21:42:05 +00003599 self.assertFalse(m.__dict__) # None or {} are both reasonable answers
Georg Brandl479a7e72008-02-05 18:13:15 +00003600 m.foo = 1
3601 self.assertEqual(m.__dict__, {"foo": 1})
3602
3603 def test_funny_new(self):
3604 # Testing __new__ returning something unexpected...
3605 class C(object):
3606 def __new__(cls, arg):
3607 if isinstance(arg, str): return [1, 2, 3]
3608 elif isinstance(arg, int): return object.__new__(D)
3609 else: return object.__new__(cls)
3610 class D(C):
3611 def __init__(self, arg):
3612 self.foo = arg
3613 self.assertEqual(C("1"), [1, 2, 3])
3614 self.assertEqual(D("1"), [1, 2, 3])
3615 d = D(None)
3616 self.assertEqual(d.foo, None)
3617 d = C(1)
Ezio Melottie9615932010-01-24 19:26:24 +00003618 self.assertIsInstance(d, D)
Georg Brandl479a7e72008-02-05 18:13:15 +00003619 self.assertEqual(d.foo, 1)
3620 d = D(1)
Ezio Melottie9615932010-01-24 19:26:24 +00003621 self.assertIsInstance(d, D)
Georg Brandl479a7e72008-02-05 18:13:15 +00003622 self.assertEqual(d.foo, 1)
3623
3624 def test_imul_bug(self):
3625 # Testing for __imul__ problems...
3626 # SF bug 544647
3627 class C(object):
3628 def __imul__(self, other):
3629 return (self, other)
Guido van Rossum8c842552002-03-14 23:05:54 +00003630 x = C()
Georg Brandl479a7e72008-02-05 18:13:15 +00003631 y = x
3632 y *= 1.0
3633 self.assertEqual(y, (x, 1.0))
3634 y = x
3635 y *= 2
3636 self.assertEqual(y, (x, 2))
3637 y = x
3638 y *= 3
3639 self.assertEqual(y, (x, 3))
3640 y = x
3641 y *= 1<<100
3642 self.assertEqual(y, (x, 1<<100))
3643 y = x
3644 y *= None
3645 self.assertEqual(y, (x, None))
3646 y = x
3647 y *= "foo"
3648 self.assertEqual(y, (x, "foo"))
Guido van Rossum8c842552002-03-14 23:05:54 +00003649
Georg Brandl479a7e72008-02-05 18:13:15 +00003650 def test_copy_setstate(self):
3651 # Testing that copy.*copy() correctly uses __setstate__...
3652 import copy
3653 class C(object):
3654 def __init__(self, foo=None):
3655 self.foo = foo
3656 self.__foo = foo
3657 def setfoo(self, foo=None):
3658 self.foo = foo
3659 def getfoo(self):
3660 return self.__foo
3661 def __getstate__(self):
3662 return [self.foo]
3663 def __setstate__(self_, lst):
3664 self.assertEqual(len(lst), 1)
3665 self_.__foo = self_.foo = lst[0]
3666 a = C(42)
3667 a.setfoo(24)
3668 self.assertEqual(a.foo, 24)
3669 self.assertEqual(a.getfoo(), 42)
3670 b = copy.copy(a)
3671 self.assertEqual(b.foo, 24)
3672 self.assertEqual(b.getfoo(), 24)
3673 b = copy.deepcopy(a)
3674 self.assertEqual(b.foo, 24)
3675 self.assertEqual(b.getfoo(), 24)
Guido van Rossum6cef6d52001-09-28 18:13:29 +00003676
Georg Brandl479a7e72008-02-05 18:13:15 +00003677 def test_slices(self):
3678 # Testing cases with slices and overridden __getitem__ ...
Guido van Rossum6cef6d52001-09-28 18:13:29 +00003679
Georg Brandl479a7e72008-02-05 18:13:15 +00003680 # Strings
3681 self.assertEqual("hello"[:4], "hell")
3682 self.assertEqual("hello"[slice(4)], "hell")
3683 self.assertEqual(str.__getitem__("hello", slice(4)), "hell")
3684 class S(str):
3685 def __getitem__(self, x):
3686 return str.__getitem__(self, x)
3687 self.assertEqual(S("hello")[:4], "hell")
3688 self.assertEqual(S("hello")[slice(4)], "hell")
3689 self.assertEqual(S("hello").__getitem__(slice(4)), "hell")
3690 # Tuples
3691 self.assertEqual((1,2,3)[:2], (1,2))
3692 self.assertEqual((1,2,3)[slice(2)], (1,2))
3693 self.assertEqual(tuple.__getitem__((1,2,3), slice(2)), (1,2))
3694 class T(tuple):
3695 def __getitem__(self, x):
3696 return tuple.__getitem__(self, x)
3697 self.assertEqual(T((1,2,3))[:2], (1,2))
3698 self.assertEqual(T((1,2,3))[slice(2)], (1,2))
3699 self.assertEqual(T((1,2,3)).__getitem__(slice(2)), (1,2))
3700 # Lists
3701 self.assertEqual([1,2,3][:2], [1,2])
3702 self.assertEqual([1,2,3][slice(2)], [1,2])
3703 self.assertEqual(list.__getitem__([1,2,3], slice(2)), [1,2])
3704 class L(list):
3705 def __getitem__(self, x):
3706 return list.__getitem__(self, x)
3707 self.assertEqual(L([1,2,3])[:2], [1,2])
3708 self.assertEqual(L([1,2,3])[slice(2)], [1,2])
3709 self.assertEqual(L([1,2,3]).__getitem__(slice(2)), [1,2])
3710 # Now do lists and __setitem__
3711 a = L([1,2,3])
3712 a[slice(1, 3)] = [3,2]
3713 self.assertEqual(a, [1,3,2])
3714 a[slice(0, 2, 1)] = [3,1]
3715 self.assertEqual(a, [3,1,2])
3716 a.__setitem__(slice(1, 3), [2,1])
3717 self.assertEqual(a, [3,2,1])
3718 a.__setitem__(slice(0, 2, 1), [2,3])
3719 self.assertEqual(a, [2,3,1])
Guido van Rossum6cef6d52001-09-28 18:13:29 +00003720
Georg Brandl479a7e72008-02-05 18:13:15 +00003721 def test_subtype_resurrection(self):
3722 # Testing resurrection of new-style instance...
Guido van Rossum6cef6d52001-09-28 18:13:29 +00003723
Georg Brandl479a7e72008-02-05 18:13:15 +00003724 class C(object):
3725 container = []
Tim Peters2f93e282001-10-04 05:27:00 +00003726
Georg Brandl479a7e72008-02-05 18:13:15 +00003727 def __del__(self):
3728 # resurrect the instance
3729 C.container.append(self)
Guido van Rossum4bb1e362001-09-28 23:49:48 +00003730
Georg Brandl479a7e72008-02-05 18:13:15 +00003731 c = C()
3732 c.attr = 42
Tim Petersfc57ccb2001-10-12 02:38:24 +00003733
Benjamin Petersone549ead2009-03-28 21:42:05 +00003734 # The most interesting thing here is whether this blows up, due to
3735 # flawed GC tracking logic in typeobject.c's call_finalizer() (a 2.2.1
3736 # bug).
Georg Brandl479a7e72008-02-05 18:13:15 +00003737 del c
Guido van Rossume7f3e242002-06-14 02:35:45 +00003738
Benjamin Petersone549ead2009-03-28 21:42:05 +00003739 support.gc_collect()
Georg Brandl479a7e72008-02-05 18:13:15 +00003740 self.assertEqual(len(C.container), 1)
Tim Petersfc57ccb2001-10-12 02:38:24 +00003741
Georg Brandl479a7e72008-02-05 18:13:15 +00003742 # Make c mortal again, so that the test framework with -l doesn't report
3743 # it as a leak.
3744 del C.__del__
Tim Petersfc57ccb2001-10-12 02:38:24 +00003745
Georg Brandl479a7e72008-02-05 18:13:15 +00003746 def test_slots_trash(self):
3747 # Testing slot trash...
3748 # Deallocating deeply nested slotted trash caused stack overflows
3749 class trash(object):
3750 __slots__ = ['x']
3751 def __init__(self, x):
3752 self.x = x
3753 o = None
3754 for i in range(50000):
3755 o = trash(o)
3756 del o
Tim Petersfc57ccb2001-10-12 02:38:24 +00003757
Georg Brandl479a7e72008-02-05 18:13:15 +00003758 def test_slots_multiple_inheritance(self):
3759 # SF bug 575229, multiple inheritance w/ slots dumps core
3760 class A(object):
3761 __slots__=()
3762 class B(object):
Walter Dörwalddbd2d252002-03-25 18:36:32 +00003763 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003764 class C(A,B) :
3765 __slots__=()
Benjamin Petersone549ead2009-03-28 21:42:05 +00003766 if support.check_impl_detail():
3767 self.assertEqual(C.__basicsize__, B.__basicsize__)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00003768 self.assertTrue(hasattr(C, '__dict__'))
3769 self.assertTrue(hasattr(C, '__weakref__'))
Georg Brandl479a7e72008-02-05 18:13:15 +00003770 C().x = 2
Walter Dörwalddbd2d252002-03-25 18:36:32 +00003771
Georg Brandl479a7e72008-02-05 18:13:15 +00003772 def test_rmul(self):
3773 # Testing correct invocation of __rmul__...
3774 # SF patch 592646
3775 class C(object):
3776 def __mul__(self, other):
3777 return "mul"
3778 def __rmul__(self, other):
3779 return "rmul"
3780 a = C()
3781 self.assertEqual(a*2, "mul")
3782 self.assertEqual(a*2.2, "mul")
3783 self.assertEqual(2*a, "rmul")
3784 self.assertEqual(2.2*a, "rmul")
3785
3786 def test_ipow(self):
3787 # Testing correct invocation of __ipow__...
3788 # [SF bug 620179]
3789 class C(object):
3790 def __ipow__(self, other):
3791 pass
3792 a = C()
3793 a **= 2
3794
3795 def test_mutable_bases(self):
3796 # Testing mutable bases...
3797
3798 # stuff that should work:
3799 class C(object):
Walter Dörwalddbd2d252002-03-25 18:36:32 +00003800 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003801 class C2(object):
3802 def __getattribute__(self, attr):
3803 if attr == 'a':
3804 return 2
3805 else:
3806 return super(C2, self).__getattribute__(attr)
3807 def meth(self):
3808 return 1
3809 class D(C):
Walter Dörwalddbd2d252002-03-25 18:36:32 +00003810 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003811 class E(D):
Guido van Rossum6e5680f2002-10-15 01:01:53 +00003812 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003813 d = D()
3814 e = E()
3815 D.__bases__ = (C,)
3816 D.__bases__ = (C2,)
3817 self.assertEqual(d.meth(), 1)
3818 self.assertEqual(e.meth(), 1)
3819 self.assertEqual(d.a, 2)
3820 self.assertEqual(e.a, 2)
3821 self.assertEqual(C2.__subclasses__(), [D])
Guido van Rossum6e5680f2002-10-15 01:01:53 +00003822
Georg Brandl479a7e72008-02-05 18:13:15 +00003823 try:
3824 del D.__bases__
Benjamin Petersone549ead2009-03-28 21:42:05 +00003825 except (TypeError, AttributeError):
Georg Brandl479a7e72008-02-05 18:13:15 +00003826 pass
3827 else:
3828 self.fail("shouldn't be able to delete .__bases__")
Michael W. Hudson98bbc492002-11-26 14:47:27 +00003829
Georg Brandl479a7e72008-02-05 18:13:15 +00003830 try:
3831 D.__bases__ = ()
3832 except TypeError as msg:
3833 if str(msg) == "a new-style class can't have only classic bases":
3834 self.fail("wrong error message for .__bases__ = ()")
3835 else:
3836 self.fail("shouldn't be able to set .__bases__ to ()")
Michael W. Hudson98bbc492002-11-26 14:47:27 +00003837
Georg Brandl479a7e72008-02-05 18:13:15 +00003838 try:
3839 D.__bases__ = (D,)
3840 except TypeError:
3841 pass
3842 else:
3843 # actually, we'll have crashed by here...
3844 self.fail("shouldn't be able to create inheritance cycles")
Thomas Wouters89f507f2006-12-13 04:49:30 +00003845
Georg Brandl479a7e72008-02-05 18:13:15 +00003846 try:
3847 D.__bases__ = (C, C)
3848 except TypeError:
3849 pass
3850 else:
3851 self.fail("didn't detect repeated base classes")
Michael W. Hudson98bbc492002-11-26 14:47:27 +00003852
Georg Brandl479a7e72008-02-05 18:13:15 +00003853 try:
3854 D.__bases__ = (E,)
3855 except TypeError:
3856 pass
3857 else:
3858 self.fail("shouldn't be able to create inheritance cycles")
Guido van Rossum3bbc0ee2002-12-13 17:49:38 +00003859
Benjamin Petersonae937c02009-04-18 20:54:08 +00003860 def test_builtin_bases(self):
3861 # Make sure all the builtin types can have their base queried without
3862 # segfaulting. See issue #5787.
3863 builtin_types = [tp for tp in builtins.__dict__.values()
3864 if isinstance(tp, type)]
3865 for tp in builtin_types:
3866 object.__getattribute__(tp, "__bases__")
3867 if tp is not object:
3868 self.assertEqual(len(tp.__bases__), 1, tp)
3869
Benjamin Peterson25c95f12009-05-08 20:42:26 +00003870 class L(list):
3871 pass
3872
3873 class C(object):
3874 pass
3875
3876 class D(C):
3877 pass
3878
3879 try:
3880 L.__bases__ = (dict,)
3881 except TypeError:
3882 pass
3883 else:
3884 self.fail("shouldn't turn list subclass into dict subclass")
3885
3886 try:
3887 list.__bases__ = (dict,)
3888 except TypeError:
3889 pass
3890 else:
3891 self.fail("shouldn't be able to assign to list.__bases__")
3892
3893 try:
3894 D.__bases__ = (C, list)
3895 except TypeError:
3896 pass
3897 else:
3898 assert 0, "best_base calculation found wanting"
3899
Benjamin Petersonae937c02009-04-18 20:54:08 +00003900
Georg Brandl479a7e72008-02-05 18:13:15 +00003901 def test_mutable_bases_with_failing_mro(self):
3902 # Testing mutable bases with failing mro...
3903 class WorkOnce(type):
3904 def __new__(self, name, bases, ns):
3905 self.flag = 0
3906 return super(WorkOnce, self).__new__(WorkOnce, name, bases, ns)
3907 def mro(self):
3908 if self.flag > 0:
3909 raise RuntimeError("bozo")
3910 else:
3911 self.flag += 1
3912 return type.mro(self)
Michael W. Hudson98bbc492002-11-26 14:47:27 +00003913
Georg Brandl479a7e72008-02-05 18:13:15 +00003914 class WorkAlways(type):
3915 def mro(self):
3916 # this is here to make sure that .mro()s aren't called
3917 # with an exception set (which was possible at one point).
3918 # An error message will be printed in a debug build.
3919 # What's a good way to test for this?
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003920 return type.mro(self)
3921
Georg Brandl479a7e72008-02-05 18:13:15 +00003922 class C(object):
3923 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003924
Georg Brandl479a7e72008-02-05 18:13:15 +00003925 class C2(object):
3926 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003927
Georg Brandl479a7e72008-02-05 18:13:15 +00003928 class D(C):
3929 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003930
Georg Brandl479a7e72008-02-05 18:13:15 +00003931 class E(D):
3932 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003933
Georg Brandl479a7e72008-02-05 18:13:15 +00003934 class F(D, metaclass=WorkOnce):
3935 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003936
Georg Brandl479a7e72008-02-05 18:13:15 +00003937 class G(D, metaclass=WorkAlways):
3938 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003939
Georg Brandl479a7e72008-02-05 18:13:15 +00003940 # Immediate subclasses have their mro's adjusted in alphabetical
3941 # order, so E's will get adjusted before adjusting F's fails. We
3942 # check here that E's gets restored.
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003943
Georg Brandl479a7e72008-02-05 18:13:15 +00003944 E_mro_before = E.__mro__
3945 D_mro_before = D.__mro__
Armin Rigofd163f92005-12-29 15:59:19 +00003946
Armin Rigofd163f92005-12-29 15:59:19 +00003947 try:
Georg Brandl479a7e72008-02-05 18:13:15 +00003948 D.__bases__ = (C2,)
3949 except RuntimeError:
3950 self.assertEqual(E.__mro__, E_mro_before)
3951 self.assertEqual(D.__mro__, D_mro_before)
3952 else:
3953 self.fail("exception not propagated")
3954
3955 def test_mutable_bases_catch_mro_conflict(self):
3956 # Testing mutable bases catch mro conflict...
3957 class A(object):
3958 pass
3959
3960 class B(object):
3961 pass
3962
3963 class C(A, B):
3964 pass
3965
3966 class D(A, B):
3967 pass
3968
3969 class E(C, D):
3970 pass
3971
3972 try:
3973 C.__bases__ = (B, A)
Armin Rigofd163f92005-12-29 15:59:19 +00003974 except TypeError:
3975 pass
3976 else:
Georg Brandl479a7e72008-02-05 18:13:15 +00003977 self.fail("didn't catch MRO conflict")
Armin Rigofd163f92005-12-29 15:59:19 +00003978
Georg Brandl479a7e72008-02-05 18:13:15 +00003979 def test_mutable_names(self):
3980 # Testing mutable names...
3981 class C(object):
3982 pass
3983
3984 # C.__module__ could be 'test_descr' or '__main__'
3985 mod = C.__module__
3986
3987 C.__name__ = 'D'
3988 self.assertEqual((C.__module__, C.__name__), (mod, 'D'))
3989
3990 C.__name__ = 'D.E'
3991 self.assertEqual((C.__module__, C.__name__), (mod, 'D.E'))
3992
Mark Dickinson64aafeb2013-04-13 15:26:58 +01003993 def test_evil_type_name(self):
3994 # A badly placed Py_DECREF in type_set_name led to arbitrary code
3995 # execution while the type structure was not in a sane state, and a
3996 # possible segmentation fault as a result. See bug #16447.
3997 class Nasty(str):
3998 def __del__(self):
3999 C.__name__ = "other"
4000
4001 class C:
4002 pass
4003
4004 C.__name__ = Nasty("abc")
4005 C.__name__ = "normal"
4006
Georg Brandl479a7e72008-02-05 18:13:15 +00004007 def test_subclass_right_op(self):
4008 # Testing correct dispatch of subclass overloading __r<op>__...
4009
4010 # This code tests various cases where right-dispatch of a subclass
4011 # should be preferred over left-dispatch of a base class.
4012
4013 # Case 1: subclass of int; this tests code in abstract.c::binary_op1()
4014
4015 class B(int):
4016 def __floordiv__(self, other):
4017 return "B.__floordiv__"
4018 def __rfloordiv__(self, other):
4019 return "B.__rfloordiv__"
4020
4021 self.assertEqual(B(1) // 1, "B.__floordiv__")
4022 self.assertEqual(1 // B(1), "B.__rfloordiv__")
4023
4024 # Case 2: subclass of object; this is just the baseline for case 3
4025
4026 class C(object):
4027 def __floordiv__(self, other):
4028 return "C.__floordiv__"
4029 def __rfloordiv__(self, other):
4030 return "C.__rfloordiv__"
4031
4032 self.assertEqual(C() // 1, "C.__floordiv__")
4033 self.assertEqual(1 // C(), "C.__rfloordiv__")
4034
4035 # Case 3: subclass of new-style class; here it gets interesting
4036
4037 class D(C):
4038 def __floordiv__(self, other):
4039 return "D.__floordiv__"
4040 def __rfloordiv__(self, other):
4041 return "D.__rfloordiv__"
4042
4043 self.assertEqual(D() // C(), "D.__floordiv__")
4044 self.assertEqual(C() // D(), "D.__rfloordiv__")
4045
4046 # Case 4: this didn't work right in 2.2.2 and 2.3a1
4047
4048 class E(C):
4049 pass
4050
4051 self.assertEqual(E.__rfloordiv__, C.__rfloordiv__)
4052
4053 self.assertEqual(E() // 1, "C.__floordiv__")
4054 self.assertEqual(1 // E(), "C.__rfloordiv__")
4055 self.assertEqual(E() // C(), "C.__floordiv__")
4056 self.assertEqual(C() // E(), "C.__floordiv__") # This one would fail
4057
Benjamin Petersone549ead2009-03-28 21:42:05 +00004058 @support.impl_detail("testing an internal kind of method object")
Georg Brandl479a7e72008-02-05 18:13:15 +00004059 def test_meth_class_get(self):
4060 # Testing __get__ method of METH_CLASS C methods...
4061 # Full coverage of descrobject.c::classmethod_get()
4062
4063 # Baseline
4064 arg = [1, 2, 3]
4065 res = {1: None, 2: None, 3: None}
4066 self.assertEqual(dict.fromkeys(arg), res)
4067 self.assertEqual({}.fromkeys(arg), res)
4068
4069 # Now get the descriptor
4070 descr = dict.__dict__["fromkeys"]
4071
4072 # More baseline using the descriptor directly
4073 self.assertEqual(descr.__get__(None, dict)(arg), res)
4074 self.assertEqual(descr.__get__({})(arg), res)
4075
4076 # Now check various error cases
4077 try:
4078 descr.__get__(None, None)
4079 except TypeError:
4080 pass
4081 else:
4082 self.fail("shouldn't have allowed descr.__get__(None, None)")
4083 try:
4084 descr.__get__(42)
4085 except TypeError:
4086 pass
4087 else:
4088 self.fail("shouldn't have allowed descr.__get__(42)")
4089 try:
4090 descr.__get__(None, 42)
4091 except TypeError:
4092 pass
4093 else:
4094 self.fail("shouldn't have allowed descr.__get__(None, 42)")
4095 try:
4096 descr.__get__(None, int)
4097 except TypeError:
4098 pass
4099 else:
4100 self.fail("shouldn't have allowed descr.__get__(None, int)")
4101
4102 def test_isinst_isclass(self):
4103 # Testing proxy isinstance() and isclass()...
4104 class Proxy(object):
4105 def __init__(self, obj):
4106 self.__obj = obj
4107 def __getattribute__(self, name):
4108 if name.startswith("_Proxy__"):
4109 return object.__getattribute__(self, name)
4110 else:
4111 return getattr(self.__obj, name)
4112 # Test with a classic class
4113 class C:
4114 pass
4115 a = C()
4116 pa = Proxy(a)
Ezio Melottie9615932010-01-24 19:26:24 +00004117 self.assertIsInstance(a, C) # Baseline
4118 self.assertIsInstance(pa, C) # Test
Georg Brandl479a7e72008-02-05 18:13:15 +00004119 # Test with a classic subclass
4120 class D(C):
4121 pass
4122 a = D()
4123 pa = Proxy(a)
Ezio Melottie9615932010-01-24 19:26:24 +00004124 self.assertIsInstance(a, C) # Baseline
4125 self.assertIsInstance(pa, C) # Test
Georg Brandl479a7e72008-02-05 18:13:15 +00004126 # Test with a new-style class
4127 class C(object):
4128 pass
4129 a = C()
4130 pa = Proxy(a)
Ezio Melottie9615932010-01-24 19:26:24 +00004131 self.assertIsInstance(a, C) # Baseline
4132 self.assertIsInstance(pa, C) # Test
Georg Brandl479a7e72008-02-05 18:13:15 +00004133 # Test with a new-style subclass
4134 class D(C):
4135 pass
4136 a = D()
4137 pa = Proxy(a)
Ezio Melottie9615932010-01-24 19:26:24 +00004138 self.assertIsInstance(a, C) # Baseline
4139 self.assertIsInstance(pa, C) # Test
Georg Brandl479a7e72008-02-05 18:13:15 +00004140
4141 def test_proxy_super(self):
4142 # Testing super() for a proxy object...
4143 class Proxy(object):
4144 def __init__(self, obj):
4145 self.__obj = obj
4146 def __getattribute__(self, name):
4147 if name.startswith("_Proxy__"):
4148 return object.__getattribute__(self, name)
4149 else:
4150 return getattr(self.__obj, name)
4151
4152 class B(object):
4153 def f(self):
4154 return "B.f"
4155
4156 class C(B):
4157 def f(self):
4158 return super(C, self).f() + "->C.f"
4159
4160 obj = C()
4161 p = Proxy(obj)
4162 self.assertEqual(C.__dict__["f"](p), "B.f->C.f")
4163
4164 def test_carloverre(self):
4165 # Testing prohibition of Carlo Verre's hack...
4166 try:
4167 object.__setattr__(str, "foo", 42)
4168 except TypeError:
4169 pass
4170 else:
Ezio Melotti13925002011-03-16 11:05:33 +02004171 self.fail("Carlo Verre __setattr__ succeeded!")
Georg Brandl479a7e72008-02-05 18:13:15 +00004172 try:
4173 object.__delattr__(str, "lower")
4174 except TypeError:
4175 pass
4176 else:
4177 self.fail("Carlo Verre __delattr__ succeeded!")
4178
4179 def test_weakref_segfault(self):
4180 # Testing weakref segfault...
4181 # SF 742911
4182 import weakref
4183
4184 class Provoker:
4185 def __init__(self, referrent):
4186 self.ref = weakref.ref(referrent)
4187
4188 def __del__(self):
4189 x = self.ref()
4190
4191 class Oops(object):
4192 pass
4193
4194 o = Oops()
4195 o.whatever = Provoker(o)
4196 del o
4197
4198 def test_wrapper_segfault(self):
4199 # SF 927248: deeply nested wrappers could cause stack overflow
4200 f = lambda:None
4201 for i in range(1000000):
4202 f = f.__call__
4203 f = None
4204
4205 def test_file_fault(self):
4206 # Testing sys.stdout is changed in getattr...
Nick Coghlan6ead5522009-10-18 13:19:33 +00004207 test_stdout = sys.stdout
Georg Brandl479a7e72008-02-05 18:13:15 +00004208 class StdoutGuard:
4209 def __getattr__(self, attr):
4210 sys.stdout = sys.__stdout__
4211 raise RuntimeError("Premature access to sys.stdout.%s" % attr)
4212 sys.stdout = StdoutGuard()
4213 try:
4214 print("Oops!")
4215 except RuntimeError:
4216 pass
Nick Coghlan6ead5522009-10-18 13:19:33 +00004217 finally:
4218 sys.stdout = test_stdout
Georg Brandl479a7e72008-02-05 18:13:15 +00004219
4220 def test_vicious_descriptor_nonsense(self):
4221 # Testing vicious_descriptor_nonsense...
4222
4223 # A potential segfault spotted by Thomas Wouters in mail to
4224 # python-dev 2003-04-17, turned into an example & fixed by Michael
4225 # Hudson just less than four months later...
4226
4227 class Evil(object):
4228 def __hash__(self):
4229 return hash('attr')
4230 def __eq__(self, other):
4231 del C.attr
4232 return 0
4233
4234 class Descr(object):
4235 def __get__(self, ob, type=None):
4236 return 1
4237
4238 class C(object):
4239 attr = Descr()
4240
4241 c = C()
4242 c.__dict__[Evil()] = 0
4243
4244 self.assertEqual(c.attr, 1)
4245 # this makes a crash more likely:
Benjamin Petersone549ead2009-03-28 21:42:05 +00004246 support.gc_collect()
Georg Brandl479a7e72008-02-05 18:13:15 +00004247 self.assertEqual(hasattr(c, 'attr'), False)
4248
4249 def test_init(self):
4250 # SF 1155938
4251 class Foo(object):
4252 def __init__(self):
4253 return 10
4254 try:
4255 Foo()
4256 except TypeError:
4257 pass
4258 else:
4259 self.fail("did not test __init__() for None return")
4260
4261 def test_method_wrapper(self):
4262 # Testing method-wrapper objects...
4263 # <type 'method-wrapper'> did not support any reflection before 2.5
4264
Mark Dickinson211c6252009-02-01 10:28:51 +00004265 # XXX should methods really support __eq__?
Georg Brandl479a7e72008-02-05 18:13:15 +00004266
4267 l = []
4268 self.assertEqual(l.__add__, l.__add__)
4269 self.assertEqual(l.__add__, [].__add__)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00004270 self.assertTrue(l.__add__ != [5].__add__)
4271 self.assertTrue(l.__add__ != l.__mul__)
4272 self.assertTrue(l.__add__.__name__ == '__add__')
Benjamin Petersone549ead2009-03-28 21:42:05 +00004273 if hasattr(l.__add__, '__self__'):
4274 # CPython
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00004275 self.assertTrue(l.__add__.__self__ is l)
4276 self.assertTrue(l.__add__.__objclass__ is list)
Benjamin Petersone549ead2009-03-28 21:42:05 +00004277 else:
4278 # Python implementations where [].__add__ is a normal bound method
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00004279 self.assertTrue(l.__add__.im_self is l)
4280 self.assertTrue(l.__add__.im_class is list)
Georg Brandl479a7e72008-02-05 18:13:15 +00004281 self.assertEqual(l.__add__.__doc__, list.__add__.__doc__)
4282 try:
4283 hash(l.__add__)
4284 except TypeError:
4285 pass
4286 else:
4287 self.fail("no TypeError from hash([].__add__)")
4288
4289 t = ()
4290 t += (7,)
4291 self.assertEqual(t.__add__, (7,).__add__)
4292 self.assertEqual(hash(t.__add__), hash((7,).__add__))
4293
4294 def test_not_implemented(self):
4295 # Testing NotImplemented...
4296 # all binary methods should be able to return a NotImplemented
Georg Brandl479a7e72008-02-05 18:13:15 +00004297 import operator
4298
4299 def specialmethod(self, other):
4300 return NotImplemented
4301
4302 def check(expr, x, y):
4303 try:
4304 exec(expr, {'x': x, 'y': y, 'operator': operator})
4305 except TypeError:
4306 pass
4307 else:
4308 self.fail("no TypeError from %r" % (expr,))
4309
4310 N1 = sys.maxsize + 1 # might trigger OverflowErrors instead of
4311 # TypeErrors
4312 N2 = sys.maxsize # if sizeof(int) < sizeof(long), might trigger
4313 # ValueErrors instead of TypeErrors
Armin Rigofd163f92005-12-29 15:59:19 +00004314 for name, expr, iexpr in [
4315 ('__add__', 'x + y', 'x += y'),
4316 ('__sub__', 'x - y', 'x -= y'),
4317 ('__mul__', 'x * y', 'x *= y'),
Georg Brandl479a7e72008-02-05 18:13:15 +00004318 ('__truediv__', 'operator.truediv(x, y)', None),
4319 ('__floordiv__', 'operator.floordiv(x, y)', None),
4320 ('__div__', 'x / y', 'x /= y'),
Armin Rigofd163f92005-12-29 15:59:19 +00004321 ('__mod__', 'x % y', 'x %= y'),
4322 ('__divmod__', 'divmod(x, y)', None),
4323 ('__pow__', 'x ** y', 'x **= y'),
4324 ('__lshift__', 'x << y', 'x <<= y'),
4325 ('__rshift__', 'x >> y', 'x >>= y'),
4326 ('__and__', 'x & y', 'x &= y'),
4327 ('__or__', 'x | y', 'x |= y'),
Georg Brandl479a7e72008-02-05 18:13:15 +00004328 ('__xor__', 'x ^ y', 'x ^= y')]:
Neal Norwitz4886cc32006-08-21 17:06:07 +00004329 rname = '__r' + name[2:]
Georg Brandl479a7e72008-02-05 18:13:15 +00004330 A = type('A', (), {name: specialmethod})
Armin Rigofd163f92005-12-29 15:59:19 +00004331 a = A()
Armin Rigofd163f92005-12-29 15:59:19 +00004332 check(expr, a, a)
Armin Rigofd163f92005-12-29 15:59:19 +00004333 check(expr, a, N1)
4334 check(expr, a, N2)
Armin Rigofd163f92005-12-29 15:59:19 +00004335 if iexpr:
4336 check(iexpr, a, a)
Armin Rigofd163f92005-12-29 15:59:19 +00004337 check(iexpr, a, N1)
4338 check(iexpr, a, N2)
4339 iname = '__i' + name[2:]
Georg Brandl479a7e72008-02-05 18:13:15 +00004340 C = type('C', (), {iname: specialmethod})
Armin Rigofd163f92005-12-29 15:59:19 +00004341 c = C()
4342 check(iexpr, c, a)
Armin Rigofd163f92005-12-29 15:59:19 +00004343 check(iexpr, c, N1)
4344 check(iexpr, c, N2)
4345
Georg Brandl479a7e72008-02-05 18:13:15 +00004346 def test_assign_slice(self):
4347 # ceval.c's assign_slice used to check for
4348 # tp->tp_as_sequence->sq_slice instead of
4349 # tp->tp_as_sequence->sq_ass_slice
Guido van Rossumd8faa362007-04-27 19:54:29 +00004350
Georg Brandl479a7e72008-02-05 18:13:15 +00004351 class C(object):
4352 def __setitem__(self, idx, value):
4353 self.value = value
Guido van Rossumd8faa362007-04-27 19:54:29 +00004354
Georg Brandl479a7e72008-02-05 18:13:15 +00004355 c = C()
4356 c[1:2] = 3
4357 self.assertEqual(c.value, 3)
Guido van Rossumd8faa362007-04-27 19:54:29 +00004358
Benjamin Peterson5e55b3e2010-02-03 02:35:45 +00004359 def test_set_and_no_get(self):
4360 # See
4361 # http://mail.python.org/pipermail/python-dev/2010-January/095637.html
4362 class Descr(object):
4363
4364 def __init__(self, name):
4365 self.name = name
4366
4367 def __set__(self, obj, value):
4368 obj.__dict__[self.name] = value
4369 descr = Descr("a")
4370
4371 class X(object):
4372 a = descr
4373
4374 x = X()
4375 self.assertIs(x.a, descr)
4376 x.a = 42
4377 self.assertEqual(x.a, 42)
4378
Benjamin Peterson21896a32010-03-21 22:03:03 +00004379 # Also check type_getattro for correctness.
4380 class Meta(type):
4381 pass
4382 class X(object):
4383 __metaclass__ = Meta
4384 X.a = 42
4385 Meta.a = Descr("a")
4386 self.assertEqual(X.a, 42)
4387
Benjamin Peterson9262b842008-11-17 22:45:50 +00004388 def test_getattr_hooks(self):
4389 # issue 4230
4390
4391 class Descriptor(object):
4392 counter = 0
4393 def __get__(self, obj, objtype=None):
4394 def getter(name):
4395 self.counter += 1
4396 raise AttributeError(name)
4397 return getter
4398
4399 descr = Descriptor()
4400 class A(object):
4401 __getattribute__ = descr
4402 class B(object):
4403 __getattr__ = descr
4404 class C(object):
4405 __getattribute__ = descr
4406 __getattr__ = descr
4407
4408 self.assertRaises(AttributeError, getattr, A(), "attr")
Ezio Melottib3aedd42010-11-20 19:04:17 +00004409 self.assertEqual(descr.counter, 1)
Benjamin Peterson9262b842008-11-17 22:45:50 +00004410 self.assertRaises(AttributeError, getattr, B(), "attr")
Ezio Melottib3aedd42010-11-20 19:04:17 +00004411 self.assertEqual(descr.counter, 2)
Benjamin Peterson9262b842008-11-17 22:45:50 +00004412 self.assertRaises(AttributeError, getattr, C(), "attr")
Ezio Melottib3aedd42010-11-20 19:04:17 +00004413 self.assertEqual(descr.counter, 4)
Benjamin Peterson9262b842008-11-17 22:45:50 +00004414
Benjamin Peterson9262b842008-11-17 22:45:50 +00004415 class EvilGetattribute(object):
4416 # This used to segfault
4417 def __getattr__(self, name):
4418 raise AttributeError(name)
4419 def __getattribute__(self, name):
4420 del EvilGetattribute.__getattr__
4421 for i in range(5):
4422 gc.collect()
4423 raise AttributeError(name)
4424
4425 self.assertRaises(AttributeError, getattr, EvilGetattribute(), "attr")
4426
Benjamin Peterson16d84ac2012-03-16 09:32:59 -05004427 def test_type___getattribute__(self):
4428 self.assertRaises(TypeError, type.__getattribute__, list, type)
4429
Benjamin Peterson477ba912011-01-12 15:34:01 +00004430 def test_abstractmethods(self):
Benjamin Peterson5e8dada2011-01-12 15:25:02 +00004431 # type pretends not to have __abstractmethods__.
4432 self.assertRaises(AttributeError, getattr, type, "__abstractmethods__")
4433 class meta(type):
4434 pass
4435 self.assertRaises(AttributeError, getattr, meta, "__abstractmethods__")
Benjamin Peterson477ba912011-01-12 15:34:01 +00004436 class X(object):
4437 pass
4438 with self.assertRaises(AttributeError):
4439 del X.__abstractmethods__
Benjamin Peterson5e8dada2011-01-12 15:25:02 +00004440
Victor Stinner3249dec2011-05-01 23:19:15 +02004441 def test_proxy_call(self):
4442 class FakeStr:
4443 __class__ = str
4444
4445 fake_str = FakeStr()
4446 # isinstance() reads __class__
4447 self.assertTrue(isinstance(fake_str, str))
4448
4449 # call a method descriptor
4450 with self.assertRaises(TypeError):
4451 str.split(fake_str)
4452
4453 # call a slot wrapper descriptor
4454 with self.assertRaises(TypeError):
4455 str.__add__(fake_str, "abc")
4456
Antoine Pitrou8cdc40e2011-07-15 21:15:07 +02004457 def test_repr_as_str(self):
4458 # Issue #11603: crash or infinite loop when rebinding __str__ as
4459 # __repr__.
4460 class Foo:
4461 pass
4462 Foo.__repr__ = Foo.__str__
4463 foo = Foo()
Benjamin Peterson7b166872012-04-24 11:06:25 -04004464 self.assertRaises(RuntimeError, str, foo)
4465 self.assertRaises(RuntimeError, repr, foo)
4466
4467 def test_mixing_slot_wrappers(self):
4468 class X(dict):
4469 __setattr__ = dict.__setitem__
4470 x = X()
4471 x.y = 42
4472 self.assertEqual(x["y"], 42)
Christian Heimesbbffeb62008-01-24 09:42:52 +00004473
Benjamin Petersonaf3dcd22011-08-17 11:48:23 -05004474 def test_slot_shadows_class_variable(self):
Benjamin Petersonc4085c82011-08-16 18:53:26 -05004475 with self.assertRaises(ValueError) as cm:
4476 class X:
4477 __slots__ = ["foo"]
4478 foo = None
4479 m = str(cm.exception)
4480 self.assertEqual("'foo' in __slots__ conflicts with class variable", m)
4481
Benjamin Peterson01fc6cd2011-08-17 12:03:47 -05004482 def test_set_doc(self):
4483 class X:
4484 "elephant"
4485 X.__doc__ = "banana"
4486 self.assertEqual(X.__doc__, "banana")
4487 with self.assertRaises(TypeError) as cm:
4488 type(list).__dict__["__doc__"].__set__(list, "blah")
4489 self.assertIn("can't set list.__doc__", str(cm.exception))
4490 with self.assertRaises(TypeError) as cm:
4491 type(X).__dict__["__doc__"].__delete__(X)
4492 self.assertIn("can't delete X.__doc__", str(cm.exception))
4493 self.assertEqual(X.__doc__, "banana")
4494
Antoine Pitrou9d574812011-12-12 13:47:25 +01004495 def test_qualname(self):
4496 descriptors = [str.lower, complex.real, float.real, int.__add__]
4497 types = ['method', 'member', 'getset', 'wrapper']
4498
4499 # make sure we have an example of each type of descriptor
4500 for d, n in zip(descriptors, types):
4501 self.assertEqual(type(d).__name__, n + '_descriptor')
4502
4503 for d in descriptors:
4504 qualname = d.__objclass__.__qualname__ + '.' + d.__name__
4505 self.assertEqual(d.__qualname__, qualname)
4506
4507 self.assertEqual(str.lower.__qualname__, 'str.lower')
4508 self.assertEqual(complex.real.__qualname__, 'complex.real')
4509 self.assertEqual(float.real.__qualname__, 'float.real')
4510 self.assertEqual(int.__add__.__qualname__, 'int.__add__')
4511
Benjamin Peterson2c05a2e2012-10-31 00:01:15 -04004512 class X:
4513 pass
4514 with self.assertRaises(TypeError):
4515 del X.__qualname__
4516
4517 self.assertRaises(TypeError, type.__dict__['__qualname__'].__set__,
4518 str, 'Oink')
4519
Victor Stinner6f738742012-02-25 01:22:36 +01004520 def test_qualname_dict(self):
4521 ns = {'__qualname__': 'some.name'}
4522 tp = type('Foo', (), ns)
4523 self.assertEqual(tp.__qualname__, 'some.name')
Benjamin Peterson8afa7fa2012-10-30 23:51:03 -04004524 self.assertNotIn('__qualname__', tp.__dict__)
Victor Stinner6f738742012-02-25 01:22:36 +01004525 self.assertEqual(ns, {'__qualname__': 'some.name'})
4526
4527 ns = {'__qualname__': 1}
4528 self.assertRaises(TypeError, type, 'Foo', (), ns)
4529
Benjamin Peterson52c42432012-03-07 18:41:11 -06004530 def test_cycle_through_dict(self):
4531 # See bug #1469629
4532 class X(dict):
4533 def __init__(self):
4534 dict.__init__(self)
4535 self.__dict__ = self
4536 x = X()
4537 x.attr = 42
4538 wr = weakref.ref(x)
4539 del x
4540 support.gc_collect()
4541 self.assertIsNone(wr())
4542 for o in gc.get_objects():
4543 self.assertIsNot(type(o), X)
4544
Benjamin Peterson96384b92012-03-17 00:05:44 -05004545 def test_object_new_and_init_with_parameters(self):
4546 # See issue #1683368
4547 class OverrideNeither:
4548 pass
4549 self.assertRaises(TypeError, OverrideNeither, 1)
4550 self.assertRaises(TypeError, OverrideNeither, kw=1)
4551 class OverrideNew:
4552 def __new__(cls, foo, kw=0, *args, **kwds):
4553 return object.__new__(cls, *args, **kwds)
4554 class OverrideInit:
4555 def __init__(self, foo, kw=0, *args, **kwargs):
4556 return object.__init__(self, *args, **kwargs)
4557 class OverrideBoth(OverrideNew, OverrideInit):
4558 pass
4559 for case in OverrideNew, OverrideInit, OverrideBoth:
4560 case(1)
4561 case(1, kw=2)
4562 self.assertRaises(TypeError, case, 1, 2, 3)
4563 self.assertRaises(TypeError, case, 1, 2, foo=3)
4564
Antoine Pitrou9d574812011-12-12 13:47:25 +01004565
Georg Brandl479a7e72008-02-05 18:13:15 +00004566class DictProxyTests(unittest.TestCase):
4567 def setUp(self):
4568 class C(object):
4569 def meth(self):
4570 pass
4571 self.C = C
Christian Heimesbbffeb62008-01-24 09:42:52 +00004572
Brett Cannon7a540732011-02-22 03:04:06 +00004573 @unittest.skipIf(hasattr(sys, 'gettrace') and sys.gettrace(),
4574 'trace function introduces __local__')
Georg Brandl479a7e72008-02-05 18:13:15 +00004575 def test_iter_keys(self):
Benjamin Peterson0eb7f862010-12-07 03:46:27 +00004576 # Testing dict-proxy keys...
4577 it = self.C.__dict__.keys()
4578 self.assertNotIsInstance(it, list)
4579 keys = list(it)
Georg Brandl479a7e72008-02-05 18:13:15 +00004580 keys.sort()
Ezio Melottib3aedd42010-11-20 19:04:17 +00004581 self.assertEqual(keys, ['__dict__', '__doc__', '__module__',
Benjamin Peterson8afa7fa2012-10-30 23:51:03 -04004582 '__weakref__', 'meth'])
Christian Heimesbbffeb62008-01-24 09:42:52 +00004583
Brett Cannon7a540732011-02-22 03:04:06 +00004584 @unittest.skipIf(hasattr(sys, 'gettrace') and sys.gettrace(),
4585 'trace function introduces __local__')
Georg Brandl479a7e72008-02-05 18:13:15 +00004586 def test_iter_values(self):
Benjamin Peterson0eb7f862010-12-07 03:46:27 +00004587 # Testing dict-proxy values...
4588 it = self.C.__dict__.values()
4589 self.assertNotIsInstance(it, list)
4590 values = list(it)
Benjamin Peterson8afa7fa2012-10-30 23:51:03 -04004591 self.assertEqual(len(values), 5)
Christian Heimesbbffeb62008-01-24 09:42:52 +00004592
Brett Cannon7a540732011-02-22 03:04:06 +00004593 @unittest.skipIf(hasattr(sys, 'gettrace') and sys.gettrace(),
4594 'trace function introduces __local__')
Georg Brandl479a7e72008-02-05 18:13:15 +00004595 def test_iter_items(self):
4596 # Testing dict-proxy iteritems...
Benjamin Peterson0eb7f862010-12-07 03:46:27 +00004597 it = self.C.__dict__.items()
4598 self.assertNotIsInstance(it, list)
4599 keys = [item[0] for item in it]
Georg Brandl479a7e72008-02-05 18:13:15 +00004600 keys.sort()
4601 self.assertEqual(keys, ['__dict__', '__doc__', '__module__',
Benjamin Peterson8afa7fa2012-10-30 23:51:03 -04004602 '__weakref__', 'meth'])
Christian Heimesbbffeb62008-01-24 09:42:52 +00004603
Georg Brandl479a7e72008-02-05 18:13:15 +00004604 def test_dict_type_with_metaclass(self):
4605 # Testing type of __dict__ when metaclass set...
4606 class B(object):
4607 pass
4608 class M(type):
4609 pass
4610 class C(metaclass=M):
4611 # In 2.3a1, C.__dict__ was a real dict rather than a dict proxy
4612 pass
4613 self.assertEqual(type(C.__dict__), type(B.__dict__))
Christian Heimesbbffeb62008-01-24 09:42:52 +00004614
Ezio Melottiac53ab62010-12-18 14:59:43 +00004615 def test_repr(self):
Victor Stinner0db176f2012-04-16 00:16:30 +02004616 # Testing mappingproxy.__repr__.
Antoine Pitrou86a36b52011-11-25 18:56:07 +01004617 # We can't blindly compare with the repr of another dict as ordering
4618 # of keys and values is arbitrary and may differ.
4619 r = repr(self.C.__dict__)
Victor Stinner0db176f2012-04-16 00:16:30 +02004620 self.assertTrue(r.startswith('mappingproxy('), r)
Antoine Pitrou86a36b52011-11-25 18:56:07 +01004621 self.assertTrue(r.endswith(')'), r)
4622 for k, v in self.C.__dict__.items():
4623 self.assertIn('{!r}: {!r}'.format(k, v), r)
Ezio Melottiac53ab62010-12-18 14:59:43 +00004624
Christian Heimesbbffeb62008-01-24 09:42:52 +00004625
Georg Brandl479a7e72008-02-05 18:13:15 +00004626class PTypesLongInitTest(unittest.TestCase):
4627 # This is in its own TestCase so that it can be run before any other tests.
4628 def test_pytype_long_ready(self):
4629 # Testing SF bug 551412 ...
Christian Heimesbbffeb62008-01-24 09:42:52 +00004630
Georg Brandl479a7e72008-02-05 18:13:15 +00004631 # This dumps core when SF bug 551412 isn't fixed --
4632 # but only when test_descr.py is run separately.
4633 # (That can't be helped -- as soon as PyType_Ready()
4634 # is called for PyLong_Type, the bug is gone.)
4635 class UserLong(object):
4636 def __pow__(self, *args):
4637 pass
4638 try:
4639 pow(0, UserLong(), 0)
4640 except:
4641 pass
Christian Heimesbbffeb62008-01-24 09:42:52 +00004642
Georg Brandl479a7e72008-02-05 18:13:15 +00004643 # Another segfault only when run early
4644 # (before PyType_Ready(tuple) is called)
4645 type.mro(tuple)
Christian Heimes969fe572008-01-25 11:23:10 +00004646
4647
Victor Stinnerd74782b2012-03-09 00:39:08 +01004648class MiscTests(unittest.TestCase):
4649 def test_type_lookup_mro_reference(self):
4650 # Issue #14199: _PyType_Lookup() has to keep a strong reference to
4651 # the type MRO because it may be modified during the lookup, if
4652 # __bases__ is set during the lookup for example.
4653 class MyKey(object):
4654 def __hash__(self):
4655 return hash('mykey')
4656
4657 def __eq__(self, other):
4658 X.__bases__ = (Base2,)
4659
4660 class Base(object):
4661 mykey = 'from Base'
4662 mykey2 = 'from Base'
4663
4664 class Base2(object):
4665 mykey = 'from Base2'
4666 mykey2 = 'from Base2'
4667
4668 X = type('X', (Base,), {MyKey(): 5})
4669 # mykey is read from Base
4670 self.assertEqual(X.mykey, 'from Base')
4671 # mykey2 is read from Base2 because MyKey.__eq__ has set __bases__
4672 self.assertEqual(X.mykey2, 'from Base2')
4673
4674
Guido van Rossuma56b42b2001-09-20 21:39:07 +00004675def test_main():
Georg Brandl479a7e72008-02-05 18:13:15 +00004676 # Run all local test cases, with PTypesLongInitTest first.
Benjamin Petersonee8712c2008-05-20 21:35:26 +00004677 support.run_unittest(PTypesLongInitTest, OperatorsTest,
Victor Stinnerd74782b2012-03-09 00:39:08 +01004678 ClassPropertiesAndMethods, DictProxyTests,
4679 MiscTests)
Tim Peters6d6c1a32001-08-02 04:15:00 +00004680
Guido van Rossuma56b42b2001-09-20 21:39:07 +00004681if __name__ == "__main__":
4682 test_main()