blob: 13608645dcea008f6b330968ecda45d34adac8b8 [file] [log] [blame]
Guido van Rossum12d12c51993-10-26 17:58:25 +00001
2/* Range object implementation */
3
Guido van Rossumc0b618a1997-05-02 03:12:38 +00004#include "Python.h"
Thomas Woutersefafcea2001-07-09 12:30:54 +00005
Guido van Rossum12d12c51993-10-26 17:58:25 +00006typedef struct {
Guido van Rossumc0b618a1997-05-02 03:12:38 +00007 PyObject_HEAD
Guido van Rossum12d12c51993-10-26 17:58:25 +00008 long start;
9 long step;
10 long len;
Guido van Rossum12d12c51993-10-26 17:58:25 +000011} rangeobject;
12
Thomas Woutersefafcea2001-07-09 12:30:54 +000013PyObject *
14PyRange_New(long start, long len, long step, int reps)
15{
Fred Draked9018322002-05-02 19:56:55 +000016 rangeobject *obj;
Guido van Rossum12d12c51993-10-26 17:58:25 +000017
Fred Draked9018322002-05-02 19:56:55 +000018 if (reps != 1) {
19 PyErr_SetString(PyExc_ValueError,
20 "PyRange_New's 'repetitions' argument must be 1");
21 return NULL;
22 }
23
24 obj = PyObject_New(rangeobject, &PyRange_Type);
Guido van Rossum9e8f4ea2000-12-14 14:59:53 +000025 if (obj == NULL)
26 return NULL;
27
Fred Draked9018322002-05-02 19:56:55 +000028 if (len == 0) {
Guido van Rossum65e0b992001-01-15 18:58:56 +000029 start = 0;
30 len = 0;
31 step = 1;
Guido van Rossum65e0b992001-01-15 18:58:56 +000032 }
33 else {
34 long last = start + (len - 1) * step;
35 if ((step > 0) ?
Thomas Woutersefafcea2001-07-09 12:30:54 +000036 (last > (PyInt_GetMax() - step)) :
37 (last < (-1 - PyInt_GetMax() - step))) {
Guido van Rossum65e0b992001-01-15 18:58:56 +000038 PyErr_SetString(PyExc_OverflowError,
39 "integer addition");
40 return NULL;
Thomas Woutersefafcea2001-07-09 12:30:54 +000041 }
Guido van Rossum65e0b992001-01-15 18:58:56 +000042 }
Guido van Rossum12d12c51993-10-26 17:58:25 +000043 obj->start = start;
44 obj->len = len;
45 obj->step = step;
Guido van Rossum12d12c51993-10-26 17:58:25 +000046
Guido van Rossumc0b618a1997-05-02 03:12:38 +000047 return (PyObject *) obj;
Guido van Rossum12d12c51993-10-26 17:58:25 +000048}
49
Raymond Hettingerc4c453f2002-06-05 23:12:45 +000050/* Return number of items in range/xrange (lo, hi, step). step > 0
51 * required. Return a value < 0 if & only if the true value is too
52 * large to fit in a signed long.
53 */
54static long
55get_len_of_range(long lo, long hi, long step)
56{
57 /* -------------------------------------------------------------
58 If lo >= hi, the range is empty.
59 Else if n values are in the range, the last one is
60 lo + (n-1)*step, which must be <= hi-1. Rearranging,
61 n <= (hi - lo - 1)/step + 1, so taking the floor of the RHS gives
62 the proper value. Since lo < hi in this case, hi-lo-1 >= 0, so
63 the RHS is non-negative and so truncation is the same as the
64 floor. Letting M be the largest positive long, the worst case
65 for the RHS numerator is hi=M, lo=-M-1, and then
66 hi-lo-1 = M-(-M-1)-1 = 2*M. Therefore unsigned long has enough
67 precision to compute the RHS exactly.
68 ---------------------------------------------------------------*/
69 long n = 0;
70 if (lo < hi) {
71 unsigned long uhi = (unsigned long)hi;
72 unsigned long ulo = (unsigned long)lo;
73 unsigned long diff = uhi - ulo - 1;
74 n = (long)(diff / (unsigned long)step + 1);
75 }
76 return n;
77}
78
79static PyObject *
80range_new(PyTypeObject *type, PyObject *args, PyObject *kw)
81{
82 long ilow = 0, ihigh = 0, istep = 1;
83 long n;
84
85 if (PyTuple_Size(args) <= 1) {
86 if (!PyArg_ParseTuple(args,
87 "l;xrange() requires 1-3 int arguments",
88 &ihigh))
89 return NULL;
90 }
91 else {
92 if (!PyArg_ParseTuple(args,
93 "ll|l;xrange() requires 1-3 int arguments",
94 &ilow, &ihigh, &istep))
95 return NULL;
96 }
97 if (istep == 0) {
98 PyErr_SetString(PyExc_ValueError, "xrange() arg 3 must not be zero");
99 return NULL;
100 }
101 if (istep > 0)
102 n = get_len_of_range(ilow, ihigh, istep);
103 else
104 n = get_len_of_range(ihigh, ilow, -istep);
105 if (n < 0) {
106 PyErr_SetString(PyExc_OverflowError,
107 "xrange() result has too many items");
108 return NULL;
109 }
110 return PyRange_New(ilow, n, istep, 1);
111}
112
113static char range_doc[] =
114"xrange([start,] stop[, step]) -> xrange object\n\
115\n\
116Like range(), but instead of returning a list, returns an object that\n\
117generates the numbers in the range on demand. This is slightly slower\n\
118than range() but more memory efficient.";
119
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000120static PyObject *
Fred Drake45cfbcc2000-07-09 06:21:27 +0000121range_item(rangeobject *r, int i)
Guido van Rossum12d12c51993-10-26 17:58:25 +0000122{
Fred Draked9018322002-05-02 19:56:55 +0000123 if (i < 0 || i >= r->len) {
124 PyErr_SetString(PyExc_IndexError,
Guido van Rossum5dadf7e1999-01-09 21:40:35 +0000125 "xrange object index out of range");
Fred Draked9018322002-05-02 19:56:55 +0000126 return NULL;
127 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000128 return PyInt_FromLong(r->start + (i % r->len) * r->step);
Guido van Rossum12d12c51993-10-26 17:58:25 +0000129}
130
131static int
Fred Drake45cfbcc2000-07-09 06:21:27 +0000132range_length(rangeobject *r)
Guido van Rossum12d12c51993-10-26 17:58:25 +0000133{
Fred Draked9018322002-05-02 19:56:55 +0000134 return r->len;
Guido van Rossum7d6aa511993-12-21 22:50:31 +0000135}
136
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000137static PyObject *
Fred Drake45cfbcc2000-07-09 06:21:27 +0000138range_repr(rangeobject *r)
Guido van Rossum12d12c51993-10-26 17:58:25 +0000139{
Barry Warsaw7ce36942001-08-24 18:34:26 +0000140 PyObject *rtn;
141
Tim Peters72d421b2000-08-04 03:05:40 +0000142 if (r->start == 0 && r->step == 1)
Barry Warsaw7ce36942001-08-24 18:34:26 +0000143 rtn = PyString_FromFormat("xrange(%ld)",
144 r->start + r->len * r->step);
Tim Peters72d421b2000-08-04 03:05:40 +0000145
146 else if (r->step == 1)
Barry Warsaw7ce36942001-08-24 18:34:26 +0000147 rtn = PyString_FromFormat("xrange(%ld, %ld)",
148 r->start,
149 r->start + r->len * r->step);
Tim Peters72d421b2000-08-04 03:05:40 +0000150
151 else
Barry Warsaw7ce36942001-08-24 18:34:26 +0000152 rtn = PyString_FromFormat("xrange(%ld, %ld, %ld)",
153 r->start,
154 r->start + r->len * r->step,
155 r->step);
Barry Warsaw7ce36942001-08-24 18:34:26 +0000156 return rtn;
Thomas Woutersefafcea2001-07-09 12:30:54 +0000157}
158
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000159static PySequenceMethods range_as_sequence = {
Fred Draked9018322002-05-02 19:56:55 +0000160 (inquiry)range_length, /* sq_length */
161 0, /* sq_concat */
162 0, /* sq_repeat */
163 (intargfunc)range_item, /* sq_item */
164 0, /* sq_slice */
Guido van Rossum12d12c51993-10-26 17:58:25 +0000165};
166
Raymond Hettinger48165d42002-06-05 20:08:48 +0000167staticforward PyObject * range_iter(PyObject *seq);
168
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000169PyTypeObject PyRange_Type = {
170 PyObject_HEAD_INIT(&PyType_Type)
Fred Draked9018322002-05-02 19:56:55 +0000171 0, /* Number of items for varobject */
172 "xrange", /* Name of this type */
173 sizeof(rangeobject), /* Basic object size */
174 0, /* Item size for varobject */
175 (destructor)PyObject_Del, /* tp_dealloc */
176 0, /* tp_print */
177 0, /* tp_getattr */
178 0, /* tp_setattr */
179 0, /* tp_compare */
180 (reprfunc)range_repr, /* tp_repr */
181 0, /* tp_as_number */
182 &range_as_sequence, /* tp_as_sequence */
183 0, /* tp_as_mapping */
184 0, /* tp_hash */
185 0, /* tp_call */
186 0, /* tp_str */
Raymond Hettinger48165d42002-06-05 20:08:48 +0000187 0, /* tp_getattro */
Fred Draked9018322002-05-02 19:56:55 +0000188 0, /* tp_setattro */
189 0, /* tp_as_buffer */
190 Py_TPFLAGS_DEFAULT, /* tp_flags */
Raymond Hettingerc4c453f2002-06-05 23:12:45 +0000191 range_doc, /* tp_doc */
Martin v. Löwise4526592002-05-08 08:49:27 +0000192 0, /* tp_traverse */
193 0, /* tp_clear */
194 0, /* tp_richcompare */
195 0, /* tp_weaklistoffset */
Raymond Hettingerc4c453f2002-06-05 23:12:45 +0000196 (getiterfunc)range_iter, /* tp_iter */
197 0, /* tp_iternext */
198 0, /* tp_methods */
199 0, /* tp_members */
200 0, /* tp_getset */
201 0, /* tp_base */
202 0, /* tp_dict */
203 0, /* tp_descr_get */
204 0, /* tp_descr_set */
205 0, /* tp_dictoffset */
206 0, /* tp_init */
207 0, /* tp_alloc */
208 range_new, /* tp_new */
Guido van Rossum12d12c51993-10-26 17:58:25 +0000209};
Raymond Hettinger48165d42002-06-05 20:08:48 +0000210
211/*********************** Xrange Iterator **************************/
212
213typedef struct {
214 PyObject_HEAD
215 long index;
216 long start;
217 long step;
218 long len;
219} rangeiterobject;
220
Neal Norwitz56f46f82002-06-06 14:58:21 +0000221staticforward PyTypeObject Pyrangeiter_Type;
Raymond Hettinger48165d42002-06-05 20:08:48 +0000222
Neal Norwitz56f46f82002-06-06 14:58:21 +0000223static PyObject *
Raymond Hettinger48165d42002-06-05 20:08:48 +0000224range_iter(PyObject *seq)
225{
226 rangeiterobject *it;
227
228 if (!PyRange_Check(seq)) {
229 PyErr_BadInternalCall();
230 return NULL;
231 }
232 it = PyObject_New(rangeiterobject, &Pyrangeiter_Type);
233 if (it == NULL)
234 return NULL;
235 it->index = 0;
236 it->start = ((rangeobject *)seq)->start;
237 it->step = ((rangeobject *)seq)->step;
238 it->len = ((rangeobject *)seq)->len;
239 return (PyObject *)it;
240}
241
242static PyObject *
243rangeiter_getiter(PyObject *it)
244{
245 Py_INCREF(it);
246 return it;
247}
248
249static PyObject *
250rangeiter_next(rangeiterobject *r)
251{
252 if (r->index < r->len)
253 return PyInt_FromLong(r->start + (r->index++) * r->step);
254 PyErr_SetObject(PyExc_StopIteration, Py_None);
255 return NULL;
256}
257
258static PyMethodDef rangeiter_methods[] = {
259 {"next", (PyCFunction)rangeiter_next, METH_NOARGS,
260 "it.next() -- get the next value, or raise StopIteration"},
261 {NULL, NULL} /* sentinel */
262};
263
Neal Norwitz56f46f82002-06-06 14:58:21 +0000264static PyTypeObject Pyrangeiter_Type = {
Raymond Hettinger48165d42002-06-05 20:08:48 +0000265 PyObject_HEAD_INIT(&PyType_Type)
266 0, /* ob_size */
Neal Norwitz56f46f82002-06-06 14:58:21 +0000267 "rangeiterator", /* tp_name */
268 sizeof(rangeiterobject), /* tp_basicsize */
Raymond Hettinger48165d42002-06-05 20:08:48 +0000269 0, /* tp_itemsize */
270 /* methods */
271 (destructor)PyObject_Del, /* tp_dealloc */
272 0, /* tp_print */
273 0, /* tp_getattr */
274 0, /* tp_setattr */
275 0, /* tp_compare */
276 0, /* tp_repr */
277 0, /* tp_as_number */
278 0, /* tp_as_sequence */
279 0, /* tp_as_mapping */
280 0, /* tp_hash */
281 0, /* tp_call */
282 0, /* tp_str */
283 PyObject_GenericGetAttr, /* tp_getattro */
284 0, /* tp_setattro */
285 0, /* tp_as_buffer */
286 Py_TPFLAGS_DEFAULT, /* tp_flags */
287 0, /* tp_doc */
288 0, /* tp_traverse */
289 0, /* tp_clear */
290 0, /* tp_richcompare */
291 0, /* tp_weaklistoffset */
292 (getiterfunc)rangeiter_getiter, /* tp_iter */
293 (iternextfunc)rangeiter_next, /* tp_iternext */
294 rangeiter_methods, /* tp_methods */
295};
296