blob: c24a1a2ad904777cc148120d0bd334157f386cfb [file] [log] [blame]
Christian Heimesd3eb5a152008-02-24 00:38:49 +00001import sys
Raymond Hettingerd2305502003-01-16 12:02:35 +00002import unittest
Benjamin Petersonee8712c2008-05-20 21:35:26 +00003from test import support
Raymond Hettinger53dbe392008-02-12 20:03:09 +00004from collections import UserList
Tim Peters36cdad12000-12-29 02:06:45 +00005
Christian Heimesd3eb5a152008-02-24 00:38:49 +00006# We do a bit of trickery here to be able to test both the C implementation
7# and the Python implementation of the module.
8
9# Make it impossible to import the C implementation anymore.
10sys.modules['_bisect'] = 0
11# We must also handle the case that bisect was imported before.
12if 'bisect' in sys.modules:
13 del sys.modules['bisect']
14
15# Now we can import the module and get the pure Python implementation.
16import bisect as py_bisect
17
18# Restore everything to normal.
19del sys.modules['_bisect']
20del sys.modules['bisect']
21
22# This is now the module with the C implementation.
23import bisect as c_bisect
24
25
Raymond Hettingerd2305502003-01-16 12:02:35 +000026class TestBisect(unittest.TestCase):
Christian Heimesd3eb5a152008-02-24 00:38:49 +000027 module = None
Tim Peters36cdad12000-12-29 02:06:45 +000028
Christian Heimesd3eb5a152008-02-24 00:38:49 +000029 def setUp(self):
30 self.precomputedCases = [
31 (self.module.bisect_right, [], 1, 0),
32 (self.module.bisect_right, [1], 0, 0),
33 (self.module.bisect_right, [1], 1, 1),
34 (self.module.bisect_right, [1], 2, 1),
35 (self.module.bisect_right, [1, 1], 0, 0),
36 (self.module.bisect_right, [1, 1], 1, 2),
37 (self.module.bisect_right, [1, 1], 2, 2),
38 (self.module.bisect_right, [1, 1, 1], 0, 0),
39 (self.module.bisect_right, [1, 1, 1], 1, 3),
40 (self.module.bisect_right, [1, 1, 1], 2, 3),
41 (self.module.bisect_right, [1, 1, 1, 1], 0, 0),
42 (self.module.bisect_right, [1, 1, 1, 1], 1, 4),
43 (self.module.bisect_right, [1, 1, 1, 1], 2, 4),
44 (self.module.bisect_right, [1, 2], 0, 0),
45 (self.module.bisect_right, [1, 2], 1, 1),
46 (self.module.bisect_right, [1, 2], 1.5, 1),
47 (self.module.bisect_right, [1, 2], 2, 2),
48 (self.module.bisect_right, [1, 2], 3, 2),
49 (self.module.bisect_right, [1, 1, 2, 2], 0, 0),
50 (self.module.bisect_right, [1, 1, 2, 2], 1, 2),
51 (self.module.bisect_right, [1, 1, 2, 2], 1.5, 2),
52 (self.module.bisect_right, [1, 1, 2, 2], 2, 4),
53 (self.module.bisect_right, [1, 1, 2, 2], 3, 4),
54 (self.module.bisect_right, [1, 2, 3], 0, 0),
55 (self.module.bisect_right, [1, 2, 3], 1, 1),
56 (self.module.bisect_right, [1, 2, 3], 1.5, 1),
57 (self.module.bisect_right, [1, 2, 3], 2, 2),
58 (self.module.bisect_right, [1, 2, 3], 2.5, 2),
59 (self.module.bisect_right, [1, 2, 3], 3, 3),
60 (self.module.bisect_right, [1, 2, 3], 4, 3),
61 (self.module.bisect_right, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 0, 0),
62 (self.module.bisect_right, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 1, 1),
63 (self.module.bisect_right, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 1.5, 1),
64 (self.module.bisect_right, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 2, 3),
65 (self.module.bisect_right, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 2.5, 3),
66 (self.module.bisect_right, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 3, 6),
67 (self.module.bisect_right, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 3.5, 6),
68 (self.module.bisect_right, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 4, 10),
69 (self.module.bisect_right, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 5, 10),
Tim Peters36cdad12000-12-29 02:06:45 +000070
Christian Heimesd3eb5a152008-02-24 00:38:49 +000071 (self.module.bisect_left, [], 1, 0),
72 (self.module.bisect_left, [1], 0, 0),
73 (self.module.bisect_left, [1], 1, 0),
74 (self.module.bisect_left, [1], 2, 1),
75 (self.module.bisect_left, [1, 1], 0, 0),
76 (self.module.bisect_left, [1, 1], 1, 0),
77 (self.module.bisect_left, [1, 1], 2, 2),
78 (self.module.bisect_left, [1, 1, 1], 0, 0),
79 (self.module.bisect_left, [1, 1, 1], 1, 0),
80 (self.module.bisect_left, [1, 1, 1], 2, 3),
81 (self.module.bisect_left, [1, 1, 1, 1], 0, 0),
82 (self.module.bisect_left, [1, 1, 1, 1], 1, 0),
83 (self.module.bisect_left, [1, 1, 1, 1], 2, 4),
84 (self.module.bisect_left, [1, 2], 0, 0),
85 (self.module.bisect_left, [1, 2], 1, 0),
86 (self.module.bisect_left, [1, 2], 1.5, 1),
87 (self.module.bisect_left, [1, 2], 2, 1),
88 (self.module.bisect_left, [1, 2], 3, 2),
89 (self.module.bisect_left, [1, 1, 2, 2], 0, 0),
90 (self.module.bisect_left, [1, 1, 2, 2], 1, 0),
91 (self.module.bisect_left, [1, 1, 2, 2], 1.5, 2),
92 (self.module.bisect_left, [1, 1, 2, 2], 2, 2),
93 (self.module.bisect_left, [1, 1, 2, 2], 3, 4),
94 (self.module.bisect_left, [1, 2, 3], 0, 0),
95 (self.module.bisect_left, [1, 2, 3], 1, 0),
96 (self.module.bisect_left, [1, 2, 3], 1.5, 1),
97 (self.module.bisect_left, [1, 2, 3], 2, 1),
98 (self.module.bisect_left, [1, 2, 3], 2.5, 2),
99 (self.module.bisect_left, [1, 2, 3], 3, 2),
100 (self.module.bisect_left, [1, 2, 3], 4, 3),
101 (self.module.bisect_left, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 0, 0),
102 (self.module.bisect_left, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 1, 0),
103 (self.module.bisect_left, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 1.5, 1),
104 (self.module.bisect_left, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 2, 1),
105 (self.module.bisect_left, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 2.5, 3),
106 (self.module.bisect_left, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 3, 3),
107 (self.module.bisect_left, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 3.5, 6),
108 (self.module.bisect_left, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 4, 6),
109 (self.module.bisect_left, [1, 2, 2, 3, 3, 3, 4, 4, 4, 4], 5, 10)
110 ]
Tim Peters36cdad12000-12-29 02:06:45 +0000111
Raymond Hettingerd2305502003-01-16 12:02:35 +0000112 def test_precomputed(self):
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000113 for func, data, elem, expected in self.precomputedCases:
114 self.assertEqual(func(data, elem), expected)
Raymond Hettinger0c410272004-01-05 10:13:35 +0000115 self.assertEqual(func(UserList(data), elem), expected)
Raymond Hettingerd2305502003-01-16 12:02:35 +0000116
Georg Brandl2ee470f2008-07-16 12:55:28 +0000117 def test_negative_lo(self):
118 # Issue 3301
119 mod = self.module
120 self.assertRaises(ValueError, mod.bisect_left, [1, 2, 3], 5, -1, 3),
121 self.assertRaises(ValueError, mod.bisect_right, [1, 2, 3], 5, -1, 3),
122 self.assertRaises(ValueError, mod.insort_left, [1, 2, 3], 5, -1, 3),
123 self.assertRaises(ValueError, mod.insort_right, [1, 2, 3], 5, -1, 3),
124
Mark Dickinsona13b1092012-04-15 16:30:35 +0100125 def test_large_range(self):
126 # Issue 13496
127 mod = self.module
128 data = range(sys.maxsize-1)
129 self.assertEqual(mod.bisect_left(data, sys.maxsize-3), sys.maxsize-3)
130 self.assertEqual(mod.bisect_right(data, sys.maxsize-3), sys.maxsize-2)
131
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000132 def test_random(self, n=25):
Raymond Hettinger44223752003-01-16 12:31:36 +0000133 from random import randrange
Guido van Rossum805365e2007-05-07 22:24:25 +0000134 for i in range(n):
135 data = [randrange(0, n, 2) for j in range(i)]
Raymond Hettinger44223752003-01-16 12:31:36 +0000136 data.sort()
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000137 elem = randrange(-1, n+1)
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000138 ip = self.module.bisect_left(data, elem)
Raymond Hettinger44223752003-01-16 12:31:36 +0000139 if ip < len(data):
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000140 self.assertTrue(elem <= data[ip])
Raymond Hettinger44223752003-01-16 12:31:36 +0000141 if ip > 0:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000142 self.assertTrue(data[ip-1] < elem)
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000143 ip = self.module.bisect_right(data, elem)
Raymond Hettinger44223752003-01-16 12:31:36 +0000144 if ip < len(data):
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000145 self.assertTrue(elem < data[ip])
Raymond Hettinger44223752003-01-16 12:31:36 +0000146 if ip > 0:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000147 self.assertTrue(data[ip-1] <= elem)
Raymond Hettinger44223752003-01-16 12:31:36 +0000148
Raymond Hettingera9f18dc2003-01-16 13:02:25 +0000149 def test_optionalSlicing(self):
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000150 for func, data, elem, expected in self.precomputedCases:
Guido van Rossum805365e2007-05-07 22:24:25 +0000151 for lo in range(4):
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000152 lo = min(len(data), lo)
Guido van Rossum805365e2007-05-07 22:24:25 +0000153 for hi in range(3,8):
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000154 hi = min(len(data), hi)
155 ip = func(data, elem, lo, hi)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000156 self.assertTrue(lo <= ip <= hi)
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000157 if func is self.module.bisect_left and ip < hi:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000158 self.assertTrue(elem <= data[ip])
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000159 if func is self.module.bisect_left and ip > lo:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000160 self.assertTrue(data[ip-1] < elem)
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000161 if func is self.module.bisect_right and ip < hi:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000162 self.assertTrue(elem < data[ip])
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000163 if func is self.module.bisect_right and ip > lo:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000164 self.assertTrue(data[ip-1] <= elem)
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000165 self.assertEqual(ip, max(lo, min(hi, expected)))
Raymond Hettingera9f18dc2003-01-16 13:02:25 +0000166
167 def test_backcompatibility(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000168 self.assertEqual(self.module.bisect, self.module.bisect_right)
Raymond Hettingera9f18dc2003-01-16 13:02:25 +0000169
Raymond Hettingercc9a9512005-10-05 11:39:12 +0000170 def test_keyword_args(self):
171 data = [10, 20, 30, 40, 50]
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000172 self.assertEqual(self.module.bisect_left(a=data, x=25, lo=1, hi=3), 2)
173 self.assertEqual(self.module.bisect_right(a=data, x=25, lo=1, hi=3), 2)
174 self.assertEqual(self.module.bisect(a=data, x=25, lo=1, hi=3), 2)
175 self.module.insort_left(a=data, x=25, lo=1, hi=3)
176 self.module.insort_right(a=data, x=25, lo=1, hi=3)
177 self.module.insort(a=data, x=25, lo=1, hi=3)
Raymond Hettingercc9a9512005-10-05 11:39:12 +0000178 self.assertEqual(data, [10, 20, 25, 25, 25, 30, 40, 50])
179
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000180class TestBisectPython(TestBisect):
181 module = py_bisect
182
183class TestBisectC(TestBisect):
184 module = c_bisect
185
Raymond Hettingerd2305502003-01-16 12:02:35 +0000186#==============================================================================
187
188class TestInsort(unittest.TestCase):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000189 module = None
Raymond Hettingerd2305502003-01-16 12:02:35 +0000190
Raymond Hettinger0c410272004-01-05 10:13:35 +0000191 def test_vsBuiltinSort(self, n=500):
Raymond Hettingerd2305502003-01-16 12:02:35 +0000192 from random import choice
Raymond Hettinger0c410272004-01-05 10:13:35 +0000193 for insorted in (list(), UserList()):
Guido van Rossum805365e2007-05-07 22:24:25 +0000194 for i in range(n):
Raymond Hettinger0c410272004-01-05 10:13:35 +0000195 digit = choice("0123456789")
196 if digit in "02468":
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000197 f = self.module.insort_left
Raymond Hettinger0c410272004-01-05 10:13:35 +0000198 else:
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000199 f = self.module.insort_right
Raymond Hettinger0c410272004-01-05 10:13:35 +0000200 f(insorted, digit)
201 self.assertEqual(sorted(insorted), insorted)
Raymond Hettingerd2305502003-01-16 12:02:35 +0000202
Raymond Hettingera9f18dc2003-01-16 13:02:25 +0000203 def test_backcompatibility(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000204 self.assertEqual(self.module.insort, self.module.insort_right)
205
Benjamin Petersonf10a79a2008-10-11 00:49:57 +0000206 def test_listDerived(self):
207 class List(list):
208 data = []
209 def insert(self, index, item):
210 self.data.insert(index, item)
211
212 lst = List()
213 self.module.insort_left(lst, 10)
214 self.module.insort_right(lst, 5)
215 self.assertEqual([5, 10], lst.data)
216
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000217class TestInsortPython(TestInsort):
218 module = py_bisect
219
220class TestInsortC(TestInsort):
221 module = c_bisect
Raymond Hettingera9f18dc2003-01-16 13:02:25 +0000222
Raymond Hettingerd2305502003-01-16 12:02:35 +0000223#==============================================================================
224
Raymond Hettinger63251782004-09-27 22:48:40 +0000225
226class LenOnly:
227 "Dummy sequence class defining __len__ but not __getitem__."
228 def __len__(self):
229 return 10
230
231class GetOnly:
232 "Dummy sequence class defining __getitem__ but not __len__."
233 def __getitem__(self, ndx):
234 return 10
235
236class CmpErr:
237 "Dummy element that always raises an error during comparison"
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000238 def __lt__(self, other):
Raymond Hettinger63251782004-09-27 22:48:40 +0000239 raise ZeroDivisionError
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000240 __gt__ = __lt__
241 __le__ = __lt__
242 __ge__ = __lt__
243 __eq__ = __lt__
244 __ne__ = __lt__
Raymond Hettinger63251782004-09-27 22:48:40 +0000245
246class TestErrorHandling(unittest.TestCase):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000247 module = None
Raymond Hettinger63251782004-09-27 22:48:40 +0000248
249 def test_non_sequence(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000250 for f in (self.module.bisect_left, self.module.bisect_right,
251 self.module.insort_left, self.module.insort_right):
Raymond Hettinger63251782004-09-27 22:48:40 +0000252 self.assertRaises(TypeError, f, 10, 10)
253
254 def test_len_only(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000255 for f in (self.module.bisect_left, self.module.bisect_right,
256 self.module.insort_left, self.module.insort_right):
Thomas Wouters1ae9afa2006-04-15 09:12:14 +0000257 self.assertRaises(TypeError, f, LenOnly(), 10)
Raymond Hettinger63251782004-09-27 22:48:40 +0000258
259 def test_get_only(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000260 for f in (self.module.bisect_left, self.module.bisect_right,
261 self.module.insort_left, self.module.insort_right):
Thomas Wouters1ae9afa2006-04-15 09:12:14 +0000262 self.assertRaises(TypeError, f, GetOnly(), 10)
Raymond Hettinger63251782004-09-27 22:48:40 +0000263
Raymond Hettinger630e5352004-09-27 23:11:35 +0000264 def test_cmp_err(self):
Raymond Hettinger63251782004-09-27 22:48:40 +0000265 seq = [CmpErr(), CmpErr(), CmpErr()]
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000266 for f in (self.module.bisect_left, self.module.bisect_right,
267 self.module.insort_left, self.module.insort_right):
Raymond Hettinger63251782004-09-27 22:48:40 +0000268 self.assertRaises(ZeroDivisionError, f, seq, 10)
269
270 def test_arg_parsing(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000271 for f in (self.module.bisect_left, self.module.bisect_right,
272 self.module.insort_left, self.module.insort_right):
Raymond Hettinger63251782004-09-27 22:48:40 +0000273 self.assertRaises(TypeError, f, 10)
274
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000275class TestErrorHandlingPython(TestErrorHandling):
276 module = py_bisect
277
278class TestErrorHandlingC(TestErrorHandling):
279 module = c_bisect
280
Raymond Hettinger63251782004-09-27 22:48:40 +0000281#==============================================================================
282
Raymond Hettinger44223752003-01-16 12:31:36 +0000283libreftest = """
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000284Example from the Library Reference: Doc/library/bisect.rst
Raymond Hettinger44223752003-01-16 12:31:36 +0000285
286The bisect() function is generally useful for categorizing numeric data.
287This example uses bisect() to look up a letter grade for an exam total
288(say) based on a set of ordered numeric breakpoints: 85 and up is an `A',
28975..84 is a `B', etc.
290
291 >>> grades = "FEDCBA"
292 >>> breakpoints = [30, 44, 66, 75, 85]
293 >>> from bisect import bisect
294 >>> def grade(total):
295 ... return grades[bisect(breakpoints, total)]
296 ...
297 >>> grade(66)
298 'C'
Guido van Rossumc1f779c2007-07-03 08:25:58 +0000299 >>> list(map(grade, [33, 99, 77, 44, 12, 88]))
Raymond Hettinger44223752003-01-16 12:31:36 +0000300 ['E', 'A', 'B', 'D', 'F', 'A']
301
Raymond Hettinger44223752003-01-16 12:31:36 +0000302"""
303
Raymond Hettingerd2305502003-01-16 12:02:35 +0000304#------------------------------------------------------------------------------
305
Raymond Hettinger44223752003-01-16 12:31:36 +0000306__test__ = {'libreftest' : libreftest}
307
Raymond Hettingerd2305502003-01-16 12:02:35 +0000308def test_main(verbose=None):
309 from test import test_bisect
Raymond Hettinger63251782004-09-27 22:48:40 +0000310
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000311 test_classes = [TestBisectPython, TestBisectC,
312 TestInsortPython, TestInsortC,
313 TestErrorHandlingPython, TestErrorHandlingC]
Raymond Hettinger63251782004-09-27 22:48:40 +0000314
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000315 support.run_unittest(*test_classes)
316 support.run_doctest(test_bisect, verbose)
Raymond Hettingerd2305502003-01-16 12:02:35 +0000317
Raymond Hettinger63251782004-09-27 22:48:40 +0000318 # verify reference counting
319 if verbose and hasattr(sys, "gettotalrefcount"):
320 import gc
321 counts = [None] * 5
Guido van Rossum805365e2007-05-07 22:24:25 +0000322 for i in range(len(counts)):
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000323 support.run_unittest(*test_classes)
Raymond Hettinger63251782004-09-27 22:48:40 +0000324 gc.collect()
325 counts[i] = sys.gettotalrefcount()
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000326 print(counts)
Raymond Hettinger63251782004-09-27 22:48:40 +0000327
Raymond Hettingerd2305502003-01-16 12:02:35 +0000328if __name__ == "__main__":
329 test_main(verbose=True)