blob: ff8247c9f232cc176328d93bb37f94a0ea9deb1c [file] [log] [blame]
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001
2/* Write Python objects to files and read them back.
3 This is intended for writing and reading compiled Python code only;
4 a true persistent storage facility would be much harder, since
5 it would have to take circular links and sharing into account. */
6
Guido van Rossum79f25d91997-04-29 20:08:16 +00007#include "Python.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00008#include "longintrepr.h"
Jeremy Hylton3e0055f2005-10-20 19:59:25 +00009#include "code.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000010#include "marshal.h"
11
Fred Drake6da0b912000-06-28 18:47:56 +000012/* High water mark to determine when the marshalled object is dangerously deep
13 * and risks coring the interpreter. When the object stack gets this deep,
14 * raise an exception instead of continuing.
15 */
16#define MAX_MARSHAL_STACK_DEPTH 5000
17
Michael W. Hudsondf888462005-06-03 14:41:55 +000018#define TYPE_NULL '0'
19#define TYPE_NONE 'N'
20#define TYPE_FALSE 'F'
21#define TYPE_TRUE 'T'
22#define TYPE_STOPITER 'S'
23#define TYPE_ELLIPSIS '.'
24#define TYPE_INT 'i'
25#define TYPE_INT64 'I'
26#define TYPE_FLOAT 'f'
27#define TYPE_BINARY_FLOAT 'g'
28#define TYPE_COMPLEX 'x'
29#define TYPE_BINARY_COMPLEX 'y'
30#define TYPE_LONG 'l'
31#define TYPE_STRING 's'
32#define TYPE_INTERNED 't'
33#define TYPE_STRINGREF 'R'
34#define TYPE_TUPLE '('
35#define TYPE_LIST '['
36#define TYPE_DICT '{'
37#define TYPE_CODE 'c'
38#define TYPE_UNICODE 'u'
39#define TYPE_UNKNOWN '?'
40#define TYPE_SET '<'
41#define TYPE_FROZENSET '>'
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000042
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000043typedef struct {
44 FILE *fp;
Guido van Rossumf2150601996-06-26 20:41:23 +000045 int error;
Fred Drake6da0b912000-06-28 18:47:56 +000046 int depth;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000047 /* If fp == NULL, the following are valid: */
Guido van Rossum79f25d91997-04-29 20:08:16 +000048 PyObject *str;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000049 char *ptr;
50 char *end;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +000051 PyObject *strings; /* dict on marshal, list on unmarshal */
Michael W. Hudsondf888462005-06-03 14:41:55 +000052 int version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000053} WFILE;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000054
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000055#define w_byte(c, p) if (((p)->fp)) putc((c), (p)->fp); \
56 else if ((p)->ptr != (p)->end) *(p)->ptr++ = (c); \
57 else w_more(c, p)
58
59static void
Fredrik Lundh11534382000-07-23 18:24:06 +000060w_more(int c, WFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000061{
62 int size, newsize;
63 if (p->str == NULL)
64 return; /* An error already occurred */
Guido van Rossum79f25d91997-04-29 20:08:16 +000065 size = PyString_Size(p->str);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000066 newsize = size + 1024;
Guido van Rossum79f25d91997-04-29 20:08:16 +000067 if (_PyString_Resize(&p->str, newsize) != 0) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000068 p->ptr = p->end = NULL;
69 }
70 else {
Guido van Rossum79f25d91997-04-29 20:08:16 +000071 p->ptr = PyString_AS_STRING((PyStringObject *)p->str) + size;
72 p->end =
73 PyString_AS_STRING((PyStringObject *)p->str) + newsize;
Tim Peters8315ea52000-07-23 19:28:35 +000074 *p->ptr++ = Py_SAFE_DOWNCAST(c, int, char);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000075 }
76}
77
78static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +000079w_string(char *s, int n, WFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000080{
81 if (p->fp != NULL) {
82 fwrite(s, 1, n, p->fp);
83 }
84 else {
85 while (--n >= 0) {
86 w_byte(*s, p);
87 s++;
88 }
89 }
90}
91
92static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +000093w_short(int x, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000094{
Thomas Heller3e1c18a2002-07-30 11:40:57 +000095 w_byte((char)( x & 0xff), p);
96 w_byte((char)((x>> 8) & 0xff), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000097}
98
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000099static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000100w_long(long x, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000101{
Thomas Heller37d5a152002-07-30 11:44:44 +0000102 w_byte((char)( x & 0xff), p);
103 w_byte((char)((x>> 8) & 0xff), p);
104 w_byte((char)((x>>16) & 0xff), p);
105 w_byte((char)((x>>24) & 0xff), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000106}
107
Guido van Rossumc1547d91996-12-10 15:39:04 +0000108#if SIZEOF_LONG > 4
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000109static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000110w_long64(long x, WFILE *p)
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000111{
112 w_long(x, p);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000113 w_long(x>>32, p);
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000114}
Guido van Rossumc1547d91996-12-10 15:39:04 +0000115#endif
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000116
117static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000118w_object(PyObject *v, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000119{
Guido van Rossum3a205f71995-02-17 15:10:07 +0000120 int i, n;
Fred Drake6da0b912000-06-28 18:47:56 +0000121
122 p->depth++;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000123
Fred Drake6da0b912000-06-28 18:47:56 +0000124 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
125 p->error = 2;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000126 }
Fred Drake6da0b912000-06-28 18:47:56 +0000127 else if (v == NULL) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000128 w_byte(TYPE_NULL, p);
Guido van Rossum730806d1998-04-10 22:27:42 +0000129 }
130 else if (v == Py_None) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000131 w_byte(TYPE_NONE, p);
Guido van Rossum730806d1998-04-10 22:27:42 +0000132 }
Tim Peters5ca576e2001-06-18 22:08:13 +0000133 else if (v == PyExc_StopIteration) {
134 w_byte(TYPE_STOPITER, p);
135 }
Guido van Rossum730806d1998-04-10 22:27:42 +0000136 else if (v == Py_Ellipsis) {
137 w_byte(TYPE_ELLIPSIS, p);
138 }
Guido van Rossum77f6a652002-04-03 22:41:51 +0000139 else if (v == Py_False) {
140 w_byte(TYPE_FALSE, p);
141 }
142 else if (v == Py_True) {
143 w_byte(TYPE_TRUE, p);
144 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000145 else if (PyInt_Check(v)) {
146 long x = PyInt_AS_LONG((PyIntObject *)v);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000147#if SIZEOF_LONG > 4
Tim Peters44714002001-04-10 05:02:52 +0000148 long y = Py_ARITHMETIC_RIGHT_SHIFT(long, x, 31);
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000149 if (y && y != -1) {
150 w_byte(TYPE_INT64, p);
151 w_long64(x, p);
152 }
Guido van Rossumc1547d91996-12-10 15:39:04 +0000153 else
154#endif
155 {
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000156 w_byte(TYPE_INT, p);
157 w_long(x, p);
158 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000159 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000160 else if (PyLong_Check(v)) {
161 PyLongObject *ob = (PyLongObject *)v;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000162 w_byte(TYPE_LONG, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000163 n = ob->ob_size;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000164 w_long((long)n, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000165 if (n < 0)
166 n = -n;
167 for (i = 0; i < n; i++)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000168 w_short(ob->ob_digit[i], p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000169 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000170 else if (PyFloat_Check(v)) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000171 if (p->version > 1) {
Brett Cannonc9371d42005-06-25 08:23:41 +0000172 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000173 if (_PyFloat_Pack8(PyFloat_AsDouble(v),
174 buf, 1) < 0) {
175 p->error = 1;
176 return;
177 }
178 w_byte(TYPE_BINARY_FLOAT, p);
Brett Cannonc9371d42005-06-25 08:23:41 +0000179 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000180 }
181 else {
182 char buf[256]; /* Plenty to format any double */
183 PyFloat_AsReprString(buf, (PyFloatObject *)v);
184 n = strlen(buf);
185 w_byte(TYPE_FLOAT, p);
186 w_byte(n, p);
187 w_string(buf, n, p);
188 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000189 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000190#ifndef WITHOUT_COMPLEX
Guido van Rossum79f25d91997-04-29 20:08:16 +0000191 else if (PyComplex_Check(v)) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000192 if (p->version > 1) {
Brett Cannonc9371d42005-06-25 08:23:41 +0000193 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000194 if (_PyFloat_Pack8(PyComplex_RealAsDouble(v),
195 buf, 1) < 0) {
196 p->error = 1;
197 return;
198 }
199 w_byte(TYPE_BINARY_COMPLEX, p);
Brett Cannonc9371d42005-06-25 08:23:41 +0000200 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000201 if (_PyFloat_Pack8(PyComplex_ImagAsDouble(v),
202 buf, 1) < 0) {
203 p->error = 1;
204 return;
205 }
Brett Cannonc9371d42005-06-25 08:23:41 +0000206 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000207 }
208 else {
209 char buf[256]; /* Plenty to format any double */
210 PyFloatObject *temp;
211 w_byte(TYPE_COMPLEX, p);
212 temp = (PyFloatObject*)PyFloat_FromDouble(
213 PyComplex_RealAsDouble(v));
214 PyFloat_AsReprString(buf, temp);
215 Py_DECREF(temp);
216 n = strlen(buf);
217 w_byte(n, p);
218 w_string(buf, n, p);
219 temp = (PyFloatObject*)PyFloat_FromDouble(
220 PyComplex_ImagAsDouble(v));
221 PyFloat_AsReprString(buf, temp);
222 Py_DECREF(temp);
223 n = strlen(buf);
224 w_byte(n, p);
225 w_string(buf, n, p);
226 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000227 }
228#endif
Guido van Rossum79f25d91997-04-29 20:08:16 +0000229 else if (PyString_Check(v)) {
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000230 if (p->strings && PyString_CHECK_INTERNED(v)) {
231 PyObject *o = PyDict_GetItem(p->strings, v);
232 if (o) {
233 long w = PyInt_AsLong(o);
234 w_byte(TYPE_STRINGREF, p);
235 w_long(w, p);
236 goto exit;
237 }
238 else {
239 o = PyInt_FromLong(PyDict_Size(p->strings));
240 PyDict_SetItem(p->strings, v, o);
241 Py_DECREF(o);
242 w_byte(TYPE_INTERNED, p);
243 }
244 }
245 else {
246 w_byte(TYPE_STRING, p);
247 }
Guido van Rossumc279b532000-03-10 23:03:02 +0000248 n = PyString_GET_SIZE(v);
Guido van Rossum3a205f71995-02-17 15:10:07 +0000249 w_long((long)n, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000250 w_string(PyString_AS_STRING(v), n, p);
251 }
Martin v. Löwis339d0f72001-08-17 18:39:25 +0000252#ifdef Py_USING_UNICODE
Guido van Rossumc279b532000-03-10 23:03:02 +0000253 else if (PyUnicode_Check(v)) {
254 PyObject *utf8;
255 utf8 = PyUnicode_AsUTF8String(v);
256 if (utf8 == NULL) {
Guido van Rossum98626cd2000-06-28 23:24:19 +0000257 p->depth--;
258 p->error = 1;
259 return;
Guido van Rossumc279b532000-03-10 23:03:02 +0000260 }
261 w_byte(TYPE_UNICODE, p);
262 n = PyString_GET_SIZE(utf8);
263 w_long((long)n, p);
264 w_string(PyString_AS_STRING(utf8), n, p);
265 Py_DECREF(utf8);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000266 }
Martin v. Löwis339d0f72001-08-17 18:39:25 +0000267#endif
Guido van Rossum79f25d91997-04-29 20:08:16 +0000268 else if (PyTuple_Check(v)) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000269 w_byte(TYPE_TUPLE, p);
Guido van Rossum79f25d91997-04-29 20:08:16 +0000270 n = PyTuple_Size(v);
Guido van Rossum3a205f71995-02-17 15:10:07 +0000271 w_long((long)n, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000272 for (i = 0; i < n; i++) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000273 w_object(PyTuple_GET_ITEM(v, i), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000274 }
275 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000276 else if (PyList_Check(v)) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000277 w_byte(TYPE_LIST, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000278 n = PyList_GET_SIZE(v);
Guido van Rossum3a205f71995-02-17 15:10:07 +0000279 w_long((long)n, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000280 for (i = 0; i < n; i++) {
Guido van Rossumc279b532000-03-10 23:03:02 +0000281 w_object(PyList_GET_ITEM(v, i), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000282 }
283 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000284 else if (PyDict_Check(v)) {
Guido van Rossum25831651993-05-19 14:50:45 +0000285 int pos;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000286 PyObject *key, *value;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000287 w_byte(TYPE_DICT, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000288 /* This one is NULL object terminated! */
Guido van Rossum25831651993-05-19 14:50:45 +0000289 pos = 0;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000290 while (PyDict_Next(v, &pos, &key, &value)) {
Guido van Rossum25831651993-05-19 14:50:45 +0000291 w_object(key, p);
292 w_object(value, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000293 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000294 w_object((PyObject *)NULL, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000295 }
Raymond Hettingera422c342005-01-11 03:03:27 +0000296 else if (PyAnySet_Check(v)) {
Raymond Hettingera422c342005-01-11 03:03:27 +0000297 PyObject *value, *it;
298
299 if (PyObject_TypeCheck(v, &PySet_Type))
300 w_byte(TYPE_SET, p);
301 else
302 w_byte(TYPE_FROZENSET, p);
303 n = PyObject_Size(v);
304 if (n == -1) {
305 p->depth--;
306 p->error = 1;
307 return;
308 }
309 w_long((long)n, p);
310 it = PyObject_GetIter(v);
311 if (it == NULL) {
312 p->depth--;
313 p->error = 1;
314 return;
315 }
316 while ((value = PyIter_Next(it)) != NULL) {
317 w_object(value, p);
318 Py_DECREF(value);
319 }
320 Py_DECREF(it);
321 if (PyErr_Occurred()) {
322 p->depth--;
323 p->error = 1;
324 return;
325 }
326 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000327 else if (PyCode_Check(v)) {
328 PyCodeObject *co = (PyCodeObject *)v;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000329 w_byte(TYPE_CODE, p);
Neal Norwitz7fdcb412002-06-14 01:07:39 +0000330 w_long(co->co_argcount, p);
331 w_long(co->co_nlocals, p);
332 w_long(co->co_stacksize, p);
333 w_long(co->co_flags, p);
Guido van Rossumd076c731998-10-07 19:42:25 +0000334 w_object(co->co_code, p);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000335 w_object(co->co_consts, p);
336 w_object(co->co_names, p);
Guido van Rossum681d79a1995-07-18 14:51:37 +0000337 w_object(co->co_varnames, p);
Jeremy Hylton64949cb2001-01-25 20:06:59 +0000338 w_object(co->co_freevars, p);
339 w_object(co->co_cellvars, p);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000340 w_object(co->co_filename, p);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000341 w_object(co->co_name, p);
Neal Norwitz7fdcb412002-06-14 01:07:39 +0000342 w_long(co->co_firstlineno, p);
Guido van Rossumd031c891997-01-24 03:44:17 +0000343 w_object(co->co_lnotab, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000344 }
Jeremy Hylton9f64caa2001-11-09 22:02:48 +0000345 else if (PyObject_CheckReadBuffer(v)) {
Guido van Rossumd076c731998-10-07 19:42:25 +0000346 /* Write unknown buffer-style objects as a string */
347 char *s;
Jeremy Hylton9f64caa2001-11-09 22:02:48 +0000348 PyBufferProcs *pb = v->ob_type->tp_as_buffer;
Guido van Rossumd076c731998-10-07 19:42:25 +0000349 w_byte(TYPE_STRING, p);
350 n = (*pb->bf_getreadbuffer)(v, 0, (void **)&s);
351 w_long((long)n, p);
352 w_string(s, n, p);
353 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000354 else {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000355 w_byte(TYPE_UNKNOWN, p);
Guido van Rossumf2150601996-06-26 20:41:23 +0000356 p->error = 1;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000357 }
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000358 exit:
Guido van Rossum98626cd2000-06-28 23:24:19 +0000359 p->depth--;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000360}
361
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000362/* version currently has no effect for writing longs. */
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000363void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000364PyMarshal_WriteLongToFile(long x, FILE *fp, int version)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000365{
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000366 WFILE wf;
367 wf.fp = fp;
Guido van Rossumf2150601996-06-26 20:41:23 +0000368 wf.error = 0;
Fred Drake6da0b912000-06-28 18:47:56 +0000369 wf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000370 wf.strings = NULL;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000371 wf.version = version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000372 w_long(x, &wf);
373}
374
375void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000376PyMarshal_WriteObjectToFile(PyObject *x, FILE *fp, int version)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000377{
378 WFILE wf;
379 wf.fp = fp;
Guido van Rossumf2150601996-06-26 20:41:23 +0000380 wf.error = 0;
Guido van Rossum98626cd2000-06-28 23:24:19 +0000381 wf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000382 wf.strings = (version > 0) ? PyDict_New() : NULL;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000383 wf.version = version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000384 w_object(x, &wf);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000385 Py_XDECREF(wf.strings);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000386}
387
388typedef WFILE RFILE; /* Same struct with different invariants */
389
Guido van Rossum8d617a61995-03-09 12:12:11 +0000390#define rs_byte(p) (((p)->ptr != (p)->end) ? (unsigned char)*(p)->ptr++ : EOF)
391
392#define r_byte(p) ((p)->fp ? getc((p)->fp) : rs_byte(p))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000393
394static int
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000395r_string(char *s, int n, RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000396{
397 if (p->fp != NULL)
398 return fread(s, 1, n, p->fp);
399 if (p->end - p->ptr < n)
400 n = p->end - p->ptr;
401 memcpy(s, p->ptr, n);
402 p->ptr += n;
403 return n;
404}
405
406static int
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000407r_short(RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000408{
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000409 register short x;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000410 x = r_byte(p);
411 x |= r_byte(p) << 8;
Tim Peterse84b7402000-09-19 08:54:13 +0000412 /* Sign-extension, in case short greater than 16 bits */
413 x |= -(x & 0x8000);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000414 return x;
415}
416
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000417static long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000418r_long(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000419{
420 register long x;
Guido van Rossum8d617a61995-03-09 12:12:11 +0000421 register FILE *fp = p->fp;
422 if (fp) {
423 x = getc(fp);
424 x |= (long)getc(fp) << 8;
425 x |= (long)getc(fp) << 16;
426 x |= (long)getc(fp) << 24;
427 }
428 else {
429 x = rs_byte(p);
430 x |= (long)rs_byte(p) << 8;
431 x |= (long)rs_byte(p) << 16;
432 x |= (long)rs_byte(p) << 24;
433 }
Guido van Rossumc1547d91996-12-10 15:39:04 +0000434#if SIZEOF_LONG > 4
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000435 /* Sign extension for 64-bit machines */
Tim Peterse84b7402000-09-19 08:54:13 +0000436 x |= -(x & 0x80000000L);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000437#endif
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000438 return x;
439}
440
Tim Peters82112372001-08-29 02:28:42 +0000441/* r_long64 deals with the TYPE_INT64 code. On a machine with
442 sizeof(long) > 4, it returns a Python int object, else a Python long
443 object. Note that w_long64 writes out TYPE_INT if 32 bits is enough,
444 so there's no inefficiency here in returning a PyLong on 32-bit boxes
445 for everything written via TYPE_INT64 (i.e., if an int is written via
446 TYPE_INT64, it *needs* more than 32 bits).
447*/
448static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000449r_long64(RFILE *p)
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000450{
Tim Peters82112372001-08-29 02:28:42 +0000451 long lo4 = r_long(p);
452 long hi4 = r_long(p);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000453#if SIZEOF_LONG > 4
Tim Peters82112372001-08-29 02:28:42 +0000454 long x = (hi4 << 32) | (lo4 & 0xFFFFFFFFL);
455 return PyInt_FromLong(x);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000456#else
Tim Peters82112372001-08-29 02:28:42 +0000457 unsigned char buf[8];
458 int one = 1;
459 int is_little_endian = (int)*(char*)&one;
460 if (is_little_endian) {
461 memcpy(buf, &lo4, 4);
462 memcpy(buf+4, &hi4, 4);
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000463 }
Tim Peters82112372001-08-29 02:28:42 +0000464 else {
465 memcpy(buf, &hi4, 4);
466 memcpy(buf+4, &lo4, 4);
467 }
468 return _PyLong_FromByteArray(buf, 8, is_little_endian, 1);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000469#endif
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000470}
471
Guido van Rossum79f25d91997-04-29 20:08:16 +0000472static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000473r_object(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000474{
Armin Rigo01ab2792004-03-26 15:09:27 +0000475 /* NULL is a valid return value, it does not necessarily means that
476 an exception is set. */
Raymond Hettingera422c342005-01-11 03:03:27 +0000477 PyObject *v, *v2, *v3;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000478 long i, n;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000479 int type = r_byte(p);
Tim Petersd9b9ac82001-01-28 00:27:39 +0000480
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000481 switch (type) {
Tim Petersd9b9ac82001-01-28 00:27:39 +0000482
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000483 case EOF:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000484 PyErr_SetString(PyExc_EOFError,
485 "EOF read where object expected");
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000486 return NULL;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000487
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000488 case TYPE_NULL:
489 return NULL;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000490
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000491 case TYPE_NONE:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000492 Py_INCREF(Py_None);
493 return Py_None;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000494
Tim Peters5ca576e2001-06-18 22:08:13 +0000495 case TYPE_STOPITER:
496 Py_INCREF(PyExc_StopIteration);
497 return PyExc_StopIteration;
498
Guido van Rossume449af71996-10-11 16:25:41 +0000499 case TYPE_ELLIPSIS:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000500 Py_INCREF(Py_Ellipsis);
Guido van Rossume449af71996-10-11 16:25:41 +0000501 return Py_Ellipsis;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000502
Guido van Rossum77f6a652002-04-03 22:41:51 +0000503 case TYPE_FALSE:
504 Py_INCREF(Py_False);
505 return Py_False;
506
507 case TYPE_TRUE:
508 Py_INCREF(Py_True);
509 return Py_True;
510
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000511 case TYPE_INT:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000512 return PyInt_FromLong(r_long(p));
Tim Petersd9b9ac82001-01-28 00:27:39 +0000513
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000514 case TYPE_INT64:
Tim Peters82112372001-08-29 02:28:42 +0000515 return r_long64(p);
Tim Petersd9b9ac82001-01-28 00:27:39 +0000516
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000517 case TYPE_LONG:
518 {
519 int size;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000520 PyLongObject *ob;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000521 n = r_long(p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000522 size = n<0 ? -n : n;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000523 ob = _PyLong_New(size);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000524 if (ob == NULL)
525 return NULL;
526 ob->ob_size = n;
Armin Rigo01ab2792004-03-26 15:09:27 +0000527 for (i = 0; i < size; i++) {
528 int digit = r_short(p);
529 if (digit < 0) {
530 Py_DECREF(ob);
531 PyErr_SetString(PyExc_ValueError,
532 "bad marshal data");
533 return NULL;
534 }
535 ob->ob_digit[i] = digit;
536 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000537 return (PyObject *)ob;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000538 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000539
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000540 case TYPE_FLOAT:
541 {
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000542 char buf[256];
Guido van Rossum0ae748d1997-02-14 22:58:07 +0000543 double dx;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000544 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000545 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000546 PyErr_SetString(PyExc_EOFError,
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000547 "EOF read where object expected");
548 return NULL;
549 }
550 buf[n] = '\0';
Guido van Rossum0ae748d1997-02-14 22:58:07 +0000551 PyFPE_START_PROTECT("atof", return 0)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000552 dx = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000553 PyFPE_END_PROTECT(dx)
Guido van Rossum79f25d91997-04-29 20:08:16 +0000554 return PyFloat_FromDouble(dx);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000555 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000556
Michael W. Hudsondf888462005-06-03 14:41:55 +0000557 case TYPE_BINARY_FLOAT:
558 {
Brett Cannonc9371d42005-06-25 08:23:41 +0000559 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000560 double x;
Brett Cannonc9371d42005-06-25 08:23:41 +0000561 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000562 PyErr_SetString(PyExc_EOFError,
563 "EOF read where object expected");
564 return NULL;
565 }
566 x = _PyFloat_Unpack8(buf, 1);
567 if (x == -1.0 && PyErr_Occurred()) {
568 return NULL;
569 }
570 return PyFloat_FromDouble(x);
571 }
572
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000573#ifndef WITHOUT_COMPLEX
574 case TYPE_COMPLEX:
575 {
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000576 char buf[256];
Guido van Rossum530956d1996-07-21 02:27:43 +0000577 Py_complex c;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000578 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000579 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000580 PyErr_SetString(PyExc_EOFError,
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000581 "EOF read where object expected");
582 return NULL;
583 }
584 buf[n] = '\0';
Guido van Rossum0ae748d1997-02-14 22:58:07 +0000585 PyFPE_START_PROTECT("atof", return 0)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000586 c.real = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000587 PyFPE_END_PROTECT(c)
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000588 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000589 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000590 PyErr_SetString(PyExc_EOFError,
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000591 "EOF read where object expected");
592 return NULL;
593 }
594 buf[n] = '\0';
Guido van Rossum0ae748d1997-02-14 22:58:07 +0000595 PyFPE_START_PROTECT("atof", return 0)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000596 c.imag = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000597 PyFPE_END_PROTECT(c)
Guido van Rossum79f25d91997-04-29 20:08:16 +0000598 return PyComplex_FromCComplex(c);
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000599 }
Michael W. Hudsondf888462005-06-03 14:41:55 +0000600
601 case TYPE_BINARY_COMPLEX:
602 {
Brett Cannonc9371d42005-06-25 08:23:41 +0000603 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000604 Py_complex c;
Brett Cannonc9371d42005-06-25 08:23:41 +0000605 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000606 PyErr_SetString(PyExc_EOFError,
607 "EOF read where object expected");
608 return NULL;
609 }
610 c.real = _PyFloat_Unpack8(buf, 1);
611 if (c.real == -1.0 && PyErr_Occurred()) {
612 return NULL;
613 }
Brett Cannonc9371d42005-06-25 08:23:41 +0000614 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000615 PyErr_SetString(PyExc_EOFError,
616 "EOF read where object expected");
617 return NULL;
618 }
619 c.imag = _PyFloat_Unpack8(buf, 1);
620 if (c.imag == -1.0 && PyErr_Occurred()) {
621 return NULL;
622 }
623 return PyComplex_FromCComplex(c);
624 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000625#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +0000626
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000627 case TYPE_INTERNED:
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000628 case TYPE_STRING:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000629 n = r_long(p);
Guido van Rossuma45cb451998-06-08 20:27:29 +0000630 if (n < 0) {
631 PyErr_SetString(PyExc_ValueError, "bad marshal data");
632 return NULL;
633 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000634 v = PyString_FromStringAndSize((char *)NULL, n);
Michael W. Hudson6d6917b2005-06-03 15:17:16 +0000635 if (v == NULL)
636 return v;
637 if (r_string(PyString_AS_STRING(v), (int)n, p) != n) {
638 Py_DECREF(v);
639 PyErr_SetString(PyExc_EOFError,
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000640 "EOF read where object expected");
Michael W. Hudson6d6917b2005-06-03 15:17:16 +0000641 return NULL;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000642 }
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000643 if (type == TYPE_INTERNED) {
644 PyString_InternInPlace(&v);
645 PyList_Append(p->strings, v);
646 }
647 return v;
648
649 case TYPE_STRINGREF:
650 n = r_long(p);
Michael W. Hudsonf2ca5af2005-06-13 18:28:46 +0000651 if (n < 0 || n >= PyList_GET_SIZE(p->strings)) {
652 PyErr_SetString(PyExc_ValueError, "bad marshal data");
653 return NULL;
654 }
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000655 v = PyList_GET_ITEM(p->strings, n);
656 Py_INCREF(v);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000657 return v;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000658
Martin v. Löwis339d0f72001-08-17 18:39:25 +0000659#ifdef Py_USING_UNICODE
Guido van Rossumc279b532000-03-10 23:03:02 +0000660 case TYPE_UNICODE:
661 {
662 char *buffer;
663
664 n = r_long(p);
665 if (n < 0) {
666 PyErr_SetString(PyExc_ValueError, "bad marshal data");
667 return NULL;
668 }
Guido van Rossumb18618d2000-05-03 23:44:39 +0000669 buffer = PyMem_NEW(char, n);
Guido van Rossumc279b532000-03-10 23:03:02 +0000670 if (buffer == NULL)
Guido van Rossumb18618d2000-05-03 23:44:39 +0000671 return PyErr_NoMemory();
Guido van Rossumc279b532000-03-10 23:03:02 +0000672 if (r_string(buffer, (int)n, p) != n) {
Guido van Rossumb18618d2000-05-03 23:44:39 +0000673 PyMem_DEL(buffer);
Guido van Rossumc279b532000-03-10 23:03:02 +0000674 PyErr_SetString(PyExc_EOFError,
675 "EOF read where object expected");
676 return NULL;
677 }
678 v = PyUnicode_DecodeUTF8(buffer, n, NULL);
Guido van Rossumb18618d2000-05-03 23:44:39 +0000679 PyMem_DEL(buffer);
Guido van Rossumc279b532000-03-10 23:03:02 +0000680 return v;
681 }
Martin v. Löwis339d0f72001-08-17 18:39:25 +0000682#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +0000683
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000684 case TYPE_TUPLE:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000685 n = r_long(p);
Guido van Rossuma45cb451998-06-08 20:27:29 +0000686 if (n < 0) {
687 PyErr_SetString(PyExc_ValueError, "bad marshal data");
688 return NULL;
689 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000690 v = PyTuple_New((int)n);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000691 if (v == NULL)
692 return v;
Jack Jansen9513f2c1995-10-27 13:21:28 +0000693 for (i = 0; i < n; i++) {
694 v2 = r_object(p);
695 if ( v2 == NULL ) {
Armin Rigo01ab2792004-03-26 15:09:27 +0000696 if (!PyErr_Occurred())
697 PyErr_SetString(PyExc_TypeError,
698 "NULL object in marshal data");
Guido van Rossum79f25d91997-04-29 20:08:16 +0000699 Py_DECREF(v);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000700 v = NULL;
701 break;
702 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000703 PyTuple_SET_ITEM(v, (int)i, v2);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000704 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000705 return v;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000706
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000707 case TYPE_LIST:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000708 n = r_long(p);
Guido van Rossuma45cb451998-06-08 20:27:29 +0000709 if (n < 0) {
710 PyErr_SetString(PyExc_ValueError, "bad marshal data");
711 return NULL;
712 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000713 v = PyList_New((int)n);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000714 if (v == NULL)
715 return v;
Jack Jansen9513f2c1995-10-27 13:21:28 +0000716 for (i = 0; i < n; i++) {
717 v2 = r_object(p);
718 if ( v2 == NULL ) {
Armin Rigo01ab2792004-03-26 15:09:27 +0000719 if (!PyErr_Occurred())
720 PyErr_SetString(PyExc_TypeError,
721 "NULL object in marshal data");
Guido van Rossum79f25d91997-04-29 20:08:16 +0000722 Py_DECREF(v);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000723 v = NULL;
724 break;
725 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000726 PyList_SetItem(v, (int)i, v2);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000727 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000728 return v;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000729
Guido van Rossum64b45521991-06-07 13:58:22 +0000730 case TYPE_DICT:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000731 v = PyDict_New();
Guido van Rossum64b45521991-06-07 13:58:22 +0000732 if (v == NULL)
733 return NULL;
734 for (;;) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000735 PyObject *key, *val;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000736 key = r_object(p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000737 if (key == NULL)
Armin Rigo01ab2792004-03-26 15:09:27 +0000738 break;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000739 val = r_object(p);
Guido van Rossumf2150601996-06-26 20:41:23 +0000740 if (val != NULL)
Guido van Rossum79f25d91997-04-29 20:08:16 +0000741 PyDict_SetItem(v, key, val);
742 Py_DECREF(key);
743 Py_XDECREF(val);
Guido van Rossum64b45521991-06-07 13:58:22 +0000744 }
Armin Rigo01ab2792004-03-26 15:09:27 +0000745 if (PyErr_Occurred()) {
746 Py_DECREF(v);
747 v = NULL;
748 }
Guido van Rossum64b45521991-06-07 13:58:22 +0000749 return v;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000750
Raymond Hettingera422c342005-01-11 03:03:27 +0000751 case TYPE_SET:
752 case TYPE_FROZENSET:
753 n = r_long(p);
754 if (n < 0) {
755 PyErr_SetString(PyExc_ValueError, "bad marshal data");
756 return NULL;
757 }
758 v = PyTuple_New((int)n);
759 if (v == NULL)
760 return v;
761 for (i = 0; i < n; i++) {
762 v2 = r_object(p);
763 if ( v2 == NULL ) {
764 if (!PyErr_Occurred())
765 PyErr_SetString(PyExc_TypeError,
766 "NULL object in marshal data");
767 Py_DECREF(v);
768 v = NULL;
769 break;
770 }
771 PyTuple_SET_ITEM(v, (int)i, v2);
772 }
Michael W. Hudson6d6917b2005-06-03 15:17:16 +0000773 if (v == NULL)
774 return v;
Raymond Hettingera422c342005-01-11 03:03:27 +0000775 if (type == TYPE_SET)
Raymond Hettingerbeb31012005-08-16 03:47:52 +0000776 v3 = PySet_New(v);
Raymond Hettingera422c342005-01-11 03:03:27 +0000777 else
Raymond Hettingerbeb31012005-08-16 03:47:52 +0000778 v3 = PyFrozenSet_New(v);
Raymond Hettingera422c342005-01-11 03:03:27 +0000779 Py_DECREF(v);
780 return v3;
781
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000782 case TYPE_CODE:
Michael W. Hudson80199132001-08-30 14:50:20 +0000783 if (PyEval_GetRestricted()) {
784 PyErr_SetString(PyExc_RuntimeError,
785 "cannot unmarshal code objects in "
786 "restricted execution mode");
787 return NULL;
788 }
789 else {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000790 int argcount;
791 int nlocals;
792 int stacksize;
793 int flags;
794 PyObject *code = NULL;
795 PyObject *consts = NULL;
796 PyObject *names = NULL;
797 PyObject *varnames = NULL;
798 PyObject *freevars = NULL;
799 PyObject *cellvars = NULL;
800 PyObject *filename = NULL;
801 PyObject *name = NULL;
802 int firstlineno;
803 PyObject *lnotab = NULL;
804
805 v = NULL;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000806
Michael W. Hudsondf888462005-06-03 14:41:55 +0000807 argcount = r_long(p);
808 nlocals = r_long(p);
809 stacksize = r_long(p);
810 flags = r_long(p);
811 code = r_object(p);
812 if (code == NULL)
813 goto code_error;
814 consts = r_object(p);
815 if (consts == NULL)
816 goto code_error;
817 names = r_object(p);
818 if (names == NULL)
819 goto code_error;
820 varnames = r_object(p);
821 if (varnames == NULL)
822 goto code_error;
823 freevars = r_object(p);
824 if (freevars == NULL)
825 goto code_error;
826 cellvars = r_object(p);
827 if (cellvars == NULL)
828 goto code_error;
829 filename = r_object(p);
830 if (filename == NULL)
831 goto code_error;
832 name = r_object(p);
833 if (name == NULL)
834 goto code_error;
835 firstlineno = r_long(p);
836 lnotab = r_object(p);
837 if (lnotab == NULL)
838 goto code_error;
839
840 v = (PyObject *) PyCode_New(
Tim Petersd9b9ac82001-01-28 00:27:39 +0000841 argcount, nlocals, stacksize, flags,
Guido van Rossum681d79a1995-07-18 14:51:37 +0000842 code, consts, names, varnames,
Tim Petersd9b9ac82001-01-28 00:27:39 +0000843 freevars, cellvars, filename, name,
844 firstlineno, lnotab);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000845
846 code_error:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000847 Py_XDECREF(code);
848 Py_XDECREF(consts);
849 Py_XDECREF(names);
850 Py_XDECREF(varnames);
Jeremy Hylton64949cb2001-01-25 20:06:59 +0000851 Py_XDECREF(freevars);
852 Py_XDECREF(cellvars);
Guido van Rossum79f25d91997-04-29 20:08:16 +0000853 Py_XDECREF(filename);
854 Py_XDECREF(name);
Guido van Rossum6fc06e71997-07-26 23:30:18 +0000855 Py_XDECREF(lnotab);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000856
857 }
858 return v;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000859
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000860 default:
Guido van Rossumf2150601996-06-26 20:41:23 +0000861 /* Bogus data got written, which isn't ideal.
862 This will let you keep working and recover. */
Guido van Rossuma45cb451998-06-08 20:27:29 +0000863 PyErr_SetString(PyExc_ValueError, "bad marshal data");
864 return NULL;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000865
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000866 }
867}
868
Neal Norwitzd85c4522004-06-13 20:31:49 +0000869static PyObject *
Armin Rigo01ab2792004-03-26 15:09:27 +0000870read_object(RFILE *p)
871{
872 PyObject *v;
873 if (PyErr_Occurred()) {
874 fprintf(stderr, "XXX readobject called with exception set\n");
875 return NULL;
876 }
877 v = r_object(p);
878 if (v == NULL && !PyErr_Occurred())
879 PyErr_SetString(PyExc_TypeError, "NULL object in marshal data");
880 return v;
881}
882
Guido van Rossumb8cf3e62001-10-19 01:46:21 +0000883int
884PyMarshal_ReadShortFromFile(FILE *fp)
885{
886 RFILE rf;
887 rf.fp = fp;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000888 rf.strings = NULL;
Guido van Rossumb8cf3e62001-10-19 01:46:21 +0000889 return r_short(&rf);
890}
891
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000892long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000893PyMarshal_ReadLongFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000894{
895 RFILE rf;
896 rf.fp = fp;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000897 rf.strings = NULL;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000898 return r_long(&rf);
899}
900
Tim Peters691e0e92001-01-18 04:39:16 +0000901#ifdef HAVE_FSTAT
902/* Return size of file in bytes; < 0 if unknown. */
903static off_t
904getfilesize(FILE *fp)
905{
906 struct stat st;
907 if (fstat(fileno(fp), &st) != 0)
908 return -1;
909 else
910 return st.st_size;
911}
912#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +0000913
Tim Peters691e0e92001-01-18 04:39:16 +0000914/* If we can get the size of the file up-front, and it's reasonably small,
915 * read it in one gulp and delegate to ...FromString() instead. Much quicker
916 * than reading a byte at a time from file; speeds .pyc imports.
Tim Petersd9b9ac82001-01-28 00:27:39 +0000917 * CAUTION: since this may read the entire remainder of the file, don't
918 * call it unless you know you're done with the file.
Tim Peters691e0e92001-01-18 04:39:16 +0000919 */
Guido van Rossum79f25d91997-04-29 20:08:16 +0000920PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +0000921PyMarshal_ReadLastObjectFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000922{
Tim Peters691e0e92001-01-18 04:39:16 +0000923/* 75% of 2.1's .pyc files can exploit SMALL_FILE_LIMIT.
924 * REASONABLE_FILE_LIMIT is by defn something big enough for Tkinter.pyc.
925 */
926#define SMALL_FILE_LIMIT (1L << 14)
927#define REASONABLE_FILE_LIMIT (1L << 18)
Tim Peters691e0e92001-01-18 04:39:16 +0000928#ifdef HAVE_FSTAT
929 off_t filesize;
930#endif
Tim Peters691e0e92001-01-18 04:39:16 +0000931#ifdef HAVE_FSTAT
932 filesize = getfilesize(fp);
933 if (filesize > 0) {
934 char buf[SMALL_FILE_LIMIT];
935 char* pBuf = NULL;
936 if (filesize <= SMALL_FILE_LIMIT)
937 pBuf = buf;
938 else if (filesize <= REASONABLE_FILE_LIMIT)
939 pBuf = (char *)PyMem_MALLOC(filesize);
940 if (pBuf != NULL) {
941 PyObject* v;
942 size_t n = fread(pBuf, 1, filesize, fp);
943 v = PyMarshal_ReadObjectFromString(pBuf, n);
944 if (pBuf != buf)
945 PyMem_FREE(pBuf);
946 return v;
947 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000948
Tim Peters691e0e92001-01-18 04:39:16 +0000949 }
950#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +0000951 /* We don't have fstat, or we do but the file is larger than
952 * REASONABLE_FILE_LIMIT or malloc failed -- read a byte at a time.
953 */
954 return PyMarshal_ReadObjectFromFile(fp);
955
Tim Peters691e0e92001-01-18 04:39:16 +0000956#undef SMALL_FILE_LIMIT
957#undef REASONABLE_FILE_LIMIT
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000958}
959
Guido van Rossum79f25d91997-04-29 20:08:16 +0000960PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +0000961PyMarshal_ReadObjectFromFile(FILE *fp)
962{
963 RFILE rf;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000964 PyObject *result;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000965 rf.fp = fp;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000966 rf.strings = PyList_New(0);
967 result = r_object(&rf);
968 Py_DECREF(rf.strings);
969 return result;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000970}
971
972PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000973PyMarshal_ReadObjectFromString(char *str, int len)
Guido van Rossumf56e3db1993-04-01 20:59:32 +0000974{
975 RFILE rf;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000976 PyObject *result;
Guido van Rossumf56e3db1993-04-01 20:59:32 +0000977 rf.fp = NULL;
Guido van Rossumf56e3db1993-04-01 20:59:32 +0000978 rf.ptr = str;
979 rf.end = str + len;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000980 rf.strings = PyList_New(0);
981 result = r_object(&rf);
982 Py_DECREF(rf.strings);
983 return result;
Guido van Rossumf56e3db1993-04-01 20:59:32 +0000984}
985
Guido van Rossum79f25d91997-04-29 20:08:16 +0000986PyObject *
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000987PyMarshal_WriteObjectToString(PyObject *x, int version)
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +0000988{
989 WFILE wf;
990 wf.fp = NULL;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000991 wf.str = PyString_FromStringAndSize((char *)NULL, 50);
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +0000992 if (wf.str == NULL)
993 return NULL;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000994 wf.ptr = PyString_AS_STRING((PyStringObject *)wf.str);
995 wf.end = wf.ptr + PyString_Size(wf.str);
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +0000996 wf.error = 0;
Fred Drake6da0b912000-06-28 18:47:56 +0000997 wf.depth = 0;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000998 wf.version = version;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000999 wf.strings = (version > 0) ? PyDict_New() : NULL;
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001000 w_object(x, &wf);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001001 Py_XDECREF(wf.strings);
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001002 if (wf.str != NULL)
Guido van Rossum79f25d91997-04-29 20:08:16 +00001003 _PyString_Resize(&wf.str,
1004 (int) (wf.ptr -
1005 PyString_AS_STRING((PyStringObject *)wf.str)));
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001006 if (wf.error) {
Guido van Rossum79f25d91997-04-29 20:08:16 +00001007 Py_XDECREF(wf.str);
Tim Petersd9b9ac82001-01-28 00:27:39 +00001008 PyErr_SetString(PyExc_ValueError,
Fred Drake6da0b912000-06-28 18:47:56 +00001009 (wf.error==1)?"unmarshallable object"
1010 :"object too deeply nested to marshal");
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001011 return NULL;
1012 }
1013 return wf.str;
1014}
1015
Guido van Rossum64b45521991-06-07 13:58:22 +00001016/* And an interface for Python programs... */
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001017
Guido van Rossum79f25d91997-04-29 20:08:16 +00001018static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001019marshal_dump(PyObject *self, PyObject *args)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001020{
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001021 WFILE wf;
Guido van Rossum79f25d91997-04-29 20:08:16 +00001022 PyObject *x;
1023 PyObject *f;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001024 int version = Py_MARSHAL_VERSION;
1025 if (!PyArg_ParseTuple(args, "OO|i:dump", &x, &f, &version))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001026 return NULL;
Guido van Rossum79f25d91997-04-29 20:08:16 +00001027 if (!PyFile_Check(f)) {
1028 PyErr_SetString(PyExc_TypeError,
1029 "marshal.dump() 2nd arg must be file");
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001030 return NULL;
1031 }
Guido van Rossum79f25d91997-04-29 20:08:16 +00001032 wf.fp = PyFile_AsFile(f);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001033 wf.str = NULL;
1034 wf.ptr = wf.end = NULL;
Guido van Rossumf2150601996-06-26 20:41:23 +00001035 wf.error = 0;
Fred Drake6da0b912000-06-28 18:47:56 +00001036 wf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001037 wf.strings = (version > 0) ? PyDict_New() : 0;
Neal Norwitzef785292005-11-16 05:04:51 +00001038 wf.version = version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001039 w_object(x, &wf);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001040 Py_XDECREF(wf.strings);
Guido van Rossumf2150601996-06-26 20:41:23 +00001041 if (wf.error) {
Tim Petersd9b9ac82001-01-28 00:27:39 +00001042 PyErr_SetString(PyExc_ValueError,
Fred Drake6da0b912000-06-28 18:47:56 +00001043 (wf.error==1)?"unmarshallable object"
1044 :"object too deeply nested to marshal");
Guido van Rossumf2150601996-06-26 20:41:23 +00001045 return NULL;
1046 }
Guido van Rossum79f25d91997-04-29 20:08:16 +00001047 Py_INCREF(Py_None);
1048 return Py_None;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001049}
1050
Guido van Rossum79f25d91997-04-29 20:08:16 +00001051static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001052marshal_load(PyObject *self, PyObject *args)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001053{
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001054 RFILE rf;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001055 PyObject *f, *result;
Guido van Rossum2efa3692000-03-31 00:37:41 +00001056 if (!PyArg_ParseTuple(args, "O:load", &f))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001057 return NULL;
Guido van Rossum79f25d91997-04-29 20:08:16 +00001058 if (!PyFile_Check(f)) {
1059 PyErr_SetString(PyExc_TypeError,
1060 "marshal.load() arg must be file");
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001061 return NULL;
1062 }
Guido van Rossum79f25d91997-04-29 20:08:16 +00001063 rf.fp = PyFile_AsFile(f);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001064 rf.strings = PyList_New(0);
1065 result = read_object(&rf);
1066 Py_DECREF(rf.strings);
1067 return result;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001068}
1069
Guido van Rossum79f25d91997-04-29 20:08:16 +00001070static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001071marshal_dumps(PyObject *self, PyObject *args)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001072{
Guido van Rossum79f25d91997-04-29 20:08:16 +00001073 PyObject *x;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001074 int version = Py_MARSHAL_VERSION;
Armin Rigo2ccea172004-12-20 12:25:57 +00001075 if (!PyArg_ParseTuple(args, "O|i:dumps", &x, &version))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001076 return NULL;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001077 return PyMarshal_WriteObjectToString(x, version);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001078}
1079
Guido van Rossum79f25d91997-04-29 20:08:16 +00001080static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001081marshal_loads(PyObject *self, PyObject *args)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001082{
1083 RFILE rf;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001084 char *s;
1085 int n;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001086 PyObject* result;
Michael W. Hudson01fca112005-06-13 17:50:18 +00001087 if (!PyArg_ParseTuple(args, "s#:loads", &s, &n))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001088 return NULL;
1089 rf.fp = NULL;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001090 rf.ptr = s;
1091 rf.end = s + n;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001092 rf.strings = PyList_New(0);
1093 result = read_object(&rf);
1094 Py_DECREF(rf.strings);
1095 return result;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001096}
1097
Guido van Rossum79f25d91997-04-29 20:08:16 +00001098static PyMethodDef marshal_methods[] = {
Neal Norwitz031829d2002-03-31 14:37:44 +00001099 {"dump", marshal_dump, METH_VARARGS},
1100 {"load", marshal_load, METH_VARARGS},
1101 {"dumps", marshal_dumps, METH_VARARGS},
1102 {"loads", marshal_loads, METH_VARARGS},
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001103 {NULL, NULL} /* sentinel */
1104};
1105
Jason Tishler6bc06ec2003-09-04 11:59:50 +00001106PyMODINIT_FUNC
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001107PyMarshal_Init(void)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001108{
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001109 PyObject *mod = Py_InitModule("marshal", marshal_methods);
1110 PyModule_AddIntConstant(mod, "version", Py_MARSHAL_VERSION);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001111}