blob: 7e7b91f8d8f186f70cb56d85246a670587b1d201 [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
8import warnings
9warnings.filterwarnings("ignore", "integer argument expected",
10 DeprecationWarning, "unittest")
11
Mark Dickinsond550c9a2009-11-15 09:57:26 +000012# pure Python implementations (3 args only), for comparison
13def pyrange(start, stop, step):
14 if (start - stop) // step < 0:
15 # replace stop with next element in the sequence of integers
16 # that are congruent to start modulo step.
17 stop += (start - stop) % step
18 while start != stop:
19 yield start
20 start += step
21
22def pyrange_reversed(start, stop, step):
23 stop += (start - stop) % step
24 return pyrange(stop - step, start - step, -step)
25
26
Walter Dörwald4ad94212007-05-21 18:01:17 +000027class RangeTest(unittest.TestCase):
Mark Dickinsond550c9a2009-11-15 09:57:26 +000028 def assert_iterators_equal(self, xs, ys, test_id, limit=None):
29 # check that an iterator xs matches the expected results ys,
30 # up to a given limit.
31 if limit is not None:
32 xs = itertools.islice(xs, limit)
33 ys = itertools.islice(ys, limit)
34 sentinel = object()
35 pairs = itertools.zip_longest(xs, ys, fillvalue=sentinel)
36 for i, (x, y) in enumerate(pairs):
37 if x == y:
38 continue
39 elif x == sentinel:
40 self.fail('{}: iterator ended unexpectedly '
41 'at position {}; expected {}'.format(test_id, i, y))
42 elif y == sentinel:
43 self.fail('{}: unexpected excess element {} at '
44 'position {}'.format(test_id, x, i))
45 else:
46 self.fail('{}: wrong element at position {};'
47 'expected {}, got {}'.format(test_id, i, y, x))
48
Walter Dörwald4ad94212007-05-21 18:01:17 +000049 def test_range(self):
Guido van Rossum805365e2007-05-07 22:24:25 +000050 self.assertEqual(list(range(3)), [0, 1, 2])
51 self.assertEqual(list(range(1, 5)), [1, 2, 3, 4])
52 self.assertEqual(list(range(0)), [])
53 self.assertEqual(list(range(-3)), [])
54 self.assertEqual(list(range(1, 10, 3)), [1, 4, 7])
55 self.assertEqual(list(range(5, -5, -3)), [5, 2, -1, -4])
Neal Norwitz1c0423a2004-07-08 01:59:55 +000056
57 a = 10
58 b = 100
59 c = 50
60
Guido van Rossum805365e2007-05-07 22:24:25 +000061 self.assertEqual(list(range(a, a+2)), [a, a+1])
62 self.assertEqual(list(range(a+2, a, -1)), [a+2, a+1])
63 self.assertEqual(list(range(a+4, a, -2)), [a+4, a+2])
Neal Norwitz1c0423a2004-07-08 01:59:55 +000064
Guido van Rossum805365e2007-05-07 22:24:25 +000065 seq = list(range(a, b, c))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000066 self.assertTrue(a in seq)
67 self.assertTrue(b not in seq)
Neal Norwitz1c0423a2004-07-08 01:59:55 +000068 self.assertEqual(len(seq), 2)
69
Guido van Rossum805365e2007-05-07 22:24:25 +000070 seq = list(range(b, a, -c))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000071 self.assertTrue(b in seq)
72 self.assertTrue(a not in seq)
Neal Norwitz1c0423a2004-07-08 01:59:55 +000073 self.assertEqual(len(seq), 2)
74
Guido van Rossum805365e2007-05-07 22:24:25 +000075 seq = list(range(-a, -b, -c))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000076 self.assertTrue(-a in seq)
77 self.assertTrue(-b not in seq)
Neal Norwitz1c0423a2004-07-08 01:59:55 +000078 self.assertEqual(len(seq), 2)
79
Guido van Rossum805365e2007-05-07 22:24:25 +000080 self.assertRaises(TypeError, range)
81 self.assertRaises(TypeError, range, 1, 2, 3, 4)
82 self.assertRaises(ValueError, range, 1, 2, 0)
Neal Norwitz1c0423a2004-07-08 01:59:55 +000083
Guido van Rossum805365e2007-05-07 22:24:25 +000084 self.assertRaises(TypeError, range, 0.0, 2, 1)
85 self.assertRaises(TypeError, range, 1, 2.0, 1)
86 self.assertRaises(TypeError, range, 1, 2, 1.0)
87 self.assertRaises(TypeError, range, 1e100, 1e101, 1e101)
Neal Norwitz1c0423a2004-07-08 01:59:55 +000088
Guido van Rossum805365e2007-05-07 22:24:25 +000089 self.assertRaises(TypeError, range, 0, "spam")
90 self.assertRaises(TypeError, range, 0, 42, "spam")
Neal Norwitz1c0423a2004-07-08 01:59:55 +000091
Christian Heimesa37d4c62007-12-04 23:02:19 +000092 self.assertEqual(len(range(0, sys.maxsize, sys.maxsize-1)), 2)
Tim Petersfeec4532004-08-08 07:17:39 +000093
Christian Heimesa37d4c62007-12-04 23:02:19 +000094 r = range(-sys.maxsize, sys.maxsize, 2)
95 self.assertEqual(len(r), sys.maxsize)
Tim Petersfeec4532004-08-08 07:17:39 +000096
Walter Dörwald67d99932007-05-20 08:22:37 +000097 def test_repr(self):
Walter Dörwald03b43d82007-05-21 10:43:34 +000098 self.assertEqual(repr(range(1)), 'range(0, 1)')
Walter Dörwald67d99932007-05-20 08:22:37 +000099 self.assertEqual(repr(range(1, 2)), 'range(1, 2)')
100 self.assertEqual(repr(range(1, 2, 3)), 'range(1, 2, 3)')
101
Alexandre Vassalotti75056072008-06-10 04:03:04 +0000102 def test_pickling(self):
103 testcases = [(13,), (0, 11), (-22, 10), (20, 3, -1),
104 (13, 21, 3), (-2, 2, 2)]
Hirokazu Yamamotod0d0b652008-10-23 00:38:15 +0000105 for proto in range(pickle.HIGHEST_PROTOCOL + 1):
Alexandre Vassalotti75056072008-06-10 04:03:04 +0000106 for t in testcases:
107 r = range(*t)
108 self.assertEquals(list(pickle.loads(pickle.dumps(r, proto))),
109 list(r))
110
Raymond Hettinger94f55832009-06-12 18:40:16 +0000111 def test_odd_bug(self):
112 # This used to raise a "SystemError: NULL result without error"
113 # because the range validation step was eating the exception
114 # before NULL was returned.
115 with self.assertRaises(TypeError):
116 range([], 1, -1)
117
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000118 def test_types(self):
119 # Non-integer objects *equal* to any of the range's items are supposed
120 # to be contained in the range.
121 self.assertTrue(1.0 in range(3))
122 self.assertTrue(True in range(3))
123 self.assertTrue(1+0j in range(3))
124
125 class C1:
126 def __eq__(self, other): return True
127 self.assertTrue(C1() in range(3))
128
129 # Objects are never coerced into other types for comparison.
130 class C2:
131 def __int__(self): return 1
132 def __index__(self): return 1
133 self.assertFalse(C2() in range(3))
134 # ..except if explicitly told so.
135 self.assertTrue(int(C2()) in range(3))
136
Mark Dickinson418f81d2009-09-24 20:04:23 +0000137 # Check that the range.__contains__ optimization is only
138 # used for ints, not for instances of subclasses of int.
139 class C3(int):
140 def __eq__(self, other): return True
141 self.assertTrue(C3(11) in range(10))
142 self.assertTrue(C3(11) in list(range(10)))
Mark Dickinson3e124ae2009-09-22 21:47:24 +0000143
144 def test_strided_limits(self):
145 r = range(0, 101, 2)
146 self.assertTrue(0 in r)
147 self.assertFalse(1 in r)
148 self.assertTrue(2 in r)
149 self.assertFalse(99 in r)
150 self.assertTrue(100 in r)
151 self.assertFalse(101 in r)
152
153 r = range(0, -20, -1)
154 self.assertTrue(0 in r)
155 self.assertTrue(-1 in r)
156 self.assertTrue(-19 in r)
157 self.assertFalse(-20 in r)
158
159 r = range(0, -20, -2)
160 self.assertTrue(-18 in r)
161 self.assertFalse(-19 in r)
162 self.assertFalse(-20 in r)
163
164 def test_empty(self):
165 r = range(0)
166 self.assertFalse(0 in r)
167 self.assertFalse(1 in r)
168
169 r = range(0, -10)
170 self.assertFalse(0 in r)
171 self.assertFalse(-1 in r)
172 self.assertFalse(1 in r)
173
Mark Dickinsond550c9a2009-11-15 09:57:26 +0000174 def test_range_iterators(self):
175 # exercise 'fast' iterators, that use a rangeiterobject internally.
176 # see issue 7298
177 limits = [base + jiggle
178 for M in (2**32, 2**64)
179 for base in (-M, -M//2, 0, M//2, M)
180 for jiggle in (-2, -1, 0, 1, 2)]
181 test_ranges = [(start, end, step)
182 for start in limits
183 for end in limits
184 for step in (-2**63, -2**31, -2, -1, 1, 2)]
185
186 for start, end, step in test_ranges:
187 iter1 = range(start, end, step)
188 iter2 = pyrange(start, end, step)
189 test_id = "range({}, {}, {})".format(start, end, step)
190 # check first 100 entries
191 self.assert_iterators_equal(iter1, iter2, test_id, limit=100)
192
193 iter1 = reversed(range(start, end, step))
194 iter2 = pyrange_reversed(start, end, step)
195 test_id = "reversed(range({}, {}, {}))".format(start, end, step)
196 self.assert_iterators_equal(iter1, iter2, test_id, limit=100)
197
Neal Norwitz1c0423a2004-07-08 01:59:55 +0000198def test_main():
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000199 test.support.run_unittest(RangeTest)
Neal Norwitz1c0423a2004-07-08 01:59:55 +0000200
201if __name__ == "__main__":
202 test_main()