blob: 3824a87365f3edc5c8c56ac202df9b440f2e2e9d [file] [log] [blame]
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001"""Unit tests for collections.py."""
2
Serhiy Storchaka33e7ea52015-11-25 17:09:01 +02003import collections
4import copy
5import doctest
Raymond Hettinger2d32f632009-03-02 21:24:57 +00006import inspect
Raymond Hettinger499b2ee2009-05-27 01:53:46 +00007import keyword
Serhiy Storchaka33e7ea52015-11-25 17:09:01 +02008import operator
9import pickle
10from random import choice, randrange
Raymond Hettinger499b2ee2009-05-27 01:53:46 +000011import re
Serhiy Storchaka33e7ea52015-11-25 17:09:01 +020012import string
R. David Murray378c0cf2010-02-24 01:46:21 +000013import sys
Serhiy Storchaka33e7ea52015-11-25 17:09:01 +020014from test import support
Yury Selivanov75445082015-05-11 22:57:16 -040015import types
Serhiy Storchaka33e7ea52015-11-25 17:09:01 +020016import unittest
17
18from collections import namedtuple, Counter, OrderedDict, _count_elements
Raymond Hettinger573b44c2015-05-22 16:56:32 -070019from collections import UserDict, UserString, UserList
Raymond Hettinger9fe1ccf2011-02-26 01:02:51 +000020from collections import ChainMap
Raymond Hettinger32ea1652015-03-21 01:37:37 -070021from collections import deque
Yury Selivanove0104ae2015-05-14 12:19:16 -040022from collections.abc import Awaitable, Coroutine, AsyncIterator, AsyncIterable
Guido van Rossum16ca06b2016-04-04 10:59:29 -070023from collections.abc import Hashable, Iterable, Iterator, Generator, Reversible
Raymond Hettinger57d1a882011-02-23 00:46:28 +000024from collections.abc import Sized, Container, Callable
25from collections.abc import Set, MutableSet
Raymond Hettinger584e8ae2016-05-05 11:14:06 +030026from collections.abc import Mapping, MutableMapping, KeysView, ItemsView, ValuesView
Raymond Hettinger57d1a882011-02-23 00:46:28 +000027from collections.abc import Sequence, MutableSequence
28from collections.abc import ByteString
Guido van Rossumcd16bf62007-06-13 18:07:49 +000029
Raymond Hettinger499e1932011-02-23 07:56:53 +000030
Raymond Hettinger573b44c2015-05-22 16:56:32 -070031class TestUserObjects(unittest.TestCase):
32 def _superset_test(self, a, b):
33 self.assertGreaterEqual(
34 set(dir(a)),
35 set(dir(b)),
36 '{a} should have all the methods of {b}'.format(
37 a=a.__name__,
38 b=b.__name__,
39 ),
40 )
41 def test_str_protocol(self):
42 self._superset_test(UserString, str)
43
44 def test_list_protocol(self):
45 self._superset_test(UserList, list)
46
47 def test_dict_protocol(self):
48 self._superset_test(UserDict, dict)
49
50
Raymond Hettinger499e1932011-02-23 07:56:53 +000051################################################################################
Raymond Hettinger9fe1ccf2011-02-26 01:02:51 +000052### ChainMap (helper class for configparser and the string module)
Raymond Hettinger499e1932011-02-23 07:56:53 +000053################################################################################
54
55class TestChainMap(unittest.TestCase):
56
57 def test_basics(self):
58 c = ChainMap()
59 c['a'] = 1
60 c['b'] = 2
61 d = c.new_child()
62 d['b'] = 20
63 d['c'] = 30
64 self.assertEqual(d.maps, [{'b':20, 'c':30}, {'a':1, 'b':2}]) # check internal state
65 self.assertEqual(d.items(), dict(a=1, b=20, c=30).items()) # check items/iter/getitem
66 self.assertEqual(len(d), 3) # check len
67 for key in 'abc': # check contains
68 self.assertIn(key, d)
69 for k, v in dict(a=1, b=20, c=30, z=100).items(): # check get
70 self.assertEqual(d.get(k, 100), v)
71
72 del d['b'] # unmask a value
73 self.assertEqual(d.maps, [{'c':30}, {'a':1, 'b':2}]) # check internal state
74 self.assertEqual(d.items(), dict(a=1, b=2, c=30).items()) # check items/iter/getitem
75 self.assertEqual(len(d), 3) # check len
76 for key in 'abc': # check contains
77 self.assertIn(key, d)
78 for k, v in dict(a=1, b=2, c=30, z=100).items(): # check get
79 self.assertEqual(d.get(k, 100), v)
80 self.assertIn(repr(d), [ # check repr
81 type(d).__name__ + "({'c': 30}, {'a': 1, 'b': 2})",
82 type(d).__name__ + "({'c': 30}, {'b': 2, 'a': 1})"
83 ])
84
85 for e in d.copy(), copy.copy(d): # check shallow copies
86 self.assertEqual(d, e)
87 self.assertEqual(d.maps, e.maps)
88 self.assertIsNot(d, e)
89 self.assertIsNot(d.maps[0], e.maps[0])
90 for m1, m2 in zip(d.maps[1:], e.maps[1:]):
91 self.assertIs(m1, m2)
92
Serhiy Storchakabad12572014-12-15 14:03:42 +020093 # check deep copies
94 for proto in range(pickle.HIGHEST_PROTOCOL + 1):
95 e = pickle.loads(pickle.dumps(d, proto))
96 self.assertEqual(d, e)
97 self.assertEqual(d.maps, e.maps)
98 self.assertIsNot(d, e)
99 for m1, m2 in zip(d.maps, e.maps):
100 self.assertIsNot(m1, m2, e)
101 for e in [copy.deepcopy(d),
Raymond Hettinger499e1932011-02-23 07:56:53 +0000102 eval(repr(d))
Serhiy Storchakabad12572014-12-15 14:03:42 +0200103 ]:
Raymond Hettinger499e1932011-02-23 07:56:53 +0000104 self.assertEqual(d, e)
105 self.assertEqual(d.maps, e.maps)
106 self.assertIsNot(d, e)
107 for m1, m2 in zip(d.maps, e.maps):
108 self.assertIsNot(m1, m2, e)
109
Raymond Hettingerd0321312011-02-26 06:53:58 +0000110 f = d.new_child()
111 f['b'] = 5
112 self.assertEqual(f.maps, [{'b': 5}, {'c':30}, {'a':1, 'b':2}])
113 self.assertEqual(f.parents.maps, [{'c':30}, {'a':1, 'b':2}]) # check parents
114 self.assertEqual(f['b'], 5) # find first in chain
115 self.assertEqual(f.parents['b'], 2) # look beyond maps[0]
Raymond Hettinger499e1932011-02-23 07:56:53 +0000116
117 def test_contructor(self):
Raymond Hettingerd0321312011-02-26 06:53:58 +0000118 self.assertEqual(ChainMap().maps, [{}]) # no-args --> one new dict
Raymond Hettinger499e1932011-02-23 07:56:53 +0000119 self.assertEqual(ChainMap({1:2}).maps, [{1:2}]) # 1 arg --> list
120
Raymond Hettingerd0321312011-02-26 06:53:58 +0000121 def test_bool(self):
122 self.assertFalse(ChainMap())
123 self.assertFalse(ChainMap({}, {}))
124 self.assertTrue(ChainMap({1:2}, {}))
125 self.assertTrue(ChainMap({}, {1:2}))
126
Raymond Hettinger499e1932011-02-23 07:56:53 +0000127 def test_missing(self):
128 class DefaultChainMap(ChainMap):
129 def __missing__(self, key):
130 return 999
131 d = DefaultChainMap(dict(a=1, b=2), dict(b=20, c=30))
132 for k, v in dict(a=1, b=2, c=30, d=999).items():
133 self.assertEqual(d[k], v) # check __getitem__ w/missing
134 for k, v in dict(a=1, b=2, c=30, d=77).items():
135 self.assertEqual(d.get(k, 77), v) # check get() w/ missing
136 for k, v in dict(a=True, b=True, c=True, d=False).items():
137 self.assertEqual(k in d, v) # check __contains__ w/missing
138 self.assertEqual(d.pop('a', 1001), 1, d)
139 self.assertEqual(d.pop('a', 1002), 1002) # check pop() w/missing
140 self.assertEqual(d.popitem(), ('b', 2)) # check popitem() w/missing
141 with self.assertRaises(KeyError):
142 d.popitem()
143
144 def test_dict_coercion(self):
145 d = ChainMap(dict(a=1, b=2), dict(b=20, c=30))
146 self.assertEqual(dict(d), dict(a=1, b=2, c=30))
147 self.assertEqual(dict(d.items()), dict(a=1, b=2, c=30))
148
Vinay Sajip1ba81ee2013-01-11 23:39:53 +0000149 def test_new_child(self):
150 'Tests for changes for issue #16613.'
151 c = ChainMap()
152 c['a'] = 1
153 c['b'] = 2
154 m = {'b':20, 'c': 30}
155 d = c.new_child(m)
156 self.assertEqual(d.maps, [{'b':20, 'c':30}, {'a':1, 'b':2}]) # check internal state
157 self.assertIs(m, d.maps[0])
158
159 # Use a different map than a dict
160 class lowerdict(dict):
161 def __getitem__(self, key):
162 if isinstance(key, str):
163 key = key.lower()
164 return dict.__getitem__(self, key)
165 def __contains__(self, key):
166 if isinstance(key, str):
167 key = key.lower()
168 return dict.__contains__(self, key)
169
170 c = ChainMap()
171 c['a'] = 1
172 c['b'] = 2
173 m = lowerdict(b=20, c=30)
174 d = c.new_child(m)
175 self.assertIs(m, d.maps[0])
176 for key in 'abc': # check contains
177 self.assertIn(key, d)
178 for k, v in dict(a=1, B=20, C=30, z=100).items(): # check get
179 self.assertEqual(d.get(k, 100), v)
180
Raymond Hettinger499e1932011-02-23 07:56:53 +0000181
182################################################################################
183### Named Tuples
184################################################################################
185
Georg Brandlc28e1fa2008-06-10 19:20:26 +0000186TestNT = namedtuple('TestNT', 'x y z') # type used for pickle tests
Guido van Rossumd8faa362007-04-27 19:54:29 +0000187
188class TestNamedTuple(unittest.TestCase):
189
190 def test_factory(self):
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000191 Point = namedtuple('Point', 'x y')
Guido van Rossumd8faa362007-04-27 19:54:29 +0000192 self.assertEqual(Point.__name__, 'Point')
Guido van Rossumd8faa362007-04-27 19:54:29 +0000193 self.assertEqual(Point.__slots__, ())
194 self.assertEqual(Point.__module__, __name__)
195 self.assertEqual(Point.__getitem__, tuple.__getitem__)
Christian Heimesfaf2f632008-01-06 16:59:19 +0000196 self.assertEqual(Point._fields, ('x', 'y'))
Raymond Hettinger2ebea412011-03-23 12:52:23 -0700197 self.assertIn('class Point(tuple)', Point._source)
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000198
199 self.assertRaises(ValueError, namedtuple, 'abc%', 'efg ghi') # type has non-alpha char
200 self.assertRaises(ValueError, namedtuple, 'class', 'efg ghi') # type has keyword
201 self.assertRaises(ValueError, namedtuple, '9abc', 'efg ghi') # type starts with digit
202
203 self.assertRaises(ValueError, namedtuple, 'abc', 'efg g%hi') # field with non-alpha char
204 self.assertRaises(ValueError, namedtuple, 'abc', 'abc class') # field has keyword
205 self.assertRaises(ValueError, namedtuple, 'abc', '8efg 9ghi') # field starts with digit
Christian Heimes0449f632007-12-15 01:27:15 +0000206 self.assertRaises(ValueError, namedtuple, 'abc', '_efg ghi') # field with leading underscore
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000207 self.assertRaises(ValueError, namedtuple, 'abc', 'efg efg ghi') # duplicate field
208
209 namedtuple('Point0', 'x1 y2') # Verify that numbers are allowed in names
Christian Heimes0449f632007-12-15 01:27:15 +0000210 namedtuple('_', 'a b c') # Test leading underscores in a typename
Guido van Rossumd8faa362007-04-27 19:54:29 +0000211
Benjamin Petersone9bbc8b2008-09-28 02:06:32 +0000212 nt = namedtuple('nt', 'the quick brown fox') # check unicode input
Benjamin Peterson577473f2010-01-19 00:09:57 +0000213 self.assertNotIn("u'", repr(nt._fields))
Benjamin Petersone9bbc8b2008-09-28 02:06:32 +0000214 nt = namedtuple('nt', ('the', 'quick')) # check unicode input
Benjamin Peterson577473f2010-01-19 00:09:57 +0000215 self.assertNotIn("u'", repr(nt._fields))
Benjamin Petersone9bbc8b2008-09-28 02:06:32 +0000216
Christian Heimesfaf2f632008-01-06 16:59:19 +0000217 self.assertRaises(TypeError, Point._make, [11]) # catch too few args
218 self.assertRaises(TypeError, Point._make, [11, 22, 33]) # catch too many args
219
R. David Murray378c0cf2010-02-24 01:46:21 +0000220 @unittest.skipIf(sys.flags.optimize >= 2,
221 "Docstrings are omitted with -O2 and above")
222 def test_factory_doc_attr(self):
223 Point = namedtuple('Point', 'x y')
224 self.assertEqual(Point.__doc__, 'Point(x, y)')
225
Raymond Hettingereac503a2015-05-13 01:09:59 -0700226 @unittest.skipIf(sys.flags.optimize >= 2,
227 "Docstrings are omitted with -O2 and above")
228 def test_doc_writable(self):
229 Point = namedtuple('Point', 'x y')
230 self.assertEqual(Point.x.__doc__, 'Alias for field number 0')
231 Point.x.__doc__ = 'docstring for Point.x'
232 self.assertEqual(Point.x.__doc__, 'docstring for Point.x')
233
Benjamin Petersona86f2c02009-02-10 02:41:10 +0000234 def test_name_fixer(self):
235 for spec, renamed in [
Raymond Hettinger56145242009-04-02 22:31:59 +0000236 [('efg', 'g%hi'), ('efg', '_1')], # field with non-alpha char
237 [('abc', 'class'), ('abc', '_1')], # field has keyword
238 [('8efg', '9ghi'), ('_0', '_1')], # field starts with digit
239 [('abc', '_efg'), ('abc', '_1')], # field with leading underscore
240 [('abc', 'efg', 'efg', 'ghi'), ('abc', 'efg', '_2', 'ghi')], # duplicate field
241 [('abc', '', 'x'), ('abc', '_1', 'x')], # fieldname is a space
Benjamin Petersona86f2c02009-02-10 02:41:10 +0000242 ]:
243 self.assertEqual(namedtuple('NT', spec, rename=True)._fields, renamed)
244
Guido van Rossumd8faa362007-04-27 19:54:29 +0000245 def test_instance(self):
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000246 Point = namedtuple('Point', 'x y')
Guido van Rossumd8faa362007-04-27 19:54:29 +0000247 p = Point(11, 22)
248 self.assertEqual(p, Point(x=11, y=22))
249 self.assertEqual(p, Point(11, y=22))
250 self.assertEqual(p, Point(y=22, x=11))
251 self.assertEqual(p, Point(*(11, 22)))
252 self.assertEqual(p, Point(**dict(x=11, y=22)))
253 self.assertRaises(TypeError, Point, 1) # too few args
254 self.assertRaises(TypeError, Point, 1, 2, 3) # too many args
255 self.assertRaises(TypeError, eval, 'Point(XXX=1, y=2)', locals()) # wrong keyword argument
256 self.assertRaises(TypeError, eval, 'Point(x=1)', locals()) # missing keyword argument
257 self.assertEqual(repr(p), 'Point(x=11, y=22)')
Benjamin Peterson577473f2010-01-19 00:09:57 +0000258 self.assertNotIn('__weakref__', dir(p))
Christian Heimesfaf2f632008-01-06 16:59:19 +0000259 self.assertEqual(p, Point._make([11, 22])) # test _make classmethod
Christian Heimes0449f632007-12-15 01:27:15 +0000260 self.assertEqual(p._fields, ('x', 'y')) # test _fields attribute
261 self.assertEqual(p._replace(x=1), (1, 22)) # test _replace method
Raymond Hettinger163e9822013-05-18 00:05:20 -0700262 self.assertEqual(p._asdict(), dict(x=11, y=22)) # test _asdict method
Thomas Wouters1b7f8912007-09-19 03:06:30 +0000263
Guido van Rossum3d392eb2007-11-16 00:35:22 +0000264 try:
Christian Heimesfaf2f632008-01-06 16:59:19 +0000265 p._replace(x=1, error=2)
266 except ValueError:
Guido van Rossum3d392eb2007-11-16 00:35:22 +0000267 pass
268 else:
Christian Heimesfaf2f632008-01-06 16:59:19 +0000269 self._fail('Did not detect an incorrect fieldname')
Guido van Rossum3d392eb2007-11-16 00:35:22 +0000270
Thomas Wouters1b7f8912007-09-19 03:06:30 +0000271 # verify that field string can have commas
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000272 Point = namedtuple('Point', 'x, y')
273 p = Point(x=11, y=22)
274 self.assertEqual(repr(p), 'Point(x=11, y=22)')
275
276 # verify that fieldspec can be a non-string sequence
277 Point = namedtuple('Point', ('x', 'y'))
Thomas Wouters1b7f8912007-09-19 03:06:30 +0000278 p = Point(x=11, y=22)
279 self.assertEqual(repr(p), 'Point(x=11, y=22)')
Guido van Rossumd8faa362007-04-27 19:54:29 +0000280
281 def test_tupleness(self):
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000282 Point = namedtuple('Point', 'x y')
Guido van Rossumd8faa362007-04-27 19:54:29 +0000283 p = Point(11, 22)
284
Ezio Melottie9615932010-01-24 19:26:24 +0000285 self.assertIsInstance(p, tuple)
Guido van Rossumd8faa362007-04-27 19:54:29 +0000286 self.assertEqual(p, (11, 22)) # matches a real tuple
287 self.assertEqual(tuple(p), (11, 22)) # coercable to a real tuple
288 self.assertEqual(list(p), [11, 22]) # coercable to a list
289 self.assertEqual(max(p), 22) # iterable
290 self.assertEqual(max(*p), 22) # star-able
291 x, y = p
292 self.assertEqual(p, (x, y)) # unpacks like a tuple
293 self.assertEqual((p[0], p[1]), (11, 22)) # indexable like a tuple
294 self.assertRaises(IndexError, p.__getitem__, 3)
295
296 self.assertEqual(p.x, x)
297 self.assertEqual(p.y, y)
298 self.assertRaises(AttributeError, eval, 'p.z', locals())
299
Thomas Wouters1b7f8912007-09-19 03:06:30 +0000300 def test_odd_sizes(self):
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000301 Zero = namedtuple('Zero', '')
Thomas Wouters1b7f8912007-09-19 03:06:30 +0000302 self.assertEqual(Zero(), ())
Christian Heimesfaf2f632008-01-06 16:59:19 +0000303 self.assertEqual(Zero._make([]), ())
Christian Heimes99170a52007-12-19 02:07:34 +0000304 self.assertEqual(repr(Zero()), 'Zero()')
305 self.assertEqual(Zero()._asdict(), {})
306 self.assertEqual(Zero()._fields, ())
307
Guido van Rossum8ce8a782007-11-01 19:42:39 +0000308 Dot = namedtuple('Dot', 'd')
Thomas Wouters1b7f8912007-09-19 03:06:30 +0000309 self.assertEqual(Dot(1), (1,))
Christian Heimesfaf2f632008-01-06 16:59:19 +0000310 self.assertEqual(Dot._make([1]), (1,))
Christian Heimes99170a52007-12-19 02:07:34 +0000311 self.assertEqual(Dot(1).d, 1)
312 self.assertEqual(repr(Dot(1)), 'Dot(d=1)')
313 self.assertEqual(Dot(1)._asdict(), {'d':1})
314 self.assertEqual(Dot(1)._replace(d=999), (999,))
315 self.assertEqual(Dot(1)._fields, ('d',))
Thomas Wouters1b7f8912007-09-19 03:06:30 +0000316
Georg Brandlc28e1fa2008-06-10 19:20:26 +0000317 # n = 5000
Christian Heimes99170a52007-12-19 02:07:34 +0000318 n = 254 # SyntaxError: more than 255 arguments:
Serhiy Storchaka33e7ea52015-11-25 17:09:01 +0200319 names = list(set(''.join([choice(string.ascii_letters)
Georg Brandlb533e262008-05-25 18:19:30 +0000320 for j in range(10)]) for i in range(n)))
321 n = len(names)
Christian Heimes99170a52007-12-19 02:07:34 +0000322 Big = namedtuple('Big', names)
323 b = Big(*range(n))
324 self.assertEqual(b, tuple(range(n)))
Christian Heimesfaf2f632008-01-06 16:59:19 +0000325 self.assertEqual(Big._make(range(n)), tuple(range(n)))
Christian Heimes99170a52007-12-19 02:07:34 +0000326 for pos, name in enumerate(names):
327 self.assertEqual(getattr(b, name), pos)
328 repr(b) # make sure repr() doesn't blow-up
329 d = b._asdict()
330 d_expected = dict(zip(names, range(n)))
331 self.assertEqual(d, d_expected)
332 b2 = b._replace(**dict([(names[1], 999),(names[-5], 42)]))
333 b2_expected = list(range(n))
334 b2_expected[1] = 999
335 b2_expected[-5] = 42
336 self.assertEqual(b2, tuple(b2_expected))
337 self.assertEqual(b._fields, tuple(names))
Guido van Rossumd8faa362007-04-27 19:54:29 +0000338
Georg Brandlc28e1fa2008-06-10 19:20:26 +0000339 def test_pickle(self):
340 p = TestNT(x=10, y=20, z=30)
341 for module in (pickle,):
342 loads = getattr(module, 'loads')
343 dumps = getattr(module, 'dumps')
Eric V. Smith4d5d69d2014-02-05 10:33:14 -0500344 for protocol in range(-1, module.HIGHEST_PROTOCOL + 1):
Georg Brandlc28e1fa2008-06-10 19:20:26 +0000345 q = loads(dumps(p, protocol))
346 self.assertEqual(p, q)
347 self.assertEqual(p._fields, q._fields)
Raymond Hettingerb98dcc12013-05-03 02:24:15 -0700348 self.assertNotIn(b'OrderedDict', dumps(p, protocol))
Georg Brandlc28e1fa2008-06-10 19:20:26 +0000349
350 def test_copy(self):
351 p = TestNT(x=10, y=20, z=30)
352 for copier in copy.copy, copy.deepcopy:
353 q = copier(p)
354 self.assertEqual(p, q)
355 self.assertEqual(p._fields, q._fields)
356
Raymond Hettinger089ba7f2009-05-27 00:38:24 +0000357 def test_name_conflicts(self):
358 # Some names like "self", "cls", "tuple", "itemgetter", and "property"
359 # failed when used as field names. Test to make sure these now work.
360 T = namedtuple('T', 'itemgetter property self cls tuple')
361 t = T(1, 2, 3, 4, 5)
362 self.assertEqual(t, (1,2,3,4,5))
363 newt = t._replace(itemgetter=10, property=20, self=30, cls=40, tuple=50)
364 self.assertEqual(newt, (10,20,30,40,50))
365
Raymond Hettinger499b2ee2009-05-27 01:53:46 +0000366 # Broader test of all interesting names in a template
367 with support.captured_stdout() as template:
368 T = namedtuple('T', 'x', verbose=True)
369 words = set(re.findall('[A-Za-z]+', template.getvalue()))
370 words -= set(keyword.kwlist)
371 T = namedtuple('T', words)
372 # test __new__
373 values = tuple(range(len(words)))
374 t = T(*values)
375 self.assertEqual(t, values)
376 t = T(**dict(zip(T._fields, values)))
377 self.assertEqual(t, values)
378 # test _make
379 t = T._make(values)
380 self.assertEqual(t, values)
381 # exercise __repr__
382 repr(t)
383 # test _asdict
384 self.assertEqual(t._asdict(), dict(zip(T._fields, values)))
385 # test _replace
386 t = T._make(values)
387 newvalues = tuple(v*10 for v in values)
388 newt = t._replace(**dict(zip(T._fields, newvalues)))
389 self.assertEqual(newt, newvalues)
390 # test _fields
391 self.assertEqual(T._fields, tuple(words))
392 # test __getnewargs__
393 self.assertEqual(t.__getnewargs__(), values)
394
Raymond Hettingerd331ce92010-08-08 01:13:42 +0000395 def test_repr(self):
396 with support.captured_stdout() as template:
397 A = namedtuple('A', 'x', verbose=True)
398 self.assertEqual(repr(A(1)), 'A(x=1)')
399 # repr should show the name of the subclass
400 class B(A):
401 pass
402 self.assertEqual(repr(B(1)), 'B(x=1)')
403
Raymond Hettingerf6d3e8e2011-03-23 20:33:30 -0700404 def test_source(self):
405 # verify that _source can be run through exec()
Raymond Hettingerd4652fa2011-03-24 09:45:43 -0700406 tmp = namedtuple('NTColor', 'red green blue')
407 globals().pop('NTColor', None) # remove artifacts from other tests
Raymond Hettingerf6d3e8e2011-03-23 20:33:30 -0700408 exec(tmp._source, globals())
Raymond Hettingerd4652fa2011-03-24 09:45:43 -0700409 self.assertIn('NTColor', globals())
410 c = NTColor(10, 20, 30)
Raymond Hettingerf6d3e8e2011-03-23 20:33:30 -0700411 self.assertEqual((c.red, c.green, c.blue), (10, 20, 30))
Raymond Hettingerd4652fa2011-03-24 09:45:43 -0700412 self.assertEqual(NTColor._fields, ('red', 'green', 'blue'))
413 globals().pop('NTColor', None) # clean-up after this test
Raymond Hettingerf6d3e8e2011-03-23 20:33:30 -0700414
Raymond Hettingerd331ce92010-08-08 01:13:42 +0000415
Raymond Hettinger7a3602e2015-08-30 09:13:48 -0700416 def test_namedtuple_subclass_issue_24931(self):
417 class Point(namedtuple('_Point', ['x', 'y'])):
418 pass
419
420 a = Point(3, 4)
421 self.assertEqual(a._asdict(), OrderedDict([('x', 3), ('y', 4)]))
422
423 a.w = 5
424 self.assertEqual(a.__dict__, {'w': 5})
425
426
Raymond Hettinger499e1932011-02-23 07:56:53 +0000427################################################################################
428### Abstract Base Classes
429################################################################################
430
Raymond Hettingerae650182009-01-28 23:33:59 +0000431class ABCTestCase(unittest.TestCase):
432
433 def validate_abstract_methods(self, abc, *names):
434 methodstubs = dict.fromkeys(names, lambda s, *args: 0)
435
436 # everything should work will all required methods are present
437 C = type('C', (abc,), methodstubs)
438 C()
439
440 # instantiation should fail if a required method is missing
441 for name in names:
442 stubs = methodstubs.copy()
443 del stubs[name]
444 C = type('C', (abc,), stubs)
445 self.assertRaises(TypeError, C, name)
446
Florent Xiclunace153f62010-03-08 15:34:35 +0000447 def validate_isinstance(self, abc, name):
448 stub = lambda s, *args: 0
449
450 C = type('C', (object,), {'__hash__': None})
451 setattr(C, name, stub)
452 self.assertIsInstance(C(), abc)
453 self.assertTrue(issubclass(C, abc))
454
455 C = type('C', (object,), {'__hash__': None})
456 self.assertNotIsInstance(C(), abc)
457 self.assertFalse(issubclass(C, abc))
Raymond Hettingerae650182009-01-28 23:33:59 +0000458
Benjamin Peterson4ad6bd52010-05-21 20:55:22 +0000459 def validate_comparison(self, instance):
460 ops = ['lt', 'gt', 'le', 'ge', 'ne', 'or', 'and', 'xor', 'sub']
461 operators = {}
462 for op in ops:
463 name = '__' + op + '__'
464 operators[name] = getattr(operator, name)
465
466 class Other:
467 def __init__(self):
468 self.right_side = False
469 def __eq__(self, other):
470 self.right_side = True
471 return True
472 __lt__ = __eq__
473 __gt__ = __eq__
474 __le__ = __eq__
475 __ge__ = __eq__
476 __ne__ = __eq__
477 __ror__ = __eq__
478 __rand__ = __eq__
479 __rxor__ = __eq__
480 __rsub__ = __eq__
481
482 for name, op in operators.items():
483 if not hasattr(instance, name):
484 continue
485 other = Other()
486 op(instance, other)
487 self.assertTrue(other.right_side,'Right side not called for %s.%s'
488 % (type(instance), name))
489
Raymond Hettingerae650182009-01-28 23:33:59 +0000490class TestOneTrickPonyABCs(ABCTestCase):
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000491
Yury Selivanov75445082015-05-11 22:57:16 -0400492 def test_Awaitable(self):
493 def gen():
494 yield
495
496 @types.coroutine
497 def coro():
498 yield
499
500 async def new_coro():
501 pass
502
503 class Bar:
504 def __await__(self):
505 yield
506
507 class MinimalCoro(Coroutine):
508 def send(self, value):
509 return value
510 def throw(self, typ, val=None, tb=None):
511 super().throw(typ, val, tb)
Yury Selivanov56fc6142015-05-29 09:01:29 -0400512 def __await__(self):
513 yield
Yury Selivanov75445082015-05-11 22:57:16 -0400514
515 non_samples = [None, int(), gen(), object()]
516 for x in non_samples:
517 self.assertNotIsInstance(x, Awaitable)
518 self.assertFalse(issubclass(type(x), Awaitable), repr(type(x)))
519
520 samples = [Bar(), MinimalCoro()]
521 for x in samples:
522 self.assertIsInstance(x, Awaitable)
523 self.assertTrue(issubclass(type(x), Awaitable))
524
525 c = coro()
Yury Selivanovfdbeb2b2015-07-03 13:11:35 -0400526 # Iterable coroutines (generators with CO_ITERABLE_COROUTINE
527 # flag don't have '__await__' method, hence can't be instances
528 # of Awaitable. Use inspect.isawaitable to detect them.
529 self.assertNotIsInstance(c, Awaitable)
Yury Selivanov75445082015-05-11 22:57:16 -0400530
531 c = new_coro()
532 self.assertIsInstance(c, Awaitable)
533 c.close() # awoid RuntimeWarning that coro() was not awaited
534
Yury Selivanov56fc6142015-05-29 09:01:29 -0400535 class CoroLike: pass
Yury Selivanovaded55c2015-05-13 23:41:55 -0400536 Coroutine.register(CoroLike)
Yury Selivanov08e53002015-05-13 23:57:59 -0400537 self.assertTrue(isinstance(CoroLike(), Awaitable))
538 self.assertTrue(issubclass(CoroLike, Awaitable))
539 CoroLike = None
540 support.gc_collect() # Kill CoroLike to clean-up ABCMeta cache
Yury Selivanovaded55c2015-05-13 23:41:55 -0400541
Yury Selivanov75445082015-05-11 22:57:16 -0400542 def test_Coroutine(self):
543 def gen():
544 yield
545
546 @types.coroutine
547 def coro():
548 yield
549
550 async def new_coro():
551 pass
552
553 class Bar:
554 def __await__(self):
555 yield
556
557 class MinimalCoro(Coroutine):
558 def send(self, value):
559 return value
560 def throw(self, typ, val=None, tb=None):
561 super().throw(typ, val, tb)
Yury Selivanov56fc6142015-05-29 09:01:29 -0400562 def __await__(self):
563 yield
Yury Selivanov75445082015-05-11 22:57:16 -0400564
565 non_samples = [None, int(), gen(), object(), Bar()]
566 for x in non_samples:
567 self.assertNotIsInstance(x, Coroutine)
568 self.assertFalse(issubclass(type(x), Coroutine), repr(type(x)))
569
570 samples = [MinimalCoro()]
571 for x in samples:
572 self.assertIsInstance(x, Awaitable)
573 self.assertTrue(issubclass(type(x), Awaitable))
574
575 c = coro()
Yury Selivanovfdbeb2b2015-07-03 13:11:35 -0400576 # Iterable coroutines (generators with CO_ITERABLE_COROUTINE
577 # flag don't have '__await__' method, hence can't be instances
578 # of Coroutine. Use inspect.isawaitable to detect them.
579 self.assertNotIsInstance(c, Coroutine)
Yury Selivanov75445082015-05-11 22:57:16 -0400580
581 c = new_coro()
582 self.assertIsInstance(c, Coroutine)
583 c.close() # awoid RuntimeWarning that coro() was not awaited
584
Yury Selivanov56fc6142015-05-29 09:01:29 -0400585 class CoroLike:
586 def send(self, value):
587 pass
588 def throw(self, typ, val=None, tb=None):
589 pass
590 def close(self):
591 pass
592 def __await__(self):
593 pass
594 self.assertTrue(isinstance(CoroLike(), Coroutine))
595 self.assertTrue(issubclass(CoroLike, Coroutine))
596
597 class CoroLike:
598 def send(self, value):
599 pass
600 def close(self):
601 pass
602 def __await__(self):
603 pass
604 self.assertFalse(isinstance(CoroLike(), Coroutine))
605 self.assertFalse(issubclass(CoroLike, Coroutine))
606
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000607 def test_Hashable(self):
608 # Check some non-hashables
Guido van Rossum254348e2007-11-21 19:29:53 +0000609 non_samples = [bytearray(), list(), set(), dict()]
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000610 for x in non_samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000611 self.assertNotIsInstance(x, Hashable)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000612 self.assertFalse(issubclass(type(x), Hashable), repr(type(x)))
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000613 # Check some hashables
614 samples = [None,
615 int(), float(), complex(),
Guido van Rossum07d4e782007-07-03 16:59:47 +0000616 str(),
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000617 tuple(), frozenset(),
Guido van Rossum98297ee2007-11-06 21:34:58 +0000618 int, list, object, type, bytes()
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000619 ]
620 for x in samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000621 self.assertIsInstance(x, Hashable)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000622 self.assertTrue(issubclass(type(x), Hashable), repr(type(x)))
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000623 self.assertRaises(TypeError, Hashable)
624 # Check direct subclassing
625 class H(Hashable):
626 def __hash__(self):
627 return super().__hash__()
628 self.assertEqual(hash(H()), 0)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000629 self.assertFalse(issubclass(int, H))
Raymond Hettingerae650182009-01-28 23:33:59 +0000630 self.validate_abstract_methods(Hashable, '__hash__')
Florent Xiclunace153f62010-03-08 15:34:35 +0000631 self.validate_isinstance(Hashable, '__hash__')
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000632
Yury Selivanove0104ae2015-05-14 12:19:16 -0400633 def test_AsyncIterable(self):
634 class AI:
635 async def __aiter__(self):
636 return self
637 self.assertTrue(isinstance(AI(), AsyncIterable))
638 self.assertTrue(issubclass(AI, AsyncIterable))
639 # Check some non-iterables
640 non_samples = [None, object, []]
641 for x in non_samples:
642 self.assertNotIsInstance(x, AsyncIterable)
643 self.assertFalse(issubclass(type(x), AsyncIterable), repr(type(x)))
644 self.validate_abstract_methods(AsyncIterable, '__aiter__')
645 self.validate_isinstance(AsyncIterable, '__aiter__')
646
647 def test_AsyncIterator(self):
648 class AI:
649 async def __aiter__(self):
650 return self
651 async def __anext__(self):
652 raise StopAsyncIteration
653 self.assertTrue(isinstance(AI(), AsyncIterator))
654 self.assertTrue(issubclass(AI, AsyncIterator))
655 non_samples = [None, object, []]
656 # Check some non-iterables
657 for x in non_samples:
658 self.assertNotIsInstance(x, AsyncIterator)
659 self.assertFalse(issubclass(type(x), AsyncIterator), repr(type(x)))
660 # Similarly to regular iterators (see issue 10565)
661 class AnextOnly:
662 async def __anext__(self):
663 raise StopAsyncIteration
664 self.assertNotIsInstance(AnextOnly(), AsyncIterator)
665 self.validate_abstract_methods(AsyncIterator, '__anext__', '__aiter__')
666
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000667 def test_Iterable(self):
668 # Check some non-iterables
669 non_samples = [None, 42, 3.14, 1j]
670 for x in non_samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000671 self.assertNotIsInstance(x, Iterable)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000672 self.assertFalse(issubclass(type(x), Iterable), repr(type(x)))
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000673 # Check some iterables
Guido van Rossum07d4e782007-07-03 16:59:47 +0000674 samples = [bytes(), str(),
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000675 tuple(), list(), set(), frozenset(), dict(),
676 dict().keys(), dict().items(), dict().values(),
677 (lambda: (yield))(),
678 (x for x in []),
679 ]
680 for x in samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000681 self.assertIsInstance(x, Iterable)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000682 self.assertTrue(issubclass(type(x), Iterable), repr(type(x)))
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000683 # Check direct subclassing
684 class I(Iterable):
685 def __iter__(self):
686 return super().__iter__()
687 self.assertEqual(list(I()), [])
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000688 self.assertFalse(issubclass(str, I))
Raymond Hettingerae650182009-01-28 23:33:59 +0000689 self.validate_abstract_methods(Iterable, '__iter__')
Florent Xiclunace153f62010-03-08 15:34:35 +0000690 self.validate_isinstance(Iterable, '__iter__')
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000691
Guido van Rossum16ca06b2016-04-04 10:59:29 -0700692 def test_Reversible(self):
693 # Check some non-reversibles
694 non_samples = [None, 42, 3.14, 1j, dict(), set(), frozenset()]
695 for x in non_samples:
696 self.assertNotIsInstance(x, Reversible)
697 self.assertFalse(issubclass(type(x), Reversible), repr(type(x)))
698 # Check some reversibles
699 samples = [tuple(), list()]
700 for x in samples:
701 self.assertIsInstance(x, Reversible)
702 self.assertTrue(issubclass(type(x), Reversible), repr(type(x)))
703 # Check also Mapping, MutableMapping, and Sequence
704 self.assertTrue(issubclass(Sequence, Reversible), repr(Sequence))
705 self.assertFalse(issubclass(Mapping, Reversible), repr(Mapping))
706 self.assertFalse(issubclass(MutableMapping, Reversible), repr(MutableMapping))
707 # Check direct subclassing
708 class R(Reversible):
709 def __iter__(self):
710 return iter(list())
711 def __reversed__(self):
712 return iter(list())
713 self.assertEqual(list(reversed(R())), [])
714 self.assertFalse(issubclass(float, R))
715 self.validate_abstract_methods(Reversible, '__reversed__', '__iter__')
716
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000717 def test_Iterator(self):
Guido van Rossum07d4e782007-07-03 16:59:47 +0000718 non_samples = [None, 42, 3.14, 1j, b"", "", (), [], {}, set()]
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000719 for x in non_samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000720 self.assertNotIsInstance(x, Iterator)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000721 self.assertFalse(issubclass(type(x), Iterator), repr(type(x)))
Guido van Rossum07d4e782007-07-03 16:59:47 +0000722 samples = [iter(bytes()), iter(str()),
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000723 iter(tuple()), iter(list()), iter(dict()),
724 iter(set()), iter(frozenset()),
725 iter(dict().keys()), iter(dict().items()),
726 iter(dict().values()),
727 (lambda: (yield))(),
728 (x for x in []),
729 ]
730 for x in samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000731 self.assertIsInstance(x, Iterator)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000732 self.assertTrue(issubclass(type(x), Iterator), repr(type(x)))
Raymond Hettingeread22222010-11-29 03:56:12 +0000733 self.validate_abstract_methods(Iterator, '__next__', '__iter__')
734
735 # Issue 10565
736 class NextOnly:
737 def __next__(self):
738 yield 1
Raymond Hettingerbb6c0aa2014-11-22 22:14:41 -0800739 return
Raymond Hettingeread22222010-11-29 03:56:12 +0000740 self.assertNotIsInstance(NextOnly(), Iterator)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000741
Raymond Hettingerbd60e8d2015-05-09 01:07:23 -0400742 def test_Generator(self):
743 class NonGen1:
744 def __iter__(self): return self
745 def __next__(self): return None
746 def close(self): pass
747 def throw(self, typ, val=None, tb=None): pass
748
749 class NonGen2:
750 def __iter__(self): return self
751 def __next__(self): return None
752 def close(self): pass
753 def send(self, value): return value
754
755 class NonGen3:
756 def close(self): pass
757 def send(self, value): return value
758 def throw(self, typ, val=None, tb=None): pass
759
760 non_samples = [
761 None, 42, 3.14, 1j, b"", "", (), [], {}, set(),
762 iter(()), iter([]), NonGen1(), NonGen2(), NonGen3()]
763 for x in non_samples:
764 self.assertNotIsInstance(x, Generator)
765 self.assertFalse(issubclass(type(x), Generator), repr(type(x)))
766
767 class Gen:
768 def __iter__(self): return self
769 def __next__(self): return None
770 def close(self): pass
771 def send(self, value): return value
772 def throw(self, typ, val=None, tb=None): pass
773
774 class MinimalGen(Generator):
775 def send(self, value):
776 return value
777 def throw(self, typ, val=None, tb=None):
778 super().throw(typ, val, tb)
779
780 def gen():
781 yield 1
782
783 samples = [gen(), (lambda: (yield))(), Gen(), MinimalGen()]
784 for x in samples:
785 self.assertIsInstance(x, Iterator)
786 self.assertIsInstance(x, Generator)
787 self.assertTrue(issubclass(type(x), Generator), repr(type(x)))
788 self.validate_abstract_methods(Generator, 'send', 'throw')
789
790 # mixin tests
791 mgen = MinimalGen()
792 self.assertIs(mgen, iter(mgen))
793 self.assertIs(mgen.send(None), next(mgen))
794 self.assertEqual(2, mgen.send(2))
795 self.assertIsNone(mgen.close())
796 self.assertRaises(ValueError, mgen.throw, ValueError)
797 self.assertRaisesRegex(ValueError, "^huhu$",
798 mgen.throw, ValueError, ValueError("huhu"))
799 self.assertRaises(StopIteration, mgen.throw, StopIteration())
800
801 class FailOnClose(Generator):
802 def send(self, value): return value
803 def throw(self, *args): raise ValueError
804
805 self.assertRaises(ValueError, FailOnClose().close)
806
807 class IgnoreGeneratorExit(Generator):
808 def send(self, value): return value
809 def throw(self, *args): pass
810
811 self.assertRaises(RuntimeError, IgnoreGeneratorExit().close)
812
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000813 def test_Sized(self):
814 non_samples = [None, 42, 3.14, 1j,
815 (lambda: (yield))(),
816 (x for x in []),
817 ]
818 for x in non_samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000819 self.assertNotIsInstance(x, Sized)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000820 self.assertFalse(issubclass(type(x), Sized), repr(type(x)))
Guido van Rossum07d4e782007-07-03 16:59:47 +0000821 samples = [bytes(), str(),
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000822 tuple(), list(), set(), frozenset(), dict(),
823 dict().keys(), dict().items(), dict().values(),
824 ]
825 for x in samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000826 self.assertIsInstance(x, Sized)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000827 self.assertTrue(issubclass(type(x), Sized), repr(type(x)))
Raymond Hettingerae650182009-01-28 23:33:59 +0000828 self.validate_abstract_methods(Sized, '__len__')
Florent Xiclunace153f62010-03-08 15:34:35 +0000829 self.validate_isinstance(Sized, '__len__')
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000830
831 def test_Container(self):
832 non_samples = [None, 42, 3.14, 1j,
833 (lambda: (yield))(),
834 (x for x in []),
835 ]
836 for x in non_samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000837 self.assertNotIsInstance(x, Container)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000838 self.assertFalse(issubclass(type(x), Container), repr(type(x)))
Guido van Rossum07d4e782007-07-03 16:59:47 +0000839 samples = [bytes(), str(),
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000840 tuple(), list(), set(), frozenset(), dict(),
841 dict().keys(), dict().items(),
842 ]
843 for x in samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000844 self.assertIsInstance(x, Container)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000845 self.assertTrue(issubclass(type(x), Container), repr(type(x)))
Raymond Hettingerae650182009-01-28 23:33:59 +0000846 self.validate_abstract_methods(Container, '__contains__')
Florent Xiclunace153f62010-03-08 15:34:35 +0000847 self.validate_isinstance(Container, '__contains__')
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000848
849 def test_Callable(self):
850 non_samples = [None, 42, 3.14, 1j,
851 "", b"", (), [], {}, set(),
852 (lambda: (yield))(),
853 (x for x in []),
854 ]
855 for x in non_samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000856 self.assertNotIsInstance(x, Callable)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000857 self.assertFalse(issubclass(type(x), Callable), repr(type(x)))
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000858 samples = [lambda: None,
859 type, int, object,
860 len,
861 list.append, [].append,
862 ]
863 for x in samples:
Ezio Melottie9615932010-01-24 19:26:24 +0000864 self.assertIsInstance(x, Callable)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000865 self.assertTrue(issubclass(type(x), Callable), repr(type(x)))
Raymond Hettingerae650182009-01-28 23:33:59 +0000866 self.validate_abstract_methods(Callable, '__call__')
Florent Xiclunace153f62010-03-08 15:34:35 +0000867 self.validate_isinstance(Callable, '__call__')
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000868
869 def test_direct_subclassing(self):
Guido van Rossum16ca06b2016-04-04 10:59:29 -0700870 for B in Hashable, Iterable, Iterator, Reversible, Sized, Container, Callable:
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000871 class C(B):
872 pass
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000873 self.assertTrue(issubclass(C, B))
874 self.assertFalse(issubclass(int, C))
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000875
876 def test_registration(self):
Guido van Rossum16ca06b2016-04-04 10:59:29 -0700877 for B in Hashable, Iterable, Iterator, Reversible, Sized, Container, Callable:
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000878 class C:
879 __hash__ = None # Make sure it isn't hashable by default
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000880 self.assertFalse(issubclass(C, B), B.__name__)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000881 B.register(C)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000882 self.assertTrue(issubclass(C, B))
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000883
Raymond Hettinger3f10a952009-04-01 19:05:50 +0000884class WithSet(MutableSet):
885
886 def __init__(self, it=()):
887 self.data = set(it)
888
889 def __len__(self):
890 return len(self.data)
891
892 def __iter__(self):
893 return iter(self.data)
894
895 def __contains__(self, item):
896 return item in self.data
897
898 def add(self, item):
899 self.data.add(item)
900
901 def discard(self, item):
902 self.data.discard(item)
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000903
Raymond Hettingerae650182009-01-28 23:33:59 +0000904class TestCollectionABCs(ABCTestCase):
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000905
906 # XXX For now, we only test some virtual inheritance properties.
907 # We should also test the proper behavior of the collection ABCs
908 # as real base classes or mix-in classes.
909
910 def test_Set(self):
911 for sample in [set, frozenset]:
Ezio Melottie9615932010-01-24 19:26:24 +0000912 self.assertIsInstance(sample(), Set)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000913 self.assertTrue(issubclass(sample, Set))
Raymond Hettingerae650182009-01-28 23:33:59 +0000914 self.validate_abstract_methods(Set, '__contains__', '__iter__', '__len__')
Benjamin Peterson4ad6bd52010-05-21 20:55:22 +0000915 class MySet(Set):
916 def __contains__(self, x):
917 return False
918 def __len__(self):
919 return 0
920 def __iter__(self):
921 return iter([])
922 self.validate_comparison(MySet())
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000923
Benjamin Peterson41181742008-07-02 20:22:54 +0000924 def test_hash_Set(self):
925 class OneTwoThreeSet(Set):
926 def __init__(self):
927 self.contents = [1, 2, 3]
928 def __contains__(self, x):
929 return x in self.contents
930 def __len__(self):
931 return len(self.contents)
932 def __iter__(self):
933 return iter(self.contents)
934 def __hash__(self):
935 return self._hash()
936 a, b = OneTwoThreeSet(), OneTwoThreeSet()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000937 self.assertTrue(hash(a) == hash(b))
Benjamin Peterson41181742008-07-02 20:22:54 +0000938
Raymond Hettinger2d452ee2014-05-25 18:28:39 -0700939 def test_isdisjoint_Set(self):
940 class MySet(Set):
941 def __init__(self, itr):
942 self.contents = itr
943 def __contains__(self, x):
944 return x in self.contents
945 def __iter__(self):
946 return iter(self.contents)
947 def __len__(self):
948 return len([x for x in self.contents])
949 s1 = MySet((1, 2, 3))
950 s2 = MySet((4, 5, 6))
951 s3 = MySet((1, 5, 6))
952 self.assertTrue(s1.isdisjoint(s2))
953 self.assertFalse(s1.isdisjoint(s3))
954
955 def test_equality_Set(self):
956 class MySet(Set):
957 def __init__(self, itr):
958 self.contents = itr
959 def __contains__(self, x):
960 return x in self.contents
961 def __iter__(self):
962 return iter(self.contents)
963 def __len__(self):
964 return len([x for x in self.contents])
965 s1 = MySet((1,))
966 s2 = MySet((1, 2))
967 s3 = MySet((3, 4))
968 s4 = MySet((3, 4))
969 self.assertTrue(s2 > s1)
970 self.assertTrue(s1 < s2)
971 self.assertFalse(s2 <= s1)
972 self.assertFalse(s2 <= s3)
973 self.assertFalse(s1 >= s2)
974 self.assertEqual(s3, s4)
975 self.assertNotEqual(s2, s3)
976
977 def test_arithmetic_Set(self):
978 class MySet(Set):
979 def __init__(self, itr):
980 self.contents = itr
981 def __contains__(self, x):
982 return x in self.contents
983 def __iter__(self):
984 return iter(self.contents)
985 def __len__(self):
986 return len([x for x in self.contents])
987 s1 = MySet((1, 2, 3))
988 s2 = MySet((3, 4, 5))
989 s3 = s1 & s2
990 self.assertEqual(s3, MySet((3,)))
991
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000992 def test_MutableSet(self):
Ezio Melottie9615932010-01-24 19:26:24 +0000993 self.assertIsInstance(set(), MutableSet)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000994 self.assertTrue(issubclass(set, MutableSet))
Ezio Melottie9615932010-01-24 19:26:24 +0000995 self.assertNotIsInstance(frozenset(), MutableSet)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000996 self.assertFalse(issubclass(frozenset, MutableSet))
Raymond Hettingerae650182009-01-28 23:33:59 +0000997 self.validate_abstract_methods(MutableSet, '__contains__', '__iter__', '__len__',
998 'add', 'discard')
999
Raymond Hettinger3f10a952009-04-01 19:05:50 +00001000 def test_issue_5647(self):
1001 # MutableSet.__iand__ mutated the set during iteration
1002 s = WithSet('abcd')
1003 s &= WithSet('cdef') # This used to fail
1004 self.assertEqual(set(s), set('cd'))
1005
Raymond Hettingerae650182009-01-28 23:33:59 +00001006 def test_issue_4920(self):
1007 # MutableSet.pop() method did not work
Raymond Hettinger57d1a882011-02-23 00:46:28 +00001008 class MySet(MutableSet):
Raymond Hettingerae650182009-01-28 23:33:59 +00001009 __slots__=['__s']
1010 def __init__(self,items=None):
1011 if items is None:
1012 items=[]
1013 self.__s=set(items)
1014 def __contains__(self,v):
1015 return v in self.__s
1016 def __iter__(self):
1017 return iter(self.__s)
1018 def __len__(self):
1019 return len(self.__s)
1020 def add(self,v):
1021 result=v not in self.__s
1022 self.__s.add(v)
1023 return result
1024 def discard(self,v):
1025 result=v in self.__s
1026 self.__s.discard(v)
1027 return result
1028 def __repr__(self):
1029 return "MySet(%s)" % repr(list(self))
1030 s = MySet([5,43,2,1])
1031 self.assertEqual(s.pop(), 1)
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001032
Daniel Stutzbach31da5b22010-08-24 20:49:57 +00001033 def test_issue8750(self):
1034 empty = WithSet()
1035 full = WithSet(range(10))
1036 s = WithSet(full)
1037 s -= s
1038 self.assertEqual(s, empty)
1039 s = WithSet(full)
1040 s ^= s
1041 self.assertEqual(s, empty)
1042 s = WithSet(full)
1043 s &= s
1044 self.assertEqual(s, full)
1045 s |= s
1046 self.assertEqual(s, full)
1047
Andrew Svetlovbcac6ad2012-11-01 13:28:54 +02001048 def test_issue16373(self):
1049 # Recursion error comparing comparable and noncomparable
1050 # Set instances
1051 class MyComparableSet(Set):
1052 def __contains__(self, x):
1053 return False
1054 def __len__(self):
1055 return 0
1056 def __iter__(self):
1057 return iter([])
1058 class MyNonComparableSet(Set):
1059 def __contains__(self, x):
1060 return False
1061 def __len__(self):
1062 return 0
1063 def __iter__(self):
1064 return iter([])
1065 def __le__(self, x):
1066 return NotImplemented
1067 def __lt__(self, x):
1068 return NotImplemented
1069
1070 cs = MyComparableSet()
1071 ncs = MyNonComparableSet()
Raymond Hettingerdd5e53a2014-05-26 00:09:04 -07001072 self.assertFalse(ncs < cs)
1073 self.assertTrue(ncs <= cs)
1074 self.assertFalse(ncs > cs)
1075 self.assertTrue(ncs >= cs)
1076
Raymond Hettinger584e8ae2016-05-05 11:14:06 +03001077 def test_issue26915(self):
1078 # Container membership test should check identity first
1079 class CustomEqualObject:
1080 def __eq__(self, other):
1081 return False
1082 class CustomSequence(list):
1083 def __contains__(self, value):
1084 return Sequence.__contains__(self, value)
1085
1086 nan = float('nan')
1087 obj = CustomEqualObject()
1088 containers = [
1089 CustomSequence([nan, obj]),
1090 ItemsView({1: nan, 2: obj}),
1091 ValuesView({1: nan, 2: obj})
1092 ]
1093 for container in containers:
1094 for elem in container:
1095 self.assertIn(elem, container)
1096
Raymond Hettingerdd5e53a2014-05-26 00:09:04 -07001097 def assertSameSet(self, s1, s2):
1098 # coerce both to a real set then check equality
1099 self.assertSetEqual(set(s1), set(s2))
1100
1101 def test_Set_interoperability_with_real_sets(self):
1102 # Issue: 8743
1103 class ListSet(Set):
1104 def __init__(self, elements=()):
1105 self.data = []
1106 for elem in elements:
1107 if elem not in self.data:
1108 self.data.append(elem)
1109 def __contains__(self, elem):
1110 return elem in self.data
1111 def __iter__(self):
1112 return iter(self.data)
1113 def __len__(self):
1114 return len(self.data)
1115 def __repr__(self):
1116 return 'Set({!r})'.format(self.data)
1117
1118 r1 = set('abc')
1119 r2 = set('bcd')
1120 r3 = set('abcde')
1121 f1 = ListSet('abc')
1122 f2 = ListSet('bcd')
1123 f3 = ListSet('abcde')
1124 l1 = list('abccba')
1125 l2 = list('bcddcb')
1126 l3 = list('abcdeedcba')
1127
1128 target = r1 & r2
1129 self.assertSameSet(f1 & f2, target)
1130 self.assertSameSet(f1 & r2, target)
1131 self.assertSameSet(r2 & f1, target)
1132 self.assertSameSet(f1 & l2, target)
1133
1134 target = r1 | r2
1135 self.assertSameSet(f1 | f2, target)
1136 self.assertSameSet(f1 | r2, target)
1137 self.assertSameSet(r2 | f1, target)
1138 self.assertSameSet(f1 | l2, target)
1139
1140 fwd_target = r1 - r2
1141 rev_target = r2 - r1
1142 self.assertSameSet(f1 - f2, fwd_target)
1143 self.assertSameSet(f2 - f1, rev_target)
1144 self.assertSameSet(f1 - r2, fwd_target)
1145 self.assertSameSet(f2 - r1, rev_target)
1146 self.assertSameSet(r1 - f2, fwd_target)
1147 self.assertSameSet(r2 - f1, rev_target)
1148 self.assertSameSet(f1 - l2, fwd_target)
1149 self.assertSameSet(f2 - l1, rev_target)
1150
1151 target = r1 ^ r2
1152 self.assertSameSet(f1 ^ f2, target)
1153 self.assertSameSet(f1 ^ r2, target)
1154 self.assertSameSet(r2 ^ f1, target)
1155 self.assertSameSet(f1 ^ l2, target)
1156
1157 # Don't change the following to use assertLess or other
1158 # "more specific" unittest assertions. The current
1159 # assertTrue/assertFalse style makes the pattern of test
1160 # case combinations clear and allows us to know for sure
1161 # the exact operator being invoked.
1162
1163 # proper subset
1164 self.assertTrue(f1 < f3)
1165 self.assertFalse(f1 < f1)
1166 self.assertFalse(f1 < f2)
1167 self.assertTrue(r1 < f3)
1168 self.assertFalse(r1 < f1)
1169 self.assertFalse(r1 < f2)
1170 self.assertTrue(r1 < r3)
1171 self.assertFalse(r1 < r1)
1172 self.assertFalse(r1 < r2)
Andrew Svetlovbcac6ad2012-11-01 13:28:54 +02001173 with self.assertRaises(TypeError):
Raymond Hettingerdd5e53a2014-05-26 00:09:04 -07001174 f1 < l3
Andrew Svetlovbcac6ad2012-11-01 13:28:54 +02001175 with self.assertRaises(TypeError):
Raymond Hettingerdd5e53a2014-05-26 00:09:04 -07001176 f1 < l1
Andrew Svetlovbcac6ad2012-11-01 13:28:54 +02001177 with self.assertRaises(TypeError):
Raymond Hettingerdd5e53a2014-05-26 00:09:04 -07001178 f1 < l2
1179
1180 # any subset
1181 self.assertTrue(f1 <= f3)
1182 self.assertTrue(f1 <= f1)
1183 self.assertFalse(f1 <= f2)
1184 self.assertTrue(r1 <= f3)
1185 self.assertTrue(r1 <= f1)
1186 self.assertFalse(r1 <= f2)
1187 self.assertTrue(r1 <= r3)
1188 self.assertTrue(r1 <= r1)
1189 self.assertFalse(r1 <= r2)
Andrew Svetlovbcac6ad2012-11-01 13:28:54 +02001190 with self.assertRaises(TypeError):
Raymond Hettingerdd5e53a2014-05-26 00:09:04 -07001191 f1 <= l3
1192 with self.assertRaises(TypeError):
1193 f1 <= l1
1194 with self.assertRaises(TypeError):
1195 f1 <= l2
1196
1197 # proper superset
1198 self.assertTrue(f3 > f1)
1199 self.assertFalse(f1 > f1)
1200 self.assertFalse(f2 > f1)
1201 self.assertTrue(r3 > r1)
1202 self.assertFalse(f1 > r1)
1203 self.assertFalse(f2 > r1)
1204 self.assertTrue(r3 > r1)
1205 self.assertFalse(r1 > r1)
1206 self.assertFalse(r2 > r1)
1207 with self.assertRaises(TypeError):
1208 f1 > l3
1209 with self.assertRaises(TypeError):
1210 f1 > l1
1211 with self.assertRaises(TypeError):
1212 f1 > l2
1213
1214 # any superset
1215 self.assertTrue(f3 >= f1)
1216 self.assertTrue(f1 >= f1)
1217 self.assertFalse(f2 >= f1)
1218 self.assertTrue(r3 >= r1)
1219 self.assertTrue(f1 >= r1)
1220 self.assertFalse(f2 >= r1)
1221 self.assertTrue(r3 >= r1)
1222 self.assertTrue(r1 >= r1)
1223 self.assertFalse(r2 >= r1)
1224 with self.assertRaises(TypeError):
1225 f1 >= l3
1226 with self.assertRaises(TypeError):
1227 f1 >=l1
1228 with self.assertRaises(TypeError):
1229 f1 >= l2
1230
1231 # equality
1232 self.assertTrue(f1 == f1)
1233 self.assertTrue(r1 == f1)
1234 self.assertTrue(f1 == r1)
1235 self.assertFalse(f1 == f3)
1236 self.assertFalse(r1 == f3)
1237 self.assertFalse(f1 == r3)
1238 self.assertFalse(f1 == l3)
1239 self.assertFalse(f1 == l1)
1240 self.assertFalse(f1 == l2)
1241
1242 # inequality
1243 self.assertFalse(f1 != f1)
1244 self.assertFalse(r1 != f1)
1245 self.assertFalse(f1 != r1)
1246 self.assertTrue(f1 != f3)
1247 self.assertTrue(r1 != f3)
1248 self.assertTrue(f1 != r3)
1249 self.assertTrue(f1 != l3)
1250 self.assertTrue(f1 != l1)
1251 self.assertTrue(f1 != l2)
Andrew Svetlovbcac6ad2012-11-01 13:28:54 +02001252
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001253 def test_Mapping(self):
1254 for sample in [dict]:
Ezio Melottie9615932010-01-24 19:26:24 +00001255 self.assertIsInstance(sample(), Mapping)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001256 self.assertTrue(issubclass(sample, Mapping))
Raymond Hettingerae650182009-01-28 23:33:59 +00001257 self.validate_abstract_methods(Mapping, '__contains__', '__iter__', '__len__',
1258 '__getitem__')
Raymond Hettinger57d1a882011-02-23 00:46:28 +00001259 class MyMapping(Mapping):
Benjamin Peterson4ad6bd52010-05-21 20:55:22 +00001260 def __len__(self):
1261 return 0
1262 def __getitem__(self, i):
1263 raise IndexError
1264 def __iter__(self):
1265 return iter(())
1266 self.validate_comparison(MyMapping())
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001267
1268 def test_MutableMapping(self):
1269 for sample in [dict]:
Ezio Melottie9615932010-01-24 19:26:24 +00001270 self.assertIsInstance(sample(), MutableMapping)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001271 self.assertTrue(issubclass(sample, MutableMapping))
Raymond Hettingerae650182009-01-28 23:33:59 +00001272 self.validate_abstract_methods(MutableMapping, '__contains__', '__iter__', '__len__',
1273 '__getitem__', '__setitem__', '__delitem__')
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001274
Raymond Hettinger9117c752010-08-22 07:44:24 +00001275 def test_MutableMapping_subclass(self):
1276 # Test issue 9214
1277 mymap = UserDict()
1278 mymap['red'] = 5
1279 self.assertIsInstance(mymap.keys(), Set)
1280 self.assertIsInstance(mymap.keys(), KeysView)
1281 self.assertIsInstance(mymap.items(), Set)
1282 self.assertIsInstance(mymap.items(), ItemsView)
1283
1284 mymap = UserDict()
1285 mymap['red'] = 5
1286 z = mymap.keys() | {'orange'}
1287 self.assertIsInstance(z, set)
1288 list(z)
1289 mymap['blue'] = 7 # Shouldn't affect 'z'
1290 self.assertEqual(sorted(z), ['orange', 'red'])
1291
1292 mymap = UserDict()
1293 mymap['red'] = 5
1294 z = mymap.items() | {('orange', 3)}
1295 self.assertIsInstance(z, set)
1296 list(z)
1297 mymap['blue'] = 7 # Shouldn't affect 'z'
1298 self.assertEqual(sorted(z), [('orange', 3), ('red', 5)])
1299
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001300 def test_Sequence(self):
1301 for sample in [tuple, list, bytes, str]:
Ezio Melottie9615932010-01-24 19:26:24 +00001302 self.assertIsInstance(sample(), Sequence)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001303 self.assertTrue(issubclass(sample, Sequence))
Ezio Melottie9615932010-01-24 19:26:24 +00001304 self.assertIsInstance(range(10), Sequence)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001305 self.assertTrue(issubclass(range, Sequence))
Nick Coghlan45163cc2013-10-02 22:31:47 +10001306 self.assertIsInstance(memoryview(b""), Sequence)
1307 self.assertTrue(issubclass(memoryview, Sequence))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001308 self.assertTrue(issubclass(str, Sequence))
Raymond Hettingerae650182009-01-28 23:33:59 +00001309 self.validate_abstract_methods(Sequence, '__contains__', '__iter__', '__len__',
1310 '__getitem__')
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001311
Raymond Hettingerec219ba2015-05-22 19:29:22 -07001312 def test_Sequence_mixins(self):
1313 class SequenceSubclass(Sequence):
1314 def __init__(self, seq=()):
1315 self.seq = seq
1316
1317 def __getitem__(self, index):
1318 return self.seq[index]
1319
1320 def __len__(self):
1321 return len(self.seq)
1322
1323 # Compare Sequence.index() behavior to (list|str).index() behavior
1324 def assert_index_same(seq1, seq2, index_args):
1325 try:
1326 expected = seq1.index(*index_args)
1327 except ValueError:
1328 with self.assertRaises(ValueError):
1329 seq2.index(*index_args)
1330 else:
1331 actual = seq2.index(*index_args)
1332 self.assertEqual(
1333 actual, expected, '%r.index%s' % (seq1, index_args))
1334
1335 for ty in list, str:
1336 nativeseq = ty('abracadabra')
1337 indexes = [-10000, -9999] + list(range(-3, len(nativeseq) + 3))
1338 seqseq = SequenceSubclass(nativeseq)
1339 for letter in set(nativeseq) | {'z'}:
1340 assert_index_same(nativeseq, seqseq, (letter,))
1341 for start in range(-3, len(nativeseq) + 3):
1342 assert_index_same(nativeseq, seqseq, (letter, start))
1343 for stop in range(-3, len(nativeseq) + 3):
1344 assert_index_same(
1345 nativeseq, seqseq, (letter, start, stop))
1346
Guido van Rossumd05eb002007-11-21 22:26:24 +00001347 def test_ByteString(self):
1348 for sample in [bytes, bytearray]:
Ezio Melottie9615932010-01-24 19:26:24 +00001349 self.assertIsInstance(sample(), ByteString)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001350 self.assertTrue(issubclass(sample, ByteString))
Guido van Rossumd05eb002007-11-21 22:26:24 +00001351 for sample in [str, list, tuple]:
Ezio Melottie9615932010-01-24 19:26:24 +00001352 self.assertNotIsInstance(sample(), ByteString)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001353 self.assertFalse(issubclass(sample, ByteString))
Ezio Melottie9615932010-01-24 19:26:24 +00001354 self.assertNotIsInstance(memoryview(b""), ByteString)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001355 self.assertFalse(issubclass(memoryview, ByteString))
Guido van Rossumd05eb002007-11-21 22:26:24 +00001356
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001357 def test_MutableSequence(self):
Guido van Rossumd05eb002007-11-21 22:26:24 +00001358 for sample in [tuple, str, bytes]:
Ezio Melottie9615932010-01-24 19:26:24 +00001359 self.assertNotIsInstance(sample(), MutableSequence)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001360 self.assertFalse(issubclass(sample, MutableSequence))
Raymond Hettinger32ea1652015-03-21 01:37:37 -07001361 for sample in [list, bytearray, deque]:
Ezio Melottie9615932010-01-24 19:26:24 +00001362 self.assertIsInstance(sample(), MutableSequence)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001363 self.assertTrue(issubclass(sample, MutableSequence))
1364 self.assertFalse(issubclass(str, MutableSequence))
Raymond Hettingerae650182009-01-28 23:33:59 +00001365 self.validate_abstract_methods(MutableSequence, '__contains__', '__iter__',
1366 '__len__', '__getitem__', '__setitem__', '__delitem__', 'insert')
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001367
Eli Bendersky0716a572011-03-04 10:38:14 +00001368 def test_MutableSequence_mixins(self):
1369 # Test the mixins of MutableSequence by creating a miminal concrete
1370 # class inherited from it.
1371 class MutableSequenceSubclass(MutableSequence):
1372 def __init__(self):
1373 self.lst = []
1374
1375 def __setitem__(self, index, value):
1376 self.lst[index] = value
1377
1378 def __getitem__(self, index):
1379 return self.lst[index]
1380
1381 def __len__(self):
1382 return len(self.lst)
1383
1384 def __delitem__(self, index):
1385 del self.lst[index]
1386
1387 def insert(self, index, value):
1388 self.lst.insert(index, value)
1389
1390 mss = MutableSequenceSubclass()
1391 mss.append(0)
1392 mss.extend((1, 2, 3, 4))
1393 self.assertEqual(len(mss), 5)
1394 self.assertEqual(mss[3], 3)
1395 mss.reverse()
1396 self.assertEqual(mss[3], 1)
1397 mss.pop()
1398 self.assertEqual(len(mss), 4)
1399 mss.remove(3)
1400 self.assertEqual(len(mss), 3)
1401 mss += (10, 20, 30)
1402 self.assertEqual(len(mss), 6)
1403 self.assertEqual(mss[-1], 30)
1404 mss.clear()
1405 self.assertEqual(len(mss), 0)
Raymond Hettinger499e1932011-02-23 07:56:53 +00001406
1407################################################################################
1408### Counter
1409################################################################################
1410
Raymond Hettingercb1d96f2013-10-04 16:51:02 -07001411class CounterSubclassWithSetItem(Counter):
1412 # Test a counter subclass that overrides __setitem__
1413 def __init__(self, *args, **kwds):
1414 self.called = False
1415 Counter.__init__(self, *args, **kwds)
1416 def __setitem__(self, key, value):
1417 self.called = True
1418 Counter.__setitem__(self, key, value)
1419
1420class CounterSubclassWithGet(Counter):
1421 # Test a counter subclass that overrides get()
1422 def __init__(self, *args, **kwds):
1423 self.called = False
1424 Counter.__init__(self, *args, **kwds)
1425 def get(self, key, default):
1426 self.called = True
1427 return Counter.get(self, key, default)
1428
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001429class TestCounter(unittest.TestCase):
1430
1431 def test_basics(self):
1432 c = Counter('abcaba')
Raymond Hettinger4d2073a2009-01-20 03:41:22 +00001433 self.assertEqual(c, Counter({'a':3 , 'b': 2, 'c': 1}))
1434 self.assertEqual(c, Counter(a=3, b=2, c=1))
Ezio Melottie9615932010-01-24 19:26:24 +00001435 self.assertIsInstance(c, dict)
1436 self.assertIsInstance(c, Mapping)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001437 self.assertTrue(issubclass(Counter, dict))
1438 self.assertTrue(issubclass(Counter, Mapping))
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001439 self.assertEqual(len(c), 3)
1440 self.assertEqual(sum(c.values()), 6)
1441 self.assertEqual(sorted(c.values()), [1, 2, 3])
1442 self.assertEqual(sorted(c.keys()), ['a', 'b', 'c'])
1443 self.assertEqual(sorted(c), ['a', 'b', 'c'])
1444 self.assertEqual(sorted(c.items()),
1445 [('a', 3), ('b', 2), ('c', 1)])
1446 self.assertEqual(c['b'], 2)
1447 self.assertEqual(c['z'], 0)
1448 self.assertEqual(c.__contains__('c'), True)
1449 self.assertEqual(c.__contains__('z'), False)
1450 self.assertEqual(c.get('b', 10), 2)
1451 self.assertEqual(c.get('z', 10), 10)
1452 self.assertEqual(c, dict(a=3, b=2, c=1))
1453 self.assertEqual(repr(c), "Counter({'a': 3, 'b': 2, 'c': 1})")
1454 self.assertEqual(c.most_common(), [('a', 3), ('b', 2), ('c', 1)])
1455 for i in range(5):
1456 self.assertEqual(c.most_common(i),
1457 [('a', 3), ('b', 2), ('c', 1)][:i])
1458 self.assertEqual(''.join(sorted(c.elements())), 'aaabbc')
1459 c['a'] += 1 # increment an existing value
1460 c['b'] -= 2 # sub existing value to zero
1461 del c['c'] # remove an entry
Raymond Hettinger4d2073a2009-01-20 03:41:22 +00001462 del c['c'] # make sure that del doesn't raise KeyError
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001463 c['d'] -= 2 # sub from a missing value
1464 c['e'] = -5 # directly assign a missing value
1465 c['f'] += 4 # add to a missing value
1466 self.assertEqual(c, dict(a=4, b=0, d=-2, e=-5, f=4))
1467 self.assertEqual(''.join(sorted(c.elements())), 'aaaaffff')
1468 self.assertEqual(c.pop('f'), 4)
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001469 self.assertNotIn('f', c)
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001470 for i in range(3):
1471 elem, cnt = c.popitem()
Ezio Melottib58e0bd2010-01-23 15:40:09 +00001472 self.assertNotIn(elem, c)
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001473 c.clear()
1474 self.assertEqual(c, {})
1475 self.assertEqual(repr(c), 'Counter()')
1476 self.assertRaises(NotImplementedError, Counter.fromkeys, 'abc')
1477 self.assertRaises(TypeError, hash, c)
Raymond Hettinger4d2073a2009-01-20 03:41:22 +00001478 c.update(dict(a=5, b=3))
1479 c.update(c=1)
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001480 c.update(Counter('a' * 50 + 'b' * 30))
1481 c.update() # test case with no args
1482 c.__init__('a' * 500 + 'b' * 300)
1483 c.__init__('cdc')
1484 c.__init__()
1485 self.assertEqual(c, dict(a=555, b=333, c=3, d=1))
1486 self.assertEqual(c.setdefault('d', 5), 1)
1487 self.assertEqual(c['d'], 1)
1488 self.assertEqual(c.setdefault('e', 5), 5)
1489 self.assertEqual(c['e'], 5)
1490
Serhiy Storchakaae5cb212014-11-27 16:25:51 +02001491 def test_init(self):
1492 self.assertEqual(list(Counter(self=42).items()), [('self', 42)])
1493 self.assertEqual(list(Counter(iterable=42).items()), [('iterable', 42)])
1494 self.assertEqual(list(Counter(iterable=None).items()), [('iterable', None)])
1495 self.assertRaises(TypeError, Counter, 42)
1496 self.assertRaises(TypeError, Counter, (), ())
1497 self.assertRaises(TypeError, Counter.__init__)
1498
1499 def test_update(self):
1500 c = Counter()
1501 c.update(self=42)
1502 self.assertEqual(list(c.items()), [('self', 42)])
1503 c = Counter()
1504 c.update(iterable=42)
1505 self.assertEqual(list(c.items()), [('iterable', 42)])
1506 c = Counter()
1507 c.update(iterable=None)
1508 self.assertEqual(list(c.items()), [('iterable', None)])
1509 self.assertRaises(TypeError, Counter().update, 42)
1510 self.assertRaises(TypeError, Counter().update, {}, {})
1511 self.assertRaises(TypeError, Counter.update)
1512
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001513 def test_copying(self):
1514 # Check that counters are copyable, deepcopyable, picklable, and
1515 #have a repr/eval round-trip
1516 words = Counter('which witch had which witches wrist watch'.split())
Serhiy Storchakabad12572014-12-15 14:03:42 +02001517 def check(dup):
1518 msg = "\ncopy: %s\nwords: %s" % (dup, words)
1519 self.assertIsNot(dup, words, msg)
1520 self.assertEqual(dup, words)
1521 check(words.copy())
1522 check(copy.copy(words))
1523 check(copy.deepcopy(words))
1524 for proto in range(pickle.HIGHEST_PROTOCOL + 1):
1525 with self.subTest(proto=proto):
1526 check(pickle.loads(pickle.dumps(words, proto)))
1527 check(eval(repr(words)))
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001528 update_test = Counter()
1529 update_test.update(words)
Serhiy Storchakabad12572014-12-15 14:03:42 +02001530 check(update_test)
1531 check(Counter(words))
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001532
Raymond Hettinger1c746c22011-04-15 13:16:46 -07001533 def test_copy_subclass(self):
1534 class MyCounter(Counter):
1535 pass
1536 c = MyCounter('slartibartfast')
1537 d = c.copy()
1538 self.assertEqual(d, c)
1539 self.assertEqual(len(d), len(c))
1540 self.assertEqual(type(d), type(c))
1541
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001542 def test_conversions(self):
1543 # Convert to: set, list, dict
1544 s = 'she sells sea shells by the sea shore'
1545 self.assertEqual(sorted(Counter(s).elements()), sorted(s))
1546 self.assertEqual(sorted(Counter(s)), sorted(set(s)))
1547 self.assertEqual(dict(Counter(s)), dict(Counter(s).items()))
1548 self.assertEqual(set(Counter(s)), set(s))
1549
Raymond Hettinger670eaec2009-01-21 23:14:07 +00001550 def test_invariant_for_the_in_operator(self):
1551 c = Counter(a=10, b=-2, c=0)
1552 for elem in c:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001553 self.assertTrue(elem in c)
Benjamin Peterson577473f2010-01-19 00:09:57 +00001554 self.assertIn(elem, c)
Raymond Hettinger670eaec2009-01-21 23:14:07 +00001555
Raymond Hettinger4d2073a2009-01-20 03:41:22 +00001556 def test_multiset_operations(self):
1557 # Verify that adding a zero counter will strip zeros and negatives
1558 c = Counter(a=10, b=-2, c=0) + Counter()
1559 self.assertEqual(dict(c), dict(a=10))
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001560
Raymond Hettinger4d2073a2009-01-20 03:41:22 +00001561 elements = 'abcd'
1562 for i in range(1000):
1563 # test random pairs of multisets
1564 p = Counter(dict((elem, randrange(-2,4)) for elem in elements))
Raymond Hettingere0d1b9f2009-01-21 20:36:27 +00001565 p.update(e=1, f=-1, g=0)
Raymond Hettinger4d2073a2009-01-20 03:41:22 +00001566 q = Counter(dict((elem, randrange(-2,4)) for elem in elements))
Raymond Hettingere0d1b9f2009-01-21 20:36:27 +00001567 q.update(h=1, i=-1, j=0)
1568 for counterop, numberop in [
1569 (Counter.__add__, lambda x, y: max(0, x+y)),
1570 (Counter.__sub__, lambda x, y: max(0, x-y)),
1571 (Counter.__or__, lambda x, y: max(0,x,y)),
1572 (Counter.__and__, lambda x, y: max(0, min(x,y))),
Raymond Hettinger4d2073a2009-01-20 03:41:22 +00001573 ]:
1574 result = counterop(p, q)
1575 for x in elements:
Raymond Hettingere0d1b9f2009-01-21 20:36:27 +00001576 self.assertEqual(numberop(p[x], q[x]), result[x],
1577 (counterop, x, p, q))
Raymond Hettinger4d2073a2009-01-20 03:41:22 +00001578 # verify that results exclude non-positive counts
Benjamin Petersonc9c0f202009-06-30 23:06:06 +00001579 self.assertTrue(x>0 for x in result.values())
Raymond Hettinger4d2073a2009-01-20 03:41:22 +00001580
1581 elements = 'abcdef'
1582 for i in range(100):
1583 # verify that random multisets with no repeats are exactly like sets
1584 p = Counter(dict((elem, randrange(0, 2)) for elem in elements))
1585 q = Counter(dict((elem, randrange(0, 2)) for elem in elements))
1586 for counterop, setop in [
1587 (Counter.__sub__, set.__sub__),
1588 (Counter.__or__, set.__or__),
1589 (Counter.__and__, set.__and__),
1590 ]:
1591 counter_result = counterop(p, q)
1592 set_result = setop(set(p.elements()), set(q.elements()))
1593 self.assertEqual(counter_result, dict.fromkeys(set_result, 1))
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001594
Raymond Hettingerbecd5682011-10-19 13:40:37 -07001595 def test_inplace_operations(self):
1596 elements = 'abcd'
1597 for i in range(1000):
1598 # test random pairs of multisets
1599 p = Counter(dict((elem, randrange(-2,4)) for elem in elements))
1600 p.update(e=1, f=-1, g=0)
1601 q = Counter(dict((elem, randrange(-2,4)) for elem in elements))
1602 q.update(h=1, i=-1, j=0)
1603 for inplace_op, regular_op in [
1604 (Counter.__iadd__, Counter.__add__),
1605 (Counter.__isub__, Counter.__sub__),
1606 (Counter.__ior__, Counter.__or__),
1607 (Counter.__iand__, Counter.__and__),
1608 ]:
1609 c = p.copy()
1610 c_id = id(c)
1611 regular_result = regular_op(c, q)
1612 inplace_result = inplace_op(c, q)
1613 self.assertEqual(inplace_result, regular_result)
1614 self.assertEqual(id(inplace_result), c_id)
1615
Raymond Hettinger9c01e442010-04-03 10:32:58 +00001616 def test_subtract(self):
1617 c = Counter(a=-5, b=0, c=5, d=10, e=15,g=40)
1618 c.subtract(a=1, b=2, c=-3, d=10, e=20, f=30, h=-50)
1619 self.assertEqual(c, Counter(a=-6, b=-2, c=8, d=0, e=-5, f=-30, g=40, h=50))
1620 c = Counter(a=-5, b=0, c=5, d=10, e=15,g=40)
1621 c.subtract(Counter(a=1, b=2, c=-3, d=10, e=20, f=30, h=-50))
1622 self.assertEqual(c, Counter(a=-6, b=-2, c=8, d=0, e=-5, f=-30, g=40, h=50))
1623 c = Counter('aaabbcd')
1624 c.subtract('aaaabbcce')
1625 self.assertEqual(c, Counter(a=-1, b=0, c=-1, d=1, e=-1))
Raymond Hettinger2d32f632009-03-02 21:24:57 +00001626
Serhiy Storchakaae5cb212014-11-27 16:25:51 +02001627 c = Counter()
1628 c.subtract(self=42)
1629 self.assertEqual(list(c.items()), [('self', -42)])
1630 c = Counter()
1631 c.subtract(iterable=42)
1632 self.assertEqual(list(c.items()), [('iterable', -42)])
1633 self.assertRaises(TypeError, Counter().subtract, 42)
1634 self.assertRaises(TypeError, Counter().subtract, {}, {})
1635 self.assertRaises(TypeError, Counter.subtract)
1636
Raymond Hettingerfcb393c2011-08-09 13:00:40 -07001637 def test_unary(self):
1638 c = Counter(a=-5, b=0, c=5, d=10, e=15,g=40)
1639 self.assertEqual(dict(+c), dict(c=5, d=10, e=15, g=40))
1640 self.assertEqual(dict(-c), dict(a=5))
1641
Raymond Hettinger4e6bf412011-11-05 13:35:26 -07001642 def test_repr_nonsortable(self):
1643 c = Counter(a=2, b=None)
1644 r = repr(c)
1645 self.assertIn("'a': 2", r)
1646 self.assertIn("'b': None", r)
Raymond Hettinger68fb89f2011-11-05 13:43:01 -07001647
Raymond Hettinger426e0522011-01-03 02:12:02 +00001648 def test_helper_function(self):
1649 # two paths, one for real dicts and one for other mappings
1650 elems = list('abracadabra')
1651
1652 d = dict()
1653 _count_elements(d, elems)
1654 self.assertEqual(d, {'a': 5, 'r': 2, 'b': 2, 'c': 1, 'd': 1})
1655
1656 m = OrderedDict()
1657 _count_elements(m, elems)
1658 self.assertEqual(m,
1659 OrderedDict([('a', 5), ('b', 2), ('r', 2), ('c', 1), ('d', 1)]))
1660
Raymond Hettingercb1d96f2013-10-04 16:51:02 -07001661 # test fidelity to the pure python version
1662 c = CounterSubclassWithSetItem('abracadabra')
1663 self.assertTrue(c.called)
Raymond Hettingerfacd0a32013-10-05 17:14:51 -07001664 self.assertEqual(dict(c), {'a': 5, 'b': 2, 'c': 1, 'd': 1, 'r':2 })
Raymond Hettingercb1d96f2013-10-04 16:51:02 -07001665 c = CounterSubclassWithGet('abracadabra')
1666 self.assertTrue(c.called)
Raymond Hettingerfacd0a32013-10-05 17:14:51 -07001667 self.assertEqual(dict(c), {'a': 5, 'b': 2, 'c': 1, 'd': 1, 'r':2 })
Raymond Hettingercb1d96f2013-10-04 16:51:02 -07001668
Raymond Hettinger499e1932011-02-23 07:56:53 +00001669
1670################################################################################
Raymond Hettinger499e1932011-02-23 07:56:53 +00001671### Run tests
1672################################################################################
1673
Guido van Rossumd8faa362007-04-27 19:54:29 +00001674def test_main(verbose=None):
Benjamin Petersonad9d48d2008-04-02 21:49:44 +00001675 NamedTupleDocs = doctest.DocTestSuite(module=collections)
Raymond Hettingerb8baf632009-01-14 02:20:07 +00001676 test_classes = [TestNamedTuple, NamedTupleDocs, TestOneTrickPonyABCs,
Raymond Hettingerd0321312011-02-26 06:53:58 +00001677 TestCollectionABCs, TestCounter, TestChainMap,
Eric Snow47db7172015-05-29 22:21:39 -06001678 TestUserObjects,
1679 ]
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001680 support.run_unittest(*test_classes)
1681 support.run_doctest(collections, verbose)
Guido van Rossumd8faa362007-04-27 19:54:29 +00001682
Guido van Rossumcd16bf62007-06-13 18:07:49 +00001683
Guido van Rossumd8faa362007-04-27 19:54:29 +00001684if __name__ == "__main__":
1685 test_main(verbose=True)