blob: c1bd732b322670b60ee1582f55b2742a8d4dec16 [file] [log] [blame]
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001#include "Python.h"
Raymond Hettinger691d8052004-05-30 07:26:47 +00002#include "structmember.h"
Raymond Hettinger756b3f32004-01-29 06:37:52 +00003
4/* collections module implementation of a deque() datatype
5 Written and maintained by Raymond D. Hettinger <python@rcn.com>
6 Copyright (c) 2004 Python Software Foundation.
7 All rights reserved.
8*/
9
Raymond Hettinger77e8bf12004-10-01 15:25:53 +000010/* The block length may be set to any number over 1. Larger numbers
11 * reduce the number of calls to the memory allocator but take more
12 * memory. Ideally, BLOCKLEN should be set with an eye to the
Tim Peters5566e962006-07-28 00:23:15 +000013 * length of a cache line.
Raymond Hettinger77e8bf12004-10-01 15:25:53 +000014 */
15
Raymond Hettinger7d112df2004-11-02 02:11:35 +000016#define BLOCKLEN 62
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000017#define CENTER ((BLOCKLEN - 1) / 2)
Raymond Hettinger756b3f32004-01-29 06:37:52 +000018
Tim Petersd8768d32004-10-01 01:32:53 +000019/* A `dequeobject` is composed of a doubly-linked list of `block` nodes.
20 * This list is not circular (the leftmost block has leftlink==NULL,
21 * and the rightmost block has rightlink==NULL). A deque d's first
22 * element is at d.leftblock[leftindex] and its last element is at
23 * d.rightblock[rightindex]; note that, unlike as for Python slice
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000024 * indices, these indices are inclusive on both ends. By being inclusive
Tim Peters5566e962006-07-28 00:23:15 +000025 * on both ends, algorithms for left and right operations become
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000026 * symmetrical which simplifies the design.
Tim Peters5566e962006-07-28 00:23:15 +000027 *
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000028 * The list of blocks is never empty, so d.leftblock and d.rightblock
29 * are never equal to NULL.
30 *
31 * The indices, d.leftindex and d.rightindex are always in the range
32 * 0 <= index < BLOCKLEN.
Raymond Hettinger4ca4c7c2004-10-01 15:14:39 +000033 * Their exact relationship is:
34 * (d.leftindex + d.len - 1) % BLOCKLEN == d.rightindex.
Raymond Hettinger61f05fb2004-10-01 06:24:12 +000035 *
36 * Empty deques have d.len == 0; d.leftblock==d.rightblock;
37 * d.leftindex == CENTER+1; and d.rightindex == CENTER.
38 * Checking for d.len == 0 is the intended way to see whether d is empty.
39 *
Tim Peters5566e962006-07-28 00:23:15 +000040 * Whenever d.leftblock == d.rightblock,
Raymond Hettinger4ca4c7c2004-10-01 15:14:39 +000041 * d.leftindex + d.len - 1 == d.rightindex.
Tim Peters5566e962006-07-28 00:23:15 +000042 *
Raymond Hettinger4ca4c7c2004-10-01 15:14:39 +000043 * However, when d.leftblock != d.rightblock, d.leftindex and d.rightindex
Tim Peters5566e962006-07-28 00:23:15 +000044 * become indices into distinct blocks and either may be larger than the
Raymond Hettinger4ca4c7c2004-10-01 15:14:39 +000045 * other.
Tim Petersd8768d32004-10-01 01:32:53 +000046 */
47
Raymond Hettinger756b3f32004-01-29 06:37:52 +000048typedef struct BLOCK {
49 struct BLOCK *leftlink;
50 struct BLOCK *rightlink;
51 PyObject *data[BLOCKLEN];
52} block;
53
Tim Peters6f853562004-10-01 01:04:50 +000054static block *
Raymond Hettingerc5fa9922004-10-06 17:51:54 +000055newblock(block *leftlink, block *rightlink, int len) {
56 block *b;
57 /* To prevent len from overflowing INT_MAX on 64-bit machines, we
58 * refuse to allocate new blocks if the current len is dangerously
59 * close. There is some extra margin to prevent spurious arithmetic
60 * overflows at various places. The following check ensures that
61 * the blocks allocated to the deque, in the worst case, can only
62 * have INT_MAX-2 entries in total.
63 */
64 if (len >= INT_MAX - 2*BLOCKLEN) {
65 PyErr_SetString(PyExc_OverflowError,
66 "cannot add more blocks to the deque");
67 return NULL;
68 }
69 b = PyMem_Malloc(sizeof(block));
Raymond Hettinger756b3f32004-01-29 06:37:52 +000070 if (b == NULL) {
71 PyErr_NoMemory();
72 return NULL;
73 }
74 b->leftlink = leftlink;
75 b->rightlink = rightlink;
76 return b;
77}
78
79typedef struct {
80 PyObject_HEAD
81 block *leftblock;
82 block *rightblock;
Tim Petersd8768d32004-10-01 01:32:53 +000083 int leftindex; /* in range(BLOCKLEN) */
84 int rightindex; /* in range(BLOCKLEN) */
Raymond Hettinger756b3f32004-01-29 06:37:52 +000085 int len;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +000086 long state; /* incremented whenever the indices move */
Raymond Hettinger691d8052004-05-30 07:26:47 +000087 PyObject *weakreflist; /* List of weak references */
Raymond Hettinger756b3f32004-01-29 06:37:52 +000088} dequeobject;
89
Neal Norwitz87f10132004-02-29 15:40:53 +000090static PyTypeObject deque_type;
Raymond Hettinger738ec902004-02-29 02:15:56 +000091
Raymond Hettinger756b3f32004-01-29 06:37:52 +000092static PyObject *
93deque_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
94{
95 dequeobject *deque;
96 block *b;
97
Georg Brandl02c42872005-08-26 06:42:30 +000098 if (!_PyArg_NoKeywords("deque()", kwds))
99 return NULL;
100
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000101 /* create dequeobject structure */
102 deque = (dequeobject *)type->tp_alloc(type, 0);
103 if (deque == NULL)
104 return NULL;
Tim Peters1065f752004-10-01 01:03:29 +0000105
Raymond Hettingerc5fa9922004-10-06 17:51:54 +0000106 b = newblock(NULL, NULL, 0);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000107 if (b == NULL) {
108 Py_DECREF(deque);
109 return NULL;
110 }
111
Raymond Hettinger61f05fb2004-10-01 06:24:12 +0000112 assert(BLOCKLEN >= 2);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000113 deque->leftblock = b;
114 deque->rightblock = b;
Raymond Hettinger61f05fb2004-10-01 06:24:12 +0000115 deque->leftindex = CENTER + 1;
116 deque->rightindex = CENTER;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000117 deque->len = 0;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000118 deque->state = 0;
Raymond Hettinger691d8052004-05-30 07:26:47 +0000119 deque->weakreflist = NULL;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000120
121 return (PyObject *)deque;
122}
123
124static PyObject *
125deque_append(dequeobject *deque, PyObject *item)
126{
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000127 deque->state++;
Armin Rigo974d7572004-10-02 13:59:34 +0000128 if (deque->rightindex == BLOCKLEN-1) {
Raymond Hettingerc5fa9922004-10-06 17:51:54 +0000129 block *b = newblock(deque->rightblock, NULL, deque->len);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000130 if (b == NULL)
131 return NULL;
132 assert(deque->rightblock->rightlink == NULL);
133 deque->rightblock->rightlink = b;
134 deque->rightblock = b;
Armin Rigo974d7572004-10-02 13:59:34 +0000135 deque->rightindex = -1;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000136 }
137 Py_INCREF(item);
Armin Rigo974d7572004-10-02 13:59:34 +0000138 deque->len++;
139 deque->rightindex++;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000140 deque->rightblock->data[deque->rightindex] = item;
141 Py_RETURN_NONE;
142}
143
144PyDoc_STRVAR(append_doc, "Add an element to the right side of the deque.");
145
146static PyObject *
147deque_appendleft(dequeobject *deque, PyObject *item)
148{
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000149 deque->state++;
Armin Rigo974d7572004-10-02 13:59:34 +0000150 if (deque->leftindex == 0) {
Raymond Hettingerc5fa9922004-10-06 17:51:54 +0000151 block *b = newblock(NULL, deque->leftblock, deque->len);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000152 if (b == NULL)
153 return NULL;
154 assert(deque->leftblock->leftlink == NULL);
155 deque->leftblock->leftlink = b;
156 deque->leftblock = b;
Armin Rigo974d7572004-10-02 13:59:34 +0000157 deque->leftindex = BLOCKLEN;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000158 }
159 Py_INCREF(item);
Armin Rigo974d7572004-10-02 13:59:34 +0000160 deque->len++;
161 deque->leftindex--;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000162 deque->leftblock->data[deque->leftindex] = item;
163 Py_RETURN_NONE;
164}
165
166PyDoc_STRVAR(appendleft_doc, "Add an element to the left side of the deque.");
167
168static PyObject *
169deque_pop(dequeobject *deque, PyObject *unused)
170{
171 PyObject *item;
172 block *prevblock;
173
174 if (deque->len == 0) {
Raymond Hettinger738ec902004-02-29 02:15:56 +0000175 PyErr_SetString(PyExc_IndexError, "pop from an empty deque");
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000176 return NULL;
177 }
178 item = deque->rightblock->data[deque->rightindex];
179 deque->rightindex--;
180 deque->len--;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000181 deque->state++;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000182
183 if (deque->rightindex == -1) {
184 if (deque->len == 0) {
185 assert(deque->leftblock == deque->rightblock);
186 assert(deque->leftindex == deque->rightindex+1);
187 /* re-center instead of freeing a block */
Raymond Hettinger61f05fb2004-10-01 06:24:12 +0000188 deque->leftindex = CENTER + 1;
189 deque->rightindex = CENTER;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000190 } else {
191 prevblock = deque->rightblock->leftlink;
192 assert(deque->leftblock != deque->rightblock);
193 PyMem_Free(deque->rightblock);
194 prevblock->rightlink = NULL;
195 deque->rightblock = prevblock;
196 deque->rightindex = BLOCKLEN - 1;
197 }
198 }
199 return item;
200}
201
202PyDoc_STRVAR(pop_doc, "Remove and return the rightmost element.");
203
204static PyObject *
205deque_popleft(dequeobject *deque, PyObject *unused)
206{
207 PyObject *item;
208 block *prevblock;
209
210 if (deque->len == 0) {
Raymond Hettinger738ec902004-02-29 02:15:56 +0000211 PyErr_SetString(PyExc_IndexError, "pop from an empty deque");
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000212 return NULL;
213 }
Neal Norwitzccc56c72006-08-13 18:13:02 +0000214 assert(deque->leftblock != NULL);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000215 item = deque->leftblock->data[deque->leftindex];
216 deque->leftindex++;
217 deque->len--;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000218 deque->state++;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000219
220 if (deque->leftindex == BLOCKLEN) {
221 if (deque->len == 0) {
222 assert(deque->leftblock == deque->rightblock);
223 assert(deque->leftindex == deque->rightindex+1);
224 /* re-center instead of freeing a block */
Raymond Hettinger61f05fb2004-10-01 06:24:12 +0000225 deque->leftindex = CENTER + 1;
226 deque->rightindex = CENTER;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000227 } else {
228 assert(deque->leftblock != deque->rightblock);
229 prevblock = deque->leftblock->rightlink;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000230 PyMem_Free(deque->leftblock);
231 assert(prevblock != NULL);
232 prevblock->leftlink = NULL;
233 deque->leftblock = prevblock;
234 deque->leftindex = 0;
235 }
236 }
237 return item;
238}
239
240PyDoc_STRVAR(popleft_doc, "Remove and return the leftmost element.");
241
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000242static PyObject *
243deque_extend(dequeobject *deque, PyObject *iterable)
244{
245 PyObject *it, *item;
246
247 it = PyObject_GetIter(iterable);
248 if (it == NULL)
249 return NULL;
250
251 while ((item = PyIter_Next(it)) != NULL) {
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000252 deque->state++;
Armin Rigo974d7572004-10-02 13:59:34 +0000253 if (deque->rightindex == BLOCKLEN-1) {
Raymond Hettingerc5fa9922004-10-06 17:51:54 +0000254 block *b = newblock(deque->rightblock, NULL,
255 deque->len);
Raymond Hettingerc058fd12004-02-07 02:45:22 +0000256 if (b == NULL) {
257 Py_DECREF(item);
258 Py_DECREF(it);
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000259 return NULL;
Raymond Hettingerc058fd12004-02-07 02:45:22 +0000260 }
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000261 assert(deque->rightblock->rightlink == NULL);
262 deque->rightblock->rightlink = b;
263 deque->rightblock = b;
Armin Rigo974d7572004-10-02 13:59:34 +0000264 deque->rightindex = -1;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000265 }
Armin Rigo974d7572004-10-02 13:59:34 +0000266 deque->len++;
267 deque->rightindex++;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000268 deque->rightblock->data[deque->rightindex] = item;
269 }
270 Py_DECREF(it);
Tim Peters1065f752004-10-01 01:03:29 +0000271 if (PyErr_Occurred())
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000272 return NULL;
273 Py_RETURN_NONE;
274}
275
Tim Peters1065f752004-10-01 01:03:29 +0000276PyDoc_STRVAR(extend_doc,
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000277"Extend the right side of the deque with elements from the iterable");
278
279static PyObject *
280deque_extendleft(dequeobject *deque, PyObject *iterable)
281{
282 PyObject *it, *item;
283
284 it = PyObject_GetIter(iterable);
285 if (it == NULL)
286 return NULL;
287
288 while ((item = PyIter_Next(it)) != NULL) {
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000289 deque->state++;
Armin Rigo974d7572004-10-02 13:59:34 +0000290 if (deque->leftindex == 0) {
Raymond Hettingerc5fa9922004-10-06 17:51:54 +0000291 block *b = newblock(NULL, deque->leftblock,
292 deque->len);
Raymond Hettingerc058fd12004-02-07 02:45:22 +0000293 if (b == NULL) {
294 Py_DECREF(item);
295 Py_DECREF(it);
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000296 return NULL;
Raymond Hettingerc058fd12004-02-07 02:45:22 +0000297 }
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000298 assert(deque->leftblock->leftlink == NULL);
299 deque->leftblock->leftlink = b;
300 deque->leftblock = b;
Armin Rigo974d7572004-10-02 13:59:34 +0000301 deque->leftindex = BLOCKLEN;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000302 }
Armin Rigo974d7572004-10-02 13:59:34 +0000303 deque->len++;
304 deque->leftindex--;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000305 deque->leftblock->data[deque->leftindex] = item;
306 }
307 Py_DECREF(it);
Raymond Hettingera435c532004-07-09 04:10:20 +0000308 if (PyErr_Occurred())
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000309 return NULL;
310 Py_RETURN_NONE;
311}
312
Tim Peters1065f752004-10-01 01:03:29 +0000313PyDoc_STRVAR(extendleft_doc,
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000314"Extend the left side of the deque with elements from the iterable");
315
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000316static int
Martin v. Löwis18e16552006-02-15 17:27:45 +0000317_deque_rotate(dequeobject *deque, Py_ssize_t n)
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000318{
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000319 int i, len=deque->len, halflen=(len+1)>>1;
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000320 PyObject *item, *rv;
321
Raymond Hettingeree33b272004-02-08 04:05:26 +0000322 if (len == 0)
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000323 return 0;
Raymond Hettingeree33b272004-02-08 04:05:26 +0000324 if (n > halflen || n < -halflen) {
325 n %= len;
326 if (n > halflen)
327 n -= len;
328 else if (n < -halflen)
329 n += len;
330 }
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000331
332 for (i=0 ; i<n ; i++) {
333 item = deque_pop(deque, NULL);
Raymond Hettingera435c532004-07-09 04:10:20 +0000334 assert (item != NULL);
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000335 rv = deque_appendleft(deque, item);
336 Py_DECREF(item);
337 if (rv == NULL)
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000338 return -1;
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000339 Py_DECREF(rv);
340 }
341 for (i=0 ; i>n ; i--) {
342 item = deque_popleft(deque, NULL);
Raymond Hettingera435c532004-07-09 04:10:20 +0000343 assert (item != NULL);
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000344 rv = deque_append(deque, item);
345 Py_DECREF(item);
346 if (rv == NULL)
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000347 return -1;
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000348 Py_DECREF(rv);
349 }
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000350 return 0;
351}
352
353static PyObject *
354deque_rotate(dequeobject *deque, PyObject *args)
355{
356 int n=1;
357
358 if (!PyArg_ParseTuple(args, "|i:rotate", &n))
359 return NULL;
360 if (_deque_rotate(deque, n) == 0)
361 Py_RETURN_NONE;
362 return NULL;
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000363}
364
Tim Peters1065f752004-10-01 01:03:29 +0000365PyDoc_STRVAR(rotate_doc,
Raymond Hettingeree33b272004-02-08 04:05:26 +0000366"Rotate the deque n steps to the right (default n=1). If n is negative, rotates left.");
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000367
Martin v. Löwis18e16552006-02-15 17:27:45 +0000368static Py_ssize_t
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000369deque_len(dequeobject *deque)
370{
371 return deque->len;
372}
373
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000374static PyObject *
375deque_remove(dequeobject *deque, PyObject *value)
376{
Martin v. Löwis18e16552006-02-15 17:27:45 +0000377 Py_ssize_t i, n=deque->len;
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000378
379 for (i=0 ; i<n ; i++) {
380 PyObject *item = deque->leftblock->data[deque->leftindex];
381 int cmp = PyObject_RichCompareBool(item, value, Py_EQ);
Raymond Hettingerd73202c2005-03-19 00:00:51 +0000382
383 if (deque->len != n) {
Tim Peters5566e962006-07-28 00:23:15 +0000384 PyErr_SetString(PyExc_IndexError,
Raymond Hettingerd73202c2005-03-19 00:00:51 +0000385 "deque mutated during remove().");
386 return NULL;
387 }
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000388 if (cmp > 0) {
Raymond Hettingerd73202c2005-03-19 00:00:51 +0000389 PyObject *tgt = deque_popleft(deque, NULL);
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000390 assert (tgt != NULL);
391 Py_DECREF(tgt);
392 if (_deque_rotate(deque, i) == -1)
393 return NULL;
394 Py_RETURN_NONE;
395 }
396 else if (cmp < 0) {
397 _deque_rotate(deque, i);
398 return NULL;
399 }
400 _deque_rotate(deque, -1);
401 }
402 PyErr_SetString(PyExc_ValueError, "deque.remove(x): x not in deque");
403 return NULL;
404}
405
406PyDoc_STRVAR(remove_doc,
407"D.remove(value) -- remove first occurrence of value.");
408
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000409static int
410deque_clear(dequeobject *deque)
411{
412 PyObject *item;
413
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000414 while (deque->len) {
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000415 item = deque_pop(deque, NULL);
Raymond Hettingera435c532004-07-09 04:10:20 +0000416 assert (item != NULL);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000417 Py_DECREF(item);
418 }
419 assert(deque->leftblock == deque->rightblock &&
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000420 deque->leftindex - 1 == deque->rightindex &&
421 deque->len == 0);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000422 return 0;
423}
424
425static PyObject *
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000426deque_item(dequeobject *deque, int i)
427{
428 block *b;
429 PyObject *item;
Armin Rigo974d7572004-10-02 13:59:34 +0000430 int n, index=i;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000431
432 if (i < 0 || i >= deque->len) {
433 PyErr_SetString(PyExc_IndexError,
434 "deque index out of range");
435 return NULL;
436 }
437
Raymond Hettinger6c79a512004-03-04 08:00:54 +0000438 if (i == 0) {
439 i = deque->leftindex;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000440 b = deque->leftblock;
Raymond Hettinger6c79a512004-03-04 08:00:54 +0000441 } else if (i == deque->len - 1) {
442 i = deque->rightindex;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000443 b = deque->rightblock;
Raymond Hettinger6c79a512004-03-04 08:00:54 +0000444 } else {
445 i += deque->leftindex;
446 n = i / BLOCKLEN;
447 i %= BLOCKLEN;
Armin Rigo974d7572004-10-02 13:59:34 +0000448 if (index < (deque->len >> 1)) {
Raymond Hettinger6c79a512004-03-04 08:00:54 +0000449 b = deque->leftblock;
450 while (n--)
451 b = b->rightlink;
452 } else {
453 n = (deque->leftindex + deque->len - 1) / BLOCKLEN - n;
454 b = deque->rightblock;
455 while (n--)
456 b = b->leftlink;
457 }
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000458 }
459 item = b->data[i];
460 Py_INCREF(item);
461 return item;
462}
463
Raymond Hettinger616f4f62004-06-26 04:42:06 +0000464/* delitem() implemented in terms of rotate for simplicity and reasonable
465 performance near the end points. If for some reason this method becomes
Tim Peters1065f752004-10-01 01:03:29 +0000466 popular, it is not hard to re-implement this using direct data movement
Raymond Hettinger616f4f62004-06-26 04:42:06 +0000467 (similar to code in list slice assignment) and achieve a two or threefold
468 performance boost.
469*/
470
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000471static int
Martin v. Löwis18e16552006-02-15 17:27:45 +0000472deque_del_item(dequeobject *deque, Py_ssize_t i)
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000473{
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000474 PyObject *item;
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000475
Tim Peters1065f752004-10-01 01:03:29 +0000476 assert (i >= 0 && i < deque->len);
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000477 if (_deque_rotate(deque, -i) == -1)
478 return -1;
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000479
480 item = deque_popleft(deque, NULL);
Raymond Hettingera435c532004-07-09 04:10:20 +0000481 assert (item != NULL);
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000482 Py_DECREF(item);
483
Raymond Hettingerdcb9d942004-10-09 16:02:18 +0000484 return _deque_rotate(deque, i);
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000485}
486
487static int
Martin v. Löwis18e16552006-02-15 17:27:45 +0000488deque_ass_item(dequeobject *deque, Py_ssize_t i, PyObject *v)
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000489{
490 PyObject *old_value;
491 block *b;
Martin v. Löwisad0a4622006-02-16 14:30:23 +0000492 Py_ssize_t n, len=deque->len, halflen=(len+1)>>1, index=i;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000493
Raymond Hettingera435c532004-07-09 04:10:20 +0000494 if (i < 0 || i >= len) {
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000495 PyErr_SetString(PyExc_IndexError,
496 "deque index out of range");
497 return -1;
498 }
Raymond Hettinger0e371f22004-05-12 20:55:56 +0000499 if (v == NULL)
500 return deque_del_item(deque, i);
501
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000502 i += deque->leftindex;
503 n = i / BLOCKLEN;
504 i %= BLOCKLEN;
Raymond Hettingera435c532004-07-09 04:10:20 +0000505 if (index <= halflen) {
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000506 b = deque->leftblock;
507 while (n--)
508 b = b->rightlink;
509 } else {
Raymond Hettingera435c532004-07-09 04:10:20 +0000510 n = (deque->leftindex + len - 1) / BLOCKLEN - n;
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000511 b = deque->rightblock;
512 while (n--)
513 b = b->leftlink;
514 }
515 Py_INCREF(v);
516 old_value = b->data[i];
517 b->data[i] = v;
518 Py_DECREF(old_value);
519 return 0;
520}
521
522static PyObject *
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000523deque_clearmethod(dequeobject *deque)
524{
Raymond Hettingera435c532004-07-09 04:10:20 +0000525 int rv;
526
527 rv = deque_clear(deque);
528 assert (rv != -1);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000529 Py_RETURN_NONE;
530}
531
532PyDoc_STRVAR(clear_doc, "Remove all elements from the deque.");
533
534static void
535deque_dealloc(dequeobject *deque)
536{
537 PyObject_GC_UnTrack(deque);
Raymond Hettinger691d8052004-05-30 07:26:47 +0000538 if (deque->weakreflist != NULL)
539 PyObject_ClearWeakRefs((PyObject *) deque);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000540 if (deque->leftblock != NULL) {
Raymond Hettingere9c89e82004-07-19 00:10:24 +0000541 deque_clear(deque);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000542 assert(deque->leftblock != NULL);
543 PyMem_Free(deque->leftblock);
544 }
545 deque->leftblock = NULL;
546 deque->rightblock = NULL;
547 deque->ob_type->tp_free(deque);
548}
549
550static int
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000551deque_traverse(dequeobject *deque, visitproc visit, void *arg)
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000552{
Tim Peters10c7e862004-10-01 02:01:04 +0000553 block *b;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000554 PyObject *item;
Tim Peters10c7e862004-10-01 02:01:04 +0000555 int index;
556 int indexlo = deque->leftindex;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000557
Tim Peters10c7e862004-10-01 02:01:04 +0000558 for (b = deque->leftblock; b != NULL; b = b->rightlink) {
559 const int indexhi = b == deque->rightblock ?
560 deque->rightindex :
561 BLOCKLEN - 1;
562
563 for (index = indexlo; index <= indexhi; ++index) {
564 item = b->data[index];
565 Py_VISIT(item);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000566 }
Tim Peters10c7e862004-10-01 02:01:04 +0000567 indexlo = 0;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000568 }
569 return 0;
570}
571
572static long
573deque_nohash(PyObject *self)
574{
575 PyErr_SetString(PyExc_TypeError, "deque objects are unhashable");
576 return -1;
577}
578
579static PyObject *
580deque_copy(PyObject *deque)
581{
Tim Peters1065f752004-10-01 01:03:29 +0000582 return PyObject_CallFunctionObjArgs((PyObject *)(deque->ob_type),
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000583 deque, NULL);
584}
585
586PyDoc_STRVAR(copy_doc, "Return a shallow copy of a deque.");
587
588static PyObject *
589deque_reduce(dequeobject *deque)
590{
Raymond Hettinger952f8802004-11-09 07:27:35 +0000591 PyObject *dict, *result, *it;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000592
Raymond Hettinger952f8802004-11-09 07:27:35 +0000593 dict = PyObject_GetAttrString((PyObject *)deque, "__dict__");
594 if (dict == NULL) {
595 PyErr_Clear();
596 dict = Py_None;
597 Py_INCREF(dict);
598 }
599 it = PyObject_GetIter((PyObject *)deque);
600 if (it == NULL) {
601 Py_DECREF(dict);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000602 return NULL;
603 }
Raymond Hettinger952f8802004-11-09 07:27:35 +0000604 result = Py_BuildValue("O()ON", deque->ob_type, dict, it);
605 Py_DECREF(dict);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000606 return result;
607}
608
609PyDoc_STRVAR(reduce_doc, "Return state information for pickling.");
610
611static PyObject *
612deque_repr(PyObject *deque)
613{
614 PyObject *aslist, *result, *fmt;
615 int i;
616
617 i = Py_ReprEnter(deque);
618 if (i != 0) {
619 if (i < 0)
620 return NULL;
621 return PyString_FromString("[...]");
622 }
623
624 aslist = PySequence_List(deque);
625 if (aslist == NULL) {
626 Py_ReprLeave(deque);
627 return NULL;
628 }
629
630 fmt = PyString_FromString("deque(%r)");
631 if (fmt == NULL) {
632 Py_DECREF(aslist);
633 Py_ReprLeave(deque);
634 return NULL;
635 }
636 result = PyString_Format(fmt, aslist);
637 Py_DECREF(fmt);
638 Py_DECREF(aslist);
639 Py_ReprLeave(deque);
640 return result;
641}
642
643static int
644deque_tp_print(PyObject *deque, FILE *fp, int flags)
645{
646 PyObject *it, *item;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000647 char *emit = ""; /* No separator emitted on first pass */
648 char *separator = ", ";
649 int i;
650
651 i = Py_ReprEnter(deque);
652 if (i != 0) {
653 if (i < 0)
654 return i;
655 fputs("[...]", fp);
656 return 0;
657 }
658
659 it = PyObject_GetIter(deque);
660 if (it == NULL)
661 return -1;
662
663 fputs("deque([", fp);
664 while ((item = PyIter_Next(it)) != NULL) {
665 fputs(emit, fp);
666 emit = separator;
667 if (PyObject_Print(item, fp, 0) != 0) {
668 Py_DECREF(item);
669 Py_DECREF(it);
670 Py_ReprLeave(deque);
671 return -1;
672 }
673 Py_DECREF(item);
674 }
675 Py_ReprLeave(deque);
676 Py_DECREF(it);
Tim Peters1065f752004-10-01 01:03:29 +0000677 if (PyErr_Occurred())
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000678 return -1;
679 fputs("])", fp);
680 return 0;
681}
682
Raymond Hettinger738ec902004-02-29 02:15:56 +0000683static PyObject *
684deque_richcompare(PyObject *v, PyObject *w, int op)
685{
686 PyObject *it1=NULL, *it2=NULL, *x, *y;
Armin Rigo974d7572004-10-02 13:59:34 +0000687 int b, vs, ws, cmp=-1;
Raymond Hettinger738ec902004-02-29 02:15:56 +0000688
Tim Peters1065f752004-10-01 01:03:29 +0000689 if (!PyObject_TypeCheck(v, &deque_type) ||
Raymond Hettinger285cfcc2004-05-18 18:15:03 +0000690 !PyObject_TypeCheck(w, &deque_type)) {
Raymond Hettinger738ec902004-02-29 02:15:56 +0000691 Py_INCREF(Py_NotImplemented);
692 return Py_NotImplemented;
693 }
694
695 /* Shortcuts */
696 vs = ((dequeobject *)v)->len;
697 ws = ((dequeobject *)w)->len;
698 if (op == Py_EQ) {
699 if (v == w)
700 Py_RETURN_TRUE;
701 if (vs != ws)
702 Py_RETURN_FALSE;
703 }
704 if (op == Py_NE) {
705 if (v == w)
706 Py_RETURN_FALSE;
707 if (vs != ws)
708 Py_RETURN_TRUE;
709 }
710
711 /* Search for the first index where items are different */
712 it1 = PyObject_GetIter(v);
713 if (it1 == NULL)
714 goto done;
715 it2 = PyObject_GetIter(w);
716 if (it2 == NULL)
717 goto done;
Armin Rigo974d7572004-10-02 13:59:34 +0000718 for (;;) {
Raymond Hettinger738ec902004-02-29 02:15:56 +0000719 x = PyIter_Next(it1);
Armin Rigo974d7572004-10-02 13:59:34 +0000720 if (x == NULL && PyErr_Occurred())
Raymond Hettinger738ec902004-02-29 02:15:56 +0000721 goto done;
722 y = PyIter_Next(it2);
Armin Rigo974d7572004-10-02 13:59:34 +0000723 if (x == NULL || y == NULL)
724 break;
Raymond Hettinger738ec902004-02-29 02:15:56 +0000725 b = PyObject_RichCompareBool(x, y, Py_EQ);
726 if (b == 0) {
727 cmp = PyObject_RichCompareBool(x, y, op);
728 Py_DECREF(x);
729 Py_DECREF(y);
730 goto done;
731 }
732 Py_DECREF(x);
733 Py_DECREF(y);
734 if (b == -1)
735 goto done;
736 }
Armin Rigo974d7572004-10-02 13:59:34 +0000737 /* We reached the end of one deque or both */
738 Py_XDECREF(x);
739 Py_XDECREF(y);
740 if (PyErr_Occurred())
741 goto done;
Raymond Hettinger738ec902004-02-29 02:15:56 +0000742 switch (op) {
Armin Rigo974d7572004-10-02 13:59:34 +0000743 case Py_LT: cmp = y != NULL; break; /* if w was longer */
744 case Py_LE: cmp = x == NULL; break; /* if v was not longer */
745 case Py_EQ: cmp = x == y; break; /* if we reached the end of both */
746 case Py_NE: cmp = x != y; break; /* if one deque continues */
747 case Py_GT: cmp = x != NULL; break; /* if v was longer */
748 case Py_GE: cmp = y == NULL; break; /* if w was not longer */
Raymond Hettinger738ec902004-02-29 02:15:56 +0000749 }
Tim Peters1065f752004-10-01 01:03:29 +0000750
Raymond Hettinger738ec902004-02-29 02:15:56 +0000751done:
752 Py_XDECREF(it1);
753 Py_XDECREF(it2);
754 if (cmp == 1)
755 Py_RETURN_TRUE;
756 if (cmp == 0)
757 Py_RETURN_FALSE;
758 return NULL;
759}
760
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000761static int
762deque_init(dequeobject *deque, PyObject *args, PyObject *kwds)
763{
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000764 PyObject *iterable = NULL;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000765
766 if (!PyArg_UnpackTuple(args, "deque", 0, 1, &iterable))
767 return -1;
768
769 if (iterable != NULL) {
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000770 PyObject *rv = deque_extend(deque, iterable);
771 if (rv == NULL)
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000772 return -1;
Raymond Hettinger3ba85c22004-02-06 19:04:56 +0000773 Py_DECREF(rv);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000774 }
775 return 0;
776}
777
778static PySequenceMethods deque_as_sequence = {
Martin v. Löwis18e16552006-02-15 17:27:45 +0000779 (lenfunc)deque_len, /* sq_length */
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000780 0, /* sq_concat */
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000781 0, /* sq_repeat */
Martin v. Löwis18e16552006-02-15 17:27:45 +0000782 (ssizeargfunc)deque_item, /* sq_item */
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000783 0, /* sq_slice */
Martin v. Löwis18e16552006-02-15 17:27:45 +0000784 (ssizeobjargproc)deque_ass_item, /* sq_ass_item */
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000785};
786
787/* deque object ********************************************************/
788
789static PyObject *deque_iter(dequeobject *deque);
Raymond Hettinger1e5809f2004-03-18 11:04:57 +0000790static PyObject *deque_reviter(dequeobject *deque);
Tim Peters1065f752004-10-01 01:03:29 +0000791PyDoc_STRVAR(reversed_doc,
Raymond Hettinger1e5809f2004-03-18 11:04:57 +0000792 "D.__reversed__() -- return a reverse iterator over the deque");
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000793
794static PyMethodDef deque_methods[] = {
Tim Peters1065f752004-10-01 01:03:29 +0000795 {"append", (PyCFunction)deque_append,
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000796 METH_O, append_doc},
Tim Peters1065f752004-10-01 01:03:29 +0000797 {"appendleft", (PyCFunction)deque_appendleft,
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000798 METH_O, appendleft_doc},
Tim Peters1065f752004-10-01 01:03:29 +0000799 {"clear", (PyCFunction)deque_clearmethod,
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000800 METH_NOARGS, clear_doc},
Tim Peters1065f752004-10-01 01:03:29 +0000801 {"__copy__", (PyCFunction)deque_copy,
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000802 METH_NOARGS, copy_doc},
Tim Peters1065f752004-10-01 01:03:29 +0000803 {"extend", (PyCFunction)deque_extend,
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000804 METH_O, extend_doc},
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000805 {"extendleft", (PyCFunction)deque_extendleft,
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000806 METH_O, extendleft_doc},
Tim Peters1065f752004-10-01 01:03:29 +0000807 {"pop", (PyCFunction)deque_pop,
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000808 METH_NOARGS, pop_doc},
Tim Peters1065f752004-10-01 01:03:29 +0000809 {"popleft", (PyCFunction)deque_popleft,
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000810 METH_NOARGS, popleft_doc},
Tim Peters1065f752004-10-01 01:03:29 +0000811 {"__reduce__", (PyCFunction)deque_reduce,
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000812 METH_NOARGS, reduce_doc},
Raymond Hettinger4aec61e2005-03-18 21:20:23 +0000813 {"remove", (PyCFunction)deque_remove,
814 METH_O, remove_doc},
Tim Peters1065f752004-10-01 01:03:29 +0000815 {"__reversed__", (PyCFunction)deque_reviter,
Raymond Hettinger1e5809f2004-03-18 11:04:57 +0000816 METH_NOARGS, reversed_doc},
Tim Peters1065f752004-10-01 01:03:29 +0000817 {"rotate", (PyCFunction)deque_rotate,
Raymond Hettinger5c5eb862004-02-07 21:13:00 +0000818 METH_VARARGS, rotate_doc},
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000819 {NULL, NULL} /* sentinel */
820};
821
822PyDoc_STRVAR(deque_doc,
823"deque(iterable) --> deque object\n\
824\n\
825Build an ordered collection accessible from endpoints only.");
826
Neal Norwitz87f10132004-02-29 15:40:53 +0000827static PyTypeObject deque_type = {
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000828 PyObject_HEAD_INIT(NULL)
829 0, /* ob_size */
830 "collections.deque", /* tp_name */
831 sizeof(dequeobject), /* tp_basicsize */
832 0, /* tp_itemsize */
833 /* methods */
834 (destructor)deque_dealloc, /* tp_dealloc */
Georg Brandld37ac692006-03-30 11:58:57 +0000835 deque_tp_print, /* tp_print */
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000836 0, /* tp_getattr */
837 0, /* tp_setattr */
838 0, /* tp_compare */
Georg Brandld37ac692006-03-30 11:58:57 +0000839 deque_repr, /* tp_repr */
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000840 0, /* tp_as_number */
841 &deque_as_sequence, /* tp_as_sequence */
842 0, /* tp_as_mapping */
843 deque_nohash, /* tp_hash */
844 0, /* tp_call */
845 0, /* tp_str */
846 PyObject_GenericGetAttr, /* tp_getattro */
847 0, /* tp_setattro */
848 0, /* tp_as_buffer */
Raymond Hettinger691d8052004-05-30 07:26:47 +0000849 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HAVE_GC |
850 Py_TPFLAGS_HAVE_WEAKREFS, /* tp_flags */
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000851 deque_doc, /* tp_doc */
Raymond Hettinger0a4977c2004-03-01 23:16:22 +0000852 (traverseproc)deque_traverse, /* tp_traverse */
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000853 (inquiry)deque_clear, /* tp_clear */
Raymond Hettinger738ec902004-02-29 02:15:56 +0000854 (richcmpfunc)deque_richcompare, /* tp_richcompare */
Raymond Hettinger691d8052004-05-30 07:26:47 +0000855 offsetof(dequeobject, weakreflist), /* tp_weaklistoffset*/
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000856 (getiterfunc)deque_iter, /* tp_iter */
857 0, /* tp_iternext */
858 deque_methods, /* tp_methods */
859 0, /* tp_members */
860 0, /* tp_getset */
861 0, /* tp_base */
862 0, /* tp_dict */
863 0, /* tp_descr_get */
864 0, /* tp_descr_set */
865 0, /* tp_dictoffset */
866 (initproc)deque_init, /* tp_init */
867 PyType_GenericAlloc, /* tp_alloc */
868 deque_new, /* tp_new */
869 PyObject_GC_Del, /* tp_free */
870};
871
872/*********************** Deque Iterator **************************/
873
874typedef struct {
875 PyObject_HEAD
876 int index;
877 block *b;
878 dequeobject *deque;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000879 long state; /* state when the iterator is created */
880 int counter; /* number of items remaining for iteration */
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000881} dequeiterobject;
882
883PyTypeObject dequeiter_type;
884
885static PyObject *
886deque_iter(dequeobject *deque)
887{
888 dequeiterobject *it;
889
890 it = PyObject_New(dequeiterobject, &dequeiter_type);
891 if (it == NULL)
892 return NULL;
893 it->b = deque->leftblock;
894 it->index = deque->leftindex;
895 Py_INCREF(deque);
896 it->deque = deque;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000897 it->state = deque->state;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +0000898 it->counter = deque->len;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000899 return (PyObject *)it;
900}
901
902static void
903dequeiter_dealloc(dequeiterobject *dio)
904{
905 Py_XDECREF(dio->deque);
906 dio->ob_type->tp_free(dio);
907}
908
909static PyObject *
910dequeiter_next(dequeiterobject *it)
911{
912 PyObject *item;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000913
914 if (it->counter == 0)
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000915 return NULL;
916
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000917 if (it->deque->state != it->state) {
Raymond Hettinger7892b1c2004-04-12 18:10:01 +0000918 it->counter = 0;
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000919 PyErr_SetString(PyExc_RuntimeError,
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000920 "deque mutated during iteration");
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000921 return NULL;
922 }
Tim Peters5566e962006-07-28 00:23:15 +0000923 assert (!(it->b == it->deque->rightblock &&
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000924 it->index > it->deque->rightindex));
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000925
926 item = it->b->data[it->index];
927 it->index++;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +0000928 it->counter--;
929 if (it->index == BLOCKLEN && it->counter > 0) {
930 assert (it->b->rightlink != NULL);
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000931 it->b = it->b->rightlink;
932 it->index = 0;
933 }
934 Py_INCREF(item);
935 return item;
936}
937
Raymond Hettinger6b27cda2005-09-24 21:23:05 +0000938static PyObject *
Raymond Hettinger1e5809f2004-03-18 11:04:57 +0000939dequeiter_len(dequeiterobject *it)
940{
Raymond Hettinger6b27cda2005-09-24 21:23:05 +0000941 return PyInt_FromLong(it->counter);
Raymond Hettinger1e5809f2004-03-18 11:04:57 +0000942}
943
Armin Rigof5b3e362006-02-11 21:32:43 +0000944PyDoc_STRVAR(length_hint_doc, "Private method returning an estimate of len(list(it)).");
Raymond Hettinger6b27cda2005-09-24 21:23:05 +0000945
946static PyMethodDef dequeiter_methods[] = {
Armin Rigof5b3e362006-02-11 21:32:43 +0000947 {"__length_hint__", (PyCFunction)dequeiter_len, METH_NOARGS, length_hint_doc},
Raymond Hettinger6b27cda2005-09-24 21:23:05 +0000948 {NULL, NULL} /* sentinel */
Raymond Hettinger1e5809f2004-03-18 11:04:57 +0000949};
950
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000951PyTypeObject dequeiter_type = {
952 PyObject_HEAD_INIT(NULL)
953 0, /* ob_size */
954 "deque_iterator", /* tp_name */
955 sizeof(dequeiterobject), /* tp_basicsize */
956 0, /* tp_itemsize */
957 /* methods */
958 (destructor)dequeiter_dealloc, /* tp_dealloc */
959 0, /* tp_print */
960 0, /* tp_getattr */
961 0, /* tp_setattr */
962 0, /* tp_compare */
963 0, /* tp_repr */
964 0, /* tp_as_number */
Raymond Hettinger6b27cda2005-09-24 21:23:05 +0000965 0, /* tp_as_sequence */
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000966 0, /* tp_as_mapping */
967 0, /* tp_hash */
968 0, /* tp_call */
969 0, /* tp_str */
970 PyObject_GenericGetAttr, /* tp_getattro */
971 0, /* tp_setattro */
972 0, /* tp_as_buffer */
973 Py_TPFLAGS_DEFAULT, /* tp_flags */
974 0, /* tp_doc */
975 0, /* tp_traverse */
976 0, /* tp_clear */
977 0, /* tp_richcompare */
978 0, /* tp_weaklistoffset */
979 PyObject_SelfIter, /* tp_iter */
980 (iternextfunc)dequeiter_next, /* tp_iternext */
Raymond Hettinger6b27cda2005-09-24 21:23:05 +0000981 dequeiter_methods, /* tp_methods */
Raymond Hettinger756b3f32004-01-29 06:37:52 +0000982 0,
983};
984
Raymond Hettinger1e5809f2004-03-18 11:04:57 +0000985/*********************** Deque Reverse Iterator **************************/
986
987PyTypeObject dequereviter_type;
988
989static PyObject *
990deque_reviter(dequeobject *deque)
991{
992 dequeiterobject *it;
993
994 it = PyObject_New(dequeiterobject, &dequereviter_type);
995 if (it == NULL)
996 return NULL;
997 it->b = deque->rightblock;
998 it->index = deque->rightindex;
999 Py_INCREF(deque);
1000 it->deque = deque;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +00001001 it->state = deque->state;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001002 it->counter = deque->len;
1003 return (PyObject *)it;
1004}
1005
1006static PyObject *
1007dequereviter_next(dequeiterobject *it)
1008{
1009 PyObject *item;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +00001010 if (it->counter == 0)
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001011 return NULL;
1012
Raymond Hettingerd1b3d882004-10-02 00:43:13 +00001013 if (it->deque->state != it->state) {
Raymond Hettinger7892b1c2004-04-12 18:10:01 +00001014 it->counter = 0;
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001015 PyErr_SetString(PyExc_RuntimeError,
Raymond Hettingerd1b3d882004-10-02 00:43:13 +00001016 "deque mutated during iteration");
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001017 return NULL;
1018 }
Tim Peters5566e962006-07-28 00:23:15 +00001019 assert (!(it->b == it->deque->leftblock &&
Raymond Hettingerd1b3d882004-10-02 00:43:13 +00001020 it->index < it->deque->leftindex));
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001021
1022 item = it->b->data[it->index];
1023 it->index--;
Raymond Hettingerd1b3d882004-10-02 00:43:13 +00001024 it->counter--;
1025 if (it->index == -1 && it->counter > 0) {
1026 assert (it->b->leftlink != NULL);
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001027 it->b = it->b->leftlink;
1028 it->index = BLOCKLEN - 1;
1029 }
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001030 Py_INCREF(item);
1031 return item;
1032}
1033
1034PyTypeObject dequereviter_type = {
1035 PyObject_HEAD_INIT(NULL)
1036 0, /* ob_size */
1037 "deque_reverse_iterator", /* tp_name */
1038 sizeof(dequeiterobject), /* tp_basicsize */
1039 0, /* tp_itemsize */
1040 /* methods */
1041 (destructor)dequeiter_dealloc, /* tp_dealloc */
1042 0, /* tp_print */
1043 0, /* tp_getattr */
1044 0, /* tp_setattr */
1045 0, /* tp_compare */
1046 0, /* tp_repr */
1047 0, /* tp_as_number */
Raymond Hettinger6b27cda2005-09-24 21:23:05 +00001048 0, /* tp_as_sequence */
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001049 0, /* tp_as_mapping */
1050 0, /* tp_hash */
1051 0, /* tp_call */
1052 0, /* tp_str */
1053 PyObject_GenericGetAttr, /* tp_getattro */
1054 0, /* tp_setattro */
1055 0, /* tp_as_buffer */
1056 Py_TPFLAGS_DEFAULT, /* tp_flags */
1057 0, /* tp_doc */
1058 0, /* tp_traverse */
1059 0, /* tp_clear */
1060 0, /* tp_richcompare */
1061 0, /* tp_weaklistoffset */
1062 PyObject_SelfIter, /* tp_iter */
1063 (iternextfunc)dequereviter_next, /* tp_iternext */
Raymond Hettinger6b27cda2005-09-24 21:23:05 +00001064 dequeiter_methods, /* tp_methods */
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001065 0,
1066};
1067
Guido van Rossum1968ad32006-02-25 22:38:04 +00001068/* defaultdict type *********************************************************/
1069
1070typedef struct {
1071 PyDictObject dict;
1072 PyObject *default_factory;
1073} defdictobject;
1074
1075static PyTypeObject defdict_type; /* Forward */
1076
1077PyDoc_STRVAR(defdict_missing_doc,
1078"__missing__(key) # Called by __getitem__ for missing key; pseudo-code:\n\
1079 if self.default_factory is None: raise KeyError(key)\n\
1080 self[key] = value = self.default_factory()\n\
1081 return value\n\
1082");
1083
1084static PyObject *
1085defdict_missing(defdictobject *dd, PyObject *key)
1086{
1087 PyObject *factory = dd->default_factory;
1088 PyObject *value;
1089 if (factory == NULL || factory == Py_None) {
1090 /* XXX Call dict.__missing__(key) */
1091 PyErr_SetObject(PyExc_KeyError, key);
1092 return NULL;
1093 }
1094 value = PyEval_CallObject(factory, NULL);
1095 if (value == NULL)
1096 return value;
1097 if (PyObject_SetItem((PyObject *)dd, key, value) < 0) {
1098 Py_DECREF(value);
1099 return NULL;
1100 }
1101 return value;
1102}
1103
1104PyDoc_STRVAR(defdict_copy_doc, "D.copy() -> a shallow copy of D.");
1105
1106static PyObject *
1107defdict_copy(defdictobject *dd)
1108{
1109 /* This calls the object's class. That only works for subclasses
1110 whose class constructor has the same signature. Subclasses that
1111 define a different constructor signature must override copy().
1112 */
1113 return PyObject_CallFunctionObjArgs((PyObject *)dd->dict.ob_type,
1114 dd->default_factory, dd, NULL);
1115}
1116
1117static PyObject *
1118defdict_reduce(defdictobject *dd)
1119{
Tim Peters5566e962006-07-28 00:23:15 +00001120 /* __reduce__ must return a 5-tuple as follows:
Guido van Rossum1968ad32006-02-25 22:38:04 +00001121
1122 - factory function
1123 - tuple of args for the factory function
1124 - additional state (here None)
1125 - sequence iterator (here None)
1126 - dictionary iterator (yielding successive (key, value) pairs
1127
1128 This API is used by pickle.py and copy.py.
1129
1130 For this to be useful with pickle.py, the default_factory
1131 must be picklable; e.g., None, a built-in, or a global
1132 function in a module or package.
1133
1134 Both shallow and deep copying are supported, but for deep
1135 copying, the default_factory must be deep-copyable; e.g. None,
1136 or a built-in (functions are not copyable at this time).
1137
1138 This only works for subclasses as long as their constructor
1139 signature is compatible; the first argument must be the
1140 optional default_factory, defaulting to None.
1141 */
1142 PyObject *args;
1143 PyObject *items;
1144 PyObject *result;
1145 if (dd->default_factory == NULL || dd->default_factory == Py_None)
1146 args = PyTuple_New(0);
1147 else
1148 args = PyTuple_Pack(1, dd->default_factory);
1149 if (args == NULL)
1150 return NULL;
1151 items = PyObject_CallMethod((PyObject *)dd, "iteritems", "()");
1152 if (items == NULL) {
1153 Py_DECREF(args);
1154 return NULL;
1155 }
1156 result = PyTuple_Pack(5, dd->dict.ob_type, args,
1157 Py_None, Py_None, items);
Tim Peters5566e962006-07-28 00:23:15 +00001158 Py_DECREF(items);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001159 Py_DECREF(args);
1160 return result;
1161}
1162
1163static PyMethodDef defdict_methods[] = {
1164 {"__missing__", (PyCFunction)defdict_missing, METH_O,
1165 defdict_missing_doc},
1166 {"copy", (PyCFunction)defdict_copy, METH_NOARGS,
1167 defdict_copy_doc},
1168 {"__copy__", (PyCFunction)defdict_copy, METH_NOARGS,
1169 defdict_copy_doc},
1170 {"__reduce__", (PyCFunction)defdict_reduce, METH_NOARGS,
1171 reduce_doc},
1172 {NULL}
1173};
1174
1175static PyMemberDef defdict_members[] = {
1176 {"default_factory", T_OBJECT,
1177 offsetof(defdictobject, default_factory), 0,
1178 PyDoc_STR("Factory for default value called by __missing__().")},
1179 {NULL}
1180};
1181
1182static void
1183defdict_dealloc(defdictobject *dd)
1184{
1185 Py_CLEAR(dd->default_factory);
1186 PyDict_Type.tp_dealloc((PyObject *)dd);
1187}
1188
1189static int
1190defdict_print(defdictobject *dd, FILE *fp, int flags)
1191{
1192 int sts;
1193 fprintf(fp, "defaultdict(");
1194 if (dd->default_factory == NULL)
1195 fprintf(fp, "None");
1196 else {
1197 PyObject_Print(dd->default_factory, fp, 0);
1198 }
1199 fprintf(fp, ", ");
1200 sts = PyDict_Type.tp_print((PyObject *)dd, fp, 0);
1201 fprintf(fp, ")");
1202 return sts;
1203}
1204
1205static PyObject *
1206defdict_repr(defdictobject *dd)
1207{
1208 PyObject *defrepr;
1209 PyObject *baserepr;
1210 PyObject *result;
1211 baserepr = PyDict_Type.tp_repr((PyObject *)dd);
1212 if (baserepr == NULL)
1213 return NULL;
1214 if (dd->default_factory == NULL)
1215 defrepr = PyString_FromString("None");
1216 else
1217 defrepr = PyObject_Repr(dd->default_factory);
1218 if (defrepr == NULL) {
1219 Py_DECREF(baserepr);
1220 return NULL;
1221 }
1222 result = PyString_FromFormat("defaultdict(%s, %s)",
1223 PyString_AS_STRING(defrepr),
1224 PyString_AS_STRING(baserepr));
1225 Py_DECREF(defrepr);
1226 Py_DECREF(baserepr);
1227 return result;
1228}
1229
1230static int
1231defdict_traverse(PyObject *self, visitproc visit, void *arg)
1232{
1233 Py_VISIT(((defdictobject *)self)->default_factory);
1234 return PyDict_Type.tp_traverse(self, visit, arg);
1235}
1236
1237static int
1238defdict_tp_clear(defdictobject *dd)
1239{
Thomas Woutersedf17d82006-04-15 17:28:34 +00001240 Py_CLEAR(dd->default_factory);
Guido van Rossum1968ad32006-02-25 22:38:04 +00001241 return PyDict_Type.tp_clear((PyObject *)dd);
1242}
1243
1244static int
1245defdict_init(PyObject *self, PyObject *args, PyObject *kwds)
1246{
1247 defdictobject *dd = (defdictobject *)self;
1248 PyObject *olddefault = dd->default_factory;
1249 PyObject *newdefault = NULL;
1250 PyObject *newargs;
1251 int result;
1252 if (args == NULL || !PyTuple_Check(args))
1253 newargs = PyTuple_New(0);
1254 else {
1255 Py_ssize_t n = PyTuple_GET_SIZE(args);
1256 if (n > 0)
1257 newdefault = PyTuple_GET_ITEM(args, 0);
1258 newargs = PySequence_GetSlice(args, 1, n);
1259 }
1260 if (newargs == NULL)
1261 return -1;
1262 Py_XINCREF(newdefault);
1263 dd->default_factory = newdefault;
1264 result = PyDict_Type.tp_init(self, newargs, kwds);
1265 Py_DECREF(newargs);
1266 Py_XDECREF(olddefault);
1267 return result;
1268}
1269
1270PyDoc_STRVAR(defdict_doc,
1271"defaultdict(default_factory) --> dict with default factory\n\
1272\n\
1273The default factory is called without arguments to produce\n\
1274a new value when a key is not present, in __getitem__ only.\n\
1275A defaultdict compares equal to a dict with the same items.\n\
1276");
1277
Anthony Baxter3b8ff312006-04-04 15:05:23 +00001278/* See comment in xxsubtype.c */
1279#define DEFERRED_ADDRESS(ADDR) 0
1280
Guido van Rossum1968ad32006-02-25 22:38:04 +00001281static PyTypeObject defdict_type = {
Anthony Baxter3b8ff312006-04-04 15:05:23 +00001282 PyObject_HEAD_INIT(DEFERRED_ADDRESS(&PyType_Type))
Guido van Rossum1968ad32006-02-25 22:38:04 +00001283 0, /* ob_size */
1284 "collections.defaultdict", /* tp_name */
1285 sizeof(defdictobject), /* tp_basicsize */
1286 0, /* tp_itemsize */
1287 /* methods */
1288 (destructor)defdict_dealloc, /* tp_dealloc */
1289 (printfunc)defdict_print, /* tp_print */
1290 0, /* tp_getattr */
1291 0, /* tp_setattr */
1292 0, /* tp_compare */
1293 (reprfunc)defdict_repr, /* tp_repr */
1294 0, /* tp_as_number */
1295 0, /* tp_as_sequence */
1296 0, /* tp_as_mapping */
1297 0, /* tp_hash */
1298 0, /* tp_call */
1299 0, /* tp_str */
1300 PyObject_GenericGetAttr, /* tp_getattro */
1301 0, /* tp_setattro */
1302 0, /* tp_as_buffer */
1303 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HAVE_GC |
1304 Py_TPFLAGS_HAVE_WEAKREFS, /* tp_flags */
1305 defdict_doc, /* tp_doc */
Georg Brandld37ac692006-03-30 11:58:57 +00001306 defdict_traverse, /* tp_traverse */
Guido van Rossum1968ad32006-02-25 22:38:04 +00001307 (inquiry)defdict_tp_clear, /* tp_clear */
1308 0, /* tp_richcompare */
1309 0, /* tp_weaklistoffset*/
1310 0, /* tp_iter */
1311 0, /* tp_iternext */
1312 defdict_methods, /* tp_methods */
1313 defdict_members, /* tp_members */
1314 0, /* tp_getset */
Anthony Baxter3b8ff312006-04-04 15:05:23 +00001315 DEFERRED_ADDRESS(&PyDict_Type), /* tp_base */
Guido van Rossum1968ad32006-02-25 22:38:04 +00001316 0, /* tp_dict */
1317 0, /* tp_descr_get */
1318 0, /* tp_descr_set */
1319 0, /* tp_dictoffset */
Georg Brandld37ac692006-03-30 11:58:57 +00001320 defdict_init, /* tp_init */
Guido van Rossum1968ad32006-02-25 22:38:04 +00001321 PyType_GenericAlloc, /* tp_alloc */
1322 0, /* tp_new */
1323 PyObject_GC_Del, /* tp_free */
1324};
1325
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001326/* module level code ********************************************************/
1327
1328PyDoc_STRVAR(module_doc,
Guido van Rossum1968ad32006-02-25 22:38:04 +00001329"High performance data structures.\n\
1330- deque: ordered collection accessible from endpoints only\n\
1331- defaultdict: dict subclass with a default value factory\n\
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001332");
1333
1334PyMODINIT_FUNC
1335initcollections(void)
1336{
1337 PyObject *m;
1338
1339 m = Py_InitModule3("collections", NULL, module_doc);
Neal Norwitz1ac754f2006-01-19 06:09:39 +00001340 if (m == NULL)
1341 return;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001342
1343 if (PyType_Ready(&deque_type) < 0)
1344 return;
1345 Py_INCREF(&deque_type);
1346 PyModule_AddObject(m, "deque", (PyObject *)&deque_type);
1347
Anthony Baxter3b8ff312006-04-04 15:05:23 +00001348 defdict_type.tp_base = &PyDict_Type;
Guido van Rossum1968ad32006-02-25 22:38:04 +00001349 if (PyType_Ready(&defdict_type) < 0)
1350 return;
1351 Py_INCREF(&defdict_type);
1352 PyModule_AddObject(m, "defaultdict", (PyObject *)&defdict_type);
1353
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001354 if (PyType_Ready(&dequeiter_type) < 0)
Tim Peters1065f752004-10-01 01:03:29 +00001355 return;
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001356
Raymond Hettinger1e5809f2004-03-18 11:04:57 +00001357 if (PyType_Ready(&dequereviter_type) < 0)
1358 return;
1359
Raymond Hettinger756b3f32004-01-29 06:37:52 +00001360 return;
1361}