1991-06-04 16:42:30 -03:00
|
|
|
|
|
|
|
/* Write Python objects to files and read them back.
|
|
|
|
This is intended for writing and reading compiled Python code only;
|
|
|
|
a true persistent storage facility would be much harder, since
|
|
|
|
it would have to take circular links and sharing into account. */
|
|
|
|
|
2006-03-01 19:49:13 -04:00
|
|
|
#define PY_SSIZE_T_CLEAN
|
|
|
|
|
1997-04-29 17:08:16 -03:00
|
|
|
#include "Python.h"
|
1991-06-04 16:42:30 -03:00
|
|
|
#include "longintrepr.h"
|
2005-10-20 16:59:25 -03:00
|
|
|
#include "code.h"
|
1991-06-04 16:42:30 -03:00
|
|
|
#include "marshal.h"
|
|
|
|
|
2000-06-28 15:47:56 -03:00
|
|
|
/* High water mark to determine when the marshalled object is dangerously deep
|
|
|
|
* and risks coring the interpreter. When the object stack gets this deep,
|
|
|
|
* raise an exception instead of continuing.
|
|
|
|
*/
|
2007-05-17 04:04:46 -03:00
|
|
|
#define MAX_MARSHAL_STACK_DEPTH 2000
|
2000-06-28 15:47:56 -03:00
|
|
|
|
2005-06-03 11:41:55 -03:00
|
|
|
#define TYPE_NULL '0'
|
|
|
|
#define TYPE_NONE 'N'
|
|
|
|
#define TYPE_FALSE 'F'
|
|
|
|
#define TYPE_TRUE 'T'
|
|
|
|
#define TYPE_STOPITER 'S'
|
|
|
|
#define TYPE_ELLIPSIS '.'
|
|
|
|
#define TYPE_INT 'i'
|
|
|
|
#define TYPE_INT64 'I'
|
|
|
|
#define TYPE_FLOAT 'f'
|
|
|
|
#define TYPE_BINARY_FLOAT 'g'
|
|
|
|
#define TYPE_COMPLEX 'x'
|
|
|
|
#define TYPE_BINARY_COMPLEX 'y'
|
|
|
|
#define TYPE_LONG 'l'
|
|
|
|
#define TYPE_STRING 's'
|
|
|
|
#define TYPE_INTERNED 't'
|
|
|
|
#define TYPE_STRINGREF 'R'
|
|
|
|
#define TYPE_TUPLE '('
|
|
|
|
#define TYPE_LIST '['
|
|
|
|
#define TYPE_DICT '{'
|
|
|
|
#define TYPE_CODE 'c'
|
|
|
|
#define TYPE_UNICODE 'u'
|
|
|
|
#define TYPE_UNKNOWN '?'
|
|
|
|
#define TYPE_SET '<'
|
|
|
|
#define TYPE_FROZENSET '>'
|
1991-06-04 16:42:30 -03:00
|
|
|
|
1993-01-21 12:07:51 -04:00
|
|
|
typedef struct {
|
|
|
|
FILE *fp;
|
1996-06-26 17:41:23 -03:00
|
|
|
int error;
|
2000-06-28 15:47:56 -03:00
|
|
|
int depth;
|
1993-01-21 12:07:51 -04:00
|
|
|
/* If fp == NULL, the following are valid: */
|
1997-04-29 17:08:16 -03:00
|
|
|
PyObject *str;
|
1993-01-21 12:07:51 -04:00
|
|
|
char *ptr;
|
|
|
|
char *end;
|
2004-06-27 13:51:46 -03:00
|
|
|
PyObject *strings; /* dict on marshal, list on unmarshal */
|
2005-06-03 11:41:55 -03:00
|
|
|
int version;
|
1993-01-21 12:07:51 -04:00
|
|
|
} WFILE;
|
1991-06-04 16:42:30 -03:00
|
|
|
|
1993-01-21 12:07:51 -04:00
|
|
|
#define w_byte(c, p) if (((p)->fp)) putc((c), (p)->fp); \
|
|
|
|
else if ((p)->ptr != (p)->end) *(p)->ptr++ = (c); \
|
|
|
|
else w_more(c, p)
|
|
|
|
|
|
|
|
static void
|
2000-07-23 15:24:06 -03:00
|
|
|
w_more(int c, WFILE *p)
|
1993-01-21 12:07:51 -04:00
|
|
|
{
|
2006-02-15 13:27:45 -04:00
|
|
|
Py_ssize_t size, newsize;
|
1993-01-21 12:07:51 -04:00
|
|
|
if (p->str == NULL)
|
|
|
|
return; /* An error already occurred */
|
1997-04-29 17:08:16 -03:00
|
|
|
size = PyString_Size(p->str);
|
1993-01-21 12:07:51 -04:00
|
|
|
newsize = size + 1024;
|
1997-04-29 17:08:16 -03:00
|
|
|
if (_PyString_Resize(&p->str, newsize) != 0) {
|
1993-01-21 12:07:51 -04:00
|
|
|
p->ptr = p->end = NULL;
|
|
|
|
}
|
|
|
|
else {
|
1997-04-29 17:08:16 -03:00
|
|
|
p->ptr = PyString_AS_STRING((PyStringObject *)p->str) + size;
|
|
|
|
p->end =
|
|
|
|
PyString_AS_STRING((PyStringObject *)p->str) + newsize;
|
2000-07-23 16:28:35 -03:00
|
|
|
*p->ptr++ = Py_SAFE_DOWNCAST(c, int, char);
|
1993-01-21 12:07:51 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2000-07-22 15:47:25 -03:00
|
|
|
w_string(char *s, int n, WFILE *p)
|
1993-01-21 12:07:51 -04:00
|
|
|
{
|
|
|
|
if (p->fp != NULL) {
|
|
|
|
fwrite(s, 1, n, p->fp);
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
while (--n >= 0) {
|
|
|
|
w_byte(*s, p);
|
|
|
|
s++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2000-07-22 15:47:25 -03:00
|
|
|
w_short(int x, WFILE *p)
|
1991-06-04 16:42:30 -03:00
|
|
|
{
|
2002-07-30 08:40:57 -03:00
|
|
|
w_byte((char)( x & 0xff), p);
|
|
|
|
w_byte((char)((x>> 8) & 0xff), p);
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
|
|
|
|
1993-01-21 12:07:51 -04:00
|
|
|
static void
|
2000-07-22 15:47:25 -03:00
|
|
|
w_long(long x, WFILE *p)
|
1991-06-04 16:42:30 -03:00
|
|
|
{
|
2002-07-30 08:44:44 -03:00
|
|
|
w_byte((char)( x & 0xff), p);
|
|
|
|
w_byte((char)((x>> 8) & 0xff), p);
|
|
|
|
w_byte((char)((x>>16) & 0xff), p);
|
|
|
|
w_byte((char)((x>>24) & 0xff), p);
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
|
|
|
|
1996-12-10 11:39:04 -04:00
|
|
|
#if SIZEOF_LONG > 4
|
1996-12-05 19:15:02 -04:00
|
|
|
static void
|
2000-07-22 15:47:25 -03:00
|
|
|
w_long64(long x, WFILE *p)
|
1996-12-05 19:15:02 -04:00
|
|
|
{
|
|
|
|
w_long(x, p);
|
1996-12-10 11:39:04 -04:00
|
|
|
w_long(x>>32, p);
|
1996-12-05 19:15:02 -04:00
|
|
|
}
|
1996-12-10 11:39:04 -04:00
|
|
|
#endif
|
1996-12-05 19:15:02 -04:00
|
|
|
|
1993-01-21 12:07:51 -04:00
|
|
|
static void
|
2000-07-22 15:47:25 -03:00
|
|
|
w_object(PyObject *v, WFILE *p)
|
1991-06-04 16:42:30 -03:00
|
|
|
{
|
2006-02-15 13:27:45 -04:00
|
|
|
Py_ssize_t i, n;
|
2000-06-28 15:47:56 -03:00
|
|
|
|
|
|
|
p->depth++;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
2000-06-28 15:47:56 -03:00
|
|
|
if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
|
|
|
|
p->error = 2;
|
2001-01-27 20:27:39 -04:00
|
|
|
}
|
2000-06-28 15:47:56 -03:00
|
|
|
else if (v == NULL) {
|
1993-01-21 12:07:51 -04:00
|
|
|
w_byte(TYPE_NULL, p);
|
1998-04-10 19:27:42 -03:00
|
|
|
}
|
|
|
|
else if (v == Py_None) {
|
1993-01-21 12:07:51 -04:00
|
|
|
w_byte(TYPE_NONE, p);
|
1998-04-10 19:27:42 -03:00
|
|
|
}
|
2001-06-18 19:08:13 -03:00
|
|
|
else if (v == PyExc_StopIteration) {
|
|
|
|
w_byte(TYPE_STOPITER, p);
|
|
|
|
}
|
1998-04-10 19:27:42 -03:00
|
|
|
else if (v == Py_Ellipsis) {
|
|
|
|
w_byte(TYPE_ELLIPSIS, p);
|
|
|
|
}
|
2002-04-03 18:41:51 -04:00
|
|
|
else if (v == Py_False) {
|
|
|
|
w_byte(TYPE_FALSE, p);
|
|
|
|
}
|
|
|
|
else if (v == Py_True) {
|
|
|
|
w_byte(TYPE_TRUE, p);
|
|
|
|
}
|
2007-11-06 21:13:09 -04:00
|
|
|
else if (PyInt_CheckExact(v)) {
|
1997-04-29 17:08:16 -03:00
|
|
|
long x = PyInt_AS_LONG((PyIntObject *)v);
|
1996-12-10 11:39:04 -04:00
|
|
|
#if SIZEOF_LONG > 4
|
2001-04-10 02:02:52 -03:00
|
|
|
long y = Py_ARITHMETIC_RIGHT_SHIFT(long, x, 31);
|
1996-12-05 19:15:02 -04:00
|
|
|
if (y && y != -1) {
|
|
|
|
w_byte(TYPE_INT64, p);
|
|
|
|
w_long64(x, p);
|
|
|
|
}
|
1996-12-10 11:39:04 -04:00
|
|
|
else
|
|
|
|
#endif
|
|
|
|
{
|
1996-12-05 19:15:02 -04:00
|
|
|
w_byte(TYPE_INT, p);
|
|
|
|
w_long(x, p);
|
|
|
|
}
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
2007-11-06 21:13:09 -04:00
|
|
|
else if (PyLong_CheckExact(v)) {
|
1997-04-29 17:08:16 -03:00
|
|
|
PyLongObject *ob = (PyLongObject *)v;
|
1993-01-21 12:07:51 -04:00
|
|
|
w_byte(TYPE_LONG, p);
|
1991-06-04 16:42:30 -03:00
|
|
|
n = ob->ob_size;
|
1993-01-21 12:07:51 -04:00
|
|
|
w_long((long)n, p);
|
1991-06-04 16:42:30 -03:00
|
|
|
if (n < 0)
|
|
|
|
n = -n;
|
|
|
|
for (i = 0; i < n; i++)
|
1993-01-21 12:07:51 -04:00
|
|
|
w_short(ob->ob_digit[i], p);
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
2007-11-06 21:13:09 -04:00
|
|
|
else if (PyFloat_CheckExact(v)) {
|
2005-06-03 11:41:55 -03:00
|
|
|
if (p->version > 1) {
|
2005-06-25 05:23:41 -03:00
|
|
|
unsigned char buf[8];
|
2005-06-03 11:41:55 -03:00
|
|
|
if (_PyFloat_Pack8(PyFloat_AsDouble(v),
|
|
|
|
buf, 1) < 0) {
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
w_byte(TYPE_BINARY_FLOAT, p);
|
2005-06-25 05:23:41 -03:00
|
|
|
w_string((char*)buf, 8, p);
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
|
|
|
else {
|
|
|
|
char buf[256]; /* Plenty to format any double */
|
|
|
|
PyFloat_AsReprString(buf, (PyFloatObject *)v);
|
2006-02-16 10:37:48 -04:00
|
|
|
n = strlen(buf);
|
2005-06-03 11:41:55 -03:00
|
|
|
w_byte(TYPE_FLOAT, p);
|
2006-02-16 10:37:48 -04:00
|
|
|
w_byte((int)n, p);
|
2006-03-07 08:08:51 -04:00
|
|
|
w_string(buf, (int)n, p);
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
1996-01-11 21:09:56 -04:00
|
|
|
#ifndef WITHOUT_COMPLEX
|
2007-11-06 21:13:09 -04:00
|
|
|
else if (PyComplex_CheckExact(v)) {
|
2005-06-03 11:41:55 -03:00
|
|
|
if (p->version > 1) {
|
2005-06-25 05:23:41 -03:00
|
|
|
unsigned char buf[8];
|
2005-06-03 11:41:55 -03:00
|
|
|
if (_PyFloat_Pack8(PyComplex_RealAsDouble(v),
|
|
|
|
buf, 1) < 0) {
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
w_byte(TYPE_BINARY_COMPLEX, p);
|
2005-06-25 05:23:41 -03:00
|
|
|
w_string((char*)buf, 8, p);
|
2005-06-03 11:41:55 -03:00
|
|
|
if (_PyFloat_Pack8(PyComplex_ImagAsDouble(v),
|
|
|
|
buf, 1) < 0) {
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
2005-06-25 05:23:41 -03:00
|
|
|
w_string((char*)buf, 8, p);
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
|
|
|
else {
|
|
|
|
char buf[256]; /* Plenty to format any double */
|
|
|
|
PyFloatObject *temp;
|
|
|
|
w_byte(TYPE_COMPLEX, p);
|
|
|
|
temp = (PyFloatObject*)PyFloat_FromDouble(
|
|
|
|
PyComplex_RealAsDouble(v));
|
2006-08-11 22:47:59 -03:00
|
|
|
if (!temp) {
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
2005-06-03 11:41:55 -03:00
|
|
|
PyFloat_AsReprString(buf, temp);
|
|
|
|
Py_DECREF(temp);
|
2006-03-07 08:08:51 -04:00
|
|
|
n = strlen(buf);
|
|
|
|
w_byte((int)n, p);
|
|
|
|
w_string(buf, (int)n, p);
|
2005-06-03 11:41:55 -03:00
|
|
|
temp = (PyFloatObject*)PyFloat_FromDouble(
|
|
|
|
PyComplex_ImagAsDouble(v));
|
2006-08-11 22:47:59 -03:00
|
|
|
if (!temp) {
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
2005-06-03 11:41:55 -03:00
|
|
|
PyFloat_AsReprString(buf, temp);
|
|
|
|
Py_DECREF(temp);
|
2006-03-07 08:08:51 -04:00
|
|
|
n = strlen(buf);
|
|
|
|
w_byte((int)n, p);
|
|
|
|
w_string(buf, (int)n, p);
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
1996-01-11 21:09:56 -04:00
|
|
|
}
|
|
|
|
#endif
|
2007-11-06 21:13:09 -04:00
|
|
|
else if (PyString_CheckExact(v)) {
|
2004-06-27 13:51:46 -03:00
|
|
|
if (p->strings && PyString_CHECK_INTERNED(v)) {
|
|
|
|
PyObject *o = PyDict_GetItem(p->strings, v);
|
|
|
|
if (o) {
|
|
|
|
long w = PyInt_AsLong(o);
|
|
|
|
w_byte(TYPE_STRINGREF, p);
|
|
|
|
w_long(w, p);
|
|
|
|
goto exit;
|
|
|
|
}
|
|
|
|
else {
|
2007-05-16 17:05:11 -03:00
|
|
|
int ok;
|
2006-02-15 13:27:45 -04:00
|
|
|
o = PyInt_FromSsize_t(PyDict_Size(p->strings));
|
2007-05-16 17:05:11 -03:00
|
|
|
ok = o &&
|
|
|
|
PyDict_SetItem(p->strings, v, o) >= 0;
|
|
|
|
Py_XDECREF(o);
|
|
|
|
if (!ok) {
|
|
|
|
p->depth--;
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
2004-06-27 13:51:46 -03:00
|
|
|
w_byte(TYPE_INTERNED, p);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
w_byte(TYPE_STRING, p);
|
|
|
|
}
|
2000-03-10 19:03:02 -04:00
|
|
|
n = PyString_GET_SIZE(v);
|
2006-03-07 08:08:51 -04:00
|
|
|
if (n > INT_MAX) {
|
|
|
|
/* huge strings are not supported */
|
|
|
|
p->depth--;
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
1995-02-17 11:10:07 -04:00
|
|
|
w_long((long)n, p);
|
2006-03-07 08:08:51 -04:00
|
|
|
w_string(PyString_AS_STRING(v), (int)n, p);
|
2000-03-10 19:03:02 -04:00
|
|
|
}
|
2001-08-17 15:39:25 -03:00
|
|
|
#ifdef Py_USING_UNICODE
|
2007-11-06 21:13:09 -04:00
|
|
|
else if (PyUnicode_CheckExact(v)) {
|
2000-03-10 19:03:02 -04:00
|
|
|
PyObject *utf8;
|
|
|
|
utf8 = PyUnicode_AsUTF8String(v);
|
|
|
|
if (utf8 == NULL) {
|
2000-06-28 20:24:19 -03:00
|
|
|
p->depth--;
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
2000-03-10 19:03:02 -04:00
|
|
|
}
|
|
|
|
w_byte(TYPE_UNICODE, p);
|
|
|
|
n = PyString_GET_SIZE(utf8);
|
2006-03-07 08:08:51 -04:00
|
|
|
if (n > INT_MAX) {
|
|
|
|
p->depth--;
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
2000-03-10 19:03:02 -04:00
|
|
|
w_long((long)n, p);
|
2006-03-07 08:08:51 -04:00
|
|
|
w_string(PyString_AS_STRING(utf8), (int)n, p);
|
2000-03-10 19:03:02 -04:00
|
|
|
Py_DECREF(utf8);
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
2001-08-17 15:39:25 -03:00
|
|
|
#endif
|
2007-11-06 21:13:09 -04:00
|
|
|
else if (PyTuple_CheckExact(v)) {
|
1993-01-21 12:07:51 -04:00
|
|
|
w_byte(TYPE_TUPLE, p);
|
1997-04-29 17:08:16 -03:00
|
|
|
n = PyTuple_Size(v);
|
1995-02-17 11:10:07 -04:00
|
|
|
w_long((long)n, p);
|
1991-06-04 16:42:30 -03:00
|
|
|
for (i = 0; i < n; i++) {
|
1997-04-29 17:08:16 -03:00
|
|
|
w_object(PyTuple_GET_ITEM(v, i), p);
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
|
|
|
}
|
2007-11-06 21:13:09 -04:00
|
|
|
else if (PyList_CheckExact(v)) {
|
1993-01-21 12:07:51 -04:00
|
|
|
w_byte(TYPE_LIST, p);
|
2000-03-10 19:03:02 -04:00
|
|
|
n = PyList_GET_SIZE(v);
|
1995-02-17 11:10:07 -04:00
|
|
|
w_long((long)n, p);
|
1991-06-04 16:42:30 -03:00
|
|
|
for (i = 0; i < n; i++) {
|
2000-03-10 19:03:02 -04:00
|
|
|
w_object(PyList_GET_ITEM(v, i), p);
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
|
|
|
}
|
2007-11-06 21:13:09 -04:00
|
|
|
else if (PyDict_CheckExact(v)) {
|
2006-02-15 13:27:45 -04:00
|
|
|
Py_ssize_t pos;
|
1997-04-29 17:08:16 -03:00
|
|
|
PyObject *key, *value;
|
1993-01-21 12:07:51 -04:00
|
|
|
w_byte(TYPE_DICT, p);
|
1991-06-07 10:58:22 -03:00
|
|
|
/* This one is NULL object terminated! */
|
1993-05-19 11:50:45 -03:00
|
|
|
pos = 0;
|
1997-04-29 17:08:16 -03:00
|
|
|
while (PyDict_Next(v, &pos, &key, &value)) {
|
1993-05-19 11:50:45 -03:00
|
|
|
w_object(key, p);
|
|
|
|
w_object(value, p);
|
1991-06-07 10:58:22 -03:00
|
|
|
}
|
1997-04-29 17:08:16 -03:00
|
|
|
w_object((PyObject *)NULL, p);
|
1991-06-07 10:58:22 -03:00
|
|
|
}
|
2007-11-06 21:13:09 -04:00
|
|
|
else if (PyAnySet_CheckExact(v)) {
|
2005-01-10 23:03:27 -04:00
|
|
|
PyObject *value, *it;
|
|
|
|
|
|
|
|
if (PyObject_TypeCheck(v, &PySet_Type))
|
|
|
|
w_byte(TYPE_SET, p);
|
|
|
|
else
|
|
|
|
w_byte(TYPE_FROZENSET, p);
|
|
|
|
n = PyObject_Size(v);
|
|
|
|
if (n == -1) {
|
|
|
|
p->depth--;
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
w_long((long)n, p);
|
|
|
|
it = PyObject_GetIter(v);
|
|
|
|
if (it == NULL) {
|
|
|
|
p->depth--;
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
while ((value = PyIter_Next(it)) != NULL) {
|
|
|
|
w_object(value, p);
|
|
|
|
Py_DECREF(value);
|
|
|
|
}
|
|
|
|
Py_DECREF(it);
|
|
|
|
if (PyErr_Occurred()) {
|
|
|
|
p->depth--;
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
1997-04-29 17:08:16 -03:00
|
|
|
else if (PyCode_Check(v)) {
|
|
|
|
PyCodeObject *co = (PyCodeObject *)v;
|
1993-01-21 12:07:51 -04:00
|
|
|
w_byte(TYPE_CODE, p);
|
2002-06-13 22:07:39 -03:00
|
|
|
w_long(co->co_argcount, p);
|
|
|
|
w_long(co->co_nlocals, p);
|
|
|
|
w_long(co->co_stacksize, p);
|
|
|
|
w_long(co->co_flags, p);
|
1998-10-07 16:42:25 -03:00
|
|
|
w_object(co->co_code, p);
|
1993-01-21 12:07:51 -04:00
|
|
|
w_object(co->co_consts, p);
|
|
|
|
w_object(co->co_names, p);
|
1995-07-18 11:51:37 -03:00
|
|
|
w_object(co->co_varnames, p);
|
PEP 227 implementation
The majority of the changes are in the compiler. The mainloop changes
primarily to implement the new opcodes and to pass a function's
closure to eval_code2(). Frames and functions got new slots to hold
the closure.
Include/compile.h
Add co_freevars and co_cellvars slots to code objects.
Update PyCode_New() to take freevars and cellvars as arguments
Include/funcobject.h
Add func_closure slot to function objects.
Add GetClosure()/SetClosure() functions (and corresponding
macros) for getting at the closure.
Include/frameobject.h
PyFrame_New() now takes a closure.
Include/opcode.h
Add four new opcodes: MAKE_CLOSURE, LOAD_CLOSURE, LOAD_DEREF,
STORE_DEREF.
Remove comment about old requirement for opcodes to fit in 7
bits.
compile.c
Implement changes to code objects for co_freevars and co_cellvars.
Modify symbol table to use st_cur_name (string object for the name
of the current scope) and st_cur_children (list of nested blocks).
Also define st_nested, which might more properly be called
st_cur_nested. Add several DEF_XXX flags to track def-use
information for free variables.
New or modified functions of note:
com_make_closure(struct compiling *, PyCodeObject *)
Emit LOAD_CLOSURE opcodes as needed to pass cells for free
variables into nested scope.
com_addop_varname(struct compiling *, int, char *)
Emits opcodes for LOAD_DEREF and STORE_DEREF.
get_ref_type(struct compiling *, char *name)
Return NAME_CLOSURE if ref type is FREE or CELL
symtable_load_symbols(struct compiling *)
Decides what variables are cell or free based on def-use info.
Can now raise SyntaxError if nested scopes are mixed with
exec or from blah import *.
make_scope_info(PyObject *, PyObject *, int, int)
Helper functions for symtable scope stack.
symtable_update_free_vars(struct symtable *)
After a code block has been analyzed, it must check each of
its children for free variables that are not defined in the
block. If a variable is free in a child and not defined in
the parent, then it is defined by block the enclosing the
current one or it is a global. This does the right logic.
symtable_add_use() is now a macro for symtable_add_def()
symtable_assign(struct symtable *, node *)
Use goto instead of for (;;)
Fixed bug in symtable where name of keyword argument in function
call was treated as assignment in the scope of the call site. Ex:
def f():
g(a=2) # a was considered a local of f
ceval.c
eval_code2() now take one more argument, a closure.
Implement LOAD_CLOSURE, LOAD_DEREF, STORE_DEREF, MAKE_CLOSURE>
Also: When name error occurs for global variable, report that the
name was global in the error mesage.
Objects/frameobject.c
Initialize f_closure to be a tuple containing space for cellvars
and freevars. f_closure is NULL if neither are present.
Objects/funcobject.c
Add support for func_closure.
Python/import.c
Change the magic number.
Python/marshal.c
Track changes to code objects.
2001-01-25 16:06:59 -04:00
|
|
|
w_object(co->co_freevars, p);
|
|
|
|
w_object(co->co_cellvars, p);
|
1993-01-21 12:07:51 -04:00
|
|
|
w_object(co->co_filename, p);
|
1993-03-29 06:43:31 -04:00
|
|
|
w_object(co->co_name, p);
|
2002-06-13 22:07:39 -03:00
|
|
|
w_long(co->co_firstlineno, p);
|
1997-01-23 23:44:17 -04:00
|
|
|
w_object(co->co_lnotab, p);
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
2001-11-09 18:02:48 -04:00
|
|
|
else if (PyObject_CheckReadBuffer(v)) {
|
1998-10-07 16:42:25 -03:00
|
|
|
/* Write unknown buffer-style objects as a string */
|
|
|
|
char *s;
|
2001-11-09 18:02:48 -04:00
|
|
|
PyBufferProcs *pb = v->ob_type->tp_as_buffer;
|
1998-10-07 16:42:25 -03:00
|
|
|
w_byte(TYPE_STRING, p);
|
|
|
|
n = (*pb->bf_getreadbuffer)(v, 0, (void **)&s);
|
2006-03-07 08:08:51 -04:00
|
|
|
if (n > INT_MAX) {
|
|
|
|
p->depth--;
|
|
|
|
p->error = 1;
|
|
|
|
return;
|
|
|
|
}
|
1998-10-07 16:42:25 -03:00
|
|
|
w_long((long)n, p);
|
2006-03-07 08:08:51 -04:00
|
|
|
w_string(s, (int)n, p);
|
1998-10-07 16:42:25 -03:00
|
|
|
}
|
1991-06-04 16:42:30 -03:00
|
|
|
else {
|
1993-01-21 12:07:51 -04:00
|
|
|
w_byte(TYPE_UNKNOWN, p);
|
1996-06-26 17:41:23 -03:00
|
|
|
p->error = 1;
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
2004-06-27 13:51:46 -03:00
|
|
|
exit:
|
2000-06-28 20:24:19 -03:00
|
|
|
p->depth--;
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
|
|
|
|
2004-06-27 13:51:46 -03:00
|
|
|
/* version currently has no effect for writing longs. */
|
1993-01-21 12:07:51 -04:00
|
|
|
void
|
2004-06-27 13:51:46 -03:00
|
|
|
PyMarshal_WriteLongToFile(long x, FILE *fp, int version)
|
1993-01-21 12:07:51 -04:00
|
|
|
{
|
|
|
|
WFILE wf;
|
|
|
|
wf.fp = fp;
|
1996-06-26 17:41:23 -03:00
|
|
|
wf.error = 0;
|
2000-06-28 15:47:56 -03:00
|
|
|
wf.depth = 0;
|
2004-06-27 13:51:46 -03:00
|
|
|
wf.strings = NULL;
|
2005-06-03 11:41:55 -03:00
|
|
|
wf.version = version;
|
1993-01-21 12:07:51 -04:00
|
|
|
w_long(x, &wf);
|
|
|
|
}
|
1991-06-04 16:42:30 -03:00
|
|
|
|
1993-01-21 12:07:51 -04:00
|
|
|
void
|
2004-06-27 13:51:46 -03:00
|
|
|
PyMarshal_WriteObjectToFile(PyObject *x, FILE *fp, int version)
|
1993-01-21 12:07:51 -04:00
|
|
|
{
|
|
|
|
WFILE wf;
|
|
|
|
wf.fp = fp;
|
1996-06-26 17:41:23 -03:00
|
|
|
wf.error = 0;
|
2000-06-28 20:24:19 -03:00
|
|
|
wf.depth = 0;
|
2004-06-27 13:51:46 -03:00
|
|
|
wf.strings = (version > 0) ? PyDict_New() : NULL;
|
2005-06-03 11:41:55 -03:00
|
|
|
wf.version = version;
|
1993-01-21 12:07:51 -04:00
|
|
|
w_object(x, &wf);
|
2004-06-27 13:51:46 -03:00
|
|
|
Py_XDECREF(wf.strings);
|
1993-01-21 12:07:51 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
typedef WFILE RFILE; /* Same struct with different invariants */
|
|
|
|
|
2007-05-16 17:05:11 -03:00
|
|
|
#define rs_byte(p) (((p)->ptr < (p)->end) ? (unsigned char)*(p)->ptr++ : EOF)
|
1995-03-09 08:12:11 -04:00
|
|
|
|
|
|
|
#define r_byte(p) ((p)->fp ? getc((p)->fp) : rs_byte(p))
|
1993-01-21 12:07:51 -04:00
|
|
|
|
|
|
|
static int
|
2000-07-22 15:47:25 -03:00
|
|
|
r_string(char *s, int n, RFILE *p)
|
1993-01-21 12:07:51 -04:00
|
|
|
{
|
|
|
|
if (p->fp != NULL)
|
2006-02-15 13:27:45 -04:00
|
|
|
/* The result fits into int because it must be <=n. */
|
|
|
|
return (int)fread(s, 1, n, p->fp);
|
1993-01-21 12:07:51 -04:00
|
|
|
if (p->end - p->ptr < n)
|
2006-02-15 13:27:45 -04:00
|
|
|
n = (int)(p->end - p->ptr);
|
1993-01-21 12:07:51 -04:00
|
|
|
memcpy(s, p->ptr, n);
|
|
|
|
p->ptr += n;
|
|
|
|
return n;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
2000-07-22 15:47:25 -03:00
|
|
|
r_short(RFILE *p)
|
1991-06-04 16:42:30 -03:00
|
|
|
{
|
|
|
|
register short x;
|
1993-01-21 12:07:51 -04:00
|
|
|
x = r_byte(p);
|
|
|
|
x |= r_byte(p) << 8;
|
2000-09-19 05:54:13 -03:00
|
|
|
/* Sign-extension, in case short greater than 16 bits */
|
|
|
|
x |= -(x & 0x8000);
|
1991-06-04 16:42:30 -03:00
|
|
|
return x;
|
|
|
|
}
|
|
|
|
|
1993-01-21 12:07:51 -04:00
|
|
|
static long
|
2000-07-22 15:47:25 -03:00
|
|
|
r_long(RFILE *p)
|
1991-06-04 16:42:30 -03:00
|
|
|
{
|
|
|
|
register long x;
|
1995-03-09 08:12:11 -04:00
|
|
|
register FILE *fp = p->fp;
|
|
|
|
if (fp) {
|
|
|
|
x = getc(fp);
|
|
|
|
x |= (long)getc(fp) << 8;
|
|
|
|
x |= (long)getc(fp) << 16;
|
|
|
|
x |= (long)getc(fp) << 24;
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
x = rs_byte(p);
|
|
|
|
x |= (long)rs_byte(p) << 8;
|
|
|
|
x |= (long)rs_byte(p) << 16;
|
|
|
|
x |= (long)rs_byte(p) << 24;
|
|
|
|
}
|
1996-12-10 11:39:04 -04:00
|
|
|
#if SIZEOF_LONG > 4
|
1996-12-05 19:15:02 -04:00
|
|
|
/* Sign extension for 64-bit machines */
|
2000-09-19 05:54:13 -03:00
|
|
|
x |= -(x & 0x80000000L);
|
1996-12-10 11:39:04 -04:00
|
|
|
#endif
|
1996-12-05 19:15:02 -04:00
|
|
|
return x;
|
|
|
|
}
|
|
|
|
|
2001-08-28 23:28:42 -03:00
|
|
|
/* r_long64 deals with the TYPE_INT64 code. On a machine with
|
|
|
|
sizeof(long) > 4, it returns a Python int object, else a Python long
|
|
|
|
object. Note that w_long64 writes out TYPE_INT if 32 bits is enough,
|
|
|
|
so there's no inefficiency here in returning a PyLong on 32-bit boxes
|
|
|
|
for everything written via TYPE_INT64 (i.e., if an int is written via
|
|
|
|
TYPE_INT64, it *needs* more than 32 bits).
|
|
|
|
*/
|
|
|
|
static PyObject *
|
2000-07-22 15:47:25 -03:00
|
|
|
r_long64(RFILE *p)
|
1996-12-05 19:15:02 -04:00
|
|
|
{
|
2001-08-28 23:28:42 -03:00
|
|
|
long lo4 = r_long(p);
|
|
|
|
long hi4 = r_long(p);
|
1996-12-10 11:39:04 -04:00
|
|
|
#if SIZEOF_LONG > 4
|
2001-08-28 23:28:42 -03:00
|
|
|
long x = (hi4 << 32) | (lo4 & 0xFFFFFFFFL);
|
|
|
|
return PyInt_FromLong(x);
|
1996-12-10 11:39:04 -04:00
|
|
|
#else
|
2001-08-28 23:28:42 -03:00
|
|
|
unsigned char buf[8];
|
|
|
|
int one = 1;
|
|
|
|
int is_little_endian = (int)*(char*)&one;
|
|
|
|
if (is_little_endian) {
|
|
|
|
memcpy(buf, &lo4, 4);
|
|
|
|
memcpy(buf+4, &hi4, 4);
|
1996-12-05 19:15:02 -04:00
|
|
|
}
|
2001-08-28 23:28:42 -03:00
|
|
|
else {
|
|
|
|
memcpy(buf, &hi4, 4);
|
|
|
|
memcpy(buf+4, &lo4, 4);
|
|
|
|
}
|
|
|
|
return _PyLong_FromByteArray(buf, 8, is_little_endian, 1);
|
1996-12-10 11:39:04 -04:00
|
|
|
#endif
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
|
|
|
|
1997-04-29 17:08:16 -03:00
|
|
|
static PyObject *
|
2000-07-22 15:47:25 -03:00
|
|
|
r_object(RFILE *p)
|
1991-06-04 16:42:30 -03:00
|
|
|
{
|
2004-03-26 11:09:27 -04:00
|
|
|
/* NULL is a valid return value, it does not necessarily means that
|
|
|
|
an exception is set. */
|
2008-01-30 07:46:00 -04:00
|
|
|
PyObject *v, *v2;
|
1991-06-04 16:42:30 -03:00
|
|
|
long i, n;
|
1993-01-21 12:07:51 -04:00
|
|
|
int type = r_byte(p);
|
2007-05-16 17:05:11 -03:00
|
|
|
PyObject *retval;
|
|
|
|
|
|
|
|
p->depth++;
|
|
|
|
|
|
|
|
if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
|
|
|
|
p->depth--;
|
|
|
|
PyErr_SetString(PyExc_ValueError, "recursion limit exceeded");
|
|
|
|
return NULL;
|
|
|
|
}
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
switch (type) {
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
case EOF:
|
1997-04-29 17:08:16 -03:00
|
|
|
PyErr_SetString(PyExc_EOFError,
|
|
|
|
"EOF read where object expected");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
case TYPE_NULL:
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
case TYPE_NONE:
|
1997-04-29 17:08:16 -03:00
|
|
|
Py_INCREF(Py_None);
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = Py_None;
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
2001-06-18 19:08:13 -03:00
|
|
|
case TYPE_STOPITER:
|
|
|
|
Py_INCREF(PyExc_StopIteration);
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = PyExc_StopIteration;
|
|
|
|
break;
|
2001-06-18 19:08:13 -03:00
|
|
|
|
1996-10-11 13:25:41 -03:00
|
|
|
case TYPE_ELLIPSIS:
|
1997-04-29 17:08:16 -03:00
|
|
|
Py_INCREF(Py_Ellipsis);
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = Py_Ellipsis;
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
2002-04-03 18:41:51 -04:00
|
|
|
case TYPE_FALSE:
|
|
|
|
Py_INCREF(Py_False);
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = Py_False;
|
|
|
|
break;
|
2002-04-03 18:41:51 -04:00
|
|
|
|
|
|
|
case TYPE_TRUE:
|
|
|
|
Py_INCREF(Py_True);
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = Py_True;
|
|
|
|
break;
|
2002-04-03 18:41:51 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
case TYPE_INT:
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = PyInt_FromLong(r_long(p));
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1996-12-05 19:15:02 -04:00
|
|
|
case TYPE_INT64:
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = r_long64(p);
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
case TYPE_LONG:
|
|
|
|
{
|
|
|
|
int size;
|
1997-04-29 17:08:16 -03:00
|
|
|
PyLongObject *ob;
|
1993-01-21 12:07:51 -04:00
|
|
|
n = r_long(p);
|
2006-10-04 09:17:45 -03:00
|
|
|
if (n < -INT_MAX || n > INT_MAX) {
|
|
|
|
PyErr_SetString(PyExc_ValueError,
|
|
|
|
"bad marshal data");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2006-10-04 09:17:45 -03:00
|
|
|
}
|
1991-06-04 16:42:30 -03:00
|
|
|
size = n<0 ? -n : n;
|
1997-04-29 17:08:16 -03:00
|
|
|
ob = _PyLong_New(size);
|
2007-05-16 17:05:11 -03:00
|
|
|
if (ob == NULL) {
|
|
|
|
retval = NULL;
|
|
|
|
break;
|
|
|
|
}
|
1991-06-04 16:42:30 -03:00
|
|
|
ob->ob_size = n;
|
2004-03-26 11:09:27 -04:00
|
|
|
for (i = 0; i < size; i++) {
|
|
|
|
int digit = r_short(p);
|
|
|
|
if (digit < 0) {
|
|
|
|
Py_DECREF(ob);
|
|
|
|
PyErr_SetString(PyExc_ValueError,
|
|
|
|
"bad marshal data");
|
2007-05-16 17:05:11 -03:00
|
|
|
ob = NULL;
|
|
|
|
break;
|
2004-03-26 11:09:27 -04:00
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
if (ob != NULL)
|
|
|
|
ob->ob_digit[i] = digit;
|
2004-03-26 11:09:27 -04:00
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = (PyObject *)ob;
|
|
|
|
break;
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
case TYPE_FLOAT:
|
|
|
|
{
|
|
|
|
char buf[256];
|
1997-02-14 18:58:07 -04:00
|
|
|
double dx;
|
1993-01-21 12:07:51 -04:00
|
|
|
n = r_byte(p);
|
2004-03-26 11:09:27 -04:00
|
|
|
if (n == EOF || r_string(buf, (int)n, p) != n) {
|
1997-04-29 17:08:16 -03:00
|
|
|
PyErr_SetString(PyExc_EOFError,
|
1991-06-04 16:42:30 -03:00
|
|
|
"EOF read where object expected");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
|
|
|
buf[n] = '\0';
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
PyFPE_START_PROTECT("atof", break)
|
2004-06-08 15:52:54 -03:00
|
|
|
dx = PyOS_ascii_atof(buf);
|
1997-03-14 00:32:50 -04:00
|
|
|
PyFPE_END_PROTECT(dx)
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = PyFloat_FromDouble(dx);
|
|
|
|
break;
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
2001-01-27 20:27:39 -04:00
|
|
|
|
2005-06-03 11:41:55 -03:00
|
|
|
case TYPE_BINARY_FLOAT:
|
|
|
|
{
|
2005-06-25 05:23:41 -03:00
|
|
|
unsigned char buf[8];
|
2005-06-03 11:41:55 -03:00
|
|
|
double x;
|
2005-06-25 05:23:41 -03:00
|
|
|
if (r_string((char*)buf, 8, p) != 8) {
|
2005-06-03 11:41:55 -03:00
|
|
|
PyErr_SetString(PyExc_EOFError,
|
|
|
|
"EOF read where object expected");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
|
|
|
x = _PyFloat_Unpack8(buf, 1);
|
|
|
|
if (x == -1.0 && PyErr_Occurred()) {
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = PyFloat_FromDouble(x);
|
|
|
|
break;
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
|
|
|
|
1996-01-11 21:09:56 -04:00
|
|
|
#ifndef WITHOUT_COMPLEX
|
|
|
|
case TYPE_COMPLEX:
|
|
|
|
{
|
|
|
|
char buf[256];
|
1996-07-20 23:27:43 -03:00
|
|
|
Py_complex c;
|
1996-01-11 21:09:56 -04:00
|
|
|
n = r_byte(p);
|
2004-03-26 11:09:27 -04:00
|
|
|
if (n == EOF || r_string(buf, (int)n, p) != n) {
|
1997-04-29 17:08:16 -03:00
|
|
|
PyErr_SetString(PyExc_EOFError,
|
1996-01-11 21:09:56 -04:00
|
|
|
"EOF read where object expected");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
1996-01-11 21:09:56 -04:00
|
|
|
}
|
|
|
|
buf[n] = '\0';
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
PyFPE_START_PROTECT("atof", break;)
|
2004-06-08 15:52:54 -03:00
|
|
|
c.real = PyOS_ascii_atof(buf);
|
1997-03-14 00:32:50 -04:00
|
|
|
PyFPE_END_PROTECT(c)
|
1996-01-11 21:09:56 -04:00
|
|
|
n = r_byte(p);
|
2004-03-26 11:09:27 -04:00
|
|
|
if (n == EOF || r_string(buf, (int)n, p) != n) {
|
1997-04-29 17:08:16 -03:00
|
|
|
PyErr_SetString(PyExc_EOFError,
|
1996-01-11 21:09:56 -04:00
|
|
|
"EOF read where object expected");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
1996-01-11 21:09:56 -04:00
|
|
|
}
|
|
|
|
buf[n] = '\0';
|
2007-05-16 17:05:11 -03:00
|
|
|
PyFPE_START_PROTECT("atof", break)
|
2004-06-08 15:52:54 -03:00
|
|
|
c.imag = PyOS_ascii_atof(buf);
|
1997-03-14 00:32:50 -04:00
|
|
|
PyFPE_END_PROTECT(c)
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = PyComplex_FromCComplex(c);
|
|
|
|
break;
|
1996-01-11 21:09:56 -04:00
|
|
|
}
|
2005-06-03 11:41:55 -03:00
|
|
|
|
|
|
|
case TYPE_BINARY_COMPLEX:
|
|
|
|
{
|
2005-06-25 05:23:41 -03:00
|
|
|
unsigned char buf[8];
|
2005-06-03 11:41:55 -03:00
|
|
|
Py_complex c;
|
2005-06-25 05:23:41 -03:00
|
|
|
if (r_string((char*)buf, 8, p) != 8) {
|
2005-06-03 11:41:55 -03:00
|
|
|
PyErr_SetString(PyExc_EOFError,
|
|
|
|
"EOF read where object expected");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
|
|
|
c.real = _PyFloat_Unpack8(buf, 1);
|
|
|
|
if (c.real == -1.0 && PyErr_Occurred()) {
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
2005-06-25 05:23:41 -03:00
|
|
|
if (r_string((char*)buf, 8, p) != 8) {
|
2005-06-03 11:41:55 -03:00
|
|
|
PyErr_SetString(PyExc_EOFError,
|
|
|
|
"EOF read where object expected");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
|
|
|
c.imag = _PyFloat_Unpack8(buf, 1);
|
|
|
|
if (c.imag == -1.0 && PyErr_Occurred()) {
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = PyComplex_FromCComplex(c);
|
|
|
|
break;
|
2005-06-03 11:41:55 -03:00
|
|
|
}
|
1996-01-11 21:09:56 -04:00
|
|
|
#endif
|
2001-01-27 20:27:39 -04:00
|
|
|
|
2004-06-27 13:51:46 -03:00
|
|
|
case TYPE_INTERNED:
|
1991-06-04 16:42:30 -03:00
|
|
|
case TYPE_STRING:
|
1993-01-21 12:07:51 -04:00
|
|
|
n = r_long(p);
|
2006-10-04 09:17:45 -03:00
|
|
|
if (n < 0 || n > INT_MAX) {
|
1998-06-08 17:27:29 -03:00
|
|
|
PyErr_SetString(PyExc_ValueError, "bad marshal data");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
1998-06-08 17:27:29 -03:00
|
|
|
}
|
1997-04-29 17:08:16 -03:00
|
|
|
v = PyString_FromStringAndSize((char *)NULL, n);
|
2007-05-16 17:05:11 -03:00
|
|
|
if (v == NULL) {
|
|
|
|
retval = NULL;
|
|
|
|
break;
|
|
|
|
}
|
2005-06-03 12:17:16 -03:00
|
|
|
if (r_string(PyString_AS_STRING(v), (int)n, p) != n) {
|
|
|
|
Py_DECREF(v);
|
|
|
|
PyErr_SetString(PyExc_EOFError,
|
1991-06-04 16:42:30 -03:00
|
|
|
"EOF read where object expected");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
2004-06-27 13:51:46 -03:00
|
|
|
if (type == TYPE_INTERNED) {
|
|
|
|
PyString_InternInPlace(&v);
|
2007-05-16 17:05:11 -03:00
|
|
|
if (PyList_Append(p->strings, v) < 0) {
|
|
|
|
retval = NULL;
|
|
|
|
break;
|
|
|
|
}
|
2004-06-27 13:51:46 -03:00
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = v;
|
|
|
|
break;
|
2004-06-27 13:51:46 -03:00
|
|
|
|
|
|
|
case TYPE_STRINGREF:
|
|
|
|
n = r_long(p);
|
2005-06-13 15:28:46 -03:00
|
|
|
if (n < 0 || n >= PyList_GET_SIZE(p->strings)) {
|
|
|
|
PyErr_SetString(PyExc_ValueError, "bad marshal data");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2005-06-13 15:28:46 -03:00
|
|
|
}
|
2004-06-27 13:51:46 -03:00
|
|
|
v = PyList_GET_ITEM(p->strings, n);
|
|
|
|
Py_INCREF(v);
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = v;
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
2001-08-17 15:39:25 -03:00
|
|
|
#ifdef Py_USING_UNICODE
|
2000-03-10 19:03:02 -04:00
|
|
|
case TYPE_UNICODE:
|
|
|
|
{
|
|
|
|
char *buffer;
|
|
|
|
|
|
|
|
n = r_long(p);
|
2006-10-04 09:17:45 -03:00
|
|
|
if (n < 0 || n > INT_MAX) {
|
2000-03-10 19:03:02 -04:00
|
|
|
PyErr_SetString(PyExc_ValueError, "bad marshal data");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2000-03-10 19:03:02 -04:00
|
|
|
}
|
2000-05-03 20:44:39 -03:00
|
|
|
buffer = PyMem_NEW(char, n);
|
2007-05-16 17:05:11 -03:00
|
|
|
if (buffer == NULL) {
|
|
|
|
retval = PyErr_NoMemory();
|
|
|
|
break;
|
|
|
|
}
|
2000-03-10 19:03:02 -04:00
|
|
|
if (r_string(buffer, (int)n, p) != n) {
|
2000-05-03 20:44:39 -03:00
|
|
|
PyMem_DEL(buffer);
|
2000-03-10 19:03:02 -04:00
|
|
|
PyErr_SetString(PyExc_EOFError,
|
|
|
|
"EOF read where object expected");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2000-03-10 19:03:02 -04:00
|
|
|
}
|
|
|
|
v = PyUnicode_DecodeUTF8(buffer, n, NULL);
|
2000-05-03 20:44:39 -03:00
|
|
|
PyMem_DEL(buffer);
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = v;
|
|
|
|
break;
|
2000-03-10 19:03:02 -04:00
|
|
|
}
|
2001-08-17 15:39:25 -03:00
|
|
|
#endif
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
case TYPE_TUPLE:
|
1993-01-21 12:07:51 -04:00
|
|
|
n = r_long(p);
|
2006-10-04 09:17:45 -03:00
|
|
|
if (n < 0 || n > INT_MAX) {
|
1998-06-08 17:27:29 -03:00
|
|
|
PyErr_SetString(PyExc_ValueError, "bad marshal data");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
1998-06-08 17:27:29 -03:00
|
|
|
}
|
1997-04-29 17:08:16 -03:00
|
|
|
v = PyTuple_New((int)n);
|
2007-05-16 17:05:11 -03:00
|
|
|
if (v == NULL) {
|
|
|
|
retval = NULL;
|
|
|
|
break;
|
|
|
|
}
|
1995-10-27 10:21:28 -03:00
|
|
|
for (i = 0; i < n; i++) {
|
|
|
|
v2 = r_object(p);
|
|
|
|
if ( v2 == NULL ) {
|
2004-03-26 11:09:27 -04:00
|
|
|
if (!PyErr_Occurred())
|
|
|
|
PyErr_SetString(PyExc_TypeError,
|
|
|
|
"NULL object in marshal data");
|
1997-04-29 17:08:16 -03:00
|
|
|
Py_DECREF(v);
|
1995-10-27 10:21:28 -03:00
|
|
|
v = NULL;
|
|
|
|
break;
|
|
|
|
}
|
1997-04-29 17:08:16 -03:00
|
|
|
PyTuple_SET_ITEM(v, (int)i, v2);
|
1995-10-27 10:21:28 -03:00
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = v;
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
case TYPE_LIST:
|
1993-01-21 12:07:51 -04:00
|
|
|
n = r_long(p);
|
2006-10-04 09:17:45 -03:00
|
|
|
if (n < 0 || n > INT_MAX) {
|
1998-06-08 17:27:29 -03:00
|
|
|
PyErr_SetString(PyExc_ValueError, "bad marshal data");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
1998-06-08 17:27:29 -03:00
|
|
|
}
|
1997-04-29 17:08:16 -03:00
|
|
|
v = PyList_New((int)n);
|
2007-05-16 17:05:11 -03:00
|
|
|
if (v == NULL) {
|
|
|
|
retval = NULL;
|
|
|
|
break;
|
|
|
|
}
|
1995-10-27 10:21:28 -03:00
|
|
|
for (i = 0; i < n; i++) {
|
|
|
|
v2 = r_object(p);
|
|
|
|
if ( v2 == NULL ) {
|
2004-03-26 11:09:27 -04:00
|
|
|
if (!PyErr_Occurred())
|
|
|
|
PyErr_SetString(PyExc_TypeError,
|
|
|
|
"NULL object in marshal data");
|
1997-04-29 17:08:16 -03:00
|
|
|
Py_DECREF(v);
|
1995-10-27 10:21:28 -03:00
|
|
|
v = NULL;
|
|
|
|
break;
|
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
PyList_SET_ITEM(v, (int)i, v2);
|
1995-10-27 10:21:28 -03:00
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = v;
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-07 10:58:22 -03:00
|
|
|
case TYPE_DICT:
|
1997-04-29 17:08:16 -03:00
|
|
|
v = PyDict_New();
|
2007-05-16 17:05:11 -03:00
|
|
|
if (v == NULL) {
|
|
|
|
retval = NULL;
|
|
|
|
break;
|
|
|
|
}
|
1991-06-07 10:58:22 -03:00
|
|
|
for (;;) {
|
1997-04-29 17:08:16 -03:00
|
|
|
PyObject *key, *val;
|
1993-01-21 12:07:51 -04:00
|
|
|
key = r_object(p);
|
1991-06-07 10:58:22 -03:00
|
|
|
if (key == NULL)
|
2004-03-26 11:09:27 -04:00
|
|
|
break;
|
1993-01-21 12:07:51 -04:00
|
|
|
val = r_object(p);
|
1996-06-26 17:41:23 -03:00
|
|
|
if (val != NULL)
|
1997-04-29 17:08:16 -03:00
|
|
|
PyDict_SetItem(v, key, val);
|
|
|
|
Py_DECREF(key);
|
|
|
|
Py_XDECREF(val);
|
1991-06-07 10:58:22 -03:00
|
|
|
}
|
2004-03-26 11:09:27 -04:00
|
|
|
if (PyErr_Occurred()) {
|
|
|
|
Py_DECREF(v);
|
|
|
|
v = NULL;
|
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = v;
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
2005-01-10 23:03:27 -04:00
|
|
|
case TYPE_SET:
|
|
|
|
case TYPE_FROZENSET:
|
|
|
|
n = r_long(p);
|
2007-05-16 17:05:11 -03:00
|
|
|
if (n < 0 || n > INT_MAX) {
|
2005-01-10 23:03:27 -04:00
|
|
|
PyErr_SetString(PyExc_ValueError, "bad marshal data");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2005-01-10 23:03:27 -04:00
|
|
|
}
|
2008-01-28 17:34:30 -04:00
|
|
|
v = (type == TYPE_SET) ? PySet_New(NULL) : PyFrozenSet_New(NULL);
|
2007-05-16 17:05:11 -03:00
|
|
|
if (v == NULL) {
|
|
|
|
retval = NULL;
|
|
|
|
break;
|
|
|
|
}
|
2005-01-10 23:03:27 -04:00
|
|
|
for (i = 0; i < n; i++) {
|
|
|
|
v2 = r_object(p);
|
|
|
|
if ( v2 == NULL ) {
|
|
|
|
if (!PyErr_Occurred())
|
|
|
|
PyErr_SetString(PyExc_TypeError,
|
|
|
|
"NULL object in marshal data");
|
|
|
|
Py_DECREF(v);
|
|
|
|
v = NULL;
|
|
|
|
break;
|
|
|
|
}
|
2008-01-28 17:34:30 -04:00
|
|
|
if (PySet_Add(v, v2) == -1) {
|
|
|
|
Py_DECREF(v);
|
|
|
|
Py_DECREF(v2);
|
|
|
|
v = NULL;
|
|
|
|
break;
|
|
|
|
}
|
2008-02-01 03:22:59 -04:00
|
|
|
Py_DECREF(v2);
|
2008-01-28 17:34:30 -04:00
|
|
|
}
|
2008-01-28 17:51:25 -04:00
|
|
|
retval = v;
|
2007-05-16 17:05:11 -03:00
|
|
|
break;
|
2005-01-10 23:03:27 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
case TYPE_CODE:
|
2001-08-30 11:50:20 -03:00
|
|
|
if (PyEval_GetRestricted()) {
|
|
|
|
PyErr_SetString(PyExc_RuntimeError,
|
|
|
|
"cannot unmarshal code objects in "
|
|
|
|
"restricted execution mode");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2001-08-30 11:50:20 -03:00
|
|
|
}
|
|
|
|
else {
|
2005-06-03 11:41:55 -03:00
|
|
|
int argcount;
|
|
|
|
int nlocals;
|
|
|
|
int stacksize;
|
|
|
|
int flags;
|
|
|
|
PyObject *code = NULL;
|
|
|
|
PyObject *consts = NULL;
|
|
|
|
PyObject *names = NULL;
|
|
|
|
PyObject *varnames = NULL;
|
|
|
|
PyObject *freevars = NULL;
|
|
|
|
PyObject *cellvars = NULL;
|
|
|
|
PyObject *filename = NULL;
|
|
|
|
PyObject *name = NULL;
|
|
|
|
int firstlineno;
|
|
|
|
PyObject *lnotab = NULL;
|
|
|
|
|
|
|
|
v = NULL;
|
|
|
|
|
2006-10-04 09:17:45 -03:00
|
|
|
/* XXX ignore long->int overflows for now */
|
|
|
|
argcount = (int)r_long(p);
|
|
|
|
nlocals = (int)r_long(p);
|
|
|
|
stacksize = (int)r_long(p);
|
|
|
|
flags = (int)r_long(p);
|
2005-06-03 11:41:55 -03:00
|
|
|
code = r_object(p);
|
|
|
|
if (code == NULL)
|
|
|
|
goto code_error;
|
|
|
|
consts = r_object(p);
|
|
|
|
if (consts == NULL)
|
|
|
|
goto code_error;
|
|
|
|
names = r_object(p);
|
|
|
|
if (names == NULL)
|
|
|
|
goto code_error;
|
|
|
|
varnames = r_object(p);
|
|
|
|
if (varnames == NULL)
|
|
|
|
goto code_error;
|
|
|
|
freevars = r_object(p);
|
|
|
|
if (freevars == NULL)
|
|
|
|
goto code_error;
|
|
|
|
cellvars = r_object(p);
|
|
|
|
if (cellvars == NULL)
|
|
|
|
goto code_error;
|
|
|
|
filename = r_object(p);
|
|
|
|
if (filename == NULL)
|
|
|
|
goto code_error;
|
|
|
|
name = r_object(p);
|
|
|
|
if (name == NULL)
|
|
|
|
goto code_error;
|
2006-10-04 09:17:45 -03:00
|
|
|
firstlineno = (int)r_long(p);
|
2005-06-03 11:41:55 -03:00
|
|
|
lnotab = r_object(p);
|
|
|
|
if (lnotab == NULL)
|
|
|
|
goto code_error;
|
|
|
|
|
|
|
|
v = (PyObject *) PyCode_New(
|
2001-01-27 20:27:39 -04:00
|
|
|
argcount, nlocals, stacksize, flags,
|
1995-07-18 11:51:37 -03:00
|
|
|
code, consts, names, varnames,
|
2001-01-27 20:27:39 -04:00
|
|
|
freevars, cellvars, filename, name,
|
|
|
|
firstlineno, lnotab);
|
2005-06-03 11:41:55 -03:00
|
|
|
|
|
|
|
code_error:
|
1997-04-29 17:08:16 -03:00
|
|
|
Py_XDECREF(code);
|
|
|
|
Py_XDECREF(consts);
|
|
|
|
Py_XDECREF(names);
|
|
|
|
Py_XDECREF(varnames);
|
PEP 227 implementation
The majority of the changes are in the compiler. The mainloop changes
primarily to implement the new opcodes and to pass a function's
closure to eval_code2(). Frames and functions got new slots to hold
the closure.
Include/compile.h
Add co_freevars and co_cellvars slots to code objects.
Update PyCode_New() to take freevars and cellvars as arguments
Include/funcobject.h
Add func_closure slot to function objects.
Add GetClosure()/SetClosure() functions (and corresponding
macros) for getting at the closure.
Include/frameobject.h
PyFrame_New() now takes a closure.
Include/opcode.h
Add four new opcodes: MAKE_CLOSURE, LOAD_CLOSURE, LOAD_DEREF,
STORE_DEREF.
Remove comment about old requirement for opcodes to fit in 7
bits.
compile.c
Implement changes to code objects for co_freevars and co_cellvars.
Modify symbol table to use st_cur_name (string object for the name
of the current scope) and st_cur_children (list of nested blocks).
Also define st_nested, which might more properly be called
st_cur_nested. Add several DEF_XXX flags to track def-use
information for free variables.
New or modified functions of note:
com_make_closure(struct compiling *, PyCodeObject *)
Emit LOAD_CLOSURE opcodes as needed to pass cells for free
variables into nested scope.
com_addop_varname(struct compiling *, int, char *)
Emits opcodes for LOAD_DEREF and STORE_DEREF.
get_ref_type(struct compiling *, char *name)
Return NAME_CLOSURE if ref type is FREE or CELL
symtable_load_symbols(struct compiling *)
Decides what variables are cell or free based on def-use info.
Can now raise SyntaxError if nested scopes are mixed with
exec or from blah import *.
make_scope_info(PyObject *, PyObject *, int, int)
Helper functions for symtable scope stack.
symtable_update_free_vars(struct symtable *)
After a code block has been analyzed, it must check each of
its children for free variables that are not defined in the
block. If a variable is free in a child and not defined in
the parent, then it is defined by block the enclosing the
current one or it is a global. This does the right logic.
symtable_add_use() is now a macro for symtable_add_def()
symtable_assign(struct symtable *, node *)
Use goto instead of for (;;)
Fixed bug in symtable where name of keyword argument in function
call was treated as assignment in the scope of the call site. Ex:
def f():
g(a=2) # a was considered a local of f
ceval.c
eval_code2() now take one more argument, a closure.
Implement LOAD_CLOSURE, LOAD_DEREF, STORE_DEREF, MAKE_CLOSURE>
Also: When name error occurs for global variable, report that the
name was global in the error mesage.
Objects/frameobject.c
Initialize f_closure to be a tuple containing space for cellvars
and freevars. f_closure is NULL if neither are present.
Objects/funcobject.c
Add support for func_closure.
Python/import.c
Change the magic number.
Python/marshal.c
Track changes to code objects.
2001-01-25 16:06:59 -04:00
|
|
|
Py_XDECREF(freevars);
|
|
|
|
Py_XDECREF(cellvars);
|
1997-04-29 17:08:16 -03:00
|
|
|
Py_XDECREF(filename);
|
|
|
|
Py_XDECREF(name);
|
1997-07-26 20:30:18 -03:00
|
|
|
Py_XDECREF(lnotab);
|
1991-06-04 16:42:30 -03:00
|
|
|
|
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = v;
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
default:
|
1996-06-26 17:41:23 -03:00
|
|
|
/* Bogus data got written, which isn't ideal.
|
|
|
|
This will let you keep working and recover. */
|
1998-06-08 17:27:29 -03:00
|
|
|
PyErr_SetString(PyExc_ValueError, "bad marshal data");
|
2007-05-16 17:05:11 -03:00
|
|
|
retval = NULL;
|
|
|
|
break;
|
2001-01-27 20:27:39 -04:00
|
|
|
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
2007-05-16 17:05:11 -03:00
|
|
|
p->depth--;
|
|
|
|
return retval;
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
|
|
|
|
2004-06-13 17:31:49 -03:00
|
|
|
static PyObject *
|
2004-03-26 11:09:27 -04:00
|
|
|
read_object(RFILE *p)
|
|
|
|
{
|
|
|
|
PyObject *v;
|
|
|
|
if (PyErr_Occurred()) {
|
|
|
|
fprintf(stderr, "XXX readobject called with exception set\n");
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
v = r_object(p);
|
|
|
|
if (v == NULL && !PyErr_Occurred())
|
|
|
|
PyErr_SetString(PyExc_TypeError, "NULL object in marshal data");
|
|
|
|
return v;
|
|
|
|
}
|
|
|
|
|
2001-10-18 22:46:21 -03:00
|
|
|
int
|
|
|
|
PyMarshal_ReadShortFromFile(FILE *fp)
|
|
|
|
{
|
|
|
|
RFILE rf;
|
2006-03-01 18:30:47 -04:00
|
|
|
assert(fp);
|
2001-10-18 22:46:21 -03:00
|
|
|
rf.fp = fp;
|
2006-03-01 18:34:09 -04:00
|
|
|
rf.strings = NULL;
|
|
|
|
rf.end = rf.ptr = NULL;
|
2001-10-18 22:46:21 -03:00
|
|
|
return r_short(&rf);
|
|
|
|
}
|
|
|
|
|
1993-01-21 12:07:51 -04:00
|
|
|
long
|
2000-07-22 15:47:25 -03:00
|
|
|
PyMarshal_ReadLongFromFile(FILE *fp)
|
1993-01-21 12:07:51 -04:00
|
|
|
{
|
|
|
|
RFILE rf;
|
|
|
|
rf.fp = fp;
|
2004-06-27 13:51:46 -03:00
|
|
|
rf.strings = NULL;
|
2007-10-12 00:05:19 -03:00
|
|
|
rf.ptr = rf.end = NULL;
|
1993-01-21 12:07:51 -04:00
|
|
|
return r_long(&rf);
|
|
|
|
}
|
|
|
|
|
2001-01-18 00:39:16 -04:00
|
|
|
#ifdef HAVE_FSTAT
|
|
|
|
/* Return size of file in bytes; < 0 if unknown. */
|
|
|
|
static off_t
|
|
|
|
getfilesize(FILE *fp)
|
|
|
|
{
|
|
|
|
struct stat st;
|
|
|
|
if (fstat(fileno(fp), &st) != 0)
|
|
|
|
return -1;
|
|
|
|
else
|
|
|
|
return st.st_size;
|
|
|
|
}
|
|
|
|
#endif
|
2001-01-27 20:27:39 -04:00
|
|
|
|
2001-01-18 00:39:16 -04:00
|
|
|
/* If we can get the size of the file up-front, and it's reasonably small,
|
|
|
|
* read it in one gulp and delegate to ...FromString() instead. Much quicker
|
|
|
|
* than reading a byte at a time from file; speeds .pyc imports.
|
2001-01-27 20:27:39 -04:00
|
|
|
* CAUTION: since this may read the entire remainder of the file, don't
|
|
|
|
* call it unless you know you're done with the file.
|
2001-01-18 00:39:16 -04:00
|
|
|
*/
|
1997-04-29 17:08:16 -03:00
|
|
|
PyObject *
|
2001-01-27 20:27:39 -04:00
|
|
|
PyMarshal_ReadLastObjectFromFile(FILE *fp)
|
1993-01-21 12:07:51 -04:00
|
|
|
{
|
2001-01-18 00:39:16 -04:00
|
|
|
/* 75% of 2.1's .pyc files can exploit SMALL_FILE_LIMIT.
|
|
|
|
* REASONABLE_FILE_LIMIT is by defn something big enough for Tkinter.pyc.
|
|
|
|
*/
|
|
|
|
#define SMALL_FILE_LIMIT (1L << 14)
|
|
|
|
#define REASONABLE_FILE_LIMIT (1L << 18)
|
|
|
|
#ifdef HAVE_FSTAT
|
|
|
|
off_t filesize;
|
|
|
|
#endif
|
|
|
|
#ifdef HAVE_FSTAT
|
|
|
|
filesize = getfilesize(fp);
|
|
|
|
if (filesize > 0) {
|
|
|
|
char buf[SMALL_FILE_LIMIT];
|
|
|
|
char* pBuf = NULL;
|
|
|
|
if (filesize <= SMALL_FILE_LIMIT)
|
|
|
|
pBuf = buf;
|
|
|
|
else if (filesize <= REASONABLE_FILE_LIMIT)
|
|
|
|
pBuf = (char *)PyMem_MALLOC(filesize);
|
|
|
|
if (pBuf != NULL) {
|
|
|
|
PyObject* v;
|
2006-02-15 13:27:45 -04:00
|
|
|
size_t n;
|
|
|
|
/* filesize must fit into an int, because it
|
|
|
|
is smaller than REASONABLE_FILE_LIMIT */
|
|
|
|
n = fread(pBuf, 1, (int)filesize, fp);
|
2001-01-18 00:39:16 -04:00
|
|
|
v = PyMarshal_ReadObjectFromString(pBuf, n);
|
|
|
|
if (pBuf != buf)
|
|
|
|
PyMem_FREE(pBuf);
|
|
|
|
return v;
|
|
|
|
}
|
2001-01-27 20:27:39 -04:00
|
|
|
|
2001-01-18 00:39:16 -04:00
|
|
|
}
|
|
|
|
#endif
|
2001-01-27 20:27:39 -04:00
|
|
|
/* We don't have fstat, or we do but the file is larger than
|
|
|
|
* REASONABLE_FILE_LIMIT or malloc failed -- read a byte at a time.
|
|
|
|
*/
|
|
|
|
return PyMarshal_ReadObjectFromFile(fp);
|
|
|
|
|
2001-01-18 00:39:16 -04:00
|
|
|
#undef SMALL_FILE_LIMIT
|
|
|
|
#undef REASONABLE_FILE_LIMIT
|
1993-01-21 12:07:51 -04:00
|
|
|
}
|
|
|
|
|
2001-01-27 20:27:39 -04:00
|
|
|
PyObject *
|
|
|
|
PyMarshal_ReadObjectFromFile(FILE *fp)
|
|
|
|
{
|
|
|
|
RFILE rf;
|
2004-06-27 13:51:46 -03:00
|
|
|
PyObject *result;
|
2001-01-27 20:27:39 -04:00
|
|
|
rf.fp = fp;
|
2004-06-27 13:51:46 -03:00
|
|
|
rf.strings = PyList_New(0);
|
2007-05-16 17:05:11 -03:00
|
|
|
rf.depth = 0;
|
2007-10-12 00:05:19 -03:00
|
|
|
rf.ptr = rf.end = NULL;
|
2004-06-27 13:51:46 -03:00
|
|
|
result = r_object(&rf);
|
|
|
|
Py_DECREF(rf.strings);
|
|
|
|
return result;
|
2001-01-27 20:27:39 -04:00
|
|
|
}
|
|
|
|
|
1997-04-29 17:08:16 -03:00
|
|
|
PyObject *
|
2006-02-15 13:27:45 -04:00
|
|
|
PyMarshal_ReadObjectFromString(char *str, Py_ssize_t len)
|
1993-04-01 16:59:32 -04:00
|
|
|
{
|
|
|
|
RFILE rf;
|
2004-06-27 13:51:46 -03:00
|
|
|
PyObject *result;
|
1993-04-01 16:59:32 -04:00
|
|
|
rf.fp = NULL;
|
|
|
|
rf.ptr = str;
|
|
|
|
rf.end = str + len;
|
2004-06-27 13:51:46 -03:00
|
|
|
rf.strings = PyList_New(0);
|
2007-05-16 17:05:11 -03:00
|
|
|
rf.depth = 0;
|
2004-06-27 13:51:46 -03:00
|
|
|
result = r_object(&rf);
|
|
|
|
Py_DECREF(rf.strings);
|
|
|
|
return result;
|
1993-04-01 16:59:32 -04:00
|
|
|
}
|
|
|
|
|
1997-04-29 17:08:16 -03:00
|
|
|
PyObject *
|
2004-06-27 13:51:46 -03:00
|
|
|
PyMarshal_WriteObjectToString(PyObject *x, int version)
|
1996-08-19 19:07:17 -03:00
|
|
|
{
|
|
|
|
WFILE wf;
|
|
|
|
wf.fp = NULL;
|
1997-04-29 17:08:16 -03:00
|
|
|
wf.str = PyString_FromStringAndSize((char *)NULL, 50);
|
1996-08-19 19:07:17 -03:00
|
|
|
if (wf.str == NULL)
|
|
|
|
return NULL;
|
1997-04-29 17:08:16 -03:00
|
|
|
wf.ptr = PyString_AS_STRING((PyStringObject *)wf.str);
|
|
|
|
wf.end = wf.ptr + PyString_Size(wf.str);
|
1996-08-19 19:07:17 -03:00
|
|
|
wf.error = 0;
|
2000-06-28 15:47:56 -03:00
|
|
|
wf.depth = 0;
|
2005-06-03 11:41:55 -03:00
|
|
|
wf.version = version;
|
2004-06-27 13:51:46 -03:00
|
|
|
wf.strings = (version > 0) ? PyDict_New() : NULL;
|
1996-08-19 19:07:17 -03:00
|
|
|
w_object(x, &wf);
|
2004-06-27 13:51:46 -03:00
|
|
|
Py_XDECREF(wf.strings);
|
2006-10-04 09:17:45 -03:00
|
|
|
if (wf.str != NULL) {
|
|
|
|
char *base = PyString_AS_STRING((PyStringObject *)wf.str);
|
|
|
|
if (wf.ptr - base > PY_SSIZE_T_MAX) {
|
|
|
|
Py_DECREF(wf.str);
|
|
|
|
PyErr_SetString(PyExc_OverflowError,
|
|
|
|
"too much marshall data for a string");
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
_PyString_Resize(&wf.str, (Py_ssize_t)(wf.ptr - base));
|
|
|
|
}
|
1996-08-19 19:07:17 -03:00
|
|
|
if (wf.error) {
|
1997-04-29 17:08:16 -03:00
|
|
|
Py_XDECREF(wf.str);
|
2001-01-27 20:27:39 -04:00
|
|
|
PyErr_SetString(PyExc_ValueError,
|
2000-06-28 15:47:56 -03:00
|
|
|
(wf.error==1)?"unmarshallable object"
|
|
|
|
:"object too deeply nested to marshal");
|
1996-08-19 19:07:17 -03:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
return wf.str;
|
|
|
|
}
|
|
|
|
|
1991-06-07 10:58:22 -03:00
|
|
|
/* And an interface for Python programs... */
|
1991-06-04 16:42:30 -03:00
|
|
|
|
1997-04-29 17:08:16 -03:00
|
|
|
static PyObject *
|
2000-07-22 15:47:25 -03:00
|
|
|
marshal_dump(PyObject *self, PyObject *args)
|
1991-06-04 16:42:30 -03:00
|
|
|
{
|
1993-01-21 12:07:51 -04:00
|
|
|
WFILE wf;
|
1997-04-29 17:08:16 -03:00
|
|
|
PyObject *x;
|
|
|
|
PyObject *f;
|
2004-06-27 13:51:46 -03:00
|
|
|
int version = Py_MARSHAL_VERSION;
|
|
|
|
if (!PyArg_ParseTuple(args, "OO|i:dump", &x, &f, &version))
|
1991-06-04 16:42:30 -03:00
|
|
|
return NULL;
|
1997-04-29 17:08:16 -03:00
|
|
|
if (!PyFile_Check(f)) {
|
|
|
|
PyErr_SetString(PyExc_TypeError,
|
|
|
|
"marshal.dump() 2nd arg must be file");
|
1991-06-04 16:42:30 -03:00
|
|
|
return NULL;
|
|
|
|
}
|
1997-04-29 17:08:16 -03:00
|
|
|
wf.fp = PyFile_AsFile(f);
|
1993-01-21 12:07:51 -04:00
|
|
|
wf.str = NULL;
|
|
|
|
wf.ptr = wf.end = NULL;
|
1996-06-26 17:41:23 -03:00
|
|
|
wf.error = 0;
|
2000-06-28 15:47:56 -03:00
|
|
|
wf.depth = 0;
|
2004-06-27 13:51:46 -03:00
|
|
|
wf.strings = (version > 0) ? PyDict_New() : 0;
|
2005-11-16 01:04:51 -04:00
|
|
|
wf.version = version;
|
1993-01-21 12:07:51 -04:00
|
|
|
w_object(x, &wf);
|
2004-06-27 13:51:46 -03:00
|
|
|
Py_XDECREF(wf.strings);
|
1996-06-26 17:41:23 -03:00
|
|
|
if (wf.error) {
|
2001-01-27 20:27:39 -04:00
|
|
|
PyErr_SetString(PyExc_ValueError,
|
2000-06-28 15:47:56 -03:00
|
|
|
(wf.error==1)?"unmarshallable object"
|
|
|
|
:"object too deeply nested to marshal");
|
1996-06-26 17:41:23 -03:00
|
|
|
return NULL;
|
|
|
|
}
|
1997-04-29 17:08:16 -03:00
|
|
|
Py_INCREF(Py_None);
|
|
|
|
return Py_None;
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
|
|
|
|
1997-04-29 17:08:16 -03:00
|
|
|
static PyObject *
|
2006-05-29 18:58:42 -03:00
|
|
|
marshal_load(PyObject *self, PyObject *f)
|
1991-06-04 16:42:30 -03:00
|
|
|
{
|
1993-01-21 12:07:51 -04:00
|
|
|
RFILE rf;
|
2006-05-29 18:58:42 -03:00
|
|
|
PyObject *result;
|
1997-04-29 17:08:16 -03:00
|
|
|
if (!PyFile_Check(f)) {
|
|
|
|
PyErr_SetString(PyExc_TypeError,
|
|
|
|
"marshal.load() arg must be file");
|
1991-06-04 16:42:30 -03:00
|
|
|
return NULL;
|
|
|
|
}
|
1997-04-29 17:08:16 -03:00
|
|
|
rf.fp = PyFile_AsFile(f);
|
2004-06-27 13:51:46 -03:00
|
|
|
rf.strings = PyList_New(0);
|
2007-05-16 17:05:11 -03:00
|
|
|
rf.depth = 0;
|
2004-06-27 13:51:46 -03:00
|
|
|
result = read_object(&rf);
|
|
|
|
Py_DECREF(rf.strings);
|
|
|
|
return result;
|
1993-01-21 12:07:51 -04:00
|
|
|
}
|
|
|
|
|
1997-04-29 17:08:16 -03:00
|
|
|
static PyObject *
|
2000-07-22 15:47:25 -03:00
|
|
|
marshal_dumps(PyObject *self, PyObject *args)
|
1993-01-21 12:07:51 -04:00
|
|
|
{
|
1997-04-29 17:08:16 -03:00
|
|
|
PyObject *x;
|
2004-06-27 13:51:46 -03:00
|
|
|
int version = Py_MARSHAL_VERSION;
|
2004-12-20 08:25:57 -04:00
|
|
|
if (!PyArg_ParseTuple(args, "O|i:dumps", &x, &version))
|
1993-01-21 12:07:51 -04:00
|
|
|
return NULL;
|
2004-06-27 13:51:46 -03:00
|
|
|
return PyMarshal_WriteObjectToString(x, version);
|
1993-01-21 12:07:51 -04:00
|
|
|
}
|
|
|
|
|
1997-04-29 17:08:16 -03:00
|
|
|
static PyObject *
|
2000-07-22 15:47:25 -03:00
|
|
|
marshal_loads(PyObject *self, PyObject *args)
|
1993-01-21 12:07:51 -04:00
|
|
|
{
|
|
|
|
RFILE rf;
|
|
|
|
char *s;
|
2006-03-01 19:49:13 -04:00
|
|
|
Py_ssize_t n;
|
2004-06-27 13:51:46 -03:00
|
|
|
PyObject* result;
|
2005-06-13 14:50:18 -03:00
|
|
|
if (!PyArg_ParseTuple(args, "s#:loads", &s, &n))
|
1993-01-21 12:07:51 -04:00
|
|
|
return NULL;
|
|
|
|
rf.fp = NULL;
|
|
|
|
rf.ptr = s;
|
|
|
|
rf.end = s + n;
|
2004-06-27 13:51:46 -03:00
|
|
|
rf.strings = PyList_New(0);
|
2007-05-16 17:05:11 -03:00
|
|
|
rf.depth = 0;
|
2004-06-27 13:51:46 -03:00
|
|
|
result = read_object(&rf);
|
|
|
|
Py_DECREF(rf.strings);
|
|
|
|
return result;
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|
|
|
|
|
1997-04-29 17:08:16 -03:00
|
|
|
static PyMethodDef marshal_methods[] = {
|
2002-03-31 10:37:44 -04:00
|
|
|
{"dump", marshal_dump, METH_VARARGS},
|
2006-05-29 18:58:42 -03:00
|
|
|
{"load", marshal_load, METH_O},
|
2002-03-31 10:37:44 -04:00
|
|
|
{"dumps", marshal_dumps, METH_VARARGS},
|
|
|
|
{"loads", marshal_loads, METH_VARARGS},
|
1991-06-04 16:42:30 -03:00
|
|
|
{NULL, NULL} /* sentinel */
|
|
|
|
};
|
|
|
|
|
2003-09-04 08:59:50 -03:00
|
|
|
PyMODINIT_FUNC
|
2000-07-22 15:47:25 -03:00
|
|
|
PyMarshal_Init(void)
|
1991-06-04 16:42:30 -03:00
|
|
|
{
|
2004-06-27 13:51:46 -03:00
|
|
|
PyObject *mod = Py_InitModule("marshal", marshal_methods);
|
2006-01-19 02:09:39 -04:00
|
|
|
if (mod == NULL)
|
|
|
|
return;
|
2004-06-27 13:51:46 -03:00
|
|
|
PyModule_AddIntConstant(mod, "version", Py_MARSHAL_VERSION);
|
1991-06-04 16:42:30 -03:00
|
|
|
}
|