blob: 3c0bae0ccc73cf529ad8e3b85e817324a67f9583 [file] [log] [blame]
Guido van Rossum360e4b82007-05-14 22:51:27 +00001import types
Georg Brandl479a7e72008-02-05 18:13:15 +00002import unittest
3import warnings
Tim Peters4d9b4662002-04-16 01:59:17 +00004
Georg Brandl479a7e72008-02-05 18:13:15 +00005from copy import deepcopy
Benjamin Petersonee8712c2008-05-20 21:35:26 +00006from test import support
Guido van Rossum875eeaa2001-10-11 18:33:53 +00007
Tim Peters6d6c1a32001-08-02 04:15:00 +00008
Georg Brandl479a7e72008-02-05 18:13:15 +00009class OperatorsTest(unittest.TestCase):
Tim Peters3caca232001-12-06 06:23:26 +000010
Georg Brandl479a7e72008-02-05 18:13:15 +000011 def __init__(self, *args, **kwargs):
12 unittest.TestCase.__init__(self, *args, **kwargs)
13 self.binops = {
14 'add': '+',
15 'sub': '-',
16 'mul': '*',
17 'div': '/',
18 'divmod': 'divmod',
19 'pow': '**',
20 'lshift': '<<',
21 'rshift': '>>',
22 'and': '&',
23 'xor': '^',
24 'or': '|',
25 'cmp': 'cmp',
26 'lt': '<',
27 'le': '<=',
28 'eq': '==',
29 'ne': '!=',
30 'gt': '>',
31 'ge': '>=',
32 }
Tim Peters6d6c1a32001-08-02 04:15:00 +000033
Georg Brandl479a7e72008-02-05 18:13:15 +000034 for name, expr in list(self.binops.items()):
35 if expr.islower():
36 expr = expr + "(a, b)"
37 else:
38 expr = 'a %s b' % expr
39 self.binops[name] = expr
Tim Peters6d6c1a32001-08-02 04:15:00 +000040
Georg Brandl479a7e72008-02-05 18:13:15 +000041 self.unops = {
42 'pos': '+',
43 'neg': '-',
44 'abs': 'abs',
45 'invert': '~',
46 'int': 'int',
47 'float': 'float',
48 'oct': 'oct',
49 'hex': 'hex',
50 }
Tim Peters6d6c1a32001-08-02 04:15:00 +000051
Georg Brandl479a7e72008-02-05 18:13:15 +000052 for name, expr in list(self.unops.items()):
53 if expr.islower():
54 expr = expr + "(a)"
55 else:
56 expr = '%s a' % expr
57 self.unops[name] = expr
Tim Peters6d6c1a32001-08-02 04:15:00 +000058
Georg Brandl479a7e72008-02-05 18:13:15 +000059 def unop_test(self, a, res, expr="len(a)", meth="__len__"):
60 d = {'a': a}
61 self.assertEqual(eval(expr, d), res)
62 t = type(a)
63 m = getattr(t, meth)
Tim Peters6d6c1a32001-08-02 04:15:00 +000064
Georg Brandl479a7e72008-02-05 18:13:15 +000065 # Find method in parent class
66 while meth not in t.__dict__:
67 t = t.__bases__[0]
Tim Peters2f93e282001-10-04 05:27:00 +000068
Georg Brandl479a7e72008-02-05 18:13:15 +000069 self.assertEqual(m, t.__dict__[meth])
70 self.assertEqual(m(a), res)
71 bm = getattr(a, meth)
72 self.assertEqual(bm(), res)
Tim Peters2f93e282001-10-04 05:27:00 +000073
Georg Brandl479a7e72008-02-05 18:13:15 +000074 def binop_test(self, a, b, res, expr="a+b", meth="__add__"):
75 d = {'a': a, 'b': b}
Tim Peters2f93e282001-10-04 05:27:00 +000076
Georg Brandl479a7e72008-02-05 18:13:15 +000077 # XXX Hack so this passes before 2.3 when -Qnew is specified.
78 if meth == "__div__" and 1/2 == 0.5:
79 meth = "__truediv__"
Tim Peters2f93e282001-10-04 05:27:00 +000080
Georg Brandl479a7e72008-02-05 18:13:15 +000081 if meth == '__divmod__': pass
Tim Peters2f93e282001-10-04 05:27:00 +000082
Georg Brandl479a7e72008-02-05 18:13:15 +000083 self.assertEqual(eval(expr, d), res)
84 t = type(a)
85 m = getattr(t, meth)
86 while meth not in t.__dict__:
87 t = t.__bases__[0]
88 self.assertEqual(m, t.__dict__[meth])
89 self.assertEqual(m(a, b), res)
90 bm = getattr(a, meth)
91 self.assertEqual(bm(b), res)
Tim Peters2f93e282001-10-04 05:27:00 +000092
Georg Brandl479a7e72008-02-05 18:13:15 +000093 def sliceop_test(self, a, b, c, res, expr="a[b:c]", meth="__getitem__"):
94 d = {'a': a, 'b': b, 'c': c}
95 self.assertEqual(eval(expr, d), res)
96 t = type(a)
97 m = getattr(t, meth)
98 while meth not in t.__dict__:
99 t = t.__bases__[0]
100 self.assertEqual(m, t.__dict__[meth])
101 self.assertEqual(m(a, slice(b, c)), res)
102 bm = getattr(a, meth)
103 self.assertEqual(bm(slice(b, c)), res)
Tim Peters6d6c1a32001-08-02 04:15:00 +0000104
Georg Brandl479a7e72008-02-05 18:13:15 +0000105 def setop_test(self, a, b, res, stmt="a+=b", meth="__iadd__"):
106 d = {'a': deepcopy(a), 'b': b}
107 exec(stmt, d)
108 self.assertEqual(d['a'], res)
109 t = type(a)
110 m = getattr(t, meth)
111 while meth not in t.__dict__:
112 t = t.__bases__[0]
113 self.assertEqual(m, t.__dict__[meth])
114 d['a'] = deepcopy(a)
115 m(d['a'], b)
116 self.assertEqual(d['a'], res)
117 d['a'] = deepcopy(a)
118 bm = getattr(d['a'], meth)
119 bm(b)
120 self.assertEqual(d['a'], res)
Tim Peters6d6c1a32001-08-02 04:15:00 +0000121
Georg Brandl479a7e72008-02-05 18:13:15 +0000122 def set2op_test(self, a, b, c, res, stmt="a[b]=c", meth="__setitem__"):
123 d = {'a': deepcopy(a), 'b': b, 'c': c}
124 exec(stmt, d)
125 self.assertEqual(d['a'], res)
126 t = type(a)
127 m = getattr(t, meth)
128 while meth not in t.__dict__:
129 t = t.__bases__[0]
130 self.assertEqual(m, t.__dict__[meth])
131 d['a'] = deepcopy(a)
132 m(d['a'], b, c)
133 self.assertEqual(d['a'], res)
134 d['a'] = deepcopy(a)
135 bm = getattr(d['a'], meth)
136 bm(b, c)
137 self.assertEqual(d['a'], res)
138
139 def setsliceop_test(self, a, b, c, d, res, stmt="a[b:c]=d", meth="__setitem__"):
140 dictionary = {'a': deepcopy(a), 'b': b, 'c': c, 'd': d}
141 exec(stmt, dictionary)
142 self.assertEqual(dictionary['a'], res)
143 t = type(a)
144 while meth not in t.__dict__:
145 t = t.__bases__[0]
146 m = getattr(t, meth)
147 self.assertEqual(m, t.__dict__[meth])
148 dictionary['a'] = deepcopy(a)
149 m(dictionary['a'], slice(b, c), d)
150 self.assertEqual(dictionary['a'], res)
151 dictionary['a'] = deepcopy(a)
152 bm = getattr(dictionary['a'], meth)
153 bm(slice(b, c), d)
154 self.assertEqual(dictionary['a'], res)
155
156 def test_lists(self):
157 # Testing list operations...
158 # Asserts are within individual test methods
159 self.binop_test([1], [2], [1,2], "a+b", "__add__")
160 self.binop_test([1,2,3], 2, 1, "b in a", "__contains__")
161 self.binop_test([1,2,3], 4, 0, "b in a", "__contains__")
162 self.binop_test([1,2,3], 1, 2, "a[b]", "__getitem__")
163 self.sliceop_test([1,2,3], 0, 2, [1,2], "a[b:c]", "__getitem__")
164 self.setop_test([1], [2], [1,2], "a+=b", "__iadd__")
165 self.setop_test([1,2], 3, [1,2,1,2,1,2], "a*=b", "__imul__")
166 self.unop_test([1,2,3], 3, "len(a)", "__len__")
167 self.binop_test([1,2], 3, [1,2,1,2,1,2], "a*b", "__mul__")
168 self.binop_test([1,2], 3, [1,2,1,2,1,2], "b*a", "__rmul__")
169 self.set2op_test([1,2], 1, 3, [1,3], "a[b]=c", "__setitem__")
170 self.setsliceop_test([1,2,3,4], 1, 3, [5,6], [1,5,6,4], "a[b:c]=d",
171 "__setitem__")
172
173 def test_dicts(self):
174 # Testing dict operations...
175 ## self.binop_test({1:2}, {2:1}, -1, "cmp(a,b)", "__cmp__")
176 self.binop_test({1:2,3:4}, 1, 1, "b in a", "__contains__")
177 self.binop_test({1:2,3:4}, 2, 0, "b in a", "__contains__")
178 self.binop_test({1:2,3:4}, 1, 2, "a[b]", "__getitem__")
179
180 d = {1:2, 3:4}
181 l1 = []
182 for i in list(d.keys()):
183 l1.append(i)
184 l = []
185 for i in iter(d):
186 l.append(i)
187 self.assertEqual(l, l1)
188 l = []
189 for i in d.__iter__():
190 l.append(i)
191 self.assertEqual(l, l1)
192 l = []
193 for i in dict.__iter__(d):
194 l.append(i)
195 self.assertEqual(l, l1)
196 d = {1:2, 3:4}
197 self.unop_test(d, 2, "len(a)", "__len__")
198 self.assertEqual(eval(repr(d), {}), d)
199 self.assertEqual(eval(d.__repr__(), {}), d)
200 self.set2op_test({1:2,3:4}, 2, 3, {1:2,2:3,3:4}, "a[b]=c",
201 "__setitem__")
202
203 # Tests for unary and binary operators
204 def number_operators(self, a, b, skip=[]):
205 dict = {'a': a, 'b': b}
206
207 for name, expr in list(self.binops.items()):
208 if name not in skip:
209 name = "__%s__" % name
210 if hasattr(a, name):
211 res = eval(expr, dict)
212 self.binop_test(a, b, res, expr, name)
213
214 for name, expr in list(self.unops.items()):
215 if name not in skip:
216 name = "__%s__" % name
217 if hasattr(a, name):
218 res = eval(expr, dict)
219 self.unop_test(a, res, expr, name)
220
221 def test_ints(self):
222 # Testing int operations...
223 self.number_operators(100, 3)
224 # The following crashes in Python 2.2
225 self.assertEqual((1).__bool__(), 1)
226 self.assertEqual((0).__bool__(), 0)
227 # This returns 'NotImplemented' in Python 2.2
228 class C(int):
229 def __add__(self, other):
230 return NotImplemented
231 self.assertEqual(C(5), 5)
Tim Peters25786c02001-09-02 08:22:48 +0000232 try:
Georg Brandl479a7e72008-02-05 18:13:15 +0000233 C() + ""
Tim Peters25786c02001-09-02 08:22:48 +0000234 except TypeError:
235 pass
236 else:
Georg Brandl479a7e72008-02-05 18:13:15 +0000237 self.fail("NotImplemented should have caused TypeError")
Tim Peters25786c02001-09-02 08:22:48 +0000238
Georg Brandl479a7e72008-02-05 18:13:15 +0000239 def test_longs(self):
240 # Testing long operations...
241 self.number_operators(100, 3)
Tim Peters25786c02001-09-02 08:22:48 +0000242
Georg Brandl479a7e72008-02-05 18:13:15 +0000243 def test_floats(self):
244 # Testing float operations...
245 self.number_operators(100.0, 3.0)
Tim Peters25786c02001-09-02 08:22:48 +0000246
Georg Brandl479a7e72008-02-05 18:13:15 +0000247 def test_complexes(self):
248 # Testing complex operations...
249 self.number_operators(100.0j, 3.0j, skip=['lt', 'le', 'gt', 'ge',
250 'int', 'long', 'float',
251 'divmod', 'mod'])
Tim Peters25786c02001-09-02 08:22:48 +0000252
Georg Brandl479a7e72008-02-05 18:13:15 +0000253 class Number(complex):
254 __slots__ = ['prec']
255 def __new__(cls, *args, **kwds):
256 result = complex.__new__(cls, *args)
257 result.prec = kwds.get('prec', 12)
258 return result
259 def __repr__(self):
260 prec = self.prec
261 if self.imag == 0.0:
262 return "%.*g" % (prec, self.real)
263 if self.real == 0.0:
264 return "%.*gj" % (prec, self.imag)
265 return "(%.*g+%.*gj)" % (prec, self.real, prec, self.imag)
266 __str__ = __repr__
Tim Peters25786c02001-09-02 08:22:48 +0000267
Georg Brandl479a7e72008-02-05 18:13:15 +0000268 a = Number(3.14, prec=6)
269 self.assertEqual(repr(a), "3.14")
270 self.assertEqual(a.prec, 6)
Tim Peters1fc240e2001-10-26 05:06:50 +0000271
Georg Brandl479a7e72008-02-05 18:13:15 +0000272 a = Number(a, prec=2)
273 self.assertEqual(repr(a), "3.1")
274 self.assertEqual(a.prec, 2)
Tim Peters1fc240e2001-10-26 05:06:50 +0000275
Georg Brandl479a7e72008-02-05 18:13:15 +0000276 a = Number(234.5)
277 self.assertEqual(repr(a), "234.5")
278 self.assertEqual(a.prec, 12)
Tim Peters1fc240e2001-10-26 05:06:50 +0000279
Georg Brandl479a7e72008-02-05 18:13:15 +0000280 def test_spam_lists(self):
281 # Testing spamlist operations...
282 import copy, xxsubtype as spam
283
284 def spamlist(l, memo=None):
285 import xxsubtype as spam
286 return spam.spamlist(l)
287
288 # This is an ugly hack:
289 copy._deepcopy_dispatch[spam.spamlist] = spamlist
290
291 self.binop_test(spamlist([1]), spamlist([2]), spamlist([1,2]), "a+b",
292 "__add__")
293 self.binop_test(spamlist([1,2,3]), 2, 1, "b in a", "__contains__")
294 self.binop_test(spamlist([1,2,3]), 4, 0, "b in a", "__contains__")
295 self.binop_test(spamlist([1,2,3]), 1, 2, "a[b]", "__getitem__")
296 self.sliceop_test(spamlist([1,2,3]), 0, 2, spamlist([1,2]), "a[b:c]",
297 "__getitem__")
298 self.setop_test(spamlist([1]), spamlist([2]), spamlist([1,2]), "a+=b",
299 "__iadd__")
300 self.setop_test(spamlist([1,2]), 3, spamlist([1,2,1,2,1,2]), "a*=b",
301 "__imul__")
302 self.unop_test(spamlist([1,2,3]), 3, "len(a)", "__len__")
303 self.binop_test(spamlist([1,2]), 3, spamlist([1,2,1,2,1,2]), "a*b",
304 "__mul__")
305 self.binop_test(spamlist([1,2]), 3, spamlist([1,2,1,2,1,2]), "b*a",
306 "__rmul__")
307 self.set2op_test(spamlist([1,2]), 1, 3, spamlist([1,3]), "a[b]=c",
308 "__setitem__")
309 self.setsliceop_test(spamlist([1,2,3,4]), 1, 3, spamlist([5,6]),
310 spamlist([1,5,6,4]), "a[b:c]=d", "__setitem__")
311 # Test subclassing
312 class C(spam.spamlist):
313 def foo(self): return 1
314 a = C()
315 self.assertEqual(a, [])
316 self.assertEqual(a.foo(), 1)
317 a.append(100)
318 self.assertEqual(a, [100])
319 self.assertEqual(a.getstate(), 0)
320 a.setstate(42)
321 self.assertEqual(a.getstate(), 42)
322
323 def test_spam_dicts(self):
324 # Testing spamdict operations...
325 import copy, xxsubtype as spam
326 def spamdict(d, memo=None):
327 import xxsubtype as spam
328 sd = spam.spamdict()
329 for k, v in list(d.items()):
330 sd[k] = v
331 return sd
332 # This is an ugly hack:
333 copy._deepcopy_dispatch[spam.spamdict] = spamdict
334
335 ## self.binop_test(spamdict({1:2}), spamdict({2:1}), -1, "cmp(a,b)",
336 ## "__cmp__")
337 self.binop_test(spamdict({1:2,3:4}), 1, 1, "b in a", "__contains__")
338 self.binop_test(spamdict({1:2,3:4}), 2, 0, "b in a", "__contains__")
339 self.binop_test(spamdict({1:2,3:4}), 1, 2, "a[b]", "__getitem__")
340 d = spamdict({1:2,3:4})
341 l1 = []
342 for i in list(d.keys()):
343 l1.append(i)
344 l = []
345 for i in iter(d):
346 l.append(i)
347 self.assertEqual(l, l1)
348 l = []
349 for i in d.__iter__():
350 l.append(i)
351 self.assertEqual(l, l1)
352 l = []
353 for i in type(spamdict({})).__iter__(d):
354 l.append(i)
355 self.assertEqual(l, l1)
356 straightd = {1:2, 3:4}
357 spamd = spamdict(straightd)
358 self.unop_test(spamd, 2, "len(a)", "__len__")
359 self.unop_test(spamd, repr(straightd), "repr(a)", "__repr__")
360 self.set2op_test(spamdict({1:2,3:4}), 2, 3, spamdict({1:2,2:3,3:4}),
361 "a[b]=c", "__setitem__")
362 # Test subclassing
363 class C(spam.spamdict):
364 def foo(self): return 1
365 a = C()
366 self.assertEqual(list(a.items()), [])
367 self.assertEqual(a.foo(), 1)
368 a['foo'] = 'bar'
369 self.assertEqual(list(a.items()), [('foo', 'bar')])
370 self.assertEqual(a.getstate(), 0)
371 a.setstate(100)
372 self.assertEqual(a.getstate(), 100)
373
374class ClassPropertiesAndMethods(unittest.TestCase):
375
376 def test_python_dicts(self):
377 # Testing Python subclass of dict...
378 self.assert_(issubclass(dict, dict))
379 self.assert_(isinstance({}, dict))
380 d = dict()
381 self.assertEqual(d, {})
382 self.assert_(d.__class__ is dict)
383 self.assert_(isinstance(d, dict))
384 class C(dict):
385 state = -1
386 def __init__(self_local, *a, **kw):
387 if a:
388 self.assertEqual(len(a), 1)
389 self_local.state = a[0]
390 if kw:
391 for k, v in list(kw.items()):
392 self_local[v] = k
393 def __getitem__(self, key):
394 return self.get(key, 0)
395 def __setitem__(self_local, key, value):
396 self.assert_(isinstance(key, type(0)))
397 dict.__setitem__(self_local, key, value)
398 def setstate(self, state):
399 self.state = state
400 def getstate(self):
401 return self.state
402 self.assert_(issubclass(C, dict))
403 a1 = C(12)
404 self.assertEqual(a1.state, 12)
405 a2 = C(foo=1, bar=2)
406 self.assertEqual(a2[1] == 'foo' and a2[2], 'bar')
407 a = C()
408 self.assertEqual(a.state, -1)
409 self.assertEqual(a.getstate(), -1)
410 a.setstate(0)
411 self.assertEqual(a.state, 0)
412 self.assertEqual(a.getstate(), 0)
413 a.setstate(10)
414 self.assertEqual(a.state, 10)
415 self.assertEqual(a.getstate(), 10)
416 self.assertEqual(a[42], 0)
417 a[42] = 24
418 self.assertEqual(a[42], 24)
419 N = 50
420 for i in range(N):
421 a[i] = C()
422 for j in range(N):
423 a[i][j] = i*j
424 for i in range(N):
425 for j in range(N):
426 self.assertEqual(a[i][j], i*j)
427
428 def test_python_lists(self):
429 # Testing Python subclass of list...
430 class C(list):
431 def __getitem__(self, i):
432 if isinstance(i, slice):
433 return i.start, i.stop
434 return list.__getitem__(self, i) + 100
435 a = C()
436 a.extend([0,1,2])
437 self.assertEqual(a[0], 100)
438 self.assertEqual(a[1], 101)
439 self.assertEqual(a[2], 102)
440 self.assertEqual(a[100:200], (100,200))
441
442 def test_metaclass(self):
Georg Brandle81f5ef2008-05-27 20:34:09 +0000443 # Testing metaclasses...
Georg Brandl479a7e72008-02-05 18:13:15 +0000444 class C(metaclass=type):
445 def __init__(self):
446 self.__state = 0
447 def getstate(self):
448 return self.__state
449 def setstate(self, state):
450 self.__state = state
451 a = C()
452 self.assertEqual(a.getstate(), 0)
453 a.setstate(10)
454 self.assertEqual(a.getstate(), 10)
455 class _metaclass(type):
456 def myself(cls): return cls
457 class D(metaclass=_metaclass):
458 pass
459 self.assertEqual(D.myself(), D)
460 d = D()
461 self.assertEqual(d.__class__, D)
462 class M1(type):
463 def __new__(cls, name, bases, dict):
464 dict['__spam__'] = 1
465 return type.__new__(cls, name, bases, dict)
466 class C(metaclass=M1):
467 pass
468 self.assertEqual(C.__spam__, 1)
469 c = C()
470 self.assertEqual(c.__spam__, 1)
471
472 class _instance(object):
473 pass
474 class M2(object):
475 @staticmethod
476 def __new__(cls, name, bases, dict):
477 self = object.__new__(cls)
478 self.name = name
479 self.bases = bases
480 self.dict = dict
481 return self
482 def __call__(self):
483 it = _instance()
484 # Early binding of methods
485 for key in self.dict:
486 if key.startswith("__"):
487 continue
488 setattr(it, key, self.dict[key].__get__(it, self))
489 return it
490 class C(metaclass=M2):
491 def spam(self):
492 return 42
493 self.assertEqual(C.name, 'C')
494 self.assertEqual(C.bases, ())
495 self.assert_('spam' in C.dict)
496 c = C()
497 self.assertEqual(c.spam(), 42)
498
499 # More metaclass examples
500
501 class autosuper(type):
502 # Automatically add __super to the class
503 # This trick only works for dynamic classes
504 def __new__(metaclass, name, bases, dict):
505 cls = super(autosuper, metaclass).__new__(metaclass,
506 name, bases, dict)
507 # Name mangling for __super removes leading underscores
508 while name[:1] == "_":
509 name = name[1:]
510 if name:
511 name = "_%s__super" % name
512 else:
513 name = "__super"
514 setattr(cls, name, super(cls))
515 return cls
516 class A(metaclass=autosuper):
517 def meth(self):
518 return "A"
519 class B(A):
520 def meth(self):
521 return "B" + self.__super.meth()
522 class C(A):
523 def meth(self):
524 return "C" + self.__super.meth()
525 class D(C, B):
526 def meth(self):
527 return "D" + self.__super.meth()
528 self.assertEqual(D().meth(), "DCBA")
529 class E(B, C):
530 def meth(self):
531 return "E" + self.__super.meth()
532 self.assertEqual(E().meth(), "EBCA")
533
534 class autoproperty(type):
535 # Automatically create property attributes when methods
536 # named _get_x and/or _set_x are found
537 def __new__(metaclass, name, bases, dict):
538 hits = {}
539 for key, val in dict.items():
540 if key.startswith("_get_"):
541 key = key[5:]
542 get, set = hits.get(key, (None, None))
543 get = val
544 hits[key] = get, set
545 elif key.startswith("_set_"):
546 key = key[5:]
547 get, set = hits.get(key, (None, None))
548 set = val
549 hits[key] = get, set
550 for key, (get, set) in hits.items():
551 dict[key] = property(get, set)
552 return super(autoproperty, metaclass).__new__(metaclass,
553 name, bases, dict)
554 class A(metaclass=autoproperty):
555 def _get_x(self):
556 return -self.__x
557 def _set_x(self, x):
558 self.__x = -x
559 a = A()
560 self.assert_(not hasattr(a, "x"))
561 a.x = 12
562 self.assertEqual(a.x, 12)
563 self.assertEqual(a._A__x, -12)
564
565 class multimetaclass(autoproperty, autosuper):
566 # Merge of multiple cooperating metaclasses
567 pass
568 class A(metaclass=multimetaclass):
569 def _get_x(self):
570 return "A"
571 class B(A):
572 def _get_x(self):
573 return "B" + self.__super._get_x()
574 class C(A):
575 def _get_x(self):
576 return "C" + self.__super._get_x()
577 class D(C, B):
578 def _get_x(self):
579 return "D" + self.__super._get_x()
580 self.assertEqual(D().x, "DCBA")
581
582 # Make sure type(x) doesn't call x.__class__.__init__
583 class T(type):
584 counter = 0
585 def __init__(self, *args):
586 T.counter += 1
587 class C(metaclass=T):
588 pass
589 self.assertEqual(T.counter, 1)
590 a = C()
591 self.assertEqual(type(a), C)
592 self.assertEqual(T.counter, 1)
593
594 class C(object): pass
595 c = C()
596 try: c()
597 except TypeError: pass
598 else: self.fail("calling object w/o call method should raise "
599 "TypeError")
600
601 # Testing code to find most derived baseclass
602 class A(type):
603 def __new__(*args, **kwargs):
604 return type.__new__(*args, **kwargs)
605
606 class B(object):
607 pass
608
609 class C(object, metaclass=A):
610 pass
611
612 # The most derived metaclass of D is A rather than type.
613 class D(B, C):
614 pass
615
616 def test_module_subclasses(self):
617 # Testing Python subclass of module...
618 log = []
619 import types, sys
620 MT = type(sys)
621 class MM(MT):
622 def __init__(self, name):
623 MT.__init__(self, name)
624 def __getattribute__(self, name):
625 log.append(("getattr", name))
626 return MT.__getattribute__(self, name)
627 def __setattr__(self, name, value):
628 log.append(("setattr", name, value))
629 MT.__setattr__(self, name, value)
630 def __delattr__(self, name):
631 log.append(("delattr", name))
632 MT.__delattr__(self, name)
633 a = MM("a")
634 a.foo = 12
635 x = a.foo
636 del a.foo
637 self.assertEqual(log, [("setattr", "foo", 12),
638 ("getattr", "foo"),
639 ("delattr", "foo")])
640
641 # http://python.org/sf/1174712
Tim Peters1fc240e2001-10-26 05:06:50 +0000642 try:
Georg Brandl479a7e72008-02-05 18:13:15 +0000643 class Module(types.ModuleType, str):
644 pass
645 except TypeError:
Tim Peters1fc240e2001-10-26 05:06:50 +0000646 pass
647 else:
Georg Brandl479a7e72008-02-05 18:13:15 +0000648 self.fail("inheriting from ModuleType and str at the same time "
649 "should fail")
Tim Peters1fc240e2001-10-26 05:06:50 +0000650
Georg Brandl479a7e72008-02-05 18:13:15 +0000651 def test_multiple_inheritance(self):
652 # Testing multiple inheritance...
653 class C(object):
654 def __init__(self):
655 self.__state = 0
656 def getstate(self):
657 return self.__state
658 def setstate(self, state):
659 self.__state = state
660 a = C()
661 self.assertEqual(a.getstate(), 0)
662 a.setstate(10)
663 self.assertEqual(a.getstate(), 10)
664 class D(dict, C):
665 def __init__(self):
666 type({}).__init__(self)
667 C.__init__(self)
668 d = D()
669 self.assertEqual(list(d.keys()), [])
670 d["hello"] = "world"
671 self.assertEqual(list(d.items()), [("hello", "world")])
672 self.assertEqual(d["hello"], "world")
673 self.assertEqual(d.getstate(), 0)
674 d.setstate(10)
675 self.assertEqual(d.getstate(), 10)
676 self.assertEqual(D.__mro__, (D, dict, C, object))
Tim Peters5d2b77c2001-09-03 05:47:38 +0000677
Georg Brandl479a7e72008-02-05 18:13:15 +0000678 # SF bug #442833
679 class Node(object):
680 def __int__(self):
681 return int(self.foo())
682 def foo(self):
683 return "23"
684 class Frag(Node, list):
685 def foo(self):
686 return "42"
687 self.assertEqual(Node().__int__(), 23)
688 self.assertEqual(int(Node()), 23)
689 self.assertEqual(Frag().__int__(), 42)
690 self.assertEqual(int(Frag()), 42)
Tim Peters5d2b77c2001-09-03 05:47:38 +0000691
Georg Brandl479a7e72008-02-05 18:13:15 +0000692 def test_diamond_inheritence(self):
693 # Testing multiple inheritance special cases...
694 class A(object):
695 def spam(self): return "A"
696 self.assertEqual(A().spam(), "A")
697 class B(A):
698 def boo(self): return "B"
699 def spam(self): return "B"
700 self.assertEqual(B().spam(), "B")
701 self.assertEqual(B().boo(), "B")
702 class C(A):
703 def boo(self): return "C"
704 self.assertEqual(C().spam(), "A")
705 self.assertEqual(C().boo(), "C")
706 class D(B, C): pass
707 self.assertEqual(D().spam(), "B")
708 self.assertEqual(D().boo(), "B")
709 self.assertEqual(D.__mro__, (D, B, C, A, object))
710 class E(C, B): pass
711 self.assertEqual(E().spam(), "B")
712 self.assertEqual(E().boo(), "C")
713 self.assertEqual(E.__mro__, (E, C, B, A, object))
714 # MRO order disagreement
715 try:
716 class F(D, E): pass
717 except TypeError:
Guido van Rossum360e4b82007-05-14 22:51:27 +0000718 pass
Georg Brandl479a7e72008-02-05 18:13:15 +0000719 else:
720 self.fail("expected MRO order disagreement (F)")
721 try:
722 class G(E, D): pass
723 except TypeError:
724 pass
725 else:
726 self.fail("expected MRO order disagreement (G)")
Guido van Rossum360e4b82007-05-14 22:51:27 +0000727
Georg Brandl479a7e72008-02-05 18:13:15 +0000728 # see thread python-dev/2002-October/029035.html
729 def test_ex5_from_c3_switch(self):
730 # Testing ex5 from C3 switch discussion...
731 class A(object): pass
732 class B(object): pass
733 class C(object): pass
734 class X(A): pass
735 class Y(A): pass
736 class Z(X,B,Y,C): pass
737 self.assertEqual(Z.__mro__, (Z, X, B, Y, A, C, object))
Tim Peters6d6c1a32001-08-02 04:15:00 +0000738
Georg Brandl479a7e72008-02-05 18:13:15 +0000739 # see "A Monotonic Superclass Linearization for Dylan",
740 # by Kim Barrett et al. (OOPSLA 1996)
741 def test_monotonicity(self):
742 # Testing MRO monotonicity...
743 class Boat(object): pass
744 class DayBoat(Boat): pass
745 class WheelBoat(Boat): pass
746 class EngineLess(DayBoat): pass
747 class SmallMultihull(DayBoat): pass
748 class PedalWheelBoat(EngineLess,WheelBoat): pass
749 class SmallCatamaran(SmallMultihull): pass
750 class Pedalo(PedalWheelBoat,SmallCatamaran): pass
Guido van Rossume45763a2001-08-10 21:28:46 +0000751
Georg Brandl479a7e72008-02-05 18:13:15 +0000752 self.assertEqual(PedalWheelBoat.__mro__,
753 (PedalWheelBoat, EngineLess, DayBoat, WheelBoat, Boat, object))
754 self.assertEqual(SmallCatamaran.__mro__,
755 (SmallCatamaran, SmallMultihull, DayBoat, Boat, object))
756 self.assertEqual(Pedalo.__mro__,
757 (Pedalo, PedalWheelBoat, EngineLess, SmallCatamaran,
758 SmallMultihull, DayBoat, WheelBoat, Boat, object))
Guido van Rossum9a818922002-11-14 19:50:14 +0000759
Georg Brandl479a7e72008-02-05 18:13:15 +0000760 # see "A Monotonic Superclass Linearization for Dylan",
761 # by Kim Barrett et al. (OOPSLA 1996)
762 def test_consistency_with_epg(self):
763 # Testing consistentcy with EPG...
764 class Pane(object): pass
765 class ScrollingMixin(object): pass
766 class EditingMixin(object): pass
767 class ScrollablePane(Pane,ScrollingMixin): pass
768 class EditablePane(Pane,EditingMixin): pass
769 class EditableScrollablePane(ScrollablePane,EditablePane): pass
Guido van Rossum9a818922002-11-14 19:50:14 +0000770
Georg Brandl479a7e72008-02-05 18:13:15 +0000771 self.assertEqual(EditableScrollablePane.__mro__,
772 (EditableScrollablePane, ScrollablePane, EditablePane, Pane,
773 ScrollingMixin, EditingMixin, object))
Guido van Rossum9a818922002-11-14 19:50:14 +0000774
Georg Brandl479a7e72008-02-05 18:13:15 +0000775 def test_mro_disagreement(self):
776 # Testing error messages for MRO disagreement...
777 mro_err_msg = """Cannot create a consistent method resolution
Raymond Hettingerf394df42003-04-06 19:13:41 +0000778order (MRO) for bases """
Raymond Hettinger83245b52003-03-12 04:25:42 +0000779
Georg Brandl479a7e72008-02-05 18:13:15 +0000780 def raises(exc, expected, callable, *args):
Guido van Rossum58da9312007-11-10 23:39:45 +0000781 try:
Georg Brandl479a7e72008-02-05 18:13:15 +0000782 callable(*args)
783 except exc as msg:
784 if not str(msg).startswith(expected):
785 self.fail("Message %r, expected %r" % (str(msg), expected))
786 else:
787 self.fail("Expected %s" % exc)
Guido van Rossum58da9312007-11-10 23:39:45 +0000788
Georg Brandl479a7e72008-02-05 18:13:15 +0000789 class A(object): pass
790 class B(A): pass
791 class C(object): pass
Christian Heimes9a371592007-12-28 14:08:13 +0000792
Georg Brandl479a7e72008-02-05 18:13:15 +0000793 # Test some very simple errors
794 raises(TypeError, "duplicate base class A",
795 type, "X", (A, A), {})
796 raises(TypeError, mro_err_msg,
797 type, "X", (A, B), {})
798 raises(TypeError, mro_err_msg,
799 type, "X", (A, C, B), {})
800 # Test a slightly more complex error
801 class GridLayout(object): pass
802 class HorizontalGrid(GridLayout): pass
803 class VerticalGrid(GridLayout): pass
804 class HVGrid(HorizontalGrid, VerticalGrid): pass
805 class VHGrid(VerticalGrid, HorizontalGrid): pass
806 raises(TypeError, mro_err_msg,
807 type, "ConfusedGrid", (HVGrid, VHGrid), {})
Guido van Rossum58da9312007-11-10 23:39:45 +0000808
Georg Brandl479a7e72008-02-05 18:13:15 +0000809 def test_object_class(self):
810 # Testing object class...
811 a = object()
812 self.assertEqual(a.__class__, object)
813 self.assertEqual(type(a), object)
814 b = object()
815 self.assertNotEqual(a, b)
816 self.assertFalse(hasattr(a, "foo"))
Tim Peters808b94e2001-09-13 19:33:07 +0000817 try:
Georg Brandl479a7e72008-02-05 18:13:15 +0000818 a.foo = 12
819 except (AttributeError, TypeError):
Tim Peters808b94e2001-09-13 19:33:07 +0000820 pass
821 else:
Georg Brandl479a7e72008-02-05 18:13:15 +0000822 self.fail("object() should not allow setting a foo attribute")
823 self.assertFalse(hasattr(object(), "__dict__"))
Tim Peters561f8992001-09-13 19:36:36 +0000824
Georg Brandl479a7e72008-02-05 18:13:15 +0000825 class Cdict(object):
Guido van Rossum5c294fb2001-09-25 03:43:42 +0000826 pass
Georg Brandl479a7e72008-02-05 18:13:15 +0000827 x = Cdict()
828 self.assertEqual(x.__dict__, {})
829 x.foo = 1
830 self.assertEqual(x.foo, 1)
831 self.assertEqual(x.__dict__, {'foo': 1})
Guido van Rossumd8faa362007-04-27 19:54:29 +0000832
Georg Brandl479a7e72008-02-05 18:13:15 +0000833 def test_slots(self):
834 # Testing __slots__...
835 class C0(object):
836 __slots__ = []
837 x = C0()
838 self.assertFalse(hasattr(x, "__dict__"))
839 self.assertFalse(hasattr(x, "foo"))
840
841 class C1(object):
842 __slots__ = ['a']
843 x = C1()
844 self.assertFalse(hasattr(x, "__dict__"))
845 self.assertFalse(hasattr(x, "a"))
Guido van Rossumd8faa362007-04-27 19:54:29 +0000846 x.a = 1
Georg Brandl479a7e72008-02-05 18:13:15 +0000847 self.assertEqual(x.a, 1)
848 x.a = None
849 self.assertEqual(x.a, None)
850 del x.a
851 self.assertFalse(hasattr(x, "a"))
Guido van Rossum5c294fb2001-09-25 03:43:42 +0000852
Georg Brandl479a7e72008-02-05 18:13:15 +0000853 class C3(object):
854 __slots__ = ['a', 'b', 'c']
855 x = C3()
856 self.assertFalse(hasattr(x, "__dict__"))
857 self.assertFalse(hasattr(x, 'a'))
858 self.assertFalse(hasattr(x, 'b'))
859 self.assertFalse(hasattr(x, 'c'))
860 x.a = 1
861 x.b = 2
862 x.c = 3
863 self.assertEqual(x.a, 1)
864 self.assertEqual(x.b, 2)
865 self.assertEqual(x.c, 3)
866
867 class C4(object):
868 """Validate name mangling"""
869 __slots__ = ['__a']
870 def __init__(self, value):
871 self.__a = value
872 def get(self):
873 return self.__a
874 x = C4(5)
875 self.assertFalse(hasattr(x, '__dict__'))
876 self.assertFalse(hasattr(x, '__a'))
877 self.assertEqual(x.get(), 5)
Guido van Rossum6661be32001-10-26 04:26:12 +0000878 try:
Georg Brandl479a7e72008-02-05 18:13:15 +0000879 x.__a = 6
880 except AttributeError:
Guido van Rossum6661be32001-10-26 04:26:12 +0000881 pass
882 else:
Georg Brandl479a7e72008-02-05 18:13:15 +0000883 self.fail("Double underscored names not mangled")
Guido van Rossum360e4b82007-05-14 22:51:27 +0000884
Georg Brandl479a7e72008-02-05 18:13:15 +0000885 # Make sure slot names are proper identifiers
Guido van Rossum360e4b82007-05-14 22:51:27 +0000886 try:
Georg Brandl479a7e72008-02-05 18:13:15 +0000887 class C(object):
888 __slots__ = [None]
Guido van Rossum360e4b82007-05-14 22:51:27 +0000889 except TypeError:
890 pass
891 else:
Georg Brandl479a7e72008-02-05 18:13:15 +0000892 self.fail("[None] slots not caught")
Guido van Rossum360e4b82007-05-14 22:51:27 +0000893 try:
Georg Brandl479a7e72008-02-05 18:13:15 +0000894 class C(object):
895 __slots__ = ["foo bar"]
896 except TypeError:
Guido van Rossum360e4b82007-05-14 22:51:27 +0000897 pass
898 else:
Georg Brandl479a7e72008-02-05 18:13:15 +0000899 self.fail("['foo bar'] slots not caught")
900 try:
901 class C(object):
902 __slots__ = ["foo\0bar"]
903 except TypeError:
904 pass
905 else:
906 self.fail("['foo\\0bar'] slots not caught")
907 try:
908 class C(object):
909 __slots__ = ["1"]
910 except TypeError:
911 pass
912 else:
913 self.fail("['1'] slots not caught")
914 try:
915 class C(object):
916 __slots__ = [""]
917 except TypeError:
918 pass
919 else:
920 self.fail("[''] slots not caught")
921 class C(object):
922 __slots__ = ["a", "a_b", "_a", "A0123456789Z"]
923 # XXX(nnorwitz): was there supposed to be something tested
924 # from the class above?
Guido van Rossum360e4b82007-05-14 22:51:27 +0000925
Georg Brandl479a7e72008-02-05 18:13:15 +0000926 # Test a single string is not expanded as a sequence.
927 class C(object):
928 __slots__ = "abc"
929 c = C()
930 c.abc = 5
931 self.assertEqual(c.abc, 5)
Guido van Rossum6661be32001-10-26 04:26:12 +0000932
Georg Brandl479a7e72008-02-05 18:13:15 +0000933 # Test unicode slot names
934 # Test a single unicode string is not expanded as a sequence.
935 class C(object):
936 __slots__ = "abc"
937 c = C()
938 c.abc = 5
939 self.assertEqual(c.abc, 5)
Guido van Rossum3926a632001-09-25 16:25:58 +0000940
Georg Brandl479a7e72008-02-05 18:13:15 +0000941 # _unicode_to_string used to modify slots in certain circumstances
942 slots = ("foo", "bar")
943 class C(object):
944 __slots__ = slots
945 x = C()
946 x.foo = 5
947 self.assertEqual(x.foo, 5)
948 self.assert_(type(slots[0]) is str)
949 # this used to leak references
950 try:
951 class C(object):
952 __slots__ = [chr(128)]
953 except (TypeError, UnicodeEncodeError):
954 pass
955 else:
956 raise TestFailed("[chr(128)] slots not caught")
Guido van Rossum3926a632001-09-25 16:25:58 +0000957
Georg Brandl479a7e72008-02-05 18:13:15 +0000958 # Test leaks
959 class Counted(object):
960 counter = 0 # counts the number of instances alive
961 def __init__(self):
962 Counted.counter += 1
963 def __del__(self):
964 Counted.counter -= 1
965 class C(object):
966 __slots__ = ['a', 'b', 'c']
967 x = C()
968 x.a = Counted()
969 x.b = Counted()
970 x.c = Counted()
971 self.assertEqual(Counted.counter, 3)
972 del x
973 self.assertEqual(Counted.counter, 0)
974 class D(C):
975 pass
976 x = D()
977 x.a = Counted()
978 x.z = Counted()
979 self.assertEqual(Counted.counter, 2)
980 del x
981 self.assertEqual(Counted.counter, 0)
982 class E(D):
983 __slots__ = ['e']
984 x = E()
985 x.a = Counted()
986 x.z = Counted()
987 x.e = Counted()
988 self.assertEqual(Counted.counter, 3)
989 del x
990 self.assertEqual(Counted.counter, 0)
Guido van Rossum3926a632001-09-25 16:25:58 +0000991
Georg Brandl479a7e72008-02-05 18:13:15 +0000992 # Test cyclical leaks [SF bug 519621]
993 class F(object):
994 __slots__ = ['a', 'b']
995 log = []
996 s = F()
997 s.a = [Counted(), s]
998 self.assertEqual(Counted.counter, 1)
999 s = None
1000 import gc
1001 gc.collect()
1002 self.assertEqual(Counted.counter, 0)
Guido van Rossum3926a632001-09-25 16:25:58 +00001003
Georg Brandl479a7e72008-02-05 18:13:15 +00001004 # Test lookup leaks [SF bug 572567]
1005 import sys,gc
1006 class G(object):
1007 def __cmp__(self, other):
1008 return 0
1009 g = G()
1010 orig_objects = len(gc.get_objects())
1011 for i in range(10):
1012 g==g
1013 new_objects = len(gc.get_objects())
1014 self.assertEqual(orig_objects, new_objects)
1015 class H(object):
1016 __slots__ = ['a', 'b']
1017 def __init__(self):
1018 self.a = 1
1019 self.b = 2
1020 def __del__(self_):
1021 self.assertEqual(self_.a, 1)
1022 self.assertEqual(self_.b, 2)
Guido van Rossum3926a632001-09-25 16:25:58 +00001023
Georg Brandl479a7e72008-02-05 18:13:15 +00001024 save_stderr = sys.stderr
1025 sys.stderr = sys.stdout
1026 h = H()
1027 try:
1028 del h
1029 finally:
1030 sys.stderr = save_stderr
Guido van Rossum90c45142001-11-24 21:07:01 +00001031
Georg Brandl479a7e72008-02-05 18:13:15 +00001032 def test_slots_special(self):
1033 # Testing __dict__ and __weakref__ in __slots__...
1034 class D(object):
1035 __slots__ = ["__dict__"]
1036 a = D()
1037 self.assert_(hasattr(a, "__dict__"))
1038 self.assertFalse(hasattr(a, "__weakref__"))
1039 a.foo = 42
1040 self.assertEqual(a.__dict__, {"foo": 42})
Guido van Rossum90c45142001-11-24 21:07:01 +00001041
Georg Brandl479a7e72008-02-05 18:13:15 +00001042 class W(object):
1043 __slots__ = ["__weakref__"]
1044 a = W()
1045 self.assert_(hasattr(a, "__weakref__"))
1046 self.assertFalse(hasattr(a, "__dict__"))
1047 try:
1048 a.foo = 42
1049 except AttributeError:
1050 pass
1051 else:
1052 self.fail("shouldn't be allowed to set a.foo")
1053
1054 class C1(W, D):
1055 __slots__ = []
1056 a = C1()
1057 self.assert_(hasattr(a, "__dict__"))
1058 self.assert_(hasattr(a, "__weakref__"))
1059 a.foo = 42
1060 self.assertEqual(a.__dict__, {"foo": 42})
1061
1062 class C2(D, W):
1063 __slots__ = []
1064 a = C2()
1065 self.assert_(hasattr(a, "__dict__"))
1066 self.assert_(hasattr(a, "__weakref__"))
1067 a.foo = 42
1068 self.assertEqual(a.__dict__, {"foo": 42})
1069
Christian Heimesa156e092008-02-16 07:38:31 +00001070 def test_slots_descriptor(self):
1071 # Issue2115: slot descriptors did not correctly check
1072 # the type of the given object
1073 import abc
1074 class MyABC(metaclass=abc.ABCMeta):
1075 __slots__ = "a"
1076
1077 class Unrelated(object):
1078 pass
1079 MyABC.register(Unrelated)
1080
1081 u = Unrelated()
1082 self.assert_(isinstance(u, MyABC))
1083
1084 # This used to crash
1085 self.assertRaises(TypeError, MyABC.a.__set__, u, 3)
1086
Georg Brandl479a7e72008-02-05 18:13:15 +00001087 def test_dynamics(self):
1088 # Testing class attribute propagation...
1089 class D(object):
1090 pass
1091 class E(D):
1092 pass
1093 class F(D):
1094 pass
1095 D.foo = 1
1096 self.assertEqual(D.foo, 1)
1097 # Test that dynamic attributes are inherited
1098 self.assertEqual(E.foo, 1)
1099 self.assertEqual(F.foo, 1)
1100 # Test dynamic instances
1101 class C(object):
1102 pass
1103 a = C()
1104 self.assertFalse(hasattr(a, "foobar"))
1105 C.foobar = 2
1106 self.assertEqual(a.foobar, 2)
1107 C.method = lambda self: 42
1108 self.assertEqual(a.method(), 42)
1109 C.__repr__ = lambda self: "C()"
1110 self.assertEqual(repr(a), "C()")
1111 C.__int__ = lambda self: 100
1112 self.assertEqual(int(a), 100)
1113 self.assertEqual(a.foobar, 2)
1114 self.assertFalse(hasattr(a, "spam"))
1115 def mygetattr(self, name):
1116 if name == "spam":
1117 return "spam"
1118 raise AttributeError
1119 C.__getattr__ = mygetattr
1120 self.assertEqual(a.spam, "spam")
1121 a.new = 12
1122 self.assertEqual(a.new, 12)
1123 def mysetattr(self, name, value):
1124 if name == "spam":
1125 raise AttributeError
1126 return object.__setattr__(self, name, value)
1127 C.__setattr__ = mysetattr
1128 try:
1129 a.spam = "not spam"
1130 except AttributeError:
1131 pass
1132 else:
1133 self.fail("expected AttributeError")
1134 self.assertEqual(a.spam, "spam")
1135 class D(C):
1136 pass
1137 d = D()
1138 d.foo = 1
1139 self.assertEqual(d.foo, 1)
1140
1141 # Test handling of int*seq and seq*int
1142 class I(int):
1143 pass
1144 self.assertEqual("a"*I(2), "aa")
1145 self.assertEqual(I(2)*"a", "aa")
1146 self.assertEqual(2*I(3), 6)
1147 self.assertEqual(I(3)*2, 6)
1148 self.assertEqual(I(3)*I(2), 6)
1149
1150 # Test handling of long*seq and seq*long
1151 class L(int):
1152 pass
1153 self.assertEqual("a"*L(2), "aa")
1154 self.assertEqual(L(2)*"a", "aa")
1155 self.assertEqual(2*L(3), 6)
1156 self.assertEqual(L(3)*2, 6)
1157 self.assertEqual(L(3)*L(2), 6)
1158
1159 # Test comparison of classes with dynamic metaclasses
1160 class dynamicmetaclass(type):
1161 pass
1162 class someclass(metaclass=dynamicmetaclass):
1163 pass
1164 self.assertNotEqual(someclass, object)
1165
1166 def test_errors(self):
1167 # Testing errors...
1168 try:
1169 class C(list, dict):
1170 pass
1171 except TypeError:
1172 pass
1173 else:
1174 self.fail("inheritance from both list and dict should be illegal")
1175
1176 try:
1177 class C(object, None):
1178 pass
1179 except TypeError:
1180 pass
1181 else:
1182 self.fail("inheritance from non-type should be illegal")
1183 class Classic:
1184 pass
1185
1186 try:
1187 class C(type(len)):
1188 pass
1189 except TypeError:
1190 pass
1191 else:
1192 self.fail("inheritance from CFunction should be illegal")
1193
1194 try:
1195 class C(object):
1196 __slots__ = 1
1197 except TypeError:
1198 pass
1199 else:
1200 self.fail("__slots__ = 1 should be illegal")
1201
1202 try:
1203 class C(object):
1204 __slots__ = [1]
1205 except TypeError:
1206 pass
1207 else:
1208 self.fail("__slots__ = [1] should be illegal")
1209
1210 class M1(type):
1211 pass
1212 class M2(type):
1213 pass
1214 class A1(object, metaclass=M1):
1215 pass
1216 class A2(object, metaclass=M2):
1217 pass
1218 try:
1219 class B(A1, A2):
1220 pass
1221 except TypeError:
1222 pass
1223 else:
1224 self.fail("finding the most derived metaclass should have failed")
1225
1226 def test_classmethods(self):
1227 # Testing class methods...
1228 class C(object):
1229 def foo(*a): return a
1230 goo = classmethod(foo)
1231 c = C()
1232 self.assertEqual(C.goo(1), (C, 1))
1233 self.assertEqual(c.goo(1), (C, 1))
1234 self.assertEqual(c.foo(1), (c, 1))
1235 class D(C):
1236 pass
1237 d = D()
1238 self.assertEqual(D.goo(1), (D, 1))
1239 self.assertEqual(d.goo(1), (D, 1))
1240 self.assertEqual(d.foo(1), (d, 1))
1241 self.assertEqual(D.foo(d, 1), (d, 1))
1242 # Test for a specific crash (SF bug 528132)
1243 def f(cls, arg): return (cls, arg)
1244 ff = classmethod(f)
1245 self.assertEqual(ff.__get__(0, int)(42), (int, 42))
1246 self.assertEqual(ff.__get__(0)(42), (int, 42))
1247
1248 # Test super() with classmethods (SF bug 535444)
1249 self.assertEqual(C.goo.__self__, C)
1250 self.assertEqual(D.goo.__self__, D)
1251 self.assertEqual(super(D,D).goo.__self__, D)
1252 self.assertEqual(super(D,d).goo.__self__, D)
1253 self.assertEqual(super(D,D).goo(), (D,))
1254 self.assertEqual(super(D,d).goo(), (D,))
1255
1256 # Verify that argument is checked for callability (SF bug 753451)
1257 try:
1258 classmethod(1).__get__(1)
1259 except TypeError:
1260 pass
1261 else:
1262 self.fail("classmethod should check for callability")
1263
1264 # Verify that classmethod() doesn't allow keyword args
1265 try:
1266 classmethod(f, kw=1)
1267 except TypeError:
1268 pass
1269 else:
1270 self.fail("classmethod shouldn't accept keyword args")
1271
1272 def test_classmethods_in_c(self):
1273 # Testing C-based class methods...
1274 import xxsubtype as spam
1275 a = (1, 2, 3)
1276 d = {'abc': 123}
1277 x, a1, d1 = spam.spamlist.classmeth(*a, **d)
1278 self.assertEqual(x, spam.spamlist)
1279 self.assertEqual(a, a1)
1280 self.assertEqual(d, d1)
1281 x, a1, d1 = spam.spamlist().classmeth(*a, **d)
1282 self.assertEqual(x, spam.spamlist)
1283 self.assertEqual(a, a1)
1284 self.assertEqual(d, d1)
1285
1286 def test_staticmethods(self):
1287 # Testing static methods...
1288 class C(object):
1289 def foo(*a): return a
1290 goo = staticmethod(foo)
1291 c = C()
1292 self.assertEqual(C.goo(1), (1,))
1293 self.assertEqual(c.goo(1), (1,))
1294 self.assertEqual(c.foo(1), (c, 1,))
1295 class D(C):
1296 pass
1297 d = D()
1298 self.assertEqual(D.goo(1), (1,))
1299 self.assertEqual(d.goo(1), (1,))
1300 self.assertEqual(d.foo(1), (d, 1))
1301 self.assertEqual(D.foo(d, 1), (d, 1))
1302
1303 def test_staticmethods_in_c(self):
1304 # Testing C-based static methods...
1305 import xxsubtype as spam
1306 a = (1, 2, 3)
1307 d = {"abc": 123}
1308 x, a1, d1 = spam.spamlist.staticmeth(*a, **d)
1309 self.assertEqual(x, None)
1310 self.assertEqual(a, a1)
1311 self.assertEqual(d, d1)
1312 x, a1, d2 = spam.spamlist().staticmeth(*a, **d)
1313 self.assertEqual(x, None)
1314 self.assertEqual(a, a1)
1315 self.assertEqual(d, d1)
1316
1317 def test_classic(self):
1318 # Testing classic classes...
1319 class C:
1320 def foo(*a): return a
1321 goo = classmethod(foo)
1322 c = C()
1323 self.assertEqual(C.goo(1), (C, 1))
1324 self.assertEqual(c.goo(1), (C, 1))
1325 self.assertEqual(c.foo(1), (c, 1))
1326 class D(C):
1327 pass
1328 d = D()
1329 self.assertEqual(D.goo(1), (D, 1))
1330 self.assertEqual(d.goo(1), (D, 1))
1331 self.assertEqual(d.foo(1), (d, 1))
1332 self.assertEqual(D.foo(d, 1), (d, 1))
1333 class E: # *not* subclassing from C
1334 foo = C.foo
1335 self.assertEqual(E().foo.__func__, C.foo) # i.e., unbound
1336 self.assert_(repr(C.foo.__get__(C())).startswith("<bound method "))
1337
1338 def test_compattr(self):
1339 # Testing computed attributes...
1340 class C(object):
1341 class computed_attribute(object):
1342 def __init__(self, get, set=None, delete=None):
1343 self.__get = get
1344 self.__set = set
1345 self.__delete = delete
1346 def __get__(self, obj, type=None):
1347 return self.__get(obj)
1348 def __set__(self, obj, value):
1349 return self.__set(obj, value)
1350 def __delete__(self, obj):
1351 return self.__delete(obj)
1352 def __init__(self):
1353 self.__x = 0
1354 def __get_x(self):
1355 x = self.__x
1356 self.__x = x+1
1357 return x
1358 def __set_x(self, x):
1359 self.__x = x
1360 def __delete_x(self):
1361 del self.__x
1362 x = computed_attribute(__get_x, __set_x, __delete_x)
1363 a = C()
1364 self.assertEqual(a.x, 0)
1365 self.assertEqual(a.x, 1)
1366 a.x = 10
1367 self.assertEqual(a.x, 10)
1368 self.assertEqual(a.x, 11)
1369 del a.x
1370 self.assertEqual(hasattr(a, 'x'), 0)
1371
1372 def test_newslots(self):
1373 # Testing __new__ slot override...
1374 class C(list):
1375 def __new__(cls):
1376 self = list.__new__(cls)
1377 self.foo = 1
1378 return self
1379 def __init__(self):
1380 self.foo = self.foo + 2
1381 a = C()
1382 self.assertEqual(a.foo, 3)
1383 self.assertEqual(a.__class__, C)
1384 class D(C):
1385 pass
1386 b = D()
1387 self.assertEqual(b.foo, 3)
1388 self.assertEqual(b.__class__, D)
1389
1390 def test_altmro(self):
1391 # Testing mro() and overriding it...
1392 class A(object):
1393 def f(self): return "A"
1394 class B(A):
1395 pass
1396 class C(A):
1397 def f(self): return "C"
1398 class D(B, C):
1399 pass
1400 self.assertEqual(D.mro(), [D, B, C, A, object])
1401 self.assertEqual(D.__mro__, (D, B, C, A, object))
1402 self.assertEqual(D().f(), "C")
1403
1404 class PerverseMetaType(type):
1405 def mro(cls):
1406 L = type.mro(cls)
1407 L.reverse()
1408 return L
1409 class X(D,B,C,A, metaclass=PerverseMetaType):
1410 pass
1411 self.assertEqual(X.__mro__, (object, A, C, B, D, X))
1412 self.assertEqual(X().f(), "A")
1413
1414 try:
1415 class _metaclass(type):
1416 def mro(self):
1417 return [self, dict, object]
1418 class X(object, metaclass=_metaclass):
1419 pass
1420 except TypeError:
1421 pass
1422 else:
1423 self.fail("devious mro() return not caught")
1424
1425 try:
1426 class _metaclass(type):
1427 def mro(self):
1428 return [1]
1429 class X(object, metaclass=_metaclass):
1430 pass
1431 except TypeError:
1432 pass
1433 else:
1434 self.fail("non-class mro() return not caught")
1435
1436 try:
1437 class _metaclass(type):
1438 def mro(self):
1439 return 1
1440 class X(object, metaclass=_metaclass):
1441 pass
1442 except TypeError:
1443 pass
1444 else:
1445 self.fail("non-sequence mro() return not caught")
1446
1447 def test_overloading(self):
1448 # Testing operator overloading...
1449
1450 class B(object):
1451 "Intermediate class because object doesn't have a __setattr__"
1452
1453 class C(B):
1454 def __getattr__(self, name):
1455 if name == "foo":
1456 return ("getattr", name)
1457 else:
1458 raise AttributeError
1459 def __setattr__(self, name, value):
1460 if name == "foo":
1461 self.setattr = (name, value)
1462 else:
1463 return B.__setattr__(self, name, value)
1464 def __delattr__(self, name):
1465 if name == "foo":
1466 self.delattr = name
1467 else:
1468 return B.__delattr__(self, name)
1469
1470 def __getitem__(self, key):
1471 return ("getitem", key)
1472 def __setitem__(self, key, value):
1473 self.setitem = (key, value)
1474 def __delitem__(self, key):
1475 self.delitem = key
1476
1477 a = C()
1478 self.assertEqual(a.foo, ("getattr", "foo"))
1479 a.foo = 12
1480 self.assertEqual(a.setattr, ("foo", 12))
1481 del a.foo
1482 self.assertEqual(a.delattr, "foo")
1483
1484 self.assertEqual(a[12], ("getitem", 12))
1485 a[12] = 21
1486 self.assertEqual(a.setitem, (12, 21))
1487 del a[12]
1488 self.assertEqual(a.delitem, 12)
1489
1490 self.assertEqual(a[0:10], ("getitem", slice(0, 10)))
1491 a[0:10] = "foo"
1492 self.assertEqual(a.setitem, (slice(0, 10), "foo"))
1493 del a[0:10]
1494 self.assertEqual(a.delitem, (slice(0, 10)))
1495
1496 def test_methods(self):
1497 # Testing methods...
1498 class C(object):
1499 def __init__(self, x):
1500 self.x = x
1501 def foo(self):
1502 return self.x
1503 c1 = C(1)
1504 self.assertEqual(c1.foo(), 1)
1505 class D(C):
1506 boo = C.foo
1507 goo = c1.foo
1508 d2 = D(2)
1509 self.assertEqual(d2.foo(), 2)
1510 self.assertEqual(d2.boo(), 2)
1511 self.assertEqual(d2.goo(), 1)
1512 class E(object):
1513 foo = C.foo
1514 self.assertEqual(E().foo.__func__, C.foo) # i.e., unbound
1515 self.assert_(repr(C.foo.__get__(C(1))).startswith("<bound method "))
1516
1517 def test_specials(self):
1518 # Testing special operators...
1519 # Test operators like __hash__ for which a built-in default exists
1520
1521 # Test the default behavior for static classes
1522 class C(object):
1523 def __getitem__(self, i):
1524 if 0 <= i < 10: return i
1525 raise IndexError
1526 c1 = C()
1527 c2 = C()
1528 self.assert_(not not c1) # What?
1529 self.assertNotEqual(id(c1), id(c2))
1530 hash(c1)
1531 hash(c2)
1532 ## self.assertEqual(cmp(c1, c2), cmp(id(c1), id(c2)))
1533 self.assertEqual(c1, c1)
1534 self.assert_(c1 != c2)
1535 self.assert_(not c1 != c1)
1536 self.assert_(not c1 == c2)
1537 # Note that the module name appears in str/repr, and that varies
1538 # depending on whether this test is run standalone or from a framework.
1539 self.assert_(str(c1).find('C object at ') >= 0)
1540 self.assertEqual(str(c1), repr(c1))
1541 self.assert_(-1 not in c1)
1542 for i in range(10):
1543 self.assert_(i in c1)
1544 self.assertFalse(10 in c1)
1545 # Test the default behavior for dynamic classes
1546 class D(object):
1547 def __getitem__(self, i):
1548 if 0 <= i < 10: return i
1549 raise IndexError
1550 d1 = D()
1551 d2 = D()
1552 self.assert_(not not d1)
1553 self.assertNotEqual(id(d1), id(d2))
1554 hash(d1)
1555 hash(d2)
1556 ## self.assertEqual(cmp(d1, d2), cmp(id(d1), id(d2)))
1557 self.assertEqual(d1, d1)
1558 self.assertNotEqual(d1, d2)
1559 self.assert_(not d1 != d1)
1560 self.assert_(not d1 == d2)
1561 # Note that the module name appears in str/repr, and that varies
1562 # depending on whether this test is run standalone or from a framework.
1563 self.assert_(str(d1).find('D object at ') >= 0)
1564 self.assertEqual(str(d1), repr(d1))
1565 self.assert_(-1 not in d1)
1566 for i in range(10):
1567 self.assert_(i in d1)
1568 self.assertFalse(10 in d1)
1569 # Test overridden behavior for static classes
1570 class Proxy(object):
1571 def __init__(self, x):
1572 self.x = x
1573 def __bool__(self):
1574 return not not self.x
1575 def __hash__(self):
1576 return hash(self.x)
1577 def __eq__(self, other):
1578 return self.x == other
1579 def __ne__(self, other):
1580 return self.x != other
1581 def __cmp__(self, other):
1582 return cmp(self.x, other.x)
1583 def __str__(self):
1584 return "Proxy:%s" % self.x
1585 def __repr__(self):
1586 return "Proxy(%r)" % self.x
1587 def __contains__(self, value):
1588 return value in self.x
1589 p0 = Proxy(0)
1590 p1 = Proxy(1)
1591 p_1 = Proxy(-1)
1592 self.assertFalse(p0)
1593 self.assert_(not not p1)
1594 self.assertEqual(hash(p0), hash(0))
1595 self.assertEqual(p0, p0)
1596 self.assertNotEqual(p0, p1)
1597 self.assert_(not p0 != p0)
1598 self.assertEqual(not p0, p1)
1599 self.assertEqual(cmp(p0, p1), -1)
1600 self.assertEqual(cmp(p0, p0), 0)
1601 self.assertEqual(cmp(p0, p_1), 1)
1602 self.assertEqual(str(p0), "Proxy:0")
1603 self.assertEqual(repr(p0), "Proxy(0)")
1604 p10 = Proxy(range(10))
1605 self.assertFalse(-1 in p10)
1606 for i in range(10):
1607 self.assert_(i in p10)
1608 self.assertFalse(10 in p10)
1609 # Test overridden behavior for dynamic classes
1610 class DProxy(object):
1611 def __init__(self, x):
1612 self.x = x
1613 def __bool__(self):
1614 return not not self.x
1615 def __hash__(self):
1616 return hash(self.x)
1617 def __eq__(self, other):
1618 return self.x == other
1619 def __ne__(self, other):
1620 return self.x != other
1621 def __cmp__(self, other):
1622 return cmp(self.x, other.x)
1623 def __str__(self):
1624 return "DProxy:%s" % self.x
1625 def __repr__(self):
1626 return "DProxy(%r)" % self.x
1627 def __contains__(self, value):
1628 return value in self.x
1629 p0 = DProxy(0)
1630 p1 = DProxy(1)
1631 p_1 = DProxy(-1)
1632 self.assertFalse(p0)
1633 self.assert_(not not p1)
1634 self.assertEqual(hash(p0), hash(0))
1635 self.assertEqual(p0, p0)
1636 self.assertNotEqual(p0, p1)
1637 self.assertNotEqual(not p0, p0)
1638 self.assertEqual(not p0, p1)
1639 self.assertEqual(cmp(p0, p1), -1)
1640 self.assertEqual(cmp(p0, p0), 0)
1641 self.assertEqual(cmp(p0, p_1), 1)
1642 self.assertEqual(str(p0), "DProxy:0")
1643 self.assertEqual(repr(p0), "DProxy(0)")
1644 p10 = DProxy(range(10))
1645 self.assertFalse(-1 in p10)
1646 for i in range(10):
1647 self.assert_(i in p10)
1648 self.assertFalse(10 in p10)
1649
1650 ## # Safety test for __cmp__
1651 ## def unsafecmp(a, b):
1652 ## try:
1653 ## a.__class__.__cmp__(a, b)
1654 ## except TypeError:
1655 ## pass
1656 ## else:
1657 ## self.fail("shouldn't allow %s.__cmp__(%r, %r)" % (
1658 ## a.__class__, a, b))
1659 ##
1660 ## unsafecmp("123", "123")
1661 ## unsafecmp("123", "123")
1662 ## unsafecmp(1, 1.0)
1663 ## unsafecmp(1.0, 1)
1664 ## unsafecmp(1, 1)
1665 ## unsafecmp(1, 1)
1666
1667 def test_weakrefs(self):
1668 # Testing weak references...
1669 import weakref
1670 class C(object):
1671 pass
1672 c = C()
1673 r = weakref.ref(c)
1674 self.assertEqual(r(), c)
1675 del c
1676 self.assertEqual(r(), None)
1677 del r
1678 class NoWeak(object):
1679 __slots__ = ['foo']
1680 no = NoWeak()
1681 try:
1682 weakref.ref(no)
1683 except TypeError as msg:
1684 self.assert_(str(msg).find("weak reference") >= 0)
1685 else:
1686 self.fail("weakref.ref(no) should be illegal")
1687 class Weak(object):
1688 __slots__ = ['foo', '__weakref__']
1689 yes = Weak()
1690 r = weakref.ref(yes)
1691 self.assertEqual(r(), yes)
1692 del yes
1693 self.assertEqual(r(), None)
1694 del r
1695
1696 def test_properties(self):
1697 # Testing property...
1698 class C(object):
1699 def getx(self):
1700 return self.__x
1701 def setx(self, value):
1702 self.__x = value
1703 def delx(self):
1704 del self.__x
1705 x = property(getx, setx, delx, doc="I'm the x property.")
1706 a = C()
1707 self.assertFalse(hasattr(a, "x"))
1708 a.x = 42
1709 self.assertEqual(a._C__x, 42)
1710 self.assertEqual(a.x, 42)
1711 del a.x
1712 self.assertFalse(hasattr(a, "x"))
1713 self.assertFalse(hasattr(a, "_C__x"))
1714 C.x.__set__(a, 100)
1715 self.assertEqual(C.x.__get__(a), 100)
1716 C.x.__delete__(a)
1717 self.assertFalse(hasattr(a, "x"))
1718
1719 raw = C.__dict__['x']
1720 self.assert_(isinstance(raw, property))
1721
1722 attrs = dir(raw)
1723 self.assert_("__doc__" in attrs)
1724 self.assert_("fget" in attrs)
1725 self.assert_("fset" in attrs)
1726 self.assert_("fdel" in attrs)
1727
1728 self.assertEqual(raw.__doc__, "I'm the x property.")
1729 self.assert_(raw.fget is C.__dict__['getx'])
1730 self.assert_(raw.fset is C.__dict__['setx'])
1731 self.assert_(raw.fdel is C.__dict__['delx'])
1732
1733 for attr in "__doc__", "fget", "fset", "fdel":
1734 try:
1735 setattr(raw, attr, 42)
1736 except AttributeError as msg:
1737 if str(msg).find('readonly') < 0:
1738 self.fail("when setting readonly attr %r on a property, "
1739 "got unexpected AttributeError msg %r" % (attr, str(msg)))
1740 else:
1741 self.fail("expected AttributeError from trying to set readonly %r "
1742 "attr on a property" % attr)
1743
1744 class D(object):
1745 __getitem__ = property(lambda s: 1/0)
1746
1747 d = D()
1748 try:
1749 for i in d:
1750 str(i)
1751 except ZeroDivisionError:
1752 pass
1753 else:
1754 self.fail("expected ZeroDivisionError from bad property")
1755
1756 class E(object):
1757 def getter(self):
1758 "getter method"
1759 return 0
1760 def setter(self_, value):
1761 "setter method"
1762 pass
1763 prop = property(getter)
1764 self.assertEqual(prop.__doc__, "getter method")
1765 prop2 = property(fset=setter)
1766 self.assertEqual(prop2.__doc__, None)
1767
1768 # this segfaulted in 2.5b2
1769 try:
1770 import _testcapi
1771 except ImportError:
1772 pass
1773 else:
1774 class X(object):
1775 p = property(_testcapi.test_with_docstring)
1776
1777 def test_properties_plus(self):
1778 class C(object):
1779 foo = property(doc="hello")
1780 @foo.getter
1781 def foo(self):
1782 return self._foo
1783 @foo.setter
1784 def foo(self, value):
1785 self._foo = abs(value)
1786 @foo.deleter
1787 def foo(self):
1788 del self._foo
1789 c = C()
1790 self.assertEqual(C.foo.__doc__, "hello")
1791 self.assertFalse(hasattr(c, "foo"))
1792 c.foo = -42
1793 self.assert_(hasattr(c, '_foo'))
1794 self.assertEqual(c._foo, 42)
1795 self.assertEqual(c.foo, 42)
1796 del c.foo
1797 self.assertFalse(hasattr(c, '_foo'))
1798 self.assertFalse(hasattr(c, "foo"))
1799
1800 class D(C):
1801 @C.foo.deleter
1802 def foo(self):
1803 try:
1804 del self._foo
1805 except AttributeError:
1806 pass
1807 d = D()
1808 d.foo = 24
1809 self.assertEqual(d.foo, 24)
1810 del d.foo
1811 del d.foo
1812
1813 class E(object):
1814 @property
1815 def foo(self):
1816 return self._foo
1817 @foo.setter
1818 def foo(self, value):
1819 raise RuntimeError
1820 @foo.setter
1821 def foo(self, value):
1822 self._foo = abs(value)
1823 @foo.deleter
1824 def foo(self, value=None):
1825 del self._foo
1826
1827 e = E()
1828 e.foo = -42
1829 self.assertEqual(e.foo, 42)
1830 del e.foo
1831
1832 class F(E):
1833 @E.foo.deleter
1834 def foo(self):
1835 del self._foo
1836 @foo.setter
1837 def foo(self, value):
1838 self._foo = max(0, value)
1839 f = F()
1840 f.foo = -10
1841 self.assertEqual(f.foo, 0)
1842 del f.foo
1843
1844 def test_dict_constructors(self):
1845 # Testing dict constructor ...
1846 d = dict()
1847 self.assertEqual(d, {})
1848 d = dict({})
1849 self.assertEqual(d, {})
1850 d = dict({1: 2, 'a': 'b'})
1851 self.assertEqual(d, {1: 2, 'a': 'b'})
1852 self.assertEqual(d, dict(list(d.items())))
1853 self.assertEqual(d, dict(iter(d.items())))
1854 d = dict({'one':1, 'two':2})
1855 self.assertEqual(d, dict(one=1, two=2))
1856 self.assertEqual(d, dict(**d))
1857 self.assertEqual(d, dict({"one": 1}, two=2))
1858 self.assertEqual(d, dict([("two", 2)], one=1))
1859 self.assertEqual(d, dict([("one", 100), ("two", 200)], **d))
1860 self.assertEqual(d, dict(**d))
1861
1862 for badarg in 0, 0, 0j, "0", [0], (0,):
1863 try:
1864 dict(badarg)
1865 except TypeError:
1866 pass
1867 except ValueError:
1868 if badarg == "0":
1869 # It's a sequence, and its elements are also sequences (gotta
1870 # love strings <wink>), but they aren't of length 2, so this
1871 # one seemed better as a ValueError than a TypeError.
1872 pass
1873 else:
1874 self.fail("no TypeError from dict(%r)" % badarg)
1875 else:
1876 self.fail("no TypeError from dict(%r)" % badarg)
1877
1878 try:
1879 dict({}, {})
1880 except TypeError:
1881 pass
1882 else:
1883 self.fail("no TypeError from dict({}, {})")
1884
1885 class Mapping:
1886 # Lacks a .keys() method; will be added later.
1887 dict = {1:2, 3:4, 'a':1j}
1888
1889 try:
1890 dict(Mapping())
1891 except TypeError:
1892 pass
1893 else:
1894 self.fail("no TypeError from dict(incomplete mapping)")
1895
1896 Mapping.keys = lambda self: list(self.dict.keys())
1897 Mapping.__getitem__ = lambda self, i: self.dict[i]
1898 d = dict(Mapping())
1899 self.assertEqual(d, Mapping.dict)
1900
1901 # Init from sequence of iterable objects, each producing a 2-sequence.
1902 class AddressBookEntry:
1903 def __init__(self, first, last):
1904 self.first = first
1905 self.last = last
1906 def __iter__(self):
1907 return iter([self.first, self.last])
1908
1909 d = dict([AddressBookEntry('Tim', 'Warsaw'),
1910 AddressBookEntry('Barry', 'Peters'),
1911 AddressBookEntry('Tim', 'Peters'),
1912 AddressBookEntry('Barry', 'Warsaw')])
1913 self.assertEqual(d, {'Barry': 'Warsaw', 'Tim': 'Peters'})
1914
1915 d = dict(zip(range(4), range(1, 5)))
1916 self.assertEqual(d, dict([(i, i+1) for i in range(4)]))
1917
1918 # Bad sequence lengths.
1919 for bad in [('tooshort',)], [('too', 'long', 'by 1')]:
1920 try:
1921 dict(bad)
1922 except ValueError:
1923 pass
1924 else:
1925 self.fail("no ValueError from dict(%r)" % bad)
1926
1927 def test_dir(self):
1928 # Testing dir() ...
1929 junk = 12
1930 self.assertEqual(dir(), ['junk', 'self'])
1931 del junk
1932
1933 # Just make sure these don't blow up!
1934 for arg in 2, 2, 2j, 2e0, [2], "2", b"2", (2,), {2:2}, type, self.test_dir:
1935 dir(arg)
1936
1937 # Test dir on new-style classes. Since these have object as a
1938 # base class, a lot more gets sucked in.
1939 def interesting(strings):
1940 return [s for s in strings if not s.startswith('_')]
1941
1942 class C(object):
1943 Cdata = 1
1944 def Cmethod(self): pass
1945
1946 cstuff = ['Cdata', 'Cmethod']
1947 self.assertEqual(interesting(dir(C)), cstuff)
1948
1949 c = C()
1950 self.assertEqual(interesting(dir(c)), cstuff)
1951 ## self.assert_('__self__' in dir(C.Cmethod))
1952
1953 c.cdata = 2
1954 c.cmethod = lambda self: 0
1955 self.assertEqual(interesting(dir(c)), cstuff + ['cdata', 'cmethod'])
1956 ## self.assert_('__self__' in dir(c.Cmethod))
1957
1958 class A(C):
1959 Adata = 1
1960 def Amethod(self): pass
1961
1962 astuff = ['Adata', 'Amethod'] + cstuff
1963 self.assertEqual(interesting(dir(A)), astuff)
1964 ## self.assert_('__self__' in dir(A.Amethod))
1965 a = A()
1966 self.assertEqual(interesting(dir(a)), astuff)
1967 a.adata = 42
1968 a.amethod = lambda self: 3
1969 self.assertEqual(interesting(dir(a)), astuff + ['adata', 'amethod'])
1970 ## self.assert_('__self__' in dir(a.Amethod))
1971
1972 # Try a module subclass.
1973 import sys
1974 class M(type(sys)):
1975 pass
1976 minstance = M("m")
1977 minstance.b = 2
1978 minstance.a = 1
1979 names = [x for x in dir(minstance) if x not in ["__name__", "__doc__"]]
1980 self.assertEqual(names, ['a', 'b'])
1981
1982 class M2(M):
1983 def getdict(self):
1984 return "Not a dict!"
1985 __dict__ = property(getdict)
1986
1987 m2instance = M2("m2")
1988 m2instance.b = 2
1989 m2instance.a = 1
1990 self.assertEqual(m2instance.__dict__, "Not a dict!")
1991 try:
1992 dir(m2instance)
1993 except TypeError:
1994 pass
1995
1996 # Two essentially featureless objects, just inheriting stuff from
1997 # object.
1998 self.assertEqual(dir(None), dir(Ellipsis))
1999
2000 # Nasty test case for proxied objects
2001 class Wrapper(object):
2002 def __init__(self, obj):
2003 self.__obj = obj
2004 def __repr__(self):
2005 return "Wrapper(%s)" % repr(self.__obj)
2006 def __getitem__(self, key):
2007 return Wrapper(self.__obj[key])
2008 def __len__(self):
2009 return len(self.__obj)
2010 def __getattr__(self, name):
2011 return Wrapper(getattr(self.__obj, name))
2012
2013 class C(object):
2014 def __getclass(self):
2015 return Wrapper(type(self))
2016 __class__ = property(__getclass)
2017
2018 dir(C()) # This used to segfault
2019
2020 def test_supers(self):
2021 # Testing super...
2022
2023 class A(object):
2024 def meth(self, a):
2025 return "A(%r)" % a
2026
2027 self.assertEqual(A().meth(1), "A(1)")
2028
2029 class B(A):
2030 def __init__(self):
2031 self.__super = super(B, self)
2032 def meth(self, a):
2033 return "B(%r)" % a + self.__super.meth(a)
2034
2035 self.assertEqual(B().meth(2), "B(2)A(2)")
2036
2037 class C(A):
2038 def meth(self, a):
2039 return "C(%r)" % a + self.__super.meth(a)
2040 C._C__super = super(C)
2041
2042 self.assertEqual(C().meth(3), "C(3)A(3)")
2043
2044 class D(C, B):
2045 def meth(self, a):
2046 return "D(%r)" % a + super(D, self).meth(a)
2047
2048 self.assertEqual(D().meth(4), "D(4)C(4)B(4)A(4)")
2049
2050 # Test for subclassing super
2051
2052 class mysuper(super):
2053 def __init__(self, *args):
2054 return super(mysuper, self).__init__(*args)
2055
2056 class E(D):
2057 def meth(self, a):
2058 return "E(%r)" % a + mysuper(E, self).meth(a)
2059
2060 self.assertEqual(E().meth(5), "E(5)D(5)C(5)B(5)A(5)")
2061
2062 class F(E):
2063 def meth(self, a):
2064 s = self.__super # == mysuper(F, self)
2065 return "F(%r)[%s]" % (a, s.__class__.__name__) + s.meth(a)
2066 F._F__super = mysuper(F)
2067
2068 self.assertEqual(F().meth(6), "F(6)[mysuper]E(6)D(6)C(6)B(6)A(6)")
2069
2070 # Make sure certain errors are raised
2071
2072 try:
2073 super(D, 42)
2074 except TypeError:
2075 pass
2076 else:
2077 self.fail("shouldn't allow super(D, 42)")
2078
2079 try:
2080 super(D, C())
2081 except TypeError:
2082 pass
2083 else:
2084 self.fail("shouldn't allow super(D, C())")
2085
2086 try:
2087 super(D).__get__(12)
2088 except TypeError:
2089 pass
2090 else:
2091 self.fail("shouldn't allow super(D).__get__(12)")
2092
2093 try:
2094 super(D).__get__(C())
2095 except TypeError:
2096 pass
2097 else:
2098 self.fail("shouldn't allow super(D).__get__(C())")
2099
2100 # Make sure data descriptors can be overridden and accessed via super
2101 # (new feature in Python 2.3)
2102
2103 class DDbase(object):
2104 def getx(self): return 42
2105 x = property(getx)
2106
2107 class DDsub(DDbase):
2108 def getx(self): return "hello"
2109 x = property(getx)
2110
2111 dd = DDsub()
2112 self.assertEqual(dd.x, "hello")
2113 self.assertEqual(super(DDsub, dd).x, 42)
2114
2115 # Ensure that super() lookup of descriptor from classmethod
2116 # works (SF ID# 743627)
2117
2118 class Base(object):
2119 aProp = property(lambda self: "foo")
2120
2121 class Sub(Base):
2122 @classmethod
2123 def test(klass):
2124 return super(Sub,klass).aProp
2125
2126 self.assertEqual(Sub.test(), Base.aProp)
2127
2128 # Verify that super() doesn't allow keyword args
2129 try:
2130 super(Base, kw=1)
2131 except TypeError:
2132 pass
2133 else:
2134 self.assertEqual("super shouldn't accept keyword args")
2135
2136 def test_basic_inheritance(self):
2137 # Testing inheritance from basic types...
2138
2139 class hexint(int):
2140 def __repr__(self):
2141 return hex(self)
2142 def __add__(self, other):
2143 return hexint(int.__add__(self, other))
2144 # (Note that overriding __radd__ doesn't work,
2145 # because the int type gets first dibs.)
2146 self.assertEqual(repr(hexint(7) + 9), "0x10")
2147 self.assertEqual(repr(hexint(1000) + 7), "0x3ef")
2148 a = hexint(12345)
2149 self.assertEqual(a, 12345)
2150 self.assertEqual(int(a), 12345)
2151 self.assert_(int(a).__class__ is int)
2152 self.assertEqual(hash(a), hash(12345))
2153 self.assert_((+a).__class__ is int)
2154 self.assert_((a >> 0).__class__ is int)
2155 self.assert_((a << 0).__class__ is int)
2156 self.assert_((hexint(0) << 12).__class__ is int)
2157 self.assert_((hexint(0) >> 12).__class__ is int)
2158
2159 class octlong(int):
2160 __slots__ = []
2161 def __str__(self):
2162 s = oct(self)
2163 if s[-1] == 'L':
2164 s = s[:-1]
2165 return s
2166 def __add__(self, other):
2167 return self.__class__(super(octlong, self).__add__(other))
2168 __radd__ = __add__
2169 self.assertEqual(str(octlong(3) + 5), "0o10")
2170 # (Note that overriding __radd__ here only seems to work
2171 # because the example uses a short int left argument.)
2172 self.assertEqual(str(5 + octlong(3000)), "0o5675")
2173 a = octlong(12345)
2174 self.assertEqual(a, 12345)
2175 self.assertEqual(int(a), 12345)
2176 self.assertEqual(hash(a), hash(12345))
2177 self.assert_(int(a).__class__ is int)
2178 self.assert_((+a).__class__ is int)
2179 self.assert_((-a).__class__ is int)
2180 self.assert_((-octlong(0)).__class__ is int)
2181 self.assert_((a >> 0).__class__ is int)
2182 self.assert_((a << 0).__class__ is int)
2183 self.assert_((a - 0).__class__ is int)
2184 self.assert_((a * 1).__class__ is int)
2185 self.assert_((a ** 1).__class__ is int)
2186 self.assert_((a // 1).__class__ is int)
2187 self.assert_((1 * a).__class__ is int)
2188 self.assert_((a | 0).__class__ is int)
2189 self.assert_((a ^ 0).__class__ is int)
2190 self.assert_((a & -1).__class__ is int)
2191 self.assert_((octlong(0) << 12).__class__ is int)
2192 self.assert_((octlong(0) >> 12).__class__ is int)
2193 self.assert_(abs(octlong(0)).__class__ is int)
2194
2195 # Because octlong overrides __add__, we can't check the absence of +0
2196 # optimizations using octlong.
2197 class longclone(int):
2198 pass
2199 a = longclone(1)
2200 self.assert_((a + 0).__class__ is int)
2201 self.assert_((0 + a).__class__ is int)
2202
2203 # Check that negative clones don't segfault
2204 a = longclone(-1)
2205 self.assertEqual(a.__dict__, {})
2206 self.assertEqual(int(a), -1) # self.assert_ PyNumber_Long() copies the sign bit
2207
2208 class precfloat(float):
2209 __slots__ = ['prec']
2210 def __init__(self, value=0.0, prec=12):
2211 self.prec = int(prec)
2212 def __repr__(self):
2213 return "%.*g" % (self.prec, self)
2214 self.assertEqual(repr(precfloat(1.1)), "1.1")
2215 a = precfloat(12345)
2216 self.assertEqual(a, 12345.0)
2217 self.assertEqual(float(a), 12345.0)
2218 self.assert_(float(a).__class__ is float)
2219 self.assertEqual(hash(a), hash(12345.0))
2220 self.assert_((+a).__class__ is float)
2221
2222 class madcomplex(complex):
2223 def __repr__(self):
2224 return "%.17gj%+.17g" % (self.imag, self.real)
2225 a = madcomplex(-3, 4)
2226 self.assertEqual(repr(a), "4j-3")
2227 base = complex(-3, 4)
2228 self.assertEqual(base.__class__, complex)
2229 self.assertEqual(a, base)
2230 self.assertEqual(complex(a), base)
2231 self.assertEqual(complex(a).__class__, complex)
2232 a = madcomplex(a) # just trying another form of the constructor
2233 self.assertEqual(repr(a), "4j-3")
2234 self.assertEqual(a, base)
2235 self.assertEqual(complex(a), base)
2236 self.assertEqual(complex(a).__class__, complex)
2237 self.assertEqual(hash(a), hash(base))
2238 self.assertEqual((+a).__class__, complex)
2239 self.assertEqual((a + 0).__class__, complex)
2240 self.assertEqual(a + 0, base)
2241 self.assertEqual((a - 0).__class__, complex)
2242 self.assertEqual(a - 0, base)
2243 self.assertEqual((a * 1).__class__, complex)
2244 self.assertEqual(a * 1, base)
2245 self.assertEqual((a / 1).__class__, complex)
2246 self.assertEqual(a / 1, base)
2247
2248 class madtuple(tuple):
2249 _rev = None
2250 def rev(self):
2251 if self._rev is not None:
2252 return self._rev
2253 L = list(self)
2254 L.reverse()
2255 self._rev = self.__class__(L)
2256 return self._rev
2257 a = madtuple((1,2,3,4,5,6,7,8,9,0))
2258 self.assertEqual(a, (1,2,3,4,5,6,7,8,9,0))
2259 self.assertEqual(a.rev(), madtuple((0,9,8,7,6,5,4,3,2,1)))
2260 self.assertEqual(a.rev().rev(), madtuple((1,2,3,4,5,6,7,8,9,0)))
2261 for i in range(512):
2262 t = madtuple(range(i))
2263 u = t.rev()
2264 v = u.rev()
2265 self.assertEqual(v, t)
2266 a = madtuple((1,2,3,4,5))
2267 self.assertEqual(tuple(a), (1,2,3,4,5))
2268 self.assert_(tuple(a).__class__ is tuple)
2269 self.assertEqual(hash(a), hash((1,2,3,4,5)))
2270 self.assert_(a[:].__class__ is tuple)
2271 self.assert_((a * 1).__class__ is tuple)
2272 self.assert_((a * 0).__class__ is tuple)
2273 self.assert_((a + ()).__class__ is tuple)
2274 a = madtuple(())
2275 self.assertEqual(tuple(a), ())
2276 self.assert_(tuple(a).__class__ is tuple)
2277 self.assert_((a + a).__class__ is tuple)
2278 self.assert_((a * 0).__class__ is tuple)
2279 self.assert_((a * 1).__class__ is tuple)
2280 self.assert_((a * 2).__class__ is tuple)
2281 self.assert_(a[:].__class__ is tuple)
2282
2283 class madstring(str):
2284 _rev = None
2285 def rev(self):
2286 if self._rev is not None:
2287 return self._rev
2288 L = list(self)
2289 L.reverse()
2290 self._rev = self.__class__("".join(L))
2291 return self._rev
2292 s = madstring("abcdefghijklmnopqrstuvwxyz")
2293 self.assertEqual(s, "abcdefghijklmnopqrstuvwxyz")
2294 self.assertEqual(s.rev(), madstring("zyxwvutsrqponmlkjihgfedcba"))
2295 self.assertEqual(s.rev().rev(), madstring("abcdefghijklmnopqrstuvwxyz"))
2296 for i in range(256):
2297 s = madstring("".join(map(chr, range(i))))
2298 t = s.rev()
2299 u = t.rev()
2300 self.assertEqual(u, s)
2301 s = madstring("12345")
2302 self.assertEqual(str(s), "12345")
2303 self.assert_(str(s).__class__ is str)
2304
2305 base = "\x00" * 5
2306 s = madstring(base)
2307 self.assertEqual(s, base)
2308 self.assertEqual(str(s), base)
2309 self.assert_(str(s).__class__ is str)
2310 self.assertEqual(hash(s), hash(base))
2311 self.assertEqual({s: 1}[base], 1)
2312 self.assertEqual({base: 1}[s], 1)
2313 self.assert_((s + "").__class__ is str)
2314 self.assertEqual(s + "", base)
2315 self.assert_(("" + s).__class__ is str)
2316 self.assertEqual("" + s, base)
2317 self.assert_((s * 0).__class__ is str)
2318 self.assertEqual(s * 0, "")
2319 self.assert_((s * 1).__class__ is str)
2320 self.assertEqual(s * 1, base)
2321 self.assert_((s * 2).__class__ is str)
2322 self.assertEqual(s * 2, base + base)
2323 self.assert_(s[:].__class__ is str)
2324 self.assertEqual(s[:], base)
2325 self.assert_(s[0:0].__class__ is str)
2326 self.assertEqual(s[0:0], "")
2327 self.assert_(s.strip().__class__ is str)
2328 self.assertEqual(s.strip(), base)
2329 self.assert_(s.lstrip().__class__ is str)
2330 self.assertEqual(s.lstrip(), base)
2331 self.assert_(s.rstrip().__class__ is str)
2332 self.assertEqual(s.rstrip(), base)
2333 identitytab = {}
2334 self.assert_(s.translate(identitytab).__class__ is str)
2335 self.assertEqual(s.translate(identitytab), base)
2336 self.assert_(s.replace("x", "x").__class__ is str)
2337 self.assertEqual(s.replace("x", "x"), base)
2338 self.assert_(s.ljust(len(s)).__class__ is str)
2339 self.assertEqual(s.ljust(len(s)), base)
2340 self.assert_(s.rjust(len(s)).__class__ is str)
2341 self.assertEqual(s.rjust(len(s)), base)
2342 self.assert_(s.center(len(s)).__class__ is str)
2343 self.assertEqual(s.center(len(s)), base)
2344 self.assert_(s.lower().__class__ is str)
2345 self.assertEqual(s.lower(), base)
2346
2347 class madunicode(str):
2348 _rev = None
2349 def rev(self):
2350 if self._rev is not None:
2351 return self._rev
2352 L = list(self)
2353 L.reverse()
2354 self._rev = self.__class__("".join(L))
2355 return self._rev
2356 u = madunicode("ABCDEF")
2357 self.assertEqual(u, "ABCDEF")
2358 self.assertEqual(u.rev(), madunicode("FEDCBA"))
2359 self.assertEqual(u.rev().rev(), madunicode("ABCDEF"))
2360 base = "12345"
2361 u = madunicode(base)
2362 self.assertEqual(str(u), base)
2363 self.assert_(str(u).__class__ is str)
2364 self.assertEqual(hash(u), hash(base))
2365 self.assertEqual({u: 1}[base], 1)
2366 self.assertEqual({base: 1}[u], 1)
2367 self.assert_(u.strip().__class__ is str)
2368 self.assertEqual(u.strip(), base)
2369 self.assert_(u.lstrip().__class__ is str)
2370 self.assertEqual(u.lstrip(), base)
2371 self.assert_(u.rstrip().__class__ is str)
2372 self.assertEqual(u.rstrip(), base)
2373 self.assert_(u.replace("x", "x").__class__ is str)
2374 self.assertEqual(u.replace("x", "x"), base)
2375 self.assert_(u.replace("xy", "xy").__class__ is str)
2376 self.assertEqual(u.replace("xy", "xy"), base)
2377 self.assert_(u.center(len(u)).__class__ is str)
2378 self.assertEqual(u.center(len(u)), base)
2379 self.assert_(u.ljust(len(u)).__class__ is str)
2380 self.assertEqual(u.ljust(len(u)), base)
2381 self.assert_(u.rjust(len(u)).__class__ is str)
2382 self.assertEqual(u.rjust(len(u)), base)
2383 self.assert_(u.lower().__class__ is str)
2384 self.assertEqual(u.lower(), base)
2385 self.assert_(u.upper().__class__ is str)
2386 self.assertEqual(u.upper(), base)
2387 self.assert_(u.capitalize().__class__ is str)
2388 self.assertEqual(u.capitalize(), base)
2389 self.assert_(u.title().__class__ is str)
2390 self.assertEqual(u.title(), base)
2391 self.assert_((u + "").__class__ is str)
2392 self.assertEqual(u + "", base)
2393 self.assert_(("" + u).__class__ is str)
2394 self.assertEqual("" + u, base)
2395 self.assert_((u * 0).__class__ is str)
2396 self.assertEqual(u * 0, "")
2397 self.assert_((u * 1).__class__ is str)
2398 self.assertEqual(u * 1, base)
2399 self.assert_((u * 2).__class__ is str)
2400 self.assertEqual(u * 2, base + base)
2401 self.assert_(u[:].__class__ is str)
2402 self.assertEqual(u[:], base)
2403 self.assert_(u[0:0].__class__ is str)
2404 self.assertEqual(u[0:0], "")
2405
2406 class sublist(list):
2407 pass
2408 a = sublist(range(5))
2409 self.assertEqual(a, list(range(5)))
2410 a.append("hello")
2411 self.assertEqual(a, list(range(5)) + ["hello"])
2412 a[5] = 5
2413 self.assertEqual(a, list(range(6)))
2414 a.extend(range(6, 20))
2415 self.assertEqual(a, list(range(20)))
2416 a[-5:] = []
2417 self.assertEqual(a, list(range(15)))
2418 del a[10:15]
2419 self.assertEqual(len(a), 10)
2420 self.assertEqual(a, list(range(10)))
2421 self.assertEqual(list(a), list(range(10)))
2422 self.assertEqual(a[0], 0)
2423 self.assertEqual(a[9], 9)
2424 self.assertEqual(a[-10], 0)
2425 self.assertEqual(a[-1], 9)
2426 self.assertEqual(a[:5], list(range(5)))
2427
2428 ## class CountedInput(file):
2429 ## """Counts lines read by self.readline().
2430 ##
2431 ## self.lineno is the 0-based ordinal of the last line read, up to
2432 ## a maximum of one greater than the number of lines in the file.
2433 ##
2434 ## self.ateof is true if and only if the final "" line has been read,
2435 ## at which point self.lineno stops incrementing, and further calls
2436 ## to readline() continue to return "".
2437 ## """
2438 ##
2439 ## lineno = 0
2440 ## ateof = 0
2441 ## def readline(self):
2442 ## if self.ateof:
2443 ## return ""
2444 ## s = file.readline(self)
2445 ## # Next line works too.
2446 ## # s = super(CountedInput, self).readline()
2447 ## self.lineno += 1
2448 ## if s == "":
2449 ## self.ateof = 1
2450 ## return s
2451 ##
Benjamin Petersonee8712c2008-05-20 21:35:26 +00002452 ## f = file(name=support.TESTFN, mode='w')
Georg Brandl479a7e72008-02-05 18:13:15 +00002453 ## lines = ['a\n', 'b\n', 'c\n']
2454 ## try:
2455 ## f.writelines(lines)
2456 ## f.close()
Benjamin Petersonee8712c2008-05-20 21:35:26 +00002457 ## f = CountedInput(support.TESTFN)
Georg Brandl479a7e72008-02-05 18:13:15 +00002458 ## for (i, expected) in zip(range(1, 5) + [4], lines + 2 * [""]):
2459 ## got = f.readline()
2460 ## self.assertEqual(expected, got)
2461 ## self.assertEqual(f.lineno, i)
2462 ## self.assertEqual(f.ateof, (i > len(lines)))
2463 ## f.close()
2464 ## finally:
2465 ## try:
2466 ## f.close()
2467 ## except:
2468 ## pass
Benjamin Petersonee8712c2008-05-20 21:35:26 +00002469 ## support.unlink(support.TESTFN)
Georg Brandl479a7e72008-02-05 18:13:15 +00002470
2471 def test_keywords(self):
2472 # Testing keyword args to basic type constructors ...
2473 self.assertEqual(int(x=1), 1)
2474 self.assertEqual(float(x=2), 2.0)
2475 self.assertEqual(int(x=3), 3)
2476 self.assertEqual(complex(imag=42, real=666), complex(666, 42))
2477 self.assertEqual(str(object=500), '500')
2478 self.assertEqual(str(object=b'abc', errors='strict'), 'abc')
2479 self.assertEqual(tuple(sequence=range(3)), (0, 1, 2))
2480 self.assertEqual(list(sequence=(0, 1, 2)), list(range(3)))
2481 # note: as of Python 2.3, dict() no longer has an "items" keyword arg
2482
2483 for constructor in (int, float, int, complex, str, str,
2484 tuple, list):
2485 try:
2486 constructor(bogus_keyword_arg=1)
2487 except TypeError:
2488 pass
2489 else:
2490 self.fail("expected TypeError from bogus keyword argument to %r"
2491 % constructor)
2492
2493 def test_str_subclass_as_dict_key(self):
2494 # Testing a str subclass used as dict key ..
2495
2496 class cistr(str):
2497 """Sublcass of str that computes __eq__ case-insensitively.
2498
2499 Also computes a hash code of the string in canonical form.
2500 """
2501
2502 def __init__(self, value):
2503 self.canonical = value.lower()
2504 self.hashcode = hash(self.canonical)
2505
2506 def __eq__(self, other):
2507 if not isinstance(other, cistr):
2508 other = cistr(other)
2509 return self.canonical == other.canonical
2510
2511 def __hash__(self):
2512 return self.hashcode
2513
2514 self.assertEqual(cistr('ABC'), 'abc')
2515 self.assertEqual('aBc', cistr('ABC'))
2516 self.assertEqual(str(cistr('ABC')), 'ABC')
2517
2518 d = {cistr('one'): 1, cistr('two'): 2, cistr('tHree'): 3}
2519 self.assertEqual(d[cistr('one')], 1)
2520 self.assertEqual(d[cistr('tWo')], 2)
2521 self.assertEqual(d[cistr('THrEE')], 3)
2522 self.assert_(cistr('ONe') in d)
2523 self.assertEqual(d.get(cistr('thrEE')), 3)
2524
2525 def test_classic_comparisons(self):
2526 # Testing classic comparisons...
2527 class classic:
2528 pass
2529
2530 for base in (classic, int, object):
2531 class C(base):
2532 def __init__(self, value):
2533 self.value = int(value)
2534 def __eq__(self, other):
2535 if isinstance(other, C):
2536 return self.value == other.value
2537 if isinstance(other, int) or isinstance(other, int):
2538 return self.value == other
2539 return NotImplemented
2540 def __ne__(self, other):
2541 if isinstance(other, C):
2542 return self.value != other.value
2543 if isinstance(other, int) or isinstance(other, int):
2544 return self.value != other
2545 return NotImplemented
2546 def __lt__(self, other):
2547 if isinstance(other, C):
2548 return self.value < other.value
2549 if isinstance(other, int) or isinstance(other, int):
2550 return self.value < other
2551 return NotImplemented
2552 def __le__(self, other):
2553 if isinstance(other, C):
2554 return self.value <= other.value
2555 if isinstance(other, int) or isinstance(other, int):
2556 return self.value <= other
2557 return NotImplemented
2558 def __gt__(self, other):
2559 if isinstance(other, C):
2560 return self.value > other.value
2561 if isinstance(other, int) or isinstance(other, int):
2562 return self.value > other
2563 return NotImplemented
2564 def __ge__(self, other):
2565 if isinstance(other, C):
2566 return self.value >= other.value
2567 if isinstance(other, int) or isinstance(other, int):
2568 return self.value >= other
2569 return NotImplemented
2570
2571 c1 = C(1)
2572 c2 = C(2)
2573 c3 = C(3)
2574 self.assertEqual(c1, 1)
2575 c = {1: c1, 2: c2, 3: c3}
2576 for x in 1, 2, 3:
2577 for y in 1, 2, 3:
2578 ## self.assert_(cmp(c[x], c[y]) == cmp(x, y), "x=%d, y=%d" % (x, y))
2579 for op in "<", "<=", "==", "!=", ">", ">=":
2580 self.assert_(eval("c[x] %s c[y]" % op) == eval("x %s y" % op),
2581 "x=%d, y=%d" % (x, y))
2582 ## self.assert_(cmp(c[x], y) == cmp(x, y), "x=%d, y=%d" % (x, y))
2583 ## self.assert_(cmp(x, c[y]) == cmp(x, y), "x=%d, y=%d" % (x, y))
2584
2585 def test_rich_comparisons(self):
2586 # Testing rich comparisons...
2587 class Z(complex):
2588 pass
2589 z = Z(1)
2590 self.assertEqual(z, 1+0j)
2591 self.assertEqual(1+0j, z)
2592 class ZZ(complex):
2593 def __eq__(self, other):
2594 try:
2595 return abs(self - other) <= 1e-6
2596 except:
2597 return NotImplemented
2598 zz = ZZ(1.0000003)
2599 self.assertEqual(zz, 1+0j)
2600 self.assertEqual(1+0j, zz)
2601
2602 class classic:
2603 pass
2604 for base in (classic, int, object, list):
2605 class C(base):
2606 def __init__(self, value):
2607 self.value = int(value)
2608 def __cmp__(self_, other):
2609 self.fail("shouldn't call __cmp__")
2610 def __eq__(self, other):
2611 if isinstance(other, C):
2612 return self.value == other.value
2613 if isinstance(other, int) or isinstance(other, int):
2614 return self.value == other
2615 return NotImplemented
2616 def __ne__(self, other):
2617 if isinstance(other, C):
2618 return self.value != other.value
2619 if isinstance(other, int) or isinstance(other, int):
2620 return self.value != other
2621 return NotImplemented
2622 def __lt__(self, other):
2623 if isinstance(other, C):
2624 return self.value < other.value
2625 if isinstance(other, int) or isinstance(other, int):
2626 return self.value < other
2627 return NotImplemented
2628 def __le__(self, other):
2629 if isinstance(other, C):
2630 return self.value <= other.value
2631 if isinstance(other, int) or isinstance(other, int):
2632 return self.value <= other
2633 return NotImplemented
2634 def __gt__(self, other):
2635 if isinstance(other, C):
2636 return self.value > other.value
2637 if isinstance(other, int) or isinstance(other, int):
2638 return self.value > other
2639 return NotImplemented
2640 def __ge__(self, other):
2641 if isinstance(other, C):
2642 return self.value >= other.value
2643 if isinstance(other, int) or isinstance(other, int):
2644 return self.value >= other
2645 return NotImplemented
2646 c1 = C(1)
2647 c2 = C(2)
2648 c3 = C(3)
2649 self.assertEqual(c1, 1)
2650 c = {1: c1, 2: c2, 3: c3}
2651 for x in 1, 2, 3:
2652 for y in 1, 2, 3:
2653 for op in "<", "<=", "==", "!=", ">", ">=":
2654 self.assert_(eval("c[x] %s c[y]" % op) == eval("x %s y" % op),
2655 "x=%d, y=%d" % (x, y))
2656 self.assert_(eval("c[x] %s y" % op) == eval("x %s y" % op),
2657 "x=%d, y=%d" % (x, y))
2658 self.assert_(eval("x %s c[y]" % op) == eval("x %s y" % op),
2659 "x=%d, y=%d" % (x, y))
2660
2661 def test_descrdoc(self):
2662 # Testing descriptor doc strings...
2663 from _fileio import _FileIO
2664 def check(descr, what):
2665 self.assertEqual(descr.__doc__, what)
2666 check(_FileIO.closed, "True if the file is closed") # getset descriptor
2667 check(complex.real, "the real part of a complex number") # member descriptor
2668
2669 def test_doc_descriptor(self):
2670 # Testing __doc__ descriptor...
2671 # SF bug 542984
2672 class DocDescr(object):
2673 def __get__(self, object, otype):
2674 if object:
2675 object = object.__class__.__name__ + ' instance'
2676 if otype:
2677 otype = otype.__name__
2678 return 'object=%s; type=%s' % (object, otype)
2679 class OldClass:
2680 __doc__ = DocDescr()
2681 class NewClass(object):
2682 __doc__ = DocDescr()
2683 self.assertEqual(OldClass.__doc__, 'object=None; type=OldClass')
2684 self.assertEqual(OldClass().__doc__, 'object=OldClass instance; type=OldClass')
2685 self.assertEqual(NewClass.__doc__, 'object=None; type=NewClass')
2686 self.assertEqual(NewClass().__doc__, 'object=NewClass instance; type=NewClass')
2687
2688 def test_set_class(self):
2689 # Testing __class__ assignment...
2690 class C(object): pass
2691 class D(object): pass
2692 class E(object): pass
2693 class F(D, E): pass
2694 for cls in C, D, E, F:
2695 for cls2 in C, D, E, F:
2696 x = cls()
2697 x.__class__ = cls2
2698 self.assert_(x.__class__ is cls2)
2699 x.__class__ = cls
2700 self.assert_(x.__class__ is cls)
2701 def cant(x, C):
2702 try:
2703 x.__class__ = C
2704 except TypeError:
2705 pass
2706 else:
2707 self.fail("shouldn't allow %r.__class__ = %r" % (x, C))
2708 try:
2709 delattr(x, "__class__")
2710 except TypeError:
2711 pass
2712 else:
2713 self.fail("shouldn't allow del %r.__class__" % x)
2714 cant(C(), list)
2715 cant(list(), C)
2716 cant(C(), 1)
2717 cant(C(), object)
2718 cant(object(), list)
2719 cant(list(), object)
2720 class Int(int): __slots__ = []
2721 cant(2, Int)
2722 cant(Int(), int)
2723 cant(True, int)
2724 cant(2, bool)
2725 o = object()
2726 cant(o, type(1))
2727 cant(o, type(None))
2728 del o
2729 class G(object):
2730 __slots__ = ["a", "b"]
2731 class H(object):
2732 __slots__ = ["b", "a"]
2733 class I(object):
2734 __slots__ = ["a", "b"]
2735 class J(object):
2736 __slots__ = ["c", "b"]
2737 class K(object):
2738 __slots__ = ["a", "b", "d"]
2739 class L(H):
2740 __slots__ = ["e"]
2741 class M(I):
2742 __slots__ = ["e"]
2743 class N(J):
2744 __slots__ = ["__weakref__"]
2745 class P(J):
2746 __slots__ = ["__dict__"]
2747 class Q(J):
2748 pass
2749 class R(J):
2750 __slots__ = ["__dict__", "__weakref__"]
2751
2752 for cls, cls2 in ((G, H), (G, I), (I, H), (Q, R), (R, Q)):
2753 x = cls()
2754 x.a = 1
2755 x.__class__ = cls2
2756 self.assert_(x.__class__ is cls2,
2757 "assigning %r as __class__ for %r silently failed" % (cls2, x))
2758 self.assertEqual(x.a, 1)
2759 x.__class__ = cls
2760 self.assert_(x.__class__ is cls,
2761 "assigning %r as __class__ for %r silently failed" % (cls, x))
2762 self.assertEqual(x.a, 1)
2763 for cls in G, J, K, L, M, N, P, R, list, Int:
2764 for cls2 in G, J, K, L, M, N, P, R, list, Int:
2765 if cls is cls2:
2766 continue
2767 cant(cls(), cls2)
2768
2769 def test_set_dict(self):
2770 # Testing __dict__ assignment...
2771 class C(object): pass
2772 a = C()
2773 a.__dict__ = {'b': 1}
2774 self.assertEqual(a.b, 1)
2775 def cant(x, dict):
2776 try:
2777 x.__dict__ = dict
2778 except (AttributeError, TypeError):
2779 pass
2780 else:
2781 self.fail("shouldn't allow %r.__dict__ = %r" % (x, dict))
2782 cant(a, None)
2783 cant(a, [])
2784 cant(a, 1)
2785 del a.__dict__ # Deleting __dict__ is allowed
2786
2787 class Base(object):
2788 pass
2789 def verify_dict_readonly(x):
2790 """
2791 x has to be an instance of a class inheriting from Base.
2792 """
2793 cant(x, {})
2794 try:
2795 del x.__dict__
2796 except (AttributeError, TypeError):
2797 pass
2798 else:
2799 self.fail("shouldn't allow del %r.__dict__" % x)
2800 dict_descr = Base.__dict__["__dict__"]
2801 try:
2802 dict_descr.__set__(x, {})
2803 except (AttributeError, TypeError):
2804 pass
2805 else:
2806 self.fail("dict_descr allowed access to %r's dict" % x)
2807
2808 # Classes don't allow __dict__ assignment and have readonly dicts
2809 class Meta1(type, Base):
2810 pass
2811 class Meta2(Base, type):
2812 pass
2813 class D(object, metaclass=Meta1):
2814 pass
2815 class E(object, metaclass=Meta2):
2816 pass
2817 for cls in C, D, E:
2818 verify_dict_readonly(cls)
2819 class_dict = cls.__dict__
2820 try:
2821 class_dict["spam"] = "eggs"
2822 except TypeError:
2823 pass
2824 else:
2825 self.fail("%r's __dict__ can be modified" % cls)
2826
2827 # Modules also disallow __dict__ assignment
2828 class Module1(types.ModuleType, Base):
2829 pass
2830 class Module2(Base, types.ModuleType):
2831 pass
2832 for ModuleType in Module1, Module2:
2833 mod = ModuleType("spam")
2834 verify_dict_readonly(mod)
2835 mod.__dict__["spam"] = "eggs"
2836
2837 # Exception's __dict__ can be replaced, but not deleted
2838 class Exception1(Exception, Base):
2839 pass
2840 class Exception2(Base, Exception):
2841 pass
2842 for ExceptionType in Exception, Exception1, Exception2:
2843 e = ExceptionType()
2844 e.__dict__ = {"a": 1}
2845 self.assertEqual(e.a, 1)
2846 try:
2847 del e.__dict__
2848 except (TypeError, AttributeError):
2849 pass
2850 else:
2851 self.fail("%r's __dict__ can be deleted" % e)
2852
2853 def test_pickles(self):
2854 # Testing pickling and copying new-style classes and objects...
2855 import pickle
2856
2857 def sorteditems(d):
2858 L = list(d.items())
2859 L.sort()
2860 return L
2861
2862 global C
2863 class C(object):
2864 def __init__(self, a, b):
2865 super(C, self).__init__()
2866 self.a = a
2867 self.b = b
2868 def __repr__(self):
2869 return "C(%r, %r)" % (self.a, self.b)
2870
2871 global C1
2872 class C1(list):
2873 def __new__(cls, a, b):
2874 return super(C1, cls).__new__(cls)
2875 def __getnewargs__(self):
2876 return (self.a, self.b)
2877 def __init__(self, a, b):
2878 self.a = a
2879 self.b = b
2880 def __repr__(self):
2881 return "C1(%r, %r)<%r>" % (self.a, self.b, list(self))
2882
2883 global C2
2884 class C2(int):
2885 def __new__(cls, a, b, val=0):
2886 return super(C2, cls).__new__(cls, val)
2887 def __getnewargs__(self):
2888 return (self.a, self.b, int(self))
2889 def __init__(self, a, b, val=0):
2890 self.a = a
2891 self.b = b
2892 def __repr__(self):
2893 return "C2(%r, %r)<%r>" % (self.a, self.b, int(self))
2894
2895 global C3
2896 class C3(object):
2897 def __init__(self, foo):
2898 self.foo = foo
2899 def __getstate__(self):
2900 return self.foo
2901 def __setstate__(self, foo):
2902 self.foo = foo
2903
2904 global C4classic, C4
2905 class C4classic: # classic
2906 pass
2907 class C4(C4classic, object): # mixed inheritance
2908 pass
2909
Guido van Rossum3926a632001-09-25 16:25:58 +00002910 for bin in 0, 1:
Guido van Rossum3926a632001-09-25 16:25:58 +00002911 for cls in C, C1, C2:
Georg Brandl479a7e72008-02-05 18:13:15 +00002912 s = pickle.dumps(cls, bin)
2913 cls2 = pickle.loads(s)
2914 self.assert_(cls2 is cls)
Guido van Rossum3926a632001-09-25 16:25:58 +00002915
2916 a = C1(1, 2); a.append(42); a.append(24)
2917 b = C2("hello", "world", 42)
Georg Brandl479a7e72008-02-05 18:13:15 +00002918 s = pickle.dumps((a, b), bin)
2919 x, y = pickle.loads(s)
2920 self.assertEqual(x.__class__, a.__class__)
2921 self.assertEqual(sorteditems(x.__dict__), sorteditems(a.__dict__))
2922 self.assertEqual(y.__class__, b.__class__)
2923 self.assertEqual(sorteditems(y.__dict__), sorteditems(b.__dict__))
2924 self.assertEqual(repr(x), repr(a))
2925 self.assertEqual(repr(y), repr(b))
Guido van Rossum90c45142001-11-24 21:07:01 +00002926 # Test for __getstate__ and __setstate__ on new style class
2927 u = C3(42)
Georg Brandl479a7e72008-02-05 18:13:15 +00002928 s = pickle.dumps(u, bin)
2929 v = pickle.loads(s)
2930 self.assertEqual(u.__class__, v.__class__)
2931 self.assertEqual(u.foo, v.foo)
Guido van Rossum90c45142001-11-24 21:07:01 +00002932 # Test for picklability of hybrid class
2933 u = C4()
2934 u.foo = 42
Georg Brandl479a7e72008-02-05 18:13:15 +00002935 s = pickle.dumps(u, bin)
2936 v = pickle.loads(s)
2937 self.assertEqual(u.__class__, v.__class__)
2938 self.assertEqual(u.foo, v.foo)
Guido van Rossum3926a632001-09-25 16:25:58 +00002939
Georg Brandl479a7e72008-02-05 18:13:15 +00002940 # Testing copy.deepcopy()
2941 import copy
2942 for cls in C, C1, C2:
2943 cls2 = copy.deepcopy(cls)
2944 self.assert_(cls2 is cls)
Guido van Rossum6cef6d52001-09-28 18:13:29 +00002945
Georg Brandl479a7e72008-02-05 18:13:15 +00002946 a = C1(1, 2); a.append(42); a.append(24)
2947 b = C2("hello", "world", 42)
2948 x, y = copy.deepcopy((a, b))
2949 self.assertEqual(x.__class__, a.__class__)
2950 self.assertEqual(sorteditems(x.__dict__), sorteditems(a.__dict__))
2951 self.assertEqual(y.__class__, b.__class__)
2952 self.assertEqual(sorteditems(y.__dict__), sorteditems(b.__dict__))
2953 self.assertEqual(repr(x), repr(a))
2954 self.assertEqual(repr(y), repr(b))
Guido van Rossum6cef6d52001-09-28 18:13:29 +00002955
Georg Brandl479a7e72008-02-05 18:13:15 +00002956 def test_pickle_slots(self):
2957 # Testing pickling of classes with __slots__ ...
2958 import pickle
2959 # Pickling of classes with __slots__ but without __getstate__ should fail
2960 # (if using protocol 0 or 1)
2961 global B, C, D, E
2962 class B(object):
Guido van Rossum8c842552002-03-14 23:05:54 +00002963 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00002964 for base in [object, B]:
2965 class C(base):
2966 __slots__ = ['a']
2967 class D(C):
2968 pass
2969 try:
2970 pickle.dumps(C(), 0)
2971 except TypeError:
2972 pass
2973 else:
2974 self.fail("should fail: pickle C instance - %s" % base)
2975 try:
2976 pickle.dumps(C(), 0)
2977 except TypeError:
2978 pass
2979 else:
2980 self.fail("should fail: pickle D instance - %s" % base)
2981 # Give C a nice generic __getstate__ and __setstate__
2982 class C(base):
2983 __slots__ = ['a']
2984 def __getstate__(self):
2985 try:
2986 d = self.__dict__.copy()
2987 except AttributeError:
2988 d = {}
2989 for cls in self.__class__.__mro__:
2990 for sn in cls.__dict__.get('__slots__', ()):
2991 try:
2992 d[sn] = getattr(self, sn)
2993 except AttributeError:
2994 pass
2995 return d
2996 def __setstate__(self, d):
2997 for k, v in list(d.items()):
2998 setattr(self, k, v)
2999 class D(C):
3000 pass
3001 # Now it should work
3002 x = C()
3003 y = pickle.loads(pickle.dumps(x))
3004 self.assertEqual(hasattr(y, 'a'), 0)
3005 x.a = 42
3006 y = pickle.loads(pickle.dumps(x))
3007 self.assertEqual(y.a, 42)
3008 x = D()
3009 x.a = 42
3010 x.b = 100
3011 y = pickle.loads(pickle.dumps(x))
3012 self.assertEqual(y.a + y.b, 142)
3013 # A subclass that adds a slot should also work
3014 class E(C):
3015 __slots__ = ['b']
3016 x = E()
3017 x.a = 42
3018 x.b = "foo"
3019 y = pickle.loads(pickle.dumps(x))
3020 self.assertEqual(y.a, x.a)
3021 self.assertEqual(y.b, x.b)
3022
3023 def test_binary_operator_override(self):
3024 # Testing overrides of binary operations...
3025 class I(int):
3026 def __repr__(self):
3027 return "I(%r)" % int(self)
3028 def __add__(self, other):
3029 return I(int(self) + int(other))
3030 __radd__ = __add__
3031 def __pow__(self, other, mod=None):
3032 if mod is None:
3033 return I(pow(int(self), int(other)))
3034 else:
3035 return I(pow(int(self), int(other), int(mod)))
3036 def __rpow__(self, other, mod=None):
3037 if mod is None:
3038 return I(pow(int(other), int(self), mod))
3039 else:
3040 return I(pow(int(other), int(self), int(mod)))
3041
3042 self.assertEqual(repr(I(1) + I(2)), "I(3)")
3043 self.assertEqual(repr(I(1) + 2), "I(3)")
3044 self.assertEqual(repr(1 + I(2)), "I(3)")
3045 self.assertEqual(repr(I(2) ** I(3)), "I(8)")
3046 self.assertEqual(repr(2 ** I(3)), "I(8)")
3047 self.assertEqual(repr(I(2) ** 3), "I(8)")
3048 self.assertEqual(repr(pow(I(2), I(3), I(5))), "I(3)")
3049 class S(str):
3050 def __eq__(self, other):
3051 return self.lower() == other.lower()
3052
3053 def test_subclass_propagation(self):
3054 # Testing propagation of slot functions to subclasses...
3055 class A(object):
3056 pass
3057 class B(A):
3058 pass
3059 class C(A):
3060 pass
3061 class D(B, C):
3062 pass
3063 d = D()
3064 orig_hash = hash(d) # related to id(d) in platform-dependent ways
3065 A.__hash__ = lambda self: 42
3066 self.assertEqual(hash(d), 42)
3067 C.__hash__ = lambda self: 314
3068 self.assertEqual(hash(d), 314)
3069 B.__hash__ = lambda self: 144
3070 self.assertEqual(hash(d), 144)
3071 D.__hash__ = lambda self: 100
3072 self.assertEqual(hash(d), 100)
Nick Coghland1abd252008-07-15 15:46:38 +00003073 D.__hash__ = None
3074 self.assertRaises(TypeError, hash, d)
Georg Brandl479a7e72008-02-05 18:13:15 +00003075 del D.__hash__
3076 self.assertEqual(hash(d), 144)
Nick Coghland1abd252008-07-15 15:46:38 +00003077 B.__hash__ = None
3078 self.assertRaises(TypeError, hash, d)
Georg Brandl479a7e72008-02-05 18:13:15 +00003079 del B.__hash__
3080 self.assertEqual(hash(d), 314)
Nick Coghland1abd252008-07-15 15:46:38 +00003081 C.__hash__ = None
3082 self.assertRaises(TypeError, hash, d)
Georg Brandl479a7e72008-02-05 18:13:15 +00003083 del C.__hash__
3084 self.assertEqual(hash(d), 42)
Nick Coghland1abd252008-07-15 15:46:38 +00003085 A.__hash__ = None
3086 self.assertRaises(TypeError, hash, d)
Georg Brandl479a7e72008-02-05 18:13:15 +00003087 del A.__hash__
3088 self.assertEqual(hash(d), orig_hash)
3089 d.foo = 42
3090 d.bar = 42
3091 self.assertEqual(d.foo, 42)
3092 self.assertEqual(d.bar, 42)
3093 def __getattribute__(self, name):
3094 if name == "foo":
3095 return 24
3096 return object.__getattribute__(self, name)
3097 A.__getattribute__ = __getattribute__
3098 self.assertEqual(d.foo, 24)
3099 self.assertEqual(d.bar, 42)
3100 def __getattr__(self, name):
3101 if name in ("spam", "foo", "bar"):
3102 return "hello"
3103 raise AttributeError(name)
3104 B.__getattr__ = __getattr__
3105 self.assertEqual(d.spam, "hello")
3106 self.assertEqual(d.foo, 24)
3107 self.assertEqual(d.bar, 42)
3108 del A.__getattribute__
3109 self.assertEqual(d.foo, 42)
3110 del d.foo
3111 self.assertEqual(d.foo, "hello")
3112 self.assertEqual(d.bar, 42)
3113 del B.__getattr__
Guido van Rossum8c842552002-03-14 23:05:54 +00003114 try:
Georg Brandl479a7e72008-02-05 18:13:15 +00003115 d.foo
3116 except AttributeError:
3117 pass
3118 else:
3119 self.fail("d.foo should be undefined now")
3120
3121 # Test a nasty bug in recurse_down_subclasses()
3122 import gc
3123 class A(object):
3124 pass
3125 class B(A):
3126 pass
3127 del B
3128 gc.collect()
3129 A.__setitem__ = lambda *a: None # crash
3130
3131 def test_buffer_inheritance(self):
3132 # Testing that buffer interface is inherited ...
3133
3134 import binascii
3135 # SF bug [#470040] ParseTuple t# vs subclasses.
3136
3137 class MyStr(str):
3138 pass
3139 base = 'abc'
3140 m = MyStr(base)
3141 # b2a_hex uses the buffer interface to get its argument's value, via
3142 # PyArg_ParseTuple 't#' code.
3143 self.assertEqual(binascii.b2a_hex(m), binascii.b2a_hex(base))
3144
3145 # It's not clear that unicode will continue to support the character
3146 # buffer interface, and this test will fail if that's taken away.
3147 class MyUni(str):
3148 pass
3149 base = 'abc'
3150 m = MyUni(base)
3151 self.assertEqual(binascii.b2a_hex(m), binascii.b2a_hex(base))
3152
3153 class MyInt(int):
3154 pass
3155 m = MyInt(42)
3156 try:
3157 binascii.b2a_hex(m)
3158 self.fail('subclass of int should not have a buffer interface')
3159 except TypeError:
3160 pass
3161
3162 def test_str_of_str_subclass(self):
3163 # Testing __str__ defined in subclass of str ...
3164 import binascii
3165 import io
3166
3167 class octetstring(str):
3168 def __str__(self):
3169 return binascii.b2a_hex(self).decode("ascii")
3170 def __repr__(self):
3171 return self + " repr"
3172
3173 o = octetstring('A')
3174 self.assertEqual(type(o), octetstring)
3175 self.assertEqual(type(str(o)), str)
3176 self.assertEqual(type(repr(o)), str)
3177 self.assertEqual(ord(o), 0x41)
3178 self.assertEqual(str(o), '41')
3179 self.assertEqual(repr(o), 'A repr')
3180 self.assertEqual(o.__str__(), '41')
3181 self.assertEqual(o.__repr__(), 'A repr')
3182
3183 capture = io.StringIO()
3184 # Calling str() or not exercises different internal paths.
3185 print(o, file=capture)
3186 print(str(o), file=capture)
3187 self.assertEqual(capture.getvalue(), '41\n41\n')
3188 capture.close()
3189
3190 def test_keyword_arguments(self):
3191 # Testing keyword arguments to __init__, __call__...
3192 def f(a): return a
3193 self.assertEqual(f.__call__(a=42), 42)
3194 a = []
3195 list.__init__(a, sequence=[0, 1, 2])
3196 self.assertEqual(a, [0, 1, 2])
3197
3198 def test_recursive_call(self):
3199 # Testing recursive __call__() by setting to instance of class...
3200 class A(object):
3201 pass
3202
3203 A.__call__ = A()
3204 try:
3205 A()()
3206 except RuntimeError:
3207 pass
3208 else:
3209 self.fail("Recursion limit should have been reached for __call__()")
3210
3211 def test_delete_hook(self):
3212 # Testing __del__ hook...
3213 log = []
3214 class C(object):
3215 def __del__(self):
3216 log.append(1)
3217 c = C()
3218 self.assertEqual(log, [])
3219 del c
3220 self.assertEqual(log, [1])
3221
3222 class D(object): pass
3223 d = D()
3224 try: del d[0]
3225 except TypeError: pass
3226 else: self.fail("invalid del() didn't raise TypeError")
3227
3228 def test_hash_inheritance(self):
3229 # Testing hash of mutable subclasses...
3230
3231 class mydict(dict):
3232 pass
3233 d = mydict()
3234 try:
3235 hash(d)
Guido van Rossum8c842552002-03-14 23:05:54 +00003236 except TypeError:
3237 pass
3238 else:
Georg Brandl479a7e72008-02-05 18:13:15 +00003239 self.fail("hash() of dict subclass should fail")
3240
3241 class mylist(list):
3242 pass
3243 d = mylist()
Guido van Rossum8c842552002-03-14 23:05:54 +00003244 try:
Georg Brandl479a7e72008-02-05 18:13:15 +00003245 hash(d)
Guido van Rossum8c842552002-03-14 23:05:54 +00003246 except TypeError:
3247 pass
3248 else:
Georg Brandl479a7e72008-02-05 18:13:15 +00003249 self.fail("hash() of list subclass should fail")
3250
3251 def test_str_operations(self):
3252 try: 'a' + 5
3253 except TypeError: pass
3254 else: self.fail("'' + 5 doesn't raise TypeError")
3255
3256 try: ''.split('')
3257 except ValueError: pass
3258 else: self.fail("''.split('') doesn't raise ValueError")
3259
3260 try: ''.join([0])
3261 except TypeError: pass
3262 else: self.fail("''.join([0]) doesn't raise TypeError")
3263
3264 try: ''.rindex('5')
3265 except ValueError: pass
3266 else: self.fail("''.rindex('5') doesn't raise ValueError")
3267
3268 try: '%(n)s' % None
3269 except TypeError: pass
3270 else: self.fail("'%(n)s' % None doesn't raise TypeError")
3271
3272 try: '%(n' % {}
3273 except ValueError: pass
3274 else: self.fail("'%(n' % {} '' doesn't raise ValueError")
3275
3276 try: '%*s' % ('abc')
3277 except TypeError: pass
3278 else: self.fail("'%*s' % ('abc') doesn't raise TypeError")
3279
3280 try: '%*.*s' % ('abc', 5)
3281 except TypeError: pass
3282 else: self.fail("'%*.*s' % ('abc', 5) doesn't raise TypeError")
3283
3284 try: '%s' % (1, 2)
3285 except TypeError: pass
3286 else: self.fail("'%s' % (1, 2) doesn't raise TypeError")
3287
3288 try: '%' % None
3289 except ValueError: pass
3290 else: self.fail("'%' % None doesn't raise ValueError")
3291
3292 self.assertEqual('534253'.isdigit(), 1)
3293 self.assertEqual('534253x'.isdigit(), 0)
3294 self.assertEqual('%c' % 5, '\x05')
3295 self.assertEqual('%c' % '5', '5')
3296
3297 def test_deepcopy_recursive(self):
3298 # Testing deepcopy of recursive objects...
3299 class Node:
Guido van Rossum8c842552002-03-14 23:05:54 +00003300 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003301 a = Node()
3302 b = Node()
3303 a.b = b
3304 b.a = a
3305 z = deepcopy(a) # This blew up before
3306
3307 def test_unintialized_modules(self):
3308 # Testing uninitialized module objects...
3309 from types import ModuleType as M
3310 m = M.__new__(M)
3311 str(m)
3312 self.assertEqual(hasattr(m, "__name__"), 0)
3313 self.assertEqual(hasattr(m, "__file__"), 0)
3314 self.assertEqual(hasattr(m, "foo"), 0)
3315 self.assertEqual(m.__dict__, None)
3316 m.foo = 1
3317 self.assertEqual(m.__dict__, {"foo": 1})
3318
3319 def test_funny_new(self):
3320 # Testing __new__ returning something unexpected...
3321 class C(object):
3322 def __new__(cls, arg):
3323 if isinstance(arg, str): return [1, 2, 3]
3324 elif isinstance(arg, int): return object.__new__(D)
3325 else: return object.__new__(cls)
3326 class D(C):
3327 def __init__(self, arg):
3328 self.foo = arg
3329 self.assertEqual(C("1"), [1, 2, 3])
3330 self.assertEqual(D("1"), [1, 2, 3])
3331 d = D(None)
3332 self.assertEqual(d.foo, None)
3333 d = C(1)
3334 self.assertEqual(isinstance(d, D), True)
3335 self.assertEqual(d.foo, 1)
3336 d = D(1)
3337 self.assertEqual(isinstance(d, D), True)
3338 self.assertEqual(d.foo, 1)
3339
3340 def test_imul_bug(self):
3341 # Testing for __imul__ problems...
3342 # SF bug 544647
3343 class C(object):
3344 def __imul__(self, other):
3345 return (self, other)
Guido van Rossum8c842552002-03-14 23:05:54 +00003346 x = C()
Georg Brandl479a7e72008-02-05 18:13:15 +00003347 y = x
3348 y *= 1.0
3349 self.assertEqual(y, (x, 1.0))
3350 y = x
3351 y *= 2
3352 self.assertEqual(y, (x, 2))
3353 y = x
3354 y *= 3
3355 self.assertEqual(y, (x, 3))
3356 y = x
3357 y *= 1<<100
3358 self.assertEqual(y, (x, 1<<100))
3359 y = x
3360 y *= None
3361 self.assertEqual(y, (x, None))
3362 y = x
3363 y *= "foo"
3364 self.assertEqual(y, (x, "foo"))
Guido van Rossum8c842552002-03-14 23:05:54 +00003365
Georg Brandl479a7e72008-02-05 18:13:15 +00003366 def test_copy_setstate(self):
3367 # Testing that copy.*copy() correctly uses __setstate__...
3368 import copy
3369 class C(object):
3370 def __init__(self, foo=None):
3371 self.foo = foo
3372 self.__foo = foo
3373 def setfoo(self, foo=None):
3374 self.foo = foo
3375 def getfoo(self):
3376 return self.__foo
3377 def __getstate__(self):
3378 return [self.foo]
3379 def __setstate__(self_, lst):
3380 self.assertEqual(len(lst), 1)
3381 self_.__foo = self_.foo = lst[0]
3382 a = C(42)
3383 a.setfoo(24)
3384 self.assertEqual(a.foo, 24)
3385 self.assertEqual(a.getfoo(), 42)
3386 b = copy.copy(a)
3387 self.assertEqual(b.foo, 24)
3388 self.assertEqual(b.getfoo(), 24)
3389 b = copy.deepcopy(a)
3390 self.assertEqual(b.foo, 24)
3391 self.assertEqual(b.getfoo(), 24)
Guido van Rossum6cef6d52001-09-28 18:13:29 +00003392
Georg Brandl479a7e72008-02-05 18:13:15 +00003393 def test_slices(self):
3394 # Testing cases with slices and overridden __getitem__ ...
Guido van Rossum6cef6d52001-09-28 18:13:29 +00003395
Georg Brandl479a7e72008-02-05 18:13:15 +00003396 # Strings
3397 self.assertEqual("hello"[:4], "hell")
3398 self.assertEqual("hello"[slice(4)], "hell")
3399 self.assertEqual(str.__getitem__("hello", slice(4)), "hell")
3400 class S(str):
3401 def __getitem__(self, x):
3402 return str.__getitem__(self, x)
3403 self.assertEqual(S("hello")[:4], "hell")
3404 self.assertEqual(S("hello")[slice(4)], "hell")
3405 self.assertEqual(S("hello").__getitem__(slice(4)), "hell")
3406 # Tuples
3407 self.assertEqual((1,2,3)[:2], (1,2))
3408 self.assertEqual((1,2,3)[slice(2)], (1,2))
3409 self.assertEqual(tuple.__getitem__((1,2,3), slice(2)), (1,2))
3410 class T(tuple):
3411 def __getitem__(self, x):
3412 return tuple.__getitem__(self, x)
3413 self.assertEqual(T((1,2,3))[:2], (1,2))
3414 self.assertEqual(T((1,2,3))[slice(2)], (1,2))
3415 self.assertEqual(T((1,2,3)).__getitem__(slice(2)), (1,2))
3416 # Lists
3417 self.assertEqual([1,2,3][:2], [1,2])
3418 self.assertEqual([1,2,3][slice(2)], [1,2])
3419 self.assertEqual(list.__getitem__([1,2,3], slice(2)), [1,2])
3420 class L(list):
3421 def __getitem__(self, x):
3422 return list.__getitem__(self, x)
3423 self.assertEqual(L([1,2,3])[:2], [1,2])
3424 self.assertEqual(L([1,2,3])[slice(2)], [1,2])
3425 self.assertEqual(L([1,2,3]).__getitem__(slice(2)), [1,2])
3426 # Now do lists and __setitem__
3427 a = L([1,2,3])
3428 a[slice(1, 3)] = [3,2]
3429 self.assertEqual(a, [1,3,2])
3430 a[slice(0, 2, 1)] = [3,1]
3431 self.assertEqual(a, [3,1,2])
3432 a.__setitem__(slice(1, 3), [2,1])
3433 self.assertEqual(a, [3,2,1])
3434 a.__setitem__(slice(0, 2, 1), [2,3])
3435 self.assertEqual(a, [2,3,1])
Guido van Rossum6cef6d52001-09-28 18:13:29 +00003436
Georg Brandl479a7e72008-02-05 18:13:15 +00003437 def test_subtype_resurrection(self):
3438 # Testing resurrection of new-style instance...
Guido van Rossum6cef6d52001-09-28 18:13:29 +00003439
Georg Brandl479a7e72008-02-05 18:13:15 +00003440 class C(object):
3441 container = []
Tim Peters2f93e282001-10-04 05:27:00 +00003442
Georg Brandl479a7e72008-02-05 18:13:15 +00003443 def __del__(self):
3444 # resurrect the instance
3445 C.container.append(self)
Guido van Rossum4bb1e362001-09-28 23:49:48 +00003446
Georg Brandl479a7e72008-02-05 18:13:15 +00003447 c = C()
3448 c.attr = 42
Tim Petersfc57ccb2001-10-12 02:38:24 +00003449
Georg Brandl479a7e72008-02-05 18:13:15 +00003450 # The most interesting thing here is whether this blows up, due to flawed
3451 # GC tracking logic in typeobject.c's call_finalizer() (a 2.2.1 bug).
3452 del c
Guido van Rossume7f3e242002-06-14 02:35:45 +00003453
Georg Brandl479a7e72008-02-05 18:13:15 +00003454 # If that didn't blow up, it's also interesting to see whether clearing
3455 # the last container slot works: that will attempt to delete c again,
3456 # which will cause c to get appended back to the container again "during"
3457 # the del.
3458 del C.container[-1]
3459 self.assertEqual(len(C.container), 1)
3460 self.assertEqual(C.container[-1].attr, 42)
Tim Petersfc57ccb2001-10-12 02:38:24 +00003461
Georg Brandl479a7e72008-02-05 18:13:15 +00003462 # Make c mortal again, so that the test framework with -l doesn't report
3463 # it as a leak.
3464 del C.__del__
Tim Petersfc57ccb2001-10-12 02:38:24 +00003465
Georg Brandl479a7e72008-02-05 18:13:15 +00003466 def test_slots_trash(self):
3467 # Testing slot trash...
3468 # Deallocating deeply nested slotted trash caused stack overflows
3469 class trash(object):
3470 __slots__ = ['x']
3471 def __init__(self, x):
3472 self.x = x
3473 o = None
3474 for i in range(50000):
3475 o = trash(o)
3476 del o
Tim Petersfc57ccb2001-10-12 02:38:24 +00003477
Georg Brandl479a7e72008-02-05 18:13:15 +00003478 def test_slots_multiple_inheritance(self):
3479 # SF bug 575229, multiple inheritance w/ slots dumps core
3480 class A(object):
3481 __slots__=()
3482 class B(object):
Walter Dörwalddbd2d252002-03-25 18:36:32 +00003483 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003484 class C(A,B) :
3485 __slots__=()
3486 self.assertEqual(C.__basicsize__, B.__basicsize__)
3487 self.assert_(hasattr(C, '__dict__'))
3488 self.assert_(hasattr(C, '__weakref__'))
3489 C().x = 2
Walter Dörwalddbd2d252002-03-25 18:36:32 +00003490
Georg Brandl479a7e72008-02-05 18:13:15 +00003491 def test_rmul(self):
3492 # Testing correct invocation of __rmul__...
3493 # SF patch 592646
3494 class C(object):
3495 def __mul__(self, other):
3496 return "mul"
3497 def __rmul__(self, other):
3498 return "rmul"
3499 a = C()
3500 self.assertEqual(a*2, "mul")
3501 self.assertEqual(a*2.2, "mul")
3502 self.assertEqual(2*a, "rmul")
3503 self.assertEqual(2.2*a, "rmul")
3504
3505 def test_ipow(self):
3506 # Testing correct invocation of __ipow__...
3507 # [SF bug 620179]
3508 class C(object):
3509 def __ipow__(self, other):
3510 pass
3511 a = C()
3512 a **= 2
3513
3514 def test_mutable_bases(self):
3515 # Testing mutable bases...
3516
3517 # stuff that should work:
3518 class C(object):
Walter Dörwalddbd2d252002-03-25 18:36:32 +00003519 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003520 class C2(object):
3521 def __getattribute__(self, attr):
3522 if attr == 'a':
3523 return 2
3524 else:
3525 return super(C2, self).__getattribute__(attr)
3526 def meth(self):
3527 return 1
3528 class D(C):
Walter Dörwalddbd2d252002-03-25 18:36:32 +00003529 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003530 class E(D):
Guido van Rossum6e5680f2002-10-15 01:01:53 +00003531 pass
Georg Brandl479a7e72008-02-05 18:13:15 +00003532 d = D()
3533 e = E()
3534 D.__bases__ = (C,)
3535 D.__bases__ = (C2,)
3536 self.assertEqual(d.meth(), 1)
3537 self.assertEqual(e.meth(), 1)
3538 self.assertEqual(d.a, 2)
3539 self.assertEqual(e.a, 2)
3540 self.assertEqual(C2.__subclasses__(), [D])
Guido van Rossum6e5680f2002-10-15 01:01:53 +00003541
Georg Brandl479a7e72008-02-05 18:13:15 +00003542 # stuff that shouldn't:
3543 class L(list):
Guido van Rossum9fc8a292002-05-24 21:40:08 +00003544 pass
Guido van Rossum9fc8a292002-05-24 21:40:08 +00003545
Georg Brandl479a7e72008-02-05 18:13:15 +00003546 try:
3547 L.__bases__ = (dict,)
3548 except TypeError:
3549 pass
3550 else:
3551 self.fail("shouldn't turn list subclass into dict subclass")
Guido van Rossuma96b0df2002-06-18 16:49:45 +00003552
Georg Brandl479a7e72008-02-05 18:13:15 +00003553 try:
3554 list.__bases__ = (dict,)
3555 except TypeError:
3556 pass
3557 else:
3558 self.fail("shouldn't be able to assign to list.__bases__")
Michael W. Hudson98bbc492002-11-26 14:47:27 +00003559
Georg Brandl479a7e72008-02-05 18:13:15 +00003560 try:
3561 D.__bases__ = (C2, list)
3562 except TypeError:
3563 pass
3564 else:
3565 assert 0, "best_base calculation found wanting"
Michael W. Hudson98bbc492002-11-26 14:47:27 +00003566
Georg Brandl479a7e72008-02-05 18:13:15 +00003567 try:
3568 del D.__bases__
3569 except TypeError:
3570 pass
3571 else:
3572 self.fail("shouldn't be able to delete .__bases__")
Michael W. Hudson98bbc492002-11-26 14:47:27 +00003573
Georg Brandl479a7e72008-02-05 18:13:15 +00003574 try:
3575 D.__bases__ = ()
3576 except TypeError as msg:
3577 if str(msg) == "a new-style class can't have only classic bases":
3578 self.fail("wrong error message for .__bases__ = ()")
3579 else:
3580 self.fail("shouldn't be able to set .__bases__ to ()")
Michael W. Hudson98bbc492002-11-26 14:47:27 +00003581
Georg Brandl479a7e72008-02-05 18:13:15 +00003582 try:
3583 D.__bases__ = (D,)
3584 except TypeError:
3585 pass
3586 else:
3587 # actually, we'll have crashed by here...
3588 self.fail("shouldn't be able to create inheritance cycles")
Thomas Wouters89f507f2006-12-13 04:49:30 +00003589
Georg Brandl479a7e72008-02-05 18:13:15 +00003590 try:
3591 D.__bases__ = (C, C)
3592 except TypeError:
3593 pass
3594 else:
3595 self.fail("didn't detect repeated base classes")
Michael W. Hudson98bbc492002-11-26 14:47:27 +00003596
Georg Brandl479a7e72008-02-05 18:13:15 +00003597 try:
3598 D.__bases__ = (E,)
3599 except TypeError:
3600 pass
3601 else:
3602 self.fail("shouldn't be able to create inheritance cycles")
Guido van Rossum3bbc0ee2002-12-13 17:49:38 +00003603
Georg Brandl479a7e72008-02-05 18:13:15 +00003604 def test_mutable_bases_with_failing_mro(self):
3605 # Testing mutable bases with failing mro...
3606 class WorkOnce(type):
3607 def __new__(self, name, bases, ns):
3608 self.flag = 0
3609 return super(WorkOnce, self).__new__(WorkOnce, name, bases, ns)
3610 def mro(self):
3611 if self.flag > 0:
3612 raise RuntimeError("bozo")
3613 else:
3614 self.flag += 1
3615 return type.mro(self)
Michael W. Hudson98bbc492002-11-26 14:47:27 +00003616
Georg Brandl479a7e72008-02-05 18:13:15 +00003617 class WorkAlways(type):
3618 def mro(self):
3619 # this is here to make sure that .mro()s aren't called
3620 # with an exception set (which was possible at one point).
3621 # An error message will be printed in a debug build.
3622 # What's a good way to test for this?
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003623 return type.mro(self)
3624
Georg Brandl479a7e72008-02-05 18:13:15 +00003625 class C(object):
3626 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003627
Georg Brandl479a7e72008-02-05 18:13:15 +00003628 class C2(object):
3629 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003630
Georg Brandl479a7e72008-02-05 18:13:15 +00003631 class D(C):
3632 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003633
Georg Brandl479a7e72008-02-05 18:13:15 +00003634 class E(D):
3635 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003636
Georg Brandl479a7e72008-02-05 18:13:15 +00003637 class F(D, metaclass=WorkOnce):
3638 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003639
Georg Brandl479a7e72008-02-05 18:13:15 +00003640 class G(D, metaclass=WorkAlways):
3641 pass
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003642
Georg Brandl479a7e72008-02-05 18:13:15 +00003643 # Immediate subclasses have their mro's adjusted in alphabetical
3644 # order, so E's will get adjusted before adjusting F's fails. We
3645 # check here that E's gets restored.
Michael W. Hudson586da8f2002-11-27 15:20:19 +00003646
Georg Brandl479a7e72008-02-05 18:13:15 +00003647 E_mro_before = E.__mro__
3648 D_mro_before = D.__mro__
Armin Rigofd163f92005-12-29 15:59:19 +00003649
Armin Rigofd163f92005-12-29 15:59:19 +00003650 try:
Georg Brandl479a7e72008-02-05 18:13:15 +00003651 D.__bases__ = (C2,)
3652 except RuntimeError:
3653 self.assertEqual(E.__mro__, E_mro_before)
3654 self.assertEqual(D.__mro__, D_mro_before)
3655 else:
3656 self.fail("exception not propagated")
3657
3658 def test_mutable_bases_catch_mro_conflict(self):
3659 # Testing mutable bases catch mro conflict...
3660 class A(object):
3661 pass
3662
3663 class B(object):
3664 pass
3665
3666 class C(A, B):
3667 pass
3668
3669 class D(A, B):
3670 pass
3671
3672 class E(C, D):
3673 pass
3674
3675 try:
3676 C.__bases__ = (B, A)
Armin Rigofd163f92005-12-29 15:59:19 +00003677 except TypeError:
3678 pass
3679 else:
Georg Brandl479a7e72008-02-05 18:13:15 +00003680 self.fail("didn't catch MRO conflict")
Armin Rigofd163f92005-12-29 15:59:19 +00003681
Georg Brandl479a7e72008-02-05 18:13:15 +00003682 def test_mutable_names(self):
3683 # Testing mutable names...
3684 class C(object):
3685 pass
3686
3687 # C.__module__ could be 'test_descr' or '__main__'
3688 mod = C.__module__
3689
3690 C.__name__ = 'D'
3691 self.assertEqual((C.__module__, C.__name__), (mod, 'D'))
3692
3693 C.__name__ = 'D.E'
3694 self.assertEqual((C.__module__, C.__name__), (mod, 'D.E'))
3695
3696 def test_subclass_right_op(self):
3697 # Testing correct dispatch of subclass overloading __r<op>__...
3698
3699 # This code tests various cases where right-dispatch of a subclass
3700 # should be preferred over left-dispatch of a base class.
3701
3702 # Case 1: subclass of int; this tests code in abstract.c::binary_op1()
3703
3704 class B(int):
3705 def __floordiv__(self, other):
3706 return "B.__floordiv__"
3707 def __rfloordiv__(self, other):
3708 return "B.__rfloordiv__"
3709
3710 self.assertEqual(B(1) // 1, "B.__floordiv__")
3711 self.assertEqual(1 // B(1), "B.__rfloordiv__")
3712
3713 # Case 2: subclass of object; this is just the baseline for case 3
3714
3715 class C(object):
3716 def __floordiv__(self, other):
3717 return "C.__floordiv__"
3718 def __rfloordiv__(self, other):
3719 return "C.__rfloordiv__"
3720
3721 self.assertEqual(C() // 1, "C.__floordiv__")
3722 self.assertEqual(1 // C(), "C.__rfloordiv__")
3723
3724 # Case 3: subclass of new-style class; here it gets interesting
3725
3726 class D(C):
3727 def __floordiv__(self, other):
3728 return "D.__floordiv__"
3729 def __rfloordiv__(self, other):
3730 return "D.__rfloordiv__"
3731
3732 self.assertEqual(D() // C(), "D.__floordiv__")
3733 self.assertEqual(C() // D(), "D.__rfloordiv__")
3734
3735 # Case 4: this didn't work right in 2.2.2 and 2.3a1
3736
3737 class E(C):
3738 pass
3739
3740 self.assertEqual(E.__rfloordiv__, C.__rfloordiv__)
3741
3742 self.assertEqual(E() // 1, "C.__floordiv__")
3743 self.assertEqual(1 // E(), "C.__rfloordiv__")
3744 self.assertEqual(E() // C(), "C.__floordiv__")
3745 self.assertEqual(C() // E(), "C.__floordiv__") # This one would fail
3746
3747 def test_meth_class_get(self):
3748 # Testing __get__ method of METH_CLASS C methods...
3749 # Full coverage of descrobject.c::classmethod_get()
3750
3751 # Baseline
3752 arg = [1, 2, 3]
3753 res = {1: None, 2: None, 3: None}
3754 self.assertEqual(dict.fromkeys(arg), res)
3755 self.assertEqual({}.fromkeys(arg), res)
3756
3757 # Now get the descriptor
3758 descr = dict.__dict__["fromkeys"]
3759
3760 # More baseline using the descriptor directly
3761 self.assertEqual(descr.__get__(None, dict)(arg), res)
3762 self.assertEqual(descr.__get__({})(arg), res)
3763
3764 # Now check various error cases
3765 try:
3766 descr.__get__(None, None)
3767 except TypeError:
3768 pass
3769 else:
3770 self.fail("shouldn't have allowed descr.__get__(None, None)")
3771 try:
3772 descr.__get__(42)
3773 except TypeError:
3774 pass
3775 else:
3776 self.fail("shouldn't have allowed descr.__get__(42)")
3777 try:
3778 descr.__get__(None, 42)
3779 except TypeError:
3780 pass
3781 else:
3782 self.fail("shouldn't have allowed descr.__get__(None, 42)")
3783 try:
3784 descr.__get__(None, int)
3785 except TypeError:
3786 pass
3787 else:
3788 self.fail("shouldn't have allowed descr.__get__(None, int)")
3789
3790 def test_isinst_isclass(self):
3791 # Testing proxy isinstance() and isclass()...
3792 class Proxy(object):
3793 def __init__(self, obj):
3794 self.__obj = obj
3795 def __getattribute__(self, name):
3796 if name.startswith("_Proxy__"):
3797 return object.__getattribute__(self, name)
3798 else:
3799 return getattr(self.__obj, name)
3800 # Test with a classic class
3801 class C:
3802 pass
3803 a = C()
3804 pa = Proxy(a)
3805 self.assert_(isinstance(a, C)) # Baseline
3806 self.assert_(isinstance(pa, C)) # Test
3807 # Test with a classic subclass
3808 class D(C):
3809 pass
3810 a = D()
3811 pa = Proxy(a)
3812 self.assert_(isinstance(a, C)) # Baseline
3813 self.assert_(isinstance(pa, C)) # Test
3814 # Test with a new-style class
3815 class C(object):
3816 pass
3817 a = C()
3818 pa = Proxy(a)
3819 self.assert_(isinstance(a, C)) # Baseline
3820 self.assert_(isinstance(pa, C)) # Test
3821 # Test with a new-style subclass
3822 class D(C):
3823 pass
3824 a = D()
3825 pa = Proxy(a)
3826 self.assert_(isinstance(a, C)) # Baseline
3827 self.assert_(isinstance(pa, C)) # Test
3828
3829 def test_proxy_super(self):
3830 # Testing super() for a proxy object...
3831 class Proxy(object):
3832 def __init__(self, obj):
3833 self.__obj = obj
3834 def __getattribute__(self, name):
3835 if name.startswith("_Proxy__"):
3836 return object.__getattribute__(self, name)
3837 else:
3838 return getattr(self.__obj, name)
3839
3840 class B(object):
3841 def f(self):
3842 return "B.f"
3843
3844 class C(B):
3845 def f(self):
3846 return super(C, self).f() + "->C.f"
3847
3848 obj = C()
3849 p = Proxy(obj)
3850 self.assertEqual(C.__dict__["f"](p), "B.f->C.f")
3851
3852 def test_carloverre(self):
3853 # Testing prohibition of Carlo Verre's hack...
3854 try:
3855 object.__setattr__(str, "foo", 42)
3856 except TypeError:
3857 pass
3858 else:
3859 self.fail("Carlo Verre __setattr__ suceeded!")
3860 try:
3861 object.__delattr__(str, "lower")
3862 except TypeError:
3863 pass
3864 else:
3865 self.fail("Carlo Verre __delattr__ succeeded!")
3866
3867 def test_weakref_segfault(self):
3868 # Testing weakref segfault...
3869 # SF 742911
3870 import weakref
3871
3872 class Provoker:
3873 def __init__(self, referrent):
3874 self.ref = weakref.ref(referrent)
3875
3876 def __del__(self):
3877 x = self.ref()
3878
3879 class Oops(object):
3880 pass
3881
3882 o = Oops()
3883 o.whatever = Provoker(o)
3884 del o
3885
3886 def test_wrapper_segfault(self):
3887 # SF 927248: deeply nested wrappers could cause stack overflow
3888 f = lambda:None
3889 for i in range(1000000):
3890 f = f.__call__
3891 f = None
3892
3893 def test_file_fault(self):
3894 # Testing sys.stdout is changed in getattr...
3895 import sys
3896 class StdoutGuard:
3897 def __getattr__(self, attr):
3898 sys.stdout = sys.__stdout__
3899 raise RuntimeError("Premature access to sys.stdout.%s" % attr)
3900 sys.stdout = StdoutGuard()
3901 try:
3902 print("Oops!")
3903 except RuntimeError:
3904 pass
3905
3906 def test_vicious_descriptor_nonsense(self):
3907 # Testing vicious_descriptor_nonsense...
3908
3909 # A potential segfault spotted by Thomas Wouters in mail to
3910 # python-dev 2003-04-17, turned into an example & fixed by Michael
3911 # Hudson just less than four months later...
3912
3913 class Evil(object):
3914 def __hash__(self):
3915 return hash('attr')
3916 def __eq__(self, other):
3917 del C.attr
3918 return 0
3919
3920 class Descr(object):
3921 def __get__(self, ob, type=None):
3922 return 1
3923
3924 class C(object):
3925 attr = Descr()
3926
3927 c = C()
3928 c.__dict__[Evil()] = 0
3929
3930 self.assertEqual(c.attr, 1)
3931 # this makes a crash more likely:
3932 import gc; gc.collect()
3933 self.assertEqual(hasattr(c, 'attr'), False)
3934
3935 def test_init(self):
3936 # SF 1155938
3937 class Foo(object):
3938 def __init__(self):
3939 return 10
3940 try:
3941 Foo()
3942 except TypeError:
3943 pass
3944 else:
3945 self.fail("did not test __init__() for None return")
3946
3947 def test_method_wrapper(self):
3948 # Testing method-wrapper objects...
3949 # <type 'method-wrapper'> did not support any reflection before 2.5
3950
3951 return # XXX should methods really support __eq__?
3952
3953 l = []
3954 self.assertEqual(l.__add__, l.__add__)
3955 self.assertEqual(l.__add__, [].__add__)
3956 self.assert_(l.__add__ != [5].__add__)
3957 self.assert_(l.__add__ != l.__mul__)
3958 self.assert_(l.__add__.__name__ == '__add__')
3959 self.assert_(l.__add__.__self__ is l)
3960 self.assert_(l.__add__.__objclass__ is list)
3961 self.assertEqual(l.__add__.__doc__, list.__add__.__doc__)
3962 try:
3963 hash(l.__add__)
3964 except TypeError:
3965 pass
3966 else:
3967 self.fail("no TypeError from hash([].__add__)")
3968
3969 t = ()
3970 t += (7,)
3971 self.assertEqual(t.__add__, (7,).__add__)
3972 self.assertEqual(hash(t.__add__), hash((7,).__add__))
3973
3974 def test_not_implemented(self):
3975 # Testing NotImplemented...
3976 # all binary methods should be able to return a NotImplemented
3977 import sys
3978 import types
3979 import operator
3980
3981 def specialmethod(self, other):
3982 return NotImplemented
3983
3984 def check(expr, x, y):
3985 try:
3986 exec(expr, {'x': x, 'y': y, 'operator': operator})
3987 except TypeError:
3988 pass
3989 else:
3990 self.fail("no TypeError from %r" % (expr,))
3991
3992 N1 = sys.maxsize + 1 # might trigger OverflowErrors instead of
3993 # TypeErrors
3994 N2 = sys.maxsize # if sizeof(int) < sizeof(long), might trigger
3995 # ValueErrors instead of TypeErrors
Armin Rigofd163f92005-12-29 15:59:19 +00003996 for name, expr, iexpr in [
3997 ('__add__', 'x + y', 'x += y'),
3998 ('__sub__', 'x - y', 'x -= y'),
3999 ('__mul__', 'x * y', 'x *= y'),
Georg Brandl479a7e72008-02-05 18:13:15 +00004000 ('__truediv__', 'operator.truediv(x, y)', None),
4001 ('__floordiv__', 'operator.floordiv(x, y)', None),
4002 ('__div__', 'x / y', 'x /= y'),
Armin Rigofd163f92005-12-29 15:59:19 +00004003 ('__mod__', 'x % y', 'x %= y'),
4004 ('__divmod__', 'divmod(x, y)', None),
4005 ('__pow__', 'x ** y', 'x **= y'),
4006 ('__lshift__', 'x << y', 'x <<= y'),
4007 ('__rshift__', 'x >> y', 'x >>= y'),
4008 ('__and__', 'x & y', 'x &= y'),
4009 ('__or__', 'x | y', 'x |= y'),
Georg Brandl479a7e72008-02-05 18:13:15 +00004010 ('__xor__', 'x ^ y', 'x ^= y')]:
Neal Norwitz4886cc32006-08-21 17:06:07 +00004011 rname = '__r' + name[2:]
Georg Brandl479a7e72008-02-05 18:13:15 +00004012 A = type('A', (), {name: specialmethod})
Armin Rigofd163f92005-12-29 15:59:19 +00004013 a = A()
Armin Rigofd163f92005-12-29 15:59:19 +00004014 check(expr, a, a)
Armin Rigofd163f92005-12-29 15:59:19 +00004015 check(expr, a, N1)
4016 check(expr, a, N2)
Armin Rigofd163f92005-12-29 15:59:19 +00004017 if iexpr:
4018 check(iexpr, a, a)
Armin Rigofd163f92005-12-29 15:59:19 +00004019 check(iexpr, a, N1)
4020 check(iexpr, a, N2)
4021 iname = '__i' + name[2:]
Georg Brandl479a7e72008-02-05 18:13:15 +00004022 C = type('C', (), {iname: specialmethod})
Armin Rigofd163f92005-12-29 15:59:19 +00004023 c = C()
4024 check(iexpr, c, a)
Armin Rigofd163f92005-12-29 15:59:19 +00004025 check(iexpr, c, N1)
4026 check(iexpr, c, N2)
4027
Georg Brandl479a7e72008-02-05 18:13:15 +00004028 def test_assign_slice(self):
4029 # ceval.c's assign_slice used to check for
4030 # tp->tp_as_sequence->sq_slice instead of
4031 # tp->tp_as_sequence->sq_ass_slice
Guido van Rossumd8faa362007-04-27 19:54:29 +00004032
Georg Brandl479a7e72008-02-05 18:13:15 +00004033 class C(object):
4034 def __setitem__(self, idx, value):
4035 self.value = value
Guido van Rossumd8faa362007-04-27 19:54:29 +00004036
Georg Brandl479a7e72008-02-05 18:13:15 +00004037 c = C()
4038 c[1:2] = 3
4039 self.assertEqual(c.value, 3)
Guido van Rossumd8faa362007-04-27 19:54:29 +00004040
Christian Heimesbbffeb62008-01-24 09:42:52 +00004041
Georg Brandl479a7e72008-02-05 18:13:15 +00004042class DictProxyTests(unittest.TestCase):
4043 def setUp(self):
4044 class C(object):
4045 def meth(self):
4046 pass
4047 self.C = C
Christian Heimesbbffeb62008-01-24 09:42:52 +00004048
Georg Brandl479a7e72008-02-05 18:13:15 +00004049 def test_iter_keys(self):
4050 # Testing dict-proxy iterkeys...
4051 keys = [ key for key in self.C.__dict__.keys() ]
4052 keys.sort()
4053 self.assertEquals(keys, ['__dict__', '__doc__', '__module__',
4054 '__weakref__', 'meth'])
Christian Heimesbbffeb62008-01-24 09:42:52 +00004055
Georg Brandl479a7e72008-02-05 18:13:15 +00004056 def test_iter_values(self):
4057 # Testing dict-proxy itervalues...
4058 values = [ values for values in self.C.__dict__.values() ]
4059 self.assertEqual(len(values), 5)
Christian Heimesbbffeb62008-01-24 09:42:52 +00004060
Georg Brandl479a7e72008-02-05 18:13:15 +00004061 def test_iter_items(self):
4062 # Testing dict-proxy iteritems...
4063 keys = [ key for (key, value) in self.C.__dict__.items() ]
4064 keys.sort()
4065 self.assertEqual(keys, ['__dict__', '__doc__', '__module__',
4066 '__weakref__', 'meth'])
Christian Heimesbbffeb62008-01-24 09:42:52 +00004067
Georg Brandl479a7e72008-02-05 18:13:15 +00004068 def test_dict_type_with_metaclass(self):
4069 # Testing type of __dict__ when metaclass set...
4070 class B(object):
4071 pass
4072 class M(type):
4073 pass
4074 class C(metaclass=M):
4075 # In 2.3a1, C.__dict__ was a real dict rather than a dict proxy
4076 pass
4077 self.assertEqual(type(C.__dict__), type(B.__dict__))
Christian Heimesbbffeb62008-01-24 09:42:52 +00004078
Christian Heimesbbffeb62008-01-24 09:42:52 +00004079
Georg Brandl479a7e72008-02-05 18:13:15 +00004080class PTypesLongInitTest(unittest.TestCase):
4081 # This is in its own TestCase so that it can be run before any other tests.
4082 def test_pytype_long_ready(self):
4083 # Testing SF bug 551412 ...
Christian Heimesbbffeb62008-01-24 09:42:52 +00004084
Georg Brandl479a7e72008-02-05 18:13:15 +00004085 # This dumps core when SF bug 551412 isn't fixed --
4086 # but only when test_descr.py is run separately.
4087 # (That can't be helped -- as soon as PyType_Ready()
4088 # is called for PyLong_Type, the bug is gone.)
4089 class UserLong(object):
4090 def __pow__(self, *args):
4091 pass
4092 try:
4093 pow(0, UserLong(), 0)
4094 except:
4095 pass
Christian Heimesbbffeb62008-01-24 09:42:52 +00004096
Georg Brandl479a7e72008-02-05 18:13:15 +00004097 # Another segfault only when run early
4098 # (before PyType_Ready(tuple) is called)
4099 type.mro(tuple)
Christian Heimes969fe572008-01-25 11:23:10 +00004100
4101
Guido van Rossuma56b42b2001-09-20 21:39:07 +00004102def test_main():
Georg Brandl479a7e72008-02-05 18:13:15 +00004103 # Run all local test cases, with PTypesLongInitTest first.
Benjamin Petersonee8712c2008-05-20 21:35:26 +00004104 support.run_unittest(PTypesLongInitTest, OperatorsTest,
Georg Brandl479a7e72008-02-05 18:13:15 +00004105 ClassPropertiesAndMethods, DictProxyTests)
Tim Peters6d6c1a32001-08-02 04:15:00 +00004106
Guido van Rossuma56b42b2001-09-20 21:39:07 +00004107if __name__ == "__main__":
4108 test_main()