blob: fecda1ba8a4ab19c37aab76e65b46156b4606178 [file] [log] [blame]
Neal Norwitz1c0423a2004-07-08 01:59:55 +00001# Python test set -- built-in functions
2
Benjamin Petersonee8712c2008-05-20 21:35:26 +00003import test.support, unittest
Neal Norwitz1c0423a2004-07-08 01:59:55 +00004import sys
Alexandre Vassalotti75056072008-06-10 04:03:04 +00005import pickle
Mark Dickinsond550c9a2009-11-15 09:57:26 +00006import itertools
Neal Norwitz1c0423a2004-07-08 01:59:55 +00007
Mark Dickinsond550c9a2009-11-15 09:57:26 +00008# pure Python implementations (3 args only), for comparison
9def pyrange(start, stop, step):
10 if (start - stop) // step < 0:
11 # replace stop with next element in the sequence of integers
12 # that are congruent to start modulo step.
13 stop += (start - stop) % step
14 while start != stop:
15 yield start
16 start += step
17
18def pyrange_reversed(start, stop, step):
19 stop += (start - stop) % step
20 return pyrange(stop - step, start - step, -step)
21
22
Walter Dörwald4ad94212007-05-21 18:01:17 +000023class RangeTest(unittest.TestCase):
Mark Dickinsond550c9a2009-11-15 09:57:26 +000024 def assert_iterators_equal(self, xs, ys, test_id, limit=None):
25 # check that an iterator xs matches the expected results ys,
26 # up to a given limit.
27 if limit is not None:
28 xs = itertools.islice(xs, limit)
29 ys = itertools.islice(ys, limit)
30 sentinel = object()
31 pairs = itertools.zip_longest(xs, ys, fillvalue=sentinel)
32 for i, (x, y) in enumerate(pairs):
33 if x == y:
34 continue
35 elif x == sentinel:
36 self.fail('{}: iterator ended unexpectedly '
37 'at position {}; expected {}'.format(test_id, i, y))
38 elif y == sentinel:
39 self.fail('{}: unexpected excess element {} at '
40 'position {}'.format(test_id, x, i))
41 else:
42 self.fail('{}: wrong element at position {};'
43 'expected {}, got {}'.format(test_id, i, y, x))
44
Walter Dörwald4ad94212007-05-21 18:01:17 +000045 def test_range(self):
Guido van Rossum805365e2007-05-07 22:24:25 +000046 self.assertEqual(list(range(3)), [0, 1, 2])
47 self.assertEqual(list(range(1, 5)), [1, 2, 3, 4])
48 self.assertEqual(list(range(0)), [])
49 self.assertEqual(list(range(-3)), [])
50 self.assertEqual(list(range(1, 10, 3)), [1, 4, 7])
51 self.assertEqual(list(range(5, -5, -3)), [5, 2, -1, -4])
Neal Norwitz1c0423a2004-07-08 01:59:55 +000052
53 a = 10
54 b = 100
55 c = 50
56
Guido van Rossum805365e2007-05-07 22:24:25 +000057 self.assertEqual(list(range(a, a+2)), [a, a+1])
58 self.assertEqual(list(range(a+2, a, -1)), [a+2, a+1])
59 self.assertEqual(list(range(a+4, a, -2)), [a+4, a+2])
Neal Norwitz1c0423a2004-07-08 01:59:55 +000060
Guido van Rossum805365e2007-05-07 22:24:25 +000061 seq = list(range(a, b, c))
Benjamin Peterson577473f2010-01-19 00:09:57 +000062 self.assertIn(a, seq)
63 self.assertNotIn(b, seq)
Neal Norwitz1c0423a2004-07-08 01:59:55 +000064 self.assertEqual(len(seq), 2)
65
Guido van Rossum805365e2007-05-07 22:24:25 +000066 seq = list(range(b, a, -c))
Benjamin Peterson577473f2010-01-19 00:09:57 +000067 self.assertIn(b, seq)
68 self.assertNotIn(a, seq)
Neal Norwitz1c0423a2004-07-08 01:59:55 +000069 self.assertEqual(len(seq), 2)
70
Guido van Rossum805365e2007-05-07 22:24:25 +000071 seq = list(range(-a, -b, -c))
Benjamin Peterson577473f2010-01-19 00:09:57 +000072 self.assertIn(-a, seq)
73 self.assertNotIn(-b, seq)
Neal Norwitz1c0423a2004-07-08 01:59:55 +000074 self.assertEqual(len(seq), 2)
75
Guido van Rossum805365e2007-05-07 22:24:25 +000076 self.assertRaises(TypeError, range)
77 self.assertRaises(TypeError, range, 1, 2, 3, 4)
78 self.assertRaises(ValueError, range, 1, 2, 0)
Neal Norwitz1c0423a2004-07-08 01:59:55 +000079
Guido van Rossum805365e2007-05-07 22:24:25 +000080 self.assertRaises(TypeError, range, 0.0, 2, 1)
81 self.assertRaises(TypeError, range, 1, 2.0, 1)
82 self.assertRaises(TypeError, range, 1, 2, 1.0)
83 self.assertRaises(TypeError, range, 1e100, 1e101, 1e101)
Neal Norwitz1c0423a2004-07-08 01:59:55 +000084
Guido van Rossum805365e2007-05-07 22:24:25 +000085 self.assertRaises(TypeError, range, 0, "spam")
86 self.assertRaises(TypeError, range, 0, 42, "spam")
Neal Norwitz1c0423a2004-07-08 01:59:55 +000087
Christian Heimesa37d4c62007-12-04 23:02:19 +000088 self.assertEqual(len(range(0, sys.maxsize, sys.maxsize-1)), 2)
Tim Petersfeec4532004-08-08 07:17:39 +000089
Christian Heimesa37d4c62007-12-04 23:02:19 +000090 r = range(-sys.maxsize, sys.maxsize, 2)
91 self.assertEqual(len(r), sys.maxsize)
Tim Petersfeec4532004-08-08 07:17:39 +000092
Benjamin Peterson8d16ab32010-11-20 23:01:55 +000093 def test_large_operands(self):
94 x = range(10**20, 10**20+10, 3)
95 self.assertEqual(len(x), 4)
96 self.assertEqual(len(list(x)), 4)
97
98 x = range(10**20+10, 10**20, 3)
99 self.assertEqual(len(x), 0)
100 self.assertEqual(len(list(x)), 0)
101
102 x = range(10**20, 10**20+10, -3)
103 self.assertEqual(len(x), 0)
104 self.assertEqual(len(list(x)), 0)
105
106 x = range(10**20+10, 10**20, -3)
107 self.assertEqual(len(x), 4)
108 self.assertEqual(len(list(x)), 4)
109
110 # Now test range() with longs
111 self.assertEqual(list(range(-2**100)), [])
112 self.assertEqual(list(range(0, -2**100)), [])
113 self.assertEqual(list(range(0, 2**100, -1)), [])
114 self.assertEqual(list(range(0, 2**100, -1)), [])
115
116 a = int(10 * sys.maxsize)
117 b = int(100 * sys.maxsize)
118 c = int(50 * sys.maxsize)
119
120 self.assertEqual(list(range(a, a+2)), [a, a+1])
121 self.assertEqual(list(range(a+2, a, -1)), [a+2, a+1])
122 self.assertEqual(list(range(a+4, a, -2)), [a+4, a+2])
123
124 seq = list(range(a, b, c))
125 self.assertIn(a, seq)
126 self.assertNotIn(b, seq)
127 self.assertEqual(len(seq), 2)
Nick Coghlane993b102011-01-12 03:15:52 +0000128 self.assertEqual(seq[0], a)
129 self.assertEqual(seq[-1], a+c)
Benjamin Peterson8d16ab32010-11-20 23:01:55 +0000130
131 seq = list(range(b, a, -c))
132 self.assertIn(b, seq)
133 self.assertNotIn(a, seq)
134 self.assertEqual(len(seq), 2)
Nick Coghlane993b102011-01-12 03:15:52 +0000135 self.assertEqual(seq[0], b)
136 self.assertEqual(seq[-1], b-c)
Benjamin Peterson8d16ab32010-11-20 23:01:55 +0000137
138 seq = list(range(-a, -b, -c))
139 self.assertIn(-a, seq)
140 self.assertNotIn(-b, seq)
141 self.assertEqual(len(seq), 2)
Nick Coghlane993b102011-01-12 03:15:52 +0000142 self.assertEqual(seq[0], -a)
143 self.assertEqual(seq[-1], -a-c)
Benjamin Peterson8d16ab32010-11-20 23:01:55 +0000144
Nick Coghlane993b102011-01-12 03:15:52 +0000145 def test_large_range(self):
146 # Check long ranges (len > sys.maxsize)
147 # len() is expected to fail due to limitations of the __len__ protocol
148 def _range_len(x):
149 try:
150 length = len(x)
151 except OverflowError:
152 step = x[1] - x[0]
153 length = 1 + ((x[-1] - x[0]) // step)
154 return length
155 a = -sys.maxsize
156 b = sys.maxsize
157 expected_len = b - a
158 x = range(a, b)
159 self.assertIn(a, x)
160 self.assertNotIn(b, x)
161 self.assertRaises(OverflowError, len, x)
162 self.assertEqual(_range_len(x), expected_len)
163 self.assertEqual(x[0], a)
164 idx = sys.maxsize+1
165 self.assertEqual(x[idx], a+idx)
166 self.assertEqual(x[idx:idx+1][0], a+idx)
167 with self.assertRaises(IndexError):
168 x[-expected_len-1]
169 with self.assertRaises(IndexError):
170 x[expected_len]
171
172 a = 0
173 b = 2 * sys.maxsize
174 expected_len = b - a
175 x = range(a, b)
176 self.assertIn(a, x)
177 self.assertNotIn(b, x)
178 self.assertRaises(OverflowError, len, x)
179 self.assertEqual(_range_len(x), expected_len)
180 self.assertEqual(x[0], a)
181 idx = sys.maxsize+1
182 self.assertEqual(x[idx], a+idx)
183 self.assertEqual(x[idx:idx+1][0], a+idx)
184 with self.assertRaises(IndexError):
185 x[-expected_len-1]
186 with self.assertRaises(IndexError):
187 x[expected_len]
188
189 a = 0
190 b = sys.maxsize**10
191 c = 2*sys.maxsize
192 expected_len = 1 + (b - a) // c
193 x = range(a, b, c)
194 self.assertIn(a, x)
195 self.assertNotIn(b, x)
196 self.assertRaises(OverflowError, len, x)
197 self.assertEqual(_range_len(x), expected_len)
198 self.assertEqual(x[0], a)
199 idx = sys.maxsize+1
200 self.assertEqual(x[idx], a+(idx*c))
201 self.assertEqual(x[idx:idx+1][0], a+(idx*c))
202 with self.assertRaises(IndexError):
203 x[-expected_len-1]
204 with self.assertRaises(IndexError):
205 x[expected_len]
206
207 a = sys.maxsize**10
208 b = 0
209 c = -2*sys.maxsize
210 expected_len = 1 + (b - a) // c
211 x = range(a, b, c)
212 self.assertIn(a, x)
213 self.assertNotIn(b, x)
214 self.assertRaises(OverflowError, len, x)
215 self.assertEqual(_range_len(x), expected_len)
216 self.assertEqual(x[0], a)
217 idx = sys.maxsize+1
218 self.assertEqual(x[idx], a+(idx*c))
219 self.assertEqual(x[idx:idx+1][0], a+(idx*c))
220 with self.assertRaises(IndexError):
221 x[-expected_len-1]
222 with self.assertRaises(IndexError):
223 x[expected_len]
Benjamin Peterson8d16ab32010-11-20 23:01:55 +0000224
225 def test_invalid_invocation(self):
226 self.assertRaises(TypeError, range)
227 self.assertRaises(TypeError, range, 1, 2, 3, 4)
228 self.assertRaises(ValueError, range, 1, 2, 0)
Benjamin Petersond57bb552010-11-20 23:03:34 +0000229 a = int(10 * sys.maxsize)
Benjamin Peterson8d16ab32010-11-20 23:01:55 +0000230 self.assertRaises(ValueError, range, a, a + 1, int(0))
231 self.assertRaises(TypeError, range, 1., 1., 1.)
232 self.assertRaises(TypeError, range, 1e100, 1e101, 1e101)
233 self.assertRaises(TypeError, range, 0, "spam")
234 self.assertRaises(TypeError, range, 0, 42, "spam")
235 # Exercise various combinations of bad arguments, to check
236 # refcounting logic
237 self.assertRaises(TypeError, range, 0.0)
238 self.assertRaises(TypeError, range, 0, 0.0)
239 self.assertRaises(TypeError, range, 0.0, 0)
240 self.assertRaises(TypeError, range, 0.0, 0.0)
241 self.assertRaises(TypeError, range, 0, 0, 1.0)
242 self.assertRaises(TypeError, range, 0, 0.0, 1)
243 self.assertRaises(TypeError, range, 0, 0.0, 1.0)
244 self.assertRaises(TypeError, range, 0.0, 0, 1)
245 self.assertRaises(TypeError, range, 0.0, 0, 1.0)
246 self.assertRaises(TypeError, range, 0.0, 0.0, 1)
247 self.assertRaises(TypeError, range, 0.0, 0.0, 1.0)
248
249 def test_index(self):
250 u = range(2)
251 self.assertEqual(u.index(0), 0)
252 self.assertEqual(u.index(1), 1)
253 self.assertRaises(ValueError, u.index, 2)
254
255 u = range(-2, 3)
256 self.assertEqual(u.count(0), 1)
257 self.assertEqual(u.index(0), 2)
258 self.assertRaises(TypeError, u.index)
259
260 class BadExc(Exception):
261 pass
262
263 class BadCmp:
264 def __eq__(self, other):
265 if other == 2:
266 raise BadExc()
267 return False
268
269 a = range(4)
270 self.assertRaises(BadExc, a.index, BadCmp())
271
272 a = range(-2, 3)
273 self.assertEqual(a.index(0), 2)
274 self.assertEqual(range(1, 10, 3).index(4), 1)
275 self.assertEqual(range(1, -10, -3).index(-5), 2)
276
277 self.assertEqual(range(10**20).index(1), 1)
278 self.assertEqual(range(10**20).index(10**20 - 1), 10**20 - 1)
279
280 self.assertRaises(ValueError, range(1, 2**100, 2).index, 2**87)
281 self.assertEqual(range(1, 2**100, 2).index(2**87+1), 2**86)
282
283 class AlwaysEqual(object):
284 def __eq__(self, other):
285 return True
286 always_equal = AlwaysEqual()
Benjamin Petersond57bb552010-11-20 23:03:34 +0000287 self.assertEqual(range(10).index(always_equal), 0)
Benjamin Peterson8d16ab32010-11-20 23:01:55 +0000288
289 def test_user_index_method(self):
290 bignum = 2*sys.maxsize
291 smallnum = 42
292
293 # User-defined class with an __index__ method
294 class I:
295 def __init__(self, n):
296 self.n = int(n)
297 def __index__(self):
298 return self.n
299 self.assertEqual(list(range(I(bignum), I(bignum + 1))), [bignum])
300 self.assertEqual(list(range(I(smallnum), I(smallnum + 1))), [smallnum])
301
302 # User-defined class with a failing __index__ method
303 class IX:
304 def __index__(self):
305 raise RuntimeError
306 self.assertRaises(RuntimeError, range, IX())
307
308 # User-defined class with an invalid __index__ method
309 class IN:
310 def __index__(self):
311 return "not a number"
312
313 self.assertRaises(TypeError, range, IN())
314
Mark Dickinson8cd1c762012-11-04 11:46:17 +0000315 # Test use of user-defined classes in slice indices.
Mark Dickinsonc992faf2012-11-04 11:47:47 +0000316 self.assertEqual(range(10)[:I(5)], range(5))
Mark Dickinson8cd1c762012-11-04 11:46:17 +0000317
318 with self.assertRaises(RuntimeError):
319 range(0, 10)[:IX()]
320
321 with self.assertRaises(TypeError):
322 range(0, 10)[:IN()]
323
Benjamin Peterson8d16ab32010-11-20 23:01:55 +0000324 def test_count(self):
325 self.assertEqual(range(3).count(-1), 0)
326 self.assertEqual(range(3).count(0), 1)
327 self.assertEqual(range(3).count(1), 1)
328 self.assertEqual(range(3).count(2), 1)
329 self.assertEqual(range(3).count(3), 0)
330 self.assertIs(type(range(3).count(-1)), int)
331 self.assertIs(type(range(3).count(1)), int)
332 self.assertEqual(range(10**20).count(1), 1)
333 self.assertEqual(range(10**20).count(10**20), 0)
334 self.assertEqual(range(3).index(1), 1)
335 self.assertEqual(range(1, 2**100, 2).count(2**87), 0)
336 self.assertEqual(range(1, 2**100, 2).count(2**87+1), 1)
337
338 class AlwaysEqual(object):
339 def __eq__(self, other):
340 return True
341 always_equal = AlwaysEqual()
342 self.assertEqual(range(10).count(always_equal), 10)
343
Nick Coghlan37ee8502010-12-03 14:26:13 +0000344 self.assertEqual(len(range(sys.maxsize, sys.maxsize+10)), 10)
345
Walter Dörwald67d99932007-05-20 08:22:37 +0000346 def test_repr(self):
Walter Dörwald03b43d82007-05-21 10:43:34 +0000347 self.assertEqual(repr(range(1)), 'range(0, 1)')
Walter Dörwald67d99932007-05-20 08:22:37 +0000348 self.assertEqual(repr(range(1, 2)), 'range(1, 2)')
349 self.assertEqual(repr(range(1, 2, 3)), 'range(1, 2, 3)')
350
Alexandre Vassalotti75056072008-06-10 04:03:04 +0000351 def test_pickling(self):
352 testcases = [(13,), (0, 11), (-22, 10), (20, 3, -1),
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +0000353 (13, 21, 3), (-2, 2, 2), (2**65, 2**65+2)]
Hirokazu Yamamotod0d0b652008-10-23 00:38:15 +0000354 for proto in range(pickle.HIGHEST_PROTOCOL + 1):
Alexandre Vassalotti75056072008-06-10 04:03:04 +0000355 for t in testcases:
Antoine Pitrou8f2ee6e2013-11-23 21:05:08 +0100356 with self.subTest(proto=proto, test=t):
357 r = range(*t)
358 self.assertEqual(list(pickle.loads(pickle.dumps(r, proto))),
359 list(r))
Alexandre Vassalotti75056072008-06-10 04:03:04 +0000360
Kristján Valur Jónsson31668b82012-04-03 10:49:41 +0000361 def test_iterator_pickling(self):
362 testcases = [(13,), (0, 11), (-22, 10), (20, 3, -1),
363 (13, 21, 3), (-2, 2, 2), (2**65, 2**65+2)]
364 for proto in range(pickle.HIGHEST_PROTOCOL + 1):
365 for t in testcases:
366 it = itorg = iter(range(*t))
367 data = list(range(*t))
368
369 d = pickle.dumps(it)
370 it = pickle.loads(d)
371 self.assertEqual(type(itorg), type(it))
372 self.assertEqual(list(it), data)
373
374 it = pickle.loads(d)
375 try:
376 next(it)
377 except StopIteration:
378 continue
379 d = pickle.dumps(it)
380 it = pickle.loads(d)
381 self.assertEqual(list(it), data[1:])
382
Kristján Valur Jónsson4ca688e2014-03-04 23:19:24 +0000383 def test_exhausted_iterator_pickling(self):
Kristján Valur Jónsson25dded02014-03-05 13:47:57 +0000384 r = range(2**65, 2**65+2)
385 i = iter(r)
386 while True:
387 r = next(i)
388 if r == 2**65+1:
389 break
390 d = pickle.dumps(i)
391 i2 = pickle.loads(d)
392 self.assertEqual(list(i), [])
393 self.assertEqual(list(i2), [])
394
395 def test_large_exhausted_iterator_pickling(self):
Kristján Valur Jónsson4ca688e2014-03-04 23:19:24 +0000396 r = range(20)
397 i = iter(r)
398 while True:
399 r = next(i)
400 if r == 19:
401 break
402 d = pickle.dumps(i)
403 i2 = pickle.loads(d)
404 self.assertEqual(list(i), [])
405 self.assertEqual(list(i2), [])
406
Raymond Hettinger94f55832009-06-12 18:40:16 +0000407 def test_odd_bug(self):
408 # This used to raise a "SystemError: NULL result without error"
409 # because the range validation step was eating the exception
410 # before NULL was returned.
411 with self.assertRaises(TypeError):
412 range([], 1, -1)
413
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000414 def test_types(self):
415 # Non-integer objects *equal* to any of the range's items are supposed
416 # to be contained in the range.
Benjamin Peterson577473f2010-01-19 00:09:57 +0000417 self.assertIn(1.0, range(3))
418 self.assertIn(True, range(3))
419 self.assertIn(1+0j, range(3))
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000420
421 class C1:
422 def __eq__(self, other): return True
Benjamin Peterson577473f2010-01-19 00:09:57 +0000423 self.assertIn(C1(), range(3))
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000424
425 # Objects are never coerced into other types for comparison.
426 class C2:
427 def __int__(self): return 1
428 def __index__(self): return 1
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000429 self.assertNotIn(C2(), range(3))
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000430 # ..except if explicitly told so.
Benjamin Peterson577473f2010-01-19 00:09:57 +0000431 self.assertIn(int(C2()), range(3))
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000432
Mark Dickinson418f81d2009-09-24 20:04:23 +0000433 # Check that the range.__contains__ optimization is only
434 # used for ints, not for instances of subclasses of int.
435 class C3(int):
436 def __eq__(self, other): return True
Benjamin Peterson577473f2010-01-19 00:09:57 +0000437 self.assertIn(C3(11), range(10))
438 self.assertIn(C3(11), list(range(10)))
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000439
440 def test_strided_limits(self):
441 r = range(0, 101, 2)
Benjamin Peterson577473f2010-01-19 00:09:57 +0000442 self.assertIn(0, r)
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000443 self.assertNotIn(1, r)
Benjamin Peterson577473f2010-01-19 00:09:57 +0000444 self.assertIn(2, r)
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000445 self.assertNotIn(99, r)
Benjamin Peterson577473f2010-01-19 00:09:57 +0000446 self.assertIn(100, r)
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000447 self.assertNotIn(101, r)
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000448
449 r = range(0, -20, -1)
Benjamin Peterson577473f2010-01-19 00:09:57 +0000450 self.assertIn(0, r)
451 self.assertIn(-1, r)
452 self.assertIn(-19, r)
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000453 self.assertNotIn(-20, r)
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000454
455 r = range(0, -20, -2)
Benjamin Peterson577473f2010-01-19 00:09:57 +0000456 self.assertIn(-18, r)
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000457 self.assertNotIn(-19, r)
458 self.assertNotIn(-20, r)
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000459
460 def test_empty(self):
461 r = range(0)
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000462 self.assertNotIn(0, r)
463 self.assertNotIn(1, r)
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000464
465 r = range(0, -10)
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000466 self.assertNotIn(0, r)
467 self.assertNotIn(-1, r)
468 self.assertNotIn(1, r)
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000469
Mark Dickinsond550c9a2009-11-15 09:57:26 +0000470 def test_range_iterators(self):
471 # exercise 'fast' iterators, that use a rangeiterobject internally.
472 # see issue 7298
473 limits = [base + jiggle
474 for M in (2**32, 2**64)
475 for base in (-M, -M//2, 0, M//2, M)
476 for jiggle in (-2, -1, 0, 1, 2)]
477 test_ranges = [(start, end, step)
478 for start in limits
479 for end in limits
480 for step in (-2**63, -2**31, -2, -1, 1, 2)]
481
482 for start, end, step in test_ranges:
483 iter1 = range(start, end, step)
484 iter2 = pyrange(start, end, step)
485 test_id = "range({}, {}, {})".format(start, end, step)
486 # check first 100 entries
487 self.assert_iterators_equal(iter1, iter2, test_id, limit=100)
488
489 iter1 = reversed(range(start, end, step))
490 iter2 = pyrange_reversed(start, end, step)
491 test_id = "reversed(range({}, {}, {}))".format(start, end, step)
492 self.assert_iterators_equal(iter1, iter2, test_id, limit=100)
493
Nick Coghlan37ee8502010-12-03 14:26:13 +0000494 def test_slice(self):
495 def check(start, stop, step=None):
496 i = slice(start, stop, step)
497 self.assertEqual(list(r[i]), list(r)[i])
498 self.assertEqual(len(r[i]), len(list(r)[i]))
499 for r in [range(10),
500 range(0),
501 range(1, 9, 3),
502 range(8, 0, -3),
503 range(sys.maxsize+1, sys.maxsize+10),
504 ]:
505 check(0, 2)
506 check(0, 20)
507 check(1, 2)
508 check(20, 30)
509 check(-30, -20)
510 check(-1, 100, 2)
511 check(0, -1)
512 check(-1, -3, -1)
513
514 def test_contains(self):
515 r = range(10)
516 self.assertIn(0, r)
517 self.assertIn(1, r)
518 self.assertIn(5.0, r)
519 self.assertNotIn(5.1, r)
520 self.assertNotIn(-1, r)
521 self.assertNotIn(10, r)
522 self.assertNotIn("", r)
523 r = range(9, -1, -1)
524 self.assertIn(0, r)
525 self.assertIn(1, r)
526 self.assertIn(5.0, r)
527 self.assertNotIn(5.1, r)
528 self.assertNotIn(-1, r)
529 self.assertNotIn(10, r)
530 self.assertNotIn("", r)
531 r = range(0, 10, 2)
532 self.assertIn(0, r)
533 self.assertNotIn(1, r)
534 self.assertNotIn(5.0, r)
535 self.assertNotIn(5.1, r)
536 self.assertNotIn(-1, r)
537 self.assertNotIn(10, r)
538 self.assertNotIn("", r)
539 r = range(9, -1, -2)
540 self.assertNotIn(0, r)
541 self.assertIn(1, r)
542 self.assertIn(5.0, r)
543 self.assertNotIn(5.1, r)
544 self.assertNotIn(-1, r)
545 self.assertNotIn(10, r)
546 self.assertNotIn("", r)
547
548 def test_reverse_iteration(self):
549 for r in [range(10),
550 range(0),
551 range(1, 9, 3),
552 range(8, 0, -3),
553 range(sys.maxsize+1, sys.maxsize+10),
554 ]:
555 self.assertEqual(list(reversed(r)), list(r)[::-1])
556
Ezio Melotti982ef4e2011-04-15 08:15:40 +0300557 def test_issue11845(self):
558 r = range(*slice(1, 18, 2).indices(20))
559 values = {None, 0, 1, -1, 2, -2, 5, -5, 19, -19,
560 20, -20, 21, -21, 30, -30, 99, -99}
561 for i in values:
562 for j in values:
563 for k in values - {0}:
564 r[i:j:k]
565
Mark Dickinson36645682011-10-23 19:53:01 +0100566 def test_comparison(self):
567 test_ranges = [range(0), range(0, -1), range(1, 1, 3),
568 range(1), range(5, 6), range(5, 6, 2),
569 range(5, 7, 2), range(2), range(0, 4, 2),
570 range(0, 5, 2), range(0, 6, 2)]
571 test_tuples = list(map(tuple, test_ranges))
572
573 # Check that equality of ranges matches equality of the corresponding
574 # tuples for each pair from the test lists above.
575 ranges_eq = [a == b for a in test_ranges for b in test_ranges]
576 tuples_eq = [a == b for a in test_tuples for b in test_tuples]
577 self.assertEqual(ranges_eq, tuples_eq)
578
579 # Check that != correctly gives the logical negation of ==
580 ranges_ne = [a != b for a in test_ranges for b in test_ranges]
581 self.assertEqual(ranges_ne, [not x for x in ranges_eq])
582
583 # Equal ranges should have equal hashes.
584 for a in test_ranges:
585 for b in test_ranges:
586 if a == b:
587 self.assertEqual(hash(a), hash(b))
588
589 # Ranges are unequal to other types (even sequence types)
590 self.assertIs(range(0) == (), False)
591 self.assertIs(() == range(0), False)
592 self.assertIs(range(2) == [0, 1], False)
593
594 # Huge integers aren't a problem.
595 self.assertEqual(range(0, 2**100 - 1, 2),
596 range(0, 2**100, 2))
597 self.assertEqual(hash(range(0, 2**100 - 1, 2)),
598 hash(range(0, 2**100, 2)))
599 self.assertNotEqual(range(0, 2**100, 2),
600 range(0, 2**100 + 1, 2))
601 self.assertEqual(range(2**200, 2**201 - 2**99, 2**100),
602 range(2**200, 2**201, 2**100))
603 self.assertEqual(hash(range(2**200, 2**201 - 2**99, 2**100)),
604 hash(range(2**200, 2**201, 2**100)))
605 self.assertNotEqual(range(2**200, 2**201, 2**100),
606 range(2**200, 2**201 + 1, 2**100))
607
608 # Order comparisons are not implemented for ranges.
609 with self.assertRaises(TypeError):
610 range(0) < range(0)
611 with self.assertRaises(TypeError):
612 range(0) > range(0)
613 with self.assertRaises(TypeError):
614 range(0) <= range(0)
615 with self.assertRaises(TypeError):
616 range(0) >= range(0)
617
Nick Coghlan37ee8502010-12-03 14:26:13 +0000618
Benjamin Peterson878ce382011-11-05 15:17:52 -0400619 def test_attributes(self):
620 # test the start, stop and step attributes of range objects
621 self.assert_attrs(range(0), 0, 0, 1)
622 self.assert_attrs(range(10), 0, 10, 1)
623 self.assert_attrs(range(-10), 0, -10, 1)
624 self.assert_attrs(range(0, 10, 1), 0, 10, 1)
625 self.assert_attrs(range(0, 10, 3), 0, 10, 3)
626 self.assert_attrs(range(10, 0, -1), 10, 0, -1)
627 self.assert_attrs(range(10, 0, -3), 10, 0, -3)
628
629 def assert_attrs(self, rangeobj, start, stop, step):
630 self.assertEqual(rangeobj.start, start)
631 self.assertEqual(rangeobj.stop, stop)
632 self.assertEqual(rangeobj.step, step)
633
634 with self.assertRaises(AttributeError):
635 rangeobj.start = 0
636 with self.assertRaises(AttributeError):
637 rangeobj.stop = 10
638 with self.assertRaises(AttributeError):
639 rangeobj.step = 1
640
641 with self.assertRaises(AttributeError):
642 del rangeobj.start
643 with self.assertRaises(AttributeError):
644 del rangeobj.stop
645 with self.assertRaises(AttributeError):
646 del rangeobj.step
647
Neal Norwitz1c0423a2004-07-08 01:59:55 +0000648def test_main():
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000649 test.support.run_unittest(RangeTest)
Neal Norwitz1c0423a2004-07-08 01:59:55 +0000650
651if __name__ == "__main__":
652 test_main()