Guido van Rossum | 0b19178 | 2002-08-02 18:29:53 +0000 | [diff] [blame] | 1 | """Unittests for heapq.""" |
| 2 | |
Ezio Melotti | 8269a44 | 2011-05-09 07:15:04 +0300 | [diff] [blame] | 3 | import random |
Ezio Melotti | 22ebb2d | 2013-01-02 21:19:37 +0200 | [diff] [blame] | 4 | import unittest |
Rob Day | 664fe39 | 2019-06-01 05:13:57 +0100 | [diff] [blame] | 5 | import doctest |
Guido van Rossum | 0b19178 | 2002-08-02 18:29:53 +0000 | [diff] [blame] | 6 | |
Ezio Melotti | 8269a44 | 2011-05-09 07:15:04 +0300 | [diff] [blame] | 7 | from test import support |
Hai Shi | 883bc63 | 2020-07-06 17:12:49 +0800 | [diff] [blame] | 8 | from test.support import import_helper |
Ezio Melotti | 8269a44 | 2011-05-09 07:15:04 +0300 | [diff] [blame] | 9 | from unittest import TestCase, skipUnless |
Raymond Hettinger | 35db439 | 2014-05-30 02:28:36 -0700 | [diff] [blame] | 10 | from operator import itemgetter |
Ezio Melotti | 8269a44 | 2011-05-09 07:15:04 +0300 | [diff] [blame] | 11 | |
Hai Shi | 883bc63 | 2020-07-06 17:12:49 +0800 | [diff] [blame] | 12 | py_heapq = import_helper.import_fresh_module('heapq', blocked=['_heapq']) |
| 13 | c_heapq = import_helper.import_fresh_module('heapq', fresh=['_heapq']) |
Tim Peters | aa7d243 | 2002-08-03 02:11:26 +0000 | [diff] [blame] | 14 | |
Ezio Melotti | 8269a44 | 2011-05-09 07:15:04 +0300 | [diff] [blame] | 15 | # _heapq.nlargest/nsmallest are saved in heapq._nlargest/_smallest when |
| 16 | # _heapq is imported, so check them there |
Raymond Hettinger | 48f68d0 | 2014-06-14 16:43:35 -0700 | [diff] [blame] | 17 | func_names = ['heapify', 'heappop', 'heappush', 'heappushpop', 'heapreplace', |
| 18 | '_heappop_max', '_heapreplace_max', '_heapify_max'] |
Ezio Melotti | 8269a44 | 2011-05-09 07:15:04 +0300 | [diff] [blame] | 19 | |
| 20 | class TestModules(TestCase): |
| 21 | def test_py_functions(self): |
| 22 | for fname in func_names: |
| 23 | self.assertEqual(getattr(py_heapq, fname).__module__, 'heapq') |
| 24 | |
| 25 | @skipUnless(c_heapq, 'requires _heapq') |
| 26 | def test_c_functions(self): |
| 27 | for fname in func_names: |
| 28 | self.assertEqual(getattr(c_heapq, fname).__module__, '_heapq') |
| 29 | |
| 30 | |
Rob Day | 664fe39 | 2019-06-01 05:13:57 +0100 | [diff] [blame] | 31 | def load_tests(loader, tests, ignore): |
| 32 | # The 'merge' function has examples in its docstring which we should test |
| 33 | # with 'doctest'. |
| 34 | # |
| 35 | # However, doctest can't easily find all docstrings in the module (loading |
| 36 | # it through import_fresh_module seems to confuse it), so we specifically |
| 37 | # create a finder which returns the doctests from the merge method. |
| 38 | |
| 39 | class HeapqMergeDocTestFinder: |
| 40 | def find(self, *args, **kwargs): |
| 41 | dtf = doctest.DocTestFinder() |
| 42 | return dtf.find(py_heapq.merge) |
| 43 | |
| 44 | tests.addTests(doctest.DocTestSuite(py_heapq, |
| 45 | test_finder=HeapqMergeDocTestFinder())) |
| 46 | return tests |
| 47 | |
Ezio Melotti | 22ebb2d | 2013-01-02 21:19:37 +0200 | [diff] [blame] | 48 | class TestHeap: |
Tim Peters | aa7d243 | 2002-08-03 02:11:26 +0000 | [diff] [blame] | 49 | |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 50 | def test_push_pop(self): |
| 51 | # 1) Push 256 random numbers and pop them off, verifying all's OK. |
| 52 | heap = [] |
| 53 | data = [] |
| 54 | self.check_invariant(heap) |
| 55 | for i in range(256): |
| 56 | item = random.random() |
| 57 | data.append(item) |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 58 | self.module.heappush(heap, item) |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 59 | self.check_invariant(heap) |
| 60 | results = [] |
| 61 | while heap: |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 62 | item = self.module.heappop(heap) |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 63 | self.check_invariant(heap) |
| 64 | results.append(item) |
| 65 | data_sorted = data[:] |
| 66 | data_sorted.sort() |
| 67 | self.assertEqual(data_sorted, results) |
| 68 | # 2) Check that the invariant holds for a sorted array |
| 69 | self.check_invariant(results) |
| 70 | |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 71 | self.assertRaises(TypeError, self.module.heappush, []) |
Raymond Hettinger | e1defa4 | 2004-11-29 05:54:48 +0000 | [diff] [blame] | 72 | try: |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 73 | self.assertRaises(TypeError, self.module.heappush, None, None) |
| 74 | self.assertRaises(TypeError, self.module.heappop, None) |
Raymond Hettinger | e1defa4 | 2004-11-29 05:54:48 +0000 | [diff] [blame] | 75 | except AttributeError: |
| 76 | pass |
Neal Norwitz | d7be118 | 2004-07-08 01:56:46 +0000 | [diff] [blame] | 77 | |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 78 | def check_invariant(self, heap): |
| 79 | # Check the heap invariant. |
| 80 | for pos, item in enumerate(heap): |
| 81 | if pos: # pos 0 has no parent |
| 82 | parentpos = (pos-1) >> 1 |
Benjamin Peterson | c9c0f20 | 2009-06-30 23:06:06 +0000 | [diff] [blame] | 83 | self.assertTrue(heap[parentpos] <= item) |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 84 | |
| 85 | def test_heapify(self): |
Raymond Hettinger | 849564f | 2015-05-12 21:42:40 -0700 | [diff] [blame] | 86 | for size in list(range(30)) + [20000]: |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 87 | heap = [random.random() for dummy in range(size)] |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 88 | self.module.heapify(heap) |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 89 | self.check_invariant(heap) |
| 90 | |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 91 | self.assertRaises(TypeError, self.module.heapify, None) |
Neal Norwitz | d7be118 | 2004-07-08 01:56:46 +0000 | [diff] [blame] | 92 | |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 93 | def test_naive_nbest(self): |
| 94 | data = [random.randrange(2000) for i in range(1000)] |
| 95 | heap = [] |
| 96 | for item in data: |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 97 | self.module.heappush(heap, item) |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 98 | if len(heap) > 10: |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 99 | self.module.heappop(heap) |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 100 | heap.sort() |
| 101 | self.assertEqual(heap, sorted(data)[-10:]) |
| 102 | |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 103 | def heapiter(self, heap): |
| 104 | # An iterator returning a heap's elements, smallest-first. |
| 105 | try: |
| 106 | while 1: |
| 107 | yield self.module.heappop(heap) |
| 108 | except IndexError: |
| 109 | pass |
| 110 | |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 111 | def test_nbest(self): |
| 112 | # Less-naive "N-best" algorithm, much faster (if len(data) is big |
| 113 | # enough <wink>) than sorting all of data. However, if we had a max |
| 114 | # heap instead of a min heap, it could go faster still via |
| 115 | # heapify'ing all of data (linear time), then doing 10 heappops |
| 116 | # (10 log-time steps). |
| 117 | data = [random.randrange(2000) for i in range(1000)] |
| 118 | heap = data[:10] |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 119 | self.module.heapify(heap) |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 120 | for item in data[10:]: |
| 121 | if item > heap[0]: # this gets rarer the longer we run |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 122 | self.module.heapreplace(heap, item) |
| 123 | self.assertEqual(list(self.heapiter(heap)), sorted(data)[-10:]) |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 124 | |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 125 | self.assertRaises(TypeError, self.module.heapreplace, None) |
| 126 | self.assertRaises(TypeError, self.module.heapreplace, None, None) |
| 127 | self.assertRaises(IndexError, self.module.heapreplace, [], None) |
Neal Norwitz | d7be118 | 2004-07-08 01:56:46 +0000 | [diff] [blame] | 128 | |
Christian Heimes | dd15f6c | 2008-03-16 00:07:10 +0000 | [diff] [blame] | 129 | def test_nbest_with_pushpop(self): |
| 130 | data = [random.randrange(2000) for i in range(1000)] |
| 131 | heap = data[:10] |
| 132 | self.module.heapify(heap) |
| 133 | for item in data[10:]: |
| 134 | self.module.heappushpop(heap, item) |
| 135 | self.assertEqual(list(self.heapiter(heap)), sorted(data)[-10:]) |
| 136 | self.assertEqual(self.module.heappushpop([], 'x'), 'x') |
| 137 | |
| 138 | def test_heappushpop(self): |
| 139 | h = [] |
| 140 | x = self.module.heappushpop(h, 10) |
| 141 | self.assertEqual((h, x), ([], 10)) |
| 142 | |
| 143 | h = [10] |
| 144 | x = self.module.heappushpop(h, 10.0) |
| 145 | self.assertEqual((h, x), ([10], 10.0)) |
| 146 | self.assertEqual(type(h[0]), int) |
| 147 | self.assertEqual(type(x), float) |
| 148 | |
| 149 | h = [10]; |
| 150 | x = self.module.heappushpop(h, 9) |
| 151 | self.assertEqual((h, x), ([10], 9)) |
| 152 | |
| 153 | h = [10]; |
| 154 | x = self.module.heappushpop(h, 11) |
| 155 | self.assertEqual((h, x), ([11], 10)) |
| 156 | |
Rob Day | 664fe39 | 2019-06-01 05:13:57 +0100 | [diff] [blame] | 157 | def test_heappop_max(self): |
| 158 | # _heapop_max has an optimization for one-item lists which isn't |
| 159 | # covered in other tests, so test that case explicitly here |
| 160 | h = [3, 2] |
| 161 | self.assertEqual(self.module._heappop_max(h), 3) |
| 162 | self.assertEqual(self.module._heappop_max(h), 2) |
| 163 | |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 164 | def test_heapsort(self): |
| 165 | # Exercise everything with repeated heapsort checks |
Guido van Rossum | 805365e | 2007-05-07 22:24:25 +0000 | [diff] [blame] | 166 | for trial in range(100): |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 167 | size = random.randrange(50) |
| 168 | data = [random.randrange(25) for i in range(size)] |
| 169 | if trial & 1: # Half of the time, use heapify |
| 170 | heap = data[:] |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 171 | self.module.heapify(heap) |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 172 | else: # The rest of the time, use heappush |
| 173 | heap = [] |
| 174 | for item in data: |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 175 | self.module.heappush(heap, item) |
| 176 | heap_sorted = [self.module.heappop(heap) for i in range(size)] |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 177 | self.assertEqual(heap_sorted, sorted(data)) |
| 178 | |
Thomas Wouters | cf297e4 | 2007-02-23 15:07:44 +0000 | [diff] [blame] | 179 | def test_merge(self): |
| 180 | inputs = [] |
Raymond Hettinger | 35db439 | 2014-05-30 02:28:36 -0700 | [diff] [blame] | 181 | for i in range(random.randrange(25)): |
| 182 | row = [] |
| 183 | for j in range(random.randrange(100)): |
| 184 | tup = random.choice('ABC'), random.randrange(-500, 500) |
| 185 | row.append(tup) |
Thomas Wouters | cf297e4 | 2007-02-23 15:07:44 +0000 | [diff] [blame] | 186 | inputs.append(row) |
Raymond Hettinger | 35db439 | 2014-05-30 02:28:36 -0700 | [diff] [blame] | 187 | |
| 188 | for key in [None, itemgetter(0), itemgetter(1), itemgetter(1, 0)]: |
| 189 | for reverse in [False, True]: |
| 190 | seqs = [] |
| 191 | for seq in inputs: |
| 192 | seqs.append(sorted(seq, key=key, reverse=reverse)) |
| 193 | self.assertEqual(sorted(chain(*inputs), key=key, reverse=reverse), |
| 194 | list(self.module.merge(*seqs, key=key, reverse=reverse))) |
| 195 | self.assertEqual(list(self.module.merge()), []) |
Thomas Wouters | cf297e4 | 2007-02-23 15:07:44 +0000 | [diff] [blame] | 196 | |
Rob Day | 664fe39 | 2019-06-01 05:13:57 +0100 | [diff] [blame] | 197 | def test_empty_merges(self): |
| 198 | # Merging two empty lists (with or without a key) should produce |
| 199 | # another empty list. |
| 200 | self.assertEqual(list(self.module.merge([], [])), []) |
| 201 | self.assertEqual(list(self.module.merge([], [], key=lambda: 6)), []) |
| 202 | |
Raymond Hettinger | 46f5ca3 | 2013-09-14 20:51:57 -0700 | [diff] [blame] | 203 | def test_merge_does_not_suppress_index_error(self): |
| 204 | # Issue 19018: Heapq.merge suppresses IndexError from user generator |
| 205 | def iterable(): |
| 206 | s = list(range(10)) |
| 207 | for i in range(20): |
| 208 | yield s[i] # IndexError when i > 10 |
| 209 | with self.assertRaises(IndexError): |
| 210 | list(self.module.merge(iterable(), iterable())) |
| 211 | |
Thomas Wouters | cf297e4 | 2007-02-23 15:07:44 +0000 | [diff] [blame] | 212 | def test_merge_stability(self): |
| 213 | class Int(int): |
| 214 | pass |
| 215 | inputs = [[], [], [], []] |
| 216 | for i in range(20000): |
| 217 | stream = random.randrange(4) |
| 218 | x = random.randrange(500) |
| 219 | obj = Int(x) |
| 220 | obj.pair = (x, stream) |
| 221 | inputs[stream].append(obj) |
| 222 | for stream in inputs: |
| 223 | stream.sort() |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 224 | result = [i.pair for i in self.module.merge(*inputs)] |
Thomas Wouters | cf297e4 | 2007-02-23 15:07:44 +0000 | [diff] [blame] | 225 | self.assertEqual(result, sorted(result)) |
| 226 | |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 227 | def test_nsmallest(self): |
Thomas Wouters | 902d6eb | 2007-01-09 23:18:33 +0000 | [diff] [blame] | 228 | data = [(random.randrange(2000), i) for i in range(1000)] |
| 229 | for f in (None, lambda x: x[0] * 547 % 2000): |
| 230 | for n in (0, 1, 2, 10, 100, 400, 999, 1000, 1100): |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 231 | self.assertEqual(list(self.module.nsmallest(n, data)), |
| 232 | sorted(data)[:n]) |
| 233 | self.assertEqual(list(self.module.nsmallest(n, data, key=f)), |
Thomas Wouters | 902d6eb | 2007-01-09 23:18:33 +0000 | [diff] [blame] | 234 | sorted(data, key=f)[:n]) |
Raymond Hettinger | bce036b | 2004-06-10 05:07:18 +0000 | [diff] [blame] | 235 | |
Raymond Hettinger | 4901a1f | 2004-12-02 08:59:14 +0000 | [diff] [blame] | 236 | def test_nlargest(self): |
Thomas Wouters | 902d6eb | 2007-01-09 23:18:33 +0000 | [diff] [blame] | 237 | data = [(random.randrange(2000), i) for i in range(1000)] |
| 238 | for f in (None, lambda x: x[0] * 547 % 2000): |
| 239 | for n in (0, 1, 2, 10, 100, 400, 999, 1000, 1100): |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 240 | self.assertEqual(list(self.module.nlargest(n, data)), |
Guido van Rossum | c1f779c | 2007-07-03 08:25:58 +0000 | [diff] [blame] | 241 | sorted(data, reverse=True)[:n]) |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 242 | self.assertEqual(list(self.module.nlargest(n, data, key=f)), |
Thomas Wouters | 902d6eb | 2007-01-09 23:18:33 +0000 | [diff] [blame] | 243 | sorted(data, key=f, reverse=True)[:n]) |
Tim Peters | aa7d243 | 2002-08-03 02:11:26 +0000 | [diff] [blame] | 244 | |
Amaury Forgeot d'Arc | fdfe62d | 2008-06-17 20:36:03 +0000 | [diff] [blame] | 245 | def test_comparison_operator(self): |
Ezio Melotti | f9756c2 | 2011-05-09 18:36:53 +0300 | [diff] [blame] | 246 | # Issue 3051: Make sure heapq works with both __lt__ |
Amaury Forgeot d'Arc | 2ba198d | 2008-06-17 21:25:35 +0000 | [diff] [blame] | 247 | # For python 3.0, __le__ alone is not enough |
Amaury Forgeot d'Arc | fdfe62d | 2008-06-17 20:36:03 +0000 | [diff] [blame] | 248 | def hsort(data, comp): |
| 249 | data = [comp(x) for x in data] |
| 250 | self.module.heapify(data) |
| 251 | return [self.module.heappop(data).x for i in range(len(data))] |
| 252 | class LT: |
| 253 | def __init__(self, x): |
| 254 | self.x = x |
| 255 | def __lt__(self, other): |
| 256 | return self.x > other.x |
| 257 | class LE: |
| 258 | def __init__(self, x): |
| 259 | self.x = x |
Amaury Forgeot d'Arc | 35c8658 | 2008-06-17 21:11:29 +0000 | [diff] [blame] | 260 | def __le__(self, other): |
Amaury Forgeot d'Arc | fdfe62d | 2008-06-17 20:36:03 +0000 | [diff] [blame] | 261 | return self.x >= other.x |
| 262 | data = [random.random() for i in range(100)] |
| 263 | target = sorted(data, reverse=True) |
| 264 | self.assertEqual(hsort(data, LT), target) |
Amaury Forgeot d'Arc | 2ba198d | 2008-06-17 21:25:35 +0000 | [diff] [blame] | 265 | self.assertRaises(TypeError, data, LE) |
Amaury Forgeot d'Arc | fdfe62d | 2008-06-17 20:36:03 +0000 | [diff] [blame] | 266 | |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 267 | |
Ezio Melotti | 22ebb2d | 2013-01-02 21:19:37 +0200 | [diff] [blame] | 268 | class TestHeapPython(TestHeap, TestCase): |
Ezio Melotti | f9756c2 | 2011-05-09 18:36:53 +0300 | [diff] [blame] | 269 | module = py_heapq |
| 270 | |
| 271 | |
| 272 | @skipUnless(c_heapq, 'requires _heapq') |
Ezio Melotti | 22ebb2d | 2013-01-02 21:19:37 +0200 | [diff] [blame] | 273 | class TestHeapC(TestHeap, TestCase): |
Ezio Melotti | f9756c2 | 2011-05-09 18:36:53 +0300 | [diff] [blame] | 274 | module = c_heapq |
| 275 | |
| 276 | |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 277 | #============================================================================== |
| 278 | |
| 279 | class LenOnly: |
| 280 | "Dummy sequence class defining __len__ but not __getitem__." |
| 281 | def __len__(self): |
| 282 | return 10 |
| 283 | |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 284 | class CmpErr: |
| 285 | "Dummy element that always raises an error during comparison" |
Mark Dickinson | a56c467 | 2009-01-27 18:17:45 +0000 | [diff] [blame] | 286 | def __eq__(self, other): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 287 | raise ZeroDivisionError |
Mark Dickinson | a56c467 | 2009-01-27 18:17:45 +0000 | [diff] [blame] | 288 | __ne__ = __lt__ = __le__ = __gt__ = __ge__ = __eq__ |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 289 | |
| 290 | def R(seqn): |
| 291 | 'Regular generator' |
| 292 | for i in seqn: |
| 293 | yield i |
| 294 | |
| 295 | class G: |
| 296 | 'Sequence using __getitem__' |
| 297 | def __init__(self, seqn): |
| 298 | self.seqn = seqn |
| 299 | def __getitem__(self, i): |
| 300 | return self.seqn[i] |
| 301 | |
| 302 | class I: |
| 303 | 'Sequence using iterator protocol' |
| 304 | def __init__(self, seqn): |
| 305 | self.seqn = seqn |
| 306 | self.i = 0 |
| 307 | def __iter__(self): |
| 308 | return self |
Georg Brandl | a18af4e | 2007-04-21 15:47:16 +0000 | [diff] [blame] | 309 | def __next__(self): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 310 | if self.i >= len(self.seqn): raise StopIteration |
| 311 | v = self.seqn[self.i] |
| 312 | self.i += 1 |
| 313 | return v |
| 314 | |
| 315 | class Ig: |
| 316 | 'Sequence using iterator protocol defined with a generator' |
| 317 | def __init__(self, seqn): |
| 318 | self.seqn = seqn |
| 319 | self.i = 0 |
| 320 | def __iter__(self): |
| 321 | for val in self.seqn: |
| 322 | yield val |
| 323 | |
| 324 | class X: |
| 325 | 'Missing __getitem__ and __iter__' |
| 326 | def __init__(self, seqn): |
| 327 | self.seqn = seqn |
| 328 | self.i = 0 |
Georg Brandl | a18af4e | 2007-04-21 15:47:16 +0000 | [diff] [blame] | 329 | def __next__(self): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 330 | if self.i >= len(self.seqn): raise StopIteration |
| 331 | v = self.seqn[self.i] |
| 332 | self.i += 1 |
| 333 | return v |
| 334 | |
| 335 | class N: |
Georg Brandl | a18af4e | 2007-04-21 15:47:16 +0000 | [diff] [blame] | 336 | 'Iterator missing __next__()' |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 337 | def __init__(self, seqn): |
| 338 | self.seqn = seqn |
| 339 | self.i = 0 |
| 340 | def __iter__(self): |
| 341 | return self |
| 342 | |
| 343 | class E: |
| 344 | 'Test propagation of exceptions' |
| 345 | def __init__(self, seqn): |
| 346 | self.seqn = seqn |
| 347 | self.i = 0 |
| 348 | def __iter__(self): |
| 349 | return self |
Georg Brandl | a18af4e | 2007-04-21 15:47:16 +0000 | [diff] [blame] | 350 | def __next__(self): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 351 | 3 // 0 |
| 352 | |
| 353 | class S: |
| 354 | 'Test immediate stop' |
| 355 | def __init__(self, seqn): |
| 356 | pass |
| 357 | def __iter__(self): |
| 358 | return self |
Georg Brandl | a18af4e | 2007-04-21 15:47:16 +0000 | [diff] [blame] | 359 | def __next__(self): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 360 | raise StopIteration |
| 361 | |
Raymond Hettinger | 736c0ab | 2008-03-13 02:09:15 +0000 | [diff] [blame] | 362 | from itertools import chain |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 363 | def L(seqn): |
| 364 | 'Test multiple tiers of iterators' |
Raymond Hettinger | a6c6037 | 2008-03-13 01:26:19 +0000 | [diff] [blame] | 365 | return chain(map(lambda x:x, R(Ig(G(seqn))))) |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 366 | |
Ezio Melotti | 8269a44 | 2011-05-09 07:15:04 +0300 | [diff] [blame] | 367 | |
Antoine Pitrou | 44d5214 | 2013-03-04 20:30:01 +0100 | [diff] [blame] | 368 | class SideEffectLT: |
| 369 | def __init__(self, value, heap): |
| 370 | self.value = value |
| 371 | self.heap = heap |
| 372 | |
| 373 | def __lt__(self, other): |
| 374 | self.heap[:] = [] |
| 375 | return self.value < other.value |
| 376 | |
| 377 | |
Ezio Melotti | 22ebb2d | 2013-01-02 21:19:37 +0200 | [diff] [blame] | 378 | class TestErrorHandling: |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 379 | |
| 380 | def test_non_sequence(self): |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 381 | for f in (self.module.heapify, self.module.heappop): |
Raymond Hettinger | 8a9c4d9 | 2011-04-13 11:49:57 -0700 | [diff] [blame] | 382 | self.assertRaises((TypeError, AttributeError), f, 10) |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 383 | for f in (self.module.heappush, self.module.heapreplace, |
| 384 | self.module.nlargest, self.module.nsmallest): |
Raymond Hettinger | 8a9c4d9 | 2011-04-13 11:49:57 -0700 | [diff] [blame] | 385 | self.assertRaises((TypeError, AttributeError), f, 10, 10) |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 386 | |
| 387 | def test_len_only(self): |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 388 | for f in (self.module.heapify, self.module.heappop): |
Raymond Hettinger | 8a9c4d9 | 2011-04-13 11:49:57 -0700 | [diff] [blame] | 389 | self.assertRaises((TypeError, AttributeError), f, LenOnly()) |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 390 | for f in (self.module.heappush, self.module.heapreplace): |
Raymond Hettinger | 8a9c4d9 | 2011-04-13 11:49:57 -0700 | [diff] [blame] | 391 | self.assertRaises((TypeError, AttributeError), f, LenOnly(), 10) |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 392 | for f in (self.module.nlargest, self.module.nsmallest): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 393 | self.assertRaises(TypeError, f, 2, LenOnly()) |
| 394 | |
Raymond Hettinger | 4101181 | 2019-08-23 22:31:22 -0700 | [diff] [blame] | 395 | def test_cmp_err(self): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 396 | seq = [CmpErr(), CmpErr(), CmpErr()] |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 397 | for f in (self.module.heapify, self.module.heappop): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 398 | self.assertRaises(ZeroDivisionError, f, seq) |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 399 | for f in (self.module.heappush, self.module.heapreplace): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 400 | self.assertRaises(ZeroDivisionError, f, seq, 10) |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 401 | for f in (self.module.nlargest, self.module.nsmallest): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 402 | self.assertRaises(ZeroDivisionError, f, 2, seq) |
| 403 | |
| 404 | def test_arg_parsing(self): |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 405 | for f in (self.module.heapify, self.module.heappop, |
| 406 | self.module.heappush, self.module.heapreplace, |
| 407 | self.module.nlargest, self.module.nsmallest): |
Raymond Hettinger | 8a9c4d9 | 2011-04-13 11:49:57 -0700 | [diff] [blame] | 408 | self.assertRaises((TypeError, AttributeError), f, 10) |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 409 | |
| 410 | def test_iterable_args(self): |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 411 | for f in (self.module.nlargest, self.module.nsmallest): |
Guido van Rossum | 805365e | 2007-05-07 22:24:25 +0000 | [diff] [blame] | 412 | for s in ("123", "", range(1000), (1, 1.2), range(2000,2200,5)): |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 413 | for g in (G, I, Ig, L, R): |
Guido van Rossum | c1f779c | 2007-07-03 08:25:58 +0000 | [diff] [blame] | 414 | self.assertEqual(list(f(2, g(s))), list(f(2,s))) |
| 415 | self.assertEqual(list(f(2, S(s))), []) |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 416 | self.assertRaises(TypeError, f, 2, X(s)) |
| 417 | self.assertRaises(TypeError, f, 2, N(s)) |
| 418 | self.assertRaises(ZeroDivisionError, f, 2, E(s)) |
| 419 | |
Antoine Pitrou | 44d5214 | 2013-03-04 20:30:01 +0100 | [diff] [blame] | 420 | # Issue #17278: the heap may change size while it's being walked. |
| 421 | |
| 422 | def test_heappush_mutating_heap(self): |
| 423 | heap = [] |
| 424 | heap.extend(SideEffectLT(i, heap) for i in range(200)) |
| 425 | # Python version raises IndexError, C version RuntimeError |
| 426 | with self.assertRaises((IndexError, RuntimeError)): |
| 427 | self.module.heappush(heap, SideEffectLT(5, heap)) |
| 428 | |
| 429 | def test_heappop_mutating_heap(self): |
| 430 | heap = [] |
| 431 | heap.extend(SideEffectLT(i, heap) for i in range(200)) |
| 432 | # Python version raises IndexError, C version RuntimeError |
| 433 | with self.assertRaises((IndexError, RuntimeError)): |
| 434 | self.module.heappop(heap) |
| 435 | |
Pablo Galindo | 79f89e6 | 2020-01-23 14:07:05 +0000 | [diff] [blame] | 436 | def test_comparison_operator_modifiying_heap(self): |
| 437 | # See bpo-39421: Strong references need to be taken |
| 438 | # when comparing objects as they can alter the heap |
| 439 | class EvilClass(int): |
| 440 | def __lt__(self, o): |
| 441 | heap.clear() |
| 442 | return NotImplemented |
| 443 | |
| 444 | heap = [] |
| 445 | self.module.heappush(heap, EvilClass(0)) |
| 446 | self.assertRaises(IndexError, self.module.heappushpop, heap, 1) |
| 447 | |
| 448 | def test_comparison_operator_modifiying_heap_two_heaps(self): |
| 449 | |
| 450 | class h(int): |
| 451 | def __lt__(self, o): |
| 452 | list2.clear() |
| 453 | return NotImplemented |
| 454 | |
| 455 | class g(int): |
| 456 | def __lt__(self, o): |
| 457 | list1.clear() |
| 458 | return NotImplemented |
| 459 | |
| 460 | list1, list2 = [], [] |
| 461 | |
| 462 | self.module.heappush(list1, h(0)) |
| 463 | self.module.heappush(list2, g(0)) |
| 464 | |
| 465 | self.assertRaises((IndexError, RuntimeError), self.module.heappush, list1, g(1)) |
| 466 | self.assertRaises((IndexError, RuntimeError), self.module.heappush, list2, h(1)) |
Christian Heimes | d3eb5a15 | 2008-02-24 00:38:49 +0000 | [diff] [blame] | 467 | |
Ezio Melotti | 22ebb2d | 2013-01-02 21:19:37 +0200 | [diff] [blame] | 468 | class TestErrorHandlingPython(TestErrorHandling, TestCase): |
Ezio Melotti | fd69abb | 2011-05-09 07:20:47 +0300 | [diff] [blame] | 469 | module = py_heapq |
| 470 | |
Ezio Melotti | 19f7ca2 | 2011-05-09 07:27:20 +0300 | [diff] [blame] | 471 | @skipUnless(c_heapq, 'requires _heapq') |
Ezio Melotti | 22ebb2d | 2013-01-02 21:19:37 +0200 | [diff] [blame] | 472 | class TestErrorHandlingC(TestErrorHandling, TestCase): |
Ezio Melotti | fd69abb | 2011-05-09 07:20:47 +0300 | [diff] [blame] | 473 | module = c_heapq |
| 474 | |
Raymond Hettinger | 855d9a9 | 2004-09-28 00:03:54 +0000 | [diff] [blame] | 475 | |
Guido van Rossum | 0b19178 | 2002-08-02 18:29:53 +0000 | [diff] [blame] | 476 | if __name__ == "__main__": |
Ezio Melotti | 22ebb2d | 2013-01-02 21:19:37 +0200 | [diff] [blame] | 477 | unittest.main() |