blob: af9f1f7c6413241c230f55a77b2656afe379497c [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
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000117 def test_random(self, n=25):
Raymond Hettinger44223752003-01-16 12:31:36 +0000118 from random import randrange
Guido van Rossum805365e2007-05-07 22:24:25 +0000119 for i in range(n):
120 data = [randrange(0, n, 2) for j in range(i)]
Raymond Hettinger44223752003-01-16 12:31:36 +0000121 data.sort()
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000122 elem = randrange(-1, n+1)
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000123 ip = self.module.bisect_left(data, elem)
Raymond Hettinger44223752003-01-16 12:31:36 +0000124 if ip < len(data):
125 self.failUnless(elem <= data[ip])
126 if ip > 0:
127 self.failUnless(data[ip-1] < elem)
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000128 ip = self.module.bisect_right(data, elem)
Raymond Hettinger44223752003-01-16 12:31:36 +0000129 if ip < len(data):
130 self.failUnless(elem < data[ip])
131 if ip > 0:
132 self.failUnless(data[ip-1] <= elem)
133
Raymond Hettingera9f18dc2003-01-16 13:02:25 +0000134 def test_optionalSlicing(self):
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000135 for func, data, elem, expected in self.precomputedCases:
Guido van Rossum805365e2007-05-07 22:24:25 +0000136 for lo in range(4):
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000137 lo = min(len(data), lo)
Guido van Rossum805365e2007-05-07 22:24:25 +0000138 for hi in range(3,8):
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000139 hi = min(len(data), hi)
140 ip = func(data, elem, lo, hi)
141 self.failUnless(lo <= ip <= hi)
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000142 if func is self.module.bisect_left and ip < hi:
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000143 self.failUnless(elem <= data[ip])
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000144 if func is self.module.bisect_left and ip > lo:
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000145 self.failUnless(data[ip-1] < elem)
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000146 if func is self.module.bisect_right and ip < hi:
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000147 self.failUnless(elem < data[ip])
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000148 if func is self.module.bisect_right and ip > lo:
Raymond Hettinger6aa1c3f2003-01-16 14:00:15 +0000149 self.failUnless(data[ip-1] <= elem)
150 self.assertEqual(ip, max(lo, min(hi, expected)))
Raymond Hettingera9f18dc2003-01-16 13:02:25 +0000151
152 def test_backcompatibility(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000153 self.assertEqual(self.module.bisect, self.module.bisect_right)
Raymond Hettingera9f18dc2003-01-16 13:02:25 +0000154
Raymond Hettingercc9a9512005-10-05 11:39:12 +0000155 def test_keyword_args(self):
156 data = [10, 20, 30, 40, 50]
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000157 self.assertEqual(self.module.bisect_left(a=data, x=25, lo=1, hi=3), 2)
158 self.assertEqual(self.module.bisect_right(a=data, x=25, lo=1, hi=3), 2)
159 self.assertEqual(self.module.bisect(a=data, x=25, lo=1, hi=3), 2)
160 self.module.insort_left(a=data, x=25, lo=1, hi=3)
161 self.module.insort_right(a=data, x=25, lo=1, hi=3)
162 self.module.insort(a=data, x=25, lo=1, hi=3)
Raymond Hettingercc9a9512005-10-05 11:39:12 +0000163 self.assertEqual(data, [10, 20, 25, 25, 25, 30, 40, 50])
164
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000165class TestBisectPython(TestBisect):
166 module = py_bisect
167
168class TestBisectC(TestBisect):
169 module = c_bisect
170
Raymond Hettingerd2305502003-01-16 12:02:35 +0000171#==============================================================================
172
173class TestInsort(unittest.TestCase):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000174 module = None
Raymond Hettingerd2305502003-01-16 12:02:35 +0000175
Raymond Hettinger0c410272004-01-05 10:13:35 +0000176 def test_vsBuiltinSort(self, n=500):
Raymond Hettingerd2305502003-01-16 12:02:35 +0000177 from random import choice
Raymond Hettinger0c410272004-01-05 10:13:35 +0000178 for insorted in (list(), UserList()):
Guido van Rossum805365e2007-05-07 22:24:25 +0000179 for i in range(n):
Raymond Hettinger0c410272004-01-05 10:13:35 +0000180 digit = choice("0123456789")
181 if digit in "02468":
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000182 f = self.module.insort_left
Raymond Hettinger0c410272004-01-05 10:13:35 +0000183 else:
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000184 f = self.module.insort_right
Raymond Hettinger0c410272004-01-05 10:13:35 +0000185 f(insorted, digit)
186 self.assertEqual(sorted(insorted), insorted)
Raymond Hettingerd2305502003-01-16 12:02:35 +0000187
Raymond Hettingera9f18dc2003-01-16 13:02:25 +0000188 def test_backcompatibility(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000189 self.assertEqual(self.module.insort, self.module.insort_right)
190
191class TestInsortPython(TestInsort):
192 module = py_bisect
193
194class TestInsortC(TestInsort):
195 module = c_bisect
Raymond Hettingera9f18dc2003-01-16 13:02:25 +0000196
Raymond Hettingerd2305502003-01-16 12:02:35 +0000197#==============================================================================
198
Raymond Hettinger63251782004-09-27 22:48:40 +0000199
200class LenOnly:
201 "Dummy sequence class defining __len__ but not __getitem__."
202 def __len__(self):
203 return 10
204
205class GetOnly:
206 "Dummy sequence class defining __getitem__ but not __len__."
207 def __getitem__(self, ndx):
208 return 10
209
210class CmpErr:
211 "Dummy element that always raises an error during comparison"
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000212 def __lt__(self, other):
Raymond Hettinger63251782004-09-27 22:48:40 +0000213 raise ZeroDivisionError
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000214 __gt__ = __lt__
215 __le__ = __lt__
216 __ge__ = __lt__
217 __eq__ = __lt__
218 __ne__ = __lt__
Raymond Hettinger63251782004-09-27 22:48:40 +0000219
220class TestErrorHandling(unittest.TestCase):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000221 module = None
Raymond Hettinger63251782004-09-27 22:48:40 +0000222
223 def test_non_sequence(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000224 for f in (self.module.bisect_left, self.module.bisect_right,
225 self.module.insort_left, self.module.insort_right):
Raymond Hettinger63251782004-09-27 22:48:40 +0000226 self.assertRaises(TypeError, f, 10, 10)
227
228 def test_len_only(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000229 for f in (self.module.bisect_left, self.module.bisect_right,
230 self.module.insort_left, self.module.insort_right):
Thomas Wouters1ae9afa2006-04-15 09:12:14 +0000231 self.assertRaises(TypeError, f, LenOnly(), 10)
Raymond Hettinger63251782004-09-27 22:48:40 +0000232
233 def test_get_only(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000234 for f in (self.module.bisect_left, self.module.bisect_right,
235 self.module.insort_left, self.module.insort_right):
Thomas Wouters1ae9afa2006-04-15 09:12:14 +0000236 self.assertRaises(TypeError, f, GetOnly(), 10)
Raymond Hettinger63251782004-09-27 22:48:40 +0000237
Raymond Hettinger630e5352004-09-27 23:11:35 +0000238 def test_cmp_err(self):
Raymond Hettinger63251782004-09-27 22:48:40 +0000239 seq = [CmpErr(), CmpErr(), CmpErr()]
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000240 for f in (self.module.bisect_left, self.module.bisect_right,
241 self.module.insort_left, self.module.insort_right):
Raymond Hettinger63251782004-09-27 22:48:40 +0000242 self.assertRaises(ZeroDivisionError, f, seq, 10)
243
244 def test_arg_parsing(self):
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000245 for f in (self.module.bisect_left, self.module.bisect_right,
246 self.module.insort_left, self.module.insort_right):
Raymond Hettinger63251782004-09-27 22:48:40 +0000247 self.assertRaises(TypeError, f, 10)
248
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000249class TestErrorHandlingPython(TestErrorHandling):
250 module = py_bisect
251
252class TestErrorHandlingC(TestErrorHandling):
253 module = c_bisect
254
Raymond Hettinger63251782004-09-27 22:48:40 +0000255#==============================================================================
256
Raymond Hettinger44223752003-01-16 12:31:36 +0000257libreftest = """
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000258Example from the Library Reference: Doc/library/bisect.rst
Raymond Hettinger44223752003-01-16 12:31:36 +0000259
260The bisect() function is generally useful for categorizing numeric data.
261This example uses bisect() to look up a letter grade for an exam total
262(say) based on a set of ordered numeric breakpoints: 85 and up is an `A',
26375..84 is a `B', etc.
264
265 >>> grades = "FEDCBA"
266 >>> breakpoints = [30, 44, 66, 75, 85]
267 >>> from bisect import bisect
268 >>> def grade(total):
269 ... return grades[bisect(breakpoints, total)]
270 ...
271 >>> grade(66)
272 'C'
Guido van Rossumc1f779c2007-07-03 08:25:58 +0000273 >>> list(map(grade, [33, 99, 77, 44, 12, 88]))
Raymond Hettinger44223752003-01-16 12:31:36 +0000274 ['E', 'A', 'B', 'D', 'F', 'A']
275
Raymond Hettinger44223752003-01-16 12:31:36 +0000276"""
277
Raymond Hettingerd2305502003-01-16 12:02:35 +0000278#------------------------------------------------------------------------------
279
Raymond Hettinger44223752003-01-16 12:31:36 +0000280__test__ = {'libreftest' : libreftest}
281
Raymond Hettingerd2305502003-01-16 12:02:35 +0000282def test_main(verbose=None):
283 from test import test_bisect
Raymond Hettinger63251782004-09-27 22:48:40 +0000284
Christian Heimesd3eb5a152008-02-24 00:38:49 +0000285 test_classes = [TestBisectPython, TestBisectC,
286 TestInsortPython, TestInsortC,
287 TestErrorHandlingPython, TestErrorHandlingC]
Raymond Hettinger63251782004-09-27 22:48:40 +0000288
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000289 support.run_unittest(*test_classes)
290 support.run_doctest(test_bisect, verbose)
Raymond Hettingerd2305502003-01-16 12:02:35 +0000291
Raymond Hettinger63251782004-09-27 22:48:40 +0000292 # verify reference counting
293 if verbose and hasattr(sys, "gettotalrefcount"):
294 import gc
295 counts = [None] * 5
Guido van Rossum805365e2007-05-07 22:24:25 +0000296 for i in range(len(counts)):
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000297 support.run_unittest(*test_classes)
Raymond Hettinger63251782004-09-27 22:48:40 +0000298 gc.collect()
299 counts[i] = sys.gettotalrefcount()
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000300 print(counts)
Raymond Hettinger63251782004-09-27 22:48:40 +0000301
Raymond Hettingerd2305502003-01-16 12:02:35 +0000302if __name__ == "__main__":
303 test_main(verbose=True)