1991-02-19 12:39:46 +00:00
|
|
|
/***********************************************************
|
1993-03-29 10:43:31 +00:00
|
|
|
Copyright 1991, 1992, 1993 by Stichting Mathematisch Centrum,
|
|
|
|
Amsterdam, The Netherlands.
|
1991-02-19 12:39:46 +00:00
|
|
|
|
|
|
|
All Rights Reserved
|
|
|
|
|
|
|
|
Permission to use, copy, modify, and distribute this software and its
|
|
|
|
documentation for any purpose and without fee is hereby granted,
|
|
|
|
provided that the above copyright notice appear in all copies and that
|
|
|
|
both that copyright notice and this permission notice appear in
|
|
|
|
supporting documentation, and that the names of Stichting Mathematisch
|
|
|
|
Centrum or CWI not be used in advertising or publicity pertaining to
|
|
|
|
distribution of the software without specific, written prior permission.
|
|
|
|
|
|
|
|
STICHTING MATHEMATISCH CENTRUM DISCLAIMS ALL WARRANTIES WITH REGARD TO
|
|
|
|
THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
|
|
|
|
FITNESS, IN NO EVENT SHALL STICHTING MATHEMATISCH CENTRUM BE LIABLE
|
|
|
|
FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
|
|
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
|
|
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
|
|
|
|
OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
|
|
|
|
|
|
******************************************************************/
|
|
|
|
|
1990-10-14 12:07:46 +00:00
|
|
|
/* Tuple object implementation */
|
|
|
|
|
1990-12-20 15:06:42 +00:00
|
|
|
#include "allobjects.h"
|
1990-10-14 12:07:46 +00:00
|
|
|
|
1993-10-15 16:18:48 +00:00
|
|
|
#ifndef MAXSAVESIZE
|
|
|
|
#define MAXSAVESIZE 20
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if MAXSAVESIZE > 0
|
|
|
|
/* Entries 1 upto MAXSAVESIZE are free lists, entry 0 is the empty
|
|
|
|
tuple () of which at most one instance will be allocated.
|
|
|
|
*/
|
1993-11-01 13:46:50 +00:00
|
|
|
static tupleobject *free_tuples[MAXSAVESIZE];
|
1993-10-15 16:18:48 +00:00
|
|
|
#endif
|
|
|
|
#ifdef COUNT_ALLOCS
|
|
|
|
int fast_tuple_allocs;
|
|
|
|
int tuple_zero_allocs;
|
|
|
|
#endif
|
|
|
|
|
1990-10-14 12:07:46 +00:00
|
|
|
object *
|
|
|
|
newtupleobject(size)
|
|
|
|
register int size;
|
|
|
|
{
|
|
|
|
register int i;
|
|
|
|
register tupleobject *op;
|
|
|
|
if (size < 0) {
|
1990-10-21 22:15:08 +00:00
|
|
|
err_badcall();
|
1990-10-14 12:07:46 +00:00
|
|
|
return NULL;
|
|
|
|
}
|
1993-10-15 16:18:48 +00:00
|
|
|
#if MAXSAVESIZE > 0
|
1993-11-01 13:46:50 +00:00
|
|
|
if (size == 0 && free_tuples[0]) {
|
|
|
|
op = free_tuples[0];
|
1993-10-15 16:18:48 +00:00
|
|
|
INCREF(op);
|
|
|
|
#ifdef COUNT_ALLOCS
|
|
|
|
tuple_zero_allocs++;
|
|
|
|
#endif
|
|
|
|
return (object *) op;
|
|
|
|
}
|
1993-11-01 13:46:50 +00:00
|
|
|
if (0 < size && size < MAXSAVESIZE && (op = free_tuples[size]) != NULL) {
|
|
|
|
free_tuples[size] = (tupleobject *) op->ob_item[0];
|
1993-10-15 16:18:48 +00:00
|
|
|
#ifdef COUNT_ALLOCS
|
|
|
|
fast_tuple_allocs++;
|
|
|
|
#endif
|
|
|
|
} else
|
|
|
|
#endif
|
|
|
|
{
|
|
|
|
op = (tupleobject *)
|
|
|
|
malloc(sizeof(tupleobject) + size * sizeof(object *));
|
|
|
|
if (op == NULL)
|
|
|
|
return err_nomem();
|
|
|
|
}
|
1990-10-14 12:07:46 +00:00
|
|
|
op->ob_type = &Tupletype;
|
|
|
|
op->ob_size = size;
|
|
|
|
for (i = 0; i < size; i++)
|
|
|
|
op->ob_item[i] = NULL;
|
1993-10-11 12:54:31 +00:00
|
|
|
NEWREF(op);
|
1993-10-15 16:18:48 +00:00
|
|
|
#if MAXSAVESIZE > 0
|
|
|
|
if (size == 0) {
|
1993-11-01 13:46:50 +00:00
|
|
|
free_tuples[0] = op;
|
1993-10-15 16:18:48 +00:00
|
|
|
INCREF(op); /* extra INCREF so that this is never freed */
|
|
|
|
}
|
|
|
|
#endif
|
1990-10-14 12:07:46 +00:00
|
|
|
return (object *) op;
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
gettuplesize(op)
|
|
|
|
register object *op;
|
|
|
|
{
|
|
|
|
if (!is_tupleobject(op)) {
|
1990-10-21 22:15:08 +00:00
|
|
|
err_badcall();
|
1990-10-14 12:07:46 +00:00
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
return ((tupleobject *)op)->ob_size;
|
|
|
|
}
|
|
|
|
|
|
|
|
object *
|
|
|
|
gettupleitem(op, i)
|
|
|
|
register object *op;
|
|
|
|
register int i;
|
|
|
|
{
|
|
|
|
if (!is_tupleobject(op)) {
|
1990-10-21 22:15:08 +00:00
|
|
|
err_badcall();
|
1990-10-14 12:07:46 +00:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
if (i < 0 || i >= ((tupleobject *)op) -> ob_size) {
|
1990-10-21 22:15:08 +00:00
|
|
|
err_setstr(IndexError, "tuple index out of range");
|
1990-10-14 12:07:46 +00:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
return ((tupleobject *)op) -> ob_item[i];
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
settupleitem(op, i, newitem)
|
|
|
|
register object *op;
|
|
|
|
register int i;
|
|
|
|
register object *newitem;
|
|
|
|
{
|
|
|
|
register object *olditem;
|
|
|
|
if (!is_tupleobject(op)) {
|
1993-10-26 17:58:25 +00:00
|
|
|
XDECREF(newitem);
|
1990-10-21 22:15:08 +00:00
|
|
|
err_badcall();
|
|
|
|
return -1;
|
1990-10-14 12:07:46 +00:00
|
|
|
}
|
|
|
|
if (i < 0 || i >= ((tupleobject *)op) -> ob_size) {
|
1993-10-26 17:58:25 +00:00
|
|
|
XDECREF(newitem);
|
1990-10-21 22:15:08 +00:00
|
|
|
err_setstr(IndexError, "tuple assignment index out of range");
|
|
|
|
return -1;
|
1990-10-14 12:07:46 +00:00
|
|
|
}
|
|
|
|
olditem = ((tupleobject *)op) -> ob_item[i];
|
|
|
|
((tupleobject *)op) -> ob_item[i] = newitem;
|
1993-10-26 17:58:25 +00:00
|
|
|
XDECREF(olditem);
|
1990-10-14 12:07:46 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Methods */
|
|
|
|
|
|
|
|
static void
|
|
|
|
tupledealloc(op)
|
|
|
|
register tupleobject *op;
|
|
|
|
{
|
|
|
|
register int i;
|
1993-10-26 17:58:25 +00:00
|
|
|
for (i = 0; i < op->ob_size; i++)
|
|
|
|
XDECREF(op->ob_item[i]);
|
1993-10-15 16:18:48 +00:00
|
|
|
#if MAXSAVESIZE > 0
|
|
|
|
if (0 < op->ob_size && op->ob_size < MAXSAVESIZE) {
|
1993-11-01 13:46:50 +00:00
|
|
|
op->ob_item[0] = (object *) free_tuples[op->ob_size];
|
|
|
|
free_tuples[op->ob_size] = op;
|
1993-10-15 16:18:48 +00:00
|
|
|
} else
|
|
|
|
#endif
|
|
|
|
free((ANY *)op);
|
1990-10-14 12:07:46 +00:00
|
|
|
}
|
|
|
|
|
1991-06-07 22:59:30 +00:00
|
|
|
static int
|
1990-10-14 12:07:46 +00:00
|
|
|
tupleprint(op, fp, flags)
|
|
|
|
tupleobject *op;
|
|
|
|
FILE *fp;
|
|
|
|
int flags;
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
fprintf(fp, "(");
|
1991-06-07 22:59:30 +00:00
|
|
|
for (i = 0; i < op->ob_size; i++) {
|
|
|
|
if (i > 0)
|
1990-10-14 12:07:46 +00:00
|
|
|
fprintf(fp, ", ");
|
1993-11-10 09:23:53 +00:00
|
|
|
if (printobject(op->ob_item[i], fp, 0) != 0)
|
1991-06-07 22:59:30 +00:00
|
|
|
return -1;
|
1990-10-14 12:07:46 +00:00
|
|
|
}
|
|
|
|
if (op->ob_size == 1)
|
|
|
|
fprintf(fp, ",");
|
|
|
|
fprintf(fp, ")");
|
1991-06-07 22:59:30 +00:00
|
|
|
return 0;
|
1990-10-14 12:07:46 +00:00
|
|
|
}
|
|
|
|
|
1993-06-17 12:35:49 +00:00
|
|
|
static object *
|
1990-10-14 12:07:46 +00:00
|
|
|
tuplerepr(v)
|
|
|
|
tupleobject *v;
|
|
|
|
{
|
|
|
|
object *s, *t, *comma;
|
|
|
|
int i;
|
|
|
|
s = newstringobject("(");
|
|
|
|
comma = newstringobject(", ");
|
|
|
|
for (i = 0; i < v->ob_size && s != NULL; i++) {
|
|
|
|
if (i > 0)
|
|
|
|
joinstring(&s, comma);
|
|
|
|
t = reprobject(v->ob_item[i]);
|
|
|
|
joinstring(&s, t);
|
1993-10-26 17:58:25 +00:00
|
|
|
XDECREF(t);
|
1990-10-14 12:07:46 +00:00
|
|
|
}
|
|
|
|
DECREF(comma);
|
|
|
|
if (v->ob_size == 1) {
|
|
|
|
t = newstringobject(",");
|
|
|
|
joinstring(&s, t);
|
|
|
|
DECREF(t);
|
|
|
|
}
|
|
|
|
t = newstringobject(")");
|
|
|
|
joinstring(&s, t);
|
|
|
|
DECREF(t);
|
|
|
|
return s;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
tuplecompare(v, w)
|
|
|
|
register tupleobject *v, *w;
|
|
|
|
{
|
|
|
|
register int len =
|
|
|
|
(v->ob_size < w->ob_size) ? v->ob_size : w->ob_size;
|
|
|
|
register int i;
|
|
|
|
for (i = 0; i < len; i++) {
|
|
|
|
int cmp = cmpobject(v->ob_item[i], w->ob_item[i]);
|
|
|
|
if (cmp != 0)
|
|
|
|
return cmp;
|
|
|
|
}
|
|
|
|
return v->ob_size - w->ob_size;
|
|
|
|
}
|
|
|
|
|
1993-03-29 10:43:31 +00:00
|
|
|
static long
|
|
|
|
tuplehash(v)
|
|
|
|
tupleobject *v;
|
|
|
|
{
|
|
|
|
register long x, y;
|
|
|
|
register int len = v->ob_size;
|
|
|
|
register object **p;
|
|
|
|
x = 0x345678L;
|
|
|
|
p = v->ob_item;
|
|
|
|
while (--len >= 0) {
|
|
|
|
y = hashobject(*p++);
|
|
|
|
if (y == -1)
|
|
|
|
return -1;
|
|
|
|
x = (x + x + x) ^ y;
|
|
|
|
}
|
|
|
|
x ^= v->ob_size;
|
|
|
|
if (x == -1)
|
|
|
|
x = -2;
|
|
|
|
return x;
|
|
|
|
}
|
|
|
|
|
1990-10-14 12:07:46 +00:00
|
|
|
static int
|
|
|
|
tuplelength(a)
|
|
|
|
tupleobject *a;
|
|
|
|
{
|
|
|
|
return a->ob_size;
|
|
|
|
}
|
|
|
|
|
|
|
|
static object *
|
|
|
|
tupleitem(a, i)
|
|
|
|
register tupleobject *a;
|
|
|
|
register int i;
|
|
|
|
{
|
|
|
|
if (i < 0 || i >= a->ob_size) {
|
1990-10-21 22:15:08 +00:00
|
|
|
err_setstr(IndexError, "tuple index out of range");
|
1990-10-14 12:07:46 +00:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
INCREF(a->ob_item[i]);
|
|
|
|
return a->ob_item[i];
|
|
|
|
}
|
|
|
|
|
|
|
|
static object *
|
|
|
|
tupleslice(a, ilow, ihigh)
|
|
|
|
register tupleobject *a;
|
|
|
|
register int ilow, ihigh;
|
|
|
|
{
|
|
|
|
register tupleobject *np;
|
|
|
|
register int i;
|
|
|
|
if (ilow < 0)
|
|
|
|
ilow = 0;
|
|
|
|
if (ihigh > a->ob_size)
|
|
|
|
ihigh = a->ob_size;
|
|
|
|
if (ihigh < ilow)
|
|
|
|
ihigh = ilow;
|
|
|
|
if (ilow == 0 && ihigh == a->ob_size) {
|
|
|
|
/* XXX can only do this if tuples are immutable! */
|
|
|
|
INCREF(a);
|
|
|
|
return (object *)a;
|
|
|
|
}
|
|
|
|
np = (tupleobject *)newtupleobject(ihigh - ilow);
|
|
|
|
if (np == NULL)
|
|
|
|
return NULL;
|
|
|
|
for (i = ilow; i < ihigh; i++) {
|
|
|
|
object *v = a->ob_item[i];
|
|
|
|
INCREF(v);
|
|
|
|
np->ob_item[i - ilow] = v;
|
|
|
|
}
|
|
|
|
return (object *)np;
|
|
|
|
}
|
|
|
|
|
1992-01-14 18:45:33 +00:00
|
|
|
object *
|
|
|
|
gettupleslice(op, i, j)
|
|
|
|
object *op;
|
|
|
|
int i, j;
|
|
|
|
{
|
|
|
|
if (op == NULL || !is_tupleobject(op)) {
|
|
|
|
err_badcall();
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
return tupleslice((tupleobject *)op, i, j);
|
|
|
|
}
|
|
|
|
|
1990-10-14 12:07:46 +00:00
|
|
|
static object *
|
|
|
|
tupleconcat(a, bb)
|
|
|
|
register tupleobject *a;
|
|
|
|
register object *bb;
|
|
|
|
{
|
|
|
|
register int size;
|
|
|
|
register int i;
|
|
|
|
tupleobject *np;
|
|
|
|
if (!is_tupleobject(bb)) {
|
1990-10-21 22:15:08 +00:00
|
|
|
err_badarg();
|
1990-10-14 12:07:46 +00:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
#define b ((tupleobject *)bb)
|
|
|
|
size = a->ob_size + b->ob_size;
|
|
|
|
np = (tupleobject *) newtupleobject(size);
|
|
|
|
if (np == NULL) {
|
1991-06-07 22:59:30 +00:00
|
|
|
return NULL;
|
1990-10-14 12:07:46 +00:00
|
|
|
}
|
|
|
|
for (i = 0; i < a->ob_size; i++) {
|
|
|
|
object *v = a->ob_item[i];
|
|
|
|
INCREF(v);
|
|
|
|
np->ob_item[i] = v;
|
|
|
|
}
|
|
|
|
for (i = 0; i < b->ob_size; i++) {
|
|
|
|
object *v = b->ob_item[i];
|
|
|
|
INCREF(v);
|
|
|
|
np->ob_item[i + a->ob_size] = v;
|
|
|
|
}
|
|
|
|
return (object *)np;
|
|
|
|
#undef b
|
|
|
|
}
|
|
|
|
|
1991-06-04 19:35:24 +00:00
|
|
|
static object *
|
|
|
|
tuplerepeat(a, n)
|
|
|
|
tupleobject *a;
|
|
|
|
int n;
|
|
|
|
{
|
|
|
|
int i, j;
|
|
|
|
int size;
|
|
|
|
tupleobject *np;
|
|
|
|
object **p;
|
|
|
|
if (n < 0)
|
|
|
|
n = 0;
|
|
|
|
if (a->ob_size*n == a->ob_size) {
|
|
|
|
/* Since tuples are immutable, we can return a shared
|
|
|
|
copy in this case */
|
|
|
|
INCREF(a);
|
|
|
|
return (object *)a;
|
|
|
|
}
|
|
|
|
size = a->ob_size * n;
|
|
|
|
np = (tupleobject *) newtupleobject(size);
|
|
|
|
if (np == NULL)
|
|
|
|
return NULL;
|
|
|
|
p = np->ob_item;
|
|
|
|
for (i = 0; i < n; i++) {
|
|
|
|
for (j = 0; j < a->ob_size; j++) {
|
|
|
|
*p = a->ob_item[j];
|
|
|
|
INCREF(*p);
|
|
|
|
p++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return (object *) np;
|
|
|
|
}
|
|
|
|
|
1990-10-14 12:07:46 +00:00
|
|
|
static sequence_methods tuple_as_sequence = {
|
|
|
|
tuplelength, /*sq_length*/
|
|
|
|
tupleconcat, /*sq_concat*/
|
1991-06-04 19:35:24 +00:00
|
|
|
tuplerepeat, /*sq_repeat*/
|
1990-10-14 12:07:46 +00:00
|
|
|
tupleitem, /*sq_item*/
|
|
|
|
tupleslice, /*sq_slice*/
|
|
|
|
0, /*sq_ass_item*/
|
|
|
|
0, /*sq_ass_slice*/
|
|
|
|
};
|
|
|
|
|
|
|
|
typeobject Tupletype = {
|
|
|
|
OB_HEAD_INIT(&Typetype)
|
|
|
|
0,
|
|
|
|
"tuple",
|
|
|
|
sizeof(tupleobject) - sizeof(object *),
|
|
|
|
sizeof(object *),
|
|
|
|
tupledealloc, /*tp_dealloc*/
|
|
|
|
tupleprint, /*tp_print*/
|
|
|
|
0, /*tp_getattr*/
|
|
|
|
0, /*tp_setattr*/
|
|
|
|
tuplecompare, /*tp_compare*/
|
|
|
|
tuplerepr, /*tp_repr*/
|
|
|
|
0, /*tp_as_number*/
|
|
|
|
&tuple_as_sequence, /*tp_as_sequence*/
|
|
|
|
0, /*tp_as_mapping*/
|
1993-03-29 10:43:31 +00:00
|
|
|
tuplehash, /*tp_hash*/
|
1990-10-14 12:07:46 +00:00
|
|
|
};
|
1993-10-26 17:58:25 +00:00
|
|
|
|
|
|
|
/* The following function breaks the notion that tuples are immutable:
|
|
|
|
it changes the size of a tuple. We get away with this only if there
|
|
|
|
is only one module referencing the object. You can also think of it
|
|
|
|
as creating a new tuple object and destroying the old one, only
|
|
|
|
more efficiently. In any case, don't use this if the tuple may
|
1993-11-01 13:46:50 +00:00
|
|
|
already be known to some other part of the code...
|
|
|
|
If last_is_sticky is set, the tuple will grow or shrink at the
|
|
|
|
front, otherwise it will grow or shrink at the end. */
|
1993-10-26 17:58:25 +00:00
|
|
|
|
|
|
|
int
|
1993-11-01 13:46:50 +00:00
|
|
|
resizetuple(pv, newsize, last_is_sticky)
|
1993-10-26 17:58:25 +00:00
|
|
|
object **pv;
|
|
|
|
int newsize;
|
1993-11-01 13:46:50 +00:00
|
|
|
int last_is_sticky;
|
1993-10-26 17:58:25 +00:00
|
|
|
{
|
1993-11-01 13:46:50 +00:00
|
|
|
register tupleobject *v;
|
1993-10-26 17:58:25 +00:00
|
|
|
register tupleobject *sv;
|
1993-11-01 13:46:50 +00:00
|
|
|
int i;
|
|
|
|
int sizediff;
|
|
|
|
|
|
|
|
v = (tupleobject *) *pv;
|
|
|
|
sizediff = newsize - v->ob_size;
|
1993-10-26 17:58:25 +00:00
|
|
|
if (!is_tupleobject(v) || v->ob_refcnt != 1) {
|
|
|
|
*pv = 0;
|
|
|
|
DECREF(v);
|
|
|
|
err_badcall();
|
|
|
|
return -1;
|
|
|
|
}
|
1993-11-01 13:46:50 +00:00
|
|
|
if (sizediff == 0)
|
|
|
|
return 0;
|
1993-10-26 17:58:25 +00:00
|
|
|
/* XXX UNREF/NEWREF interface should be more symmetrical */
|
|
|
|
#ifdef REF_DEBUG
|
|
|
|
--ref_total;
|
|
|
|
#endif
|
|
|
|
UNREF(v);
|
1993-11-01 13:46:50 +00:00
|
|
|
if (last_is_sticky && sizediff < 0) {
|
|
|
|
/* shrinking: move entries to the front and zero moved entries */
|
|
|
|
for (i = 0; i < newsize; i++) {
|
|
|
|
XDECREF(v->ob_item[i]);
|
|
|
|
v->ob_item[i] = v->ob_item[i - sizediff];
|
|
|
|
v->ob_item[i - sizediff] = NULL;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
for (i = newsize; i < v->ob_size; i++) {
|
|
|
|
XDECREF(v->ob_item[i]);
|
|
|
|
v->ob_item[i] = NULL;
|
|
|
|
}
|
|
|
|
sv = (tupleobject *)
|
1993-10-26 17:58:25 +00:00
|
|
|
realloc((char *)v,
|
|
|
|
sizeof(tupleobject) + newsize * sizeof(object *));
|
1993-11-01 13:46:50 +00:00
|
|
|
*pv = (object *) sv;
|
|
|
|
if (sv == NULL) {
|
1993-10-26 17:58:25 +00:00
|
|
|
DEL(v);
|
|
|
|
err_nomem();
|
|
|
|
return -1;
|
|
|
|
}
|
1993-11-01 13:46:50 +00:00
|
|
|
NEWREF(sv);
|
|
|
|
for (i = sv->ob_size; i < newsize; i++)
|
|
|
|
sv->ob_item[i] = NULL;
|
|
|
|
if (last_is_sticky && sizediff > 0) {
|
|
|
|
/* growing: move entries to the end and zero moved entries */
|
|
|
|
for (i = newsize - 1; i >= sizediff; i--) {
|
|
|
|
sv->ob_item[i] = sv->ob_item[i - sizediff];
|
|
|
|
sv->ob_item[i - sizediff] = NULL;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
sv->ob_size = newsize;
|
1993-10-26 17:58:25 +00:00
|
|
|
return 0;
|
|
|
|
}
|