blob: 4ad873eb77e07441e413851e61daa668bfcc933d [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
Thomas Wouters695934a2006-03-01 23:49:13 +00007#define PY_SSIZE_T_CLEAN
8
Guido van Rossum79f25d91997-04-29 20:08:16 +00009#include "Python.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000010#include "longintrepr.h"
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000011#include "code.h"
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000012#include "marshal.h"
13
Mark Dickinsonbd792642009-03-18 20:06:12 +000014#define ABS(x) ((x) < 0 ? -(x) : (x))
15
Fred Drake6da0b912000-06-28 18:47:56 +000016/* High water mark to determine when the marshalled object is dangerously deep
17 * and risks coring the interpreter. When the object stack gets this deep,
18 * raise an exception instead of continuing.
Guido van Rossum63175a12007-08-29 20:39:13 +000019 * On Windows debug builds, reduce this value.
Fred Drake6da0b912000-06-28 18:47:56 +000020 */
Guido van Rossum63175a12007-08-29 20:39:13 +000021#if defined(MS_WINDOWS) && defined(_DEBUG)
22#define MAX_MARSHAL_STACK_DEPTH 1500
23#else
Guido van Rossumd59da4b2007-05-22 18:11:13 +000024#define MAX_MARSHAL_STACK_DEPTH 2000
Guido van Rossum63175a12007-08-29 20:39:13 +000025#endif
Fred Drake6da0b912000-06-28 18:47:56 +000026
Michael W. Hudsondf888462005-06-03 14:41:55 +000027#define TYPE_NULL '0'
28#define TYPE_NONE 'N'
29#define TYPE_FALSE 'F'
30#define TYPE_TRUE 'T'
31#define TYPE_STOPITER 'S'
32#define TYPE_ELLIPSIS '.'
33#define TYPE_INT 'i'
34#define TYPE_INT64 'I'
35#define TYPE_FLOAT 'f'
36#define TYPE_BINARY_FLOAT 'g'
37#define TYPE_COMPLEX 'x'
38#define TYPE_BINARY_COMPLEX 'y'
39#define TYPE_LONG 'l'
40#define TYPE_STRING 's'
Michael W. Hudsondf888462005-06-03 14:41:55 +000041#define TYPE_TUPLE '('
42#define TYPE_LIST '['
43#define TYPE_DICT '{'
44#define TYPE_CODE 'c'
45#define TYPE_UNICODE 'u'
46#define TYPE_UNKNOWN '?'
47#define TYPE_SET '<'
48#define TYPE_FROZENSET '>'
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000049
Eric Smithb1a03cf2009-04-21 11:57:38 +000050#define WFERR_OK 0
51#define WFERR_UNMARSHALLABLE 1
52#define WFERR_NESTEDTOODEEP 2
53#define WFERR_NOMEMORY 3
54
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000055typedef struct {
56 FILE *fp;
Eric Smithb1a03cf2009-04-21 11:57:38 +000057 int error; /* see WFERR_* values */
Fred Drake6da0b912000-06-28 18:47:56 +000058 int depth;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000059 /* If fp == NULL, the following are valid: */
Guido van Rossum79f25d91997-04-29 20:08:16 +000060 PyObject *str;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000061 char *ptr;
62 char *end;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +000063 PyObject *strings; /* dict on marshal, list on unmarshal */
Michael W. Hudsondf888462005-06-03 14:41:55 +000064 int version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000065} WFILE;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +000066
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000067#define w_byte(c, p) if (((p)->fp)) putc((c), (p)->fp); \
68 else if ((p)->ptr != (p)->end) *(p)->ptr++ = (c); \
69 else w_more(c, p)
70
71static void
Fredrik Lundh11534382000-07-23 18:24:06 +000072w_more(int c, WFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000073{
Martin v. Löwis18e16552006-02-15 17:27:45 +000074 Py_ssize_t size, newsize;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000075 if (p->str == NULL)
76 return; /* An error already occurred */
Christian Heimes72b710a2008-05-26 13:28:38 +000077 size = PyBytes_Size(p->str);
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +000078 newsize = size + size + 1024;
79 if (newsize > 32*1024*1024) {
Amaury Forgeot d'Arc35c86582008-06-17 21:11:29 +000080 newsize = size + (size >> 3); /* 12.5% overallocation */
Alexandre Vassalotti5f8ced22008-05-16 00:03:33 +000081 }
Christian Heimes72b710a2008-05-26 13:28:38 +000082 if (_PyBytes_Resize(&p->str, newsize) != 0) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000083 p->ptr = p->end = NULL;
84 }
85 else {
Christian Heimes72b710a2008-05-26 13:28:38 +000086 p->ptr = PyBytes_AS_STRING((PyBytesObject *)p->str) + size;
Guido van Rossum79f25d91997-04-29 20:08:16 +000087 p->end =
Christian Heimes72b710a2008-05-26 13:28:38 +000088 PyBytes_AS_STRING((PyBytesObject *)p->str) + newsize;
Tim Peters8315ea52000-07-23 19:28:35 +000089 *p->ptr++ = Py_SAFE_DOWNCAST(c, int, char);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000090 }
91}
92
93static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +000094w_string(char *s, int n, WFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +000095{
96 if (p->fp != NULL) {
97 fwrite(s, 1, n, p->fp);
98 }
99 else {
100 while (--n >= 0) {
101 w_byte(*s, p);
102 s++;
103 }
104 }
105}
106
107static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000108w_short(int x, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000109{
Thomas Heller3e1c18a2002-07-30 11:40:57 +0000110 w_byte((char)( x & 0xff), p);
111 w_byte((char)((x>> 8) & 0xff), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000112}
113
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000114static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000115w_long(long x, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000116{
Thomas Heller37d5a152002-07-30 11:44:44 +0000117 w_byte((char)( x & 0xff), p);
118 w_byte((char)((x>> 8) & 0xff), p);
119 w_byte((char)((x>>16) & 0xff), p);
120 w_byte((char)((x>>24) & 0xff), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000121}
122
Guido van Rossumc1547d91996-12-10 15:39:04 +0000123#if SIZEOF_LONG > 4
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000124static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000125w_long64(long x, WFILE *p)
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000126{
127 w_long(x, p);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000128 w_long(x>>32, p);
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000129}
Guido van Rossumc1547d91996-12-10 15:39:04 +0000130#endif
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000131
Mark Dickinsonbd792642009-03-18 20:06:12 +0000132/* We assume that Python longs are stored internally in base some power of
133 2**15; for the sake of portability we'll always read and write them in base
134 exactly 2**15. */
135
136#define PyLong_MARSHAL_SHIFT 15
137#define PyLong_MARSHAL_BASE ((short)1 << PyLong_MARSHAL_SHIFT)
138#define PyLong_MARSHAL_MASK (PyLong_MARSHAL_BASE - 1)
139#if PyLong_SHIFT % PyLong_MARSHAL_SHIFT != 0
140#error "PyLong_SHIFT must be a multiple of PyLong_MARSHAL_SHIFT"
141#endif
142#define PyLong_MARSHAL_RATIO (PyLong_SHIFT / PyLong_MARSHAL_SHIFT)
143
144static void
145w_PyLong(const PyLongObject *ob, WFILE *p)
146{
147 Py_ssize_t i, j, n, l;
148 digit d;
149
150 w_byte(TYPE_LONG, p);
151 if (Py_SIZE(ob) == 0) {
152 w_long((long)0, p);
153 return;
154 }
155
156 /* set l to number of base PyLong_MARSHAL_BASE digits */
157 n = ABS(Py_SIZE(ob));
158 l = (n-1) * PyLong_MARSHAL_RATIO;
159 d = ob->ob_digit[n-1];
160 assert(d != 0); /* a PyLong is always normalized */
161 do {
162 d >>= PyLong_MARSHAL_SHIFT;
163 l++;
164 } while (d != 0);
165 w_long((long)(Py_SIZE(ob) > 0 ? l : -l), p);
166
167 for (i=0; i < n-1; i++) {
168 d = ob->ob_digit[i];
169 for (j=0; j < PyLong_MARSHAL_RATIO; j++) {
170 w_short(d & PyLong_MARSHAL_MASK, p);
171 d >>= PyLong_MARSHAL_SHIFT;
172 }
173 assert (d == 0);
174 }
175 d = ob->ob_digit[n-1];
176 do {
177 w_short(d & PyLong_MARSHAL_MASK, p);
178 d >>= PyLong_MARSHAL_SHIFT;
179 } while (d != 0);
180}
181
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000182static void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000183w_object(PyObject *v, WFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000184{
Martin v. Löwis18e16552006-02-15 17:27:45 +0000185 Py_ssize_t i, n;
Fred Drake6da0b912000-06-28 18:47:56 +0000186
187 p->depth++;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000188
Fred Drake6da0b912000-06-28 18:47:56 +0000189 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
Eric Smithb1a03cf2009-04-21 11:57:38 +0000190 p->error = WFERR_NESTEDTOODEEP;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000191 }
Fred Drake6da0b912000-06-28 18:47:56 +0000192 else if (v == NULL) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000193 w_byte(TYPE_NULL, p);
Guido van Rossum730806d1998-04-10 22:27:42 +0000194 }
195 else if (v == Py_None) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000196 w_byte(TYPE_NONE, p);
Guido van Rossum730806d1998-04-10 22:27:42 +0000197 }
Tim Peters5ca576e2001-06-18 22:08:13 +0000198 else if (v == PyExc_StopIteration) {
199 w_byte(TYPE_STOPITER, p);
200 }
Guido van Rossum730806d1998-04-10 22:27:42 +0000201 else if (v == Py_Ellipsis) {
202 w_byte(TYPE_ELLIPSIS, p);
203 }
Guido van Rossum77f6a652002-04-03 22:41:51 +0000204 else if (v == Py_False) {
205 w_byte(TYPE_FALSE, p);
206 }
207 else if (v == Py_True) {
208 w_byte(TYPE_TRUE, p);
209 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000210 else if (PyLong_CheckExact(v)) {
Guido van Rossumddefaf32007-01-14 03:31:43 +0000211 long x = PyLong_AsLong(v);
212 if ((x == -1) && PyErr_Occurred()) {
213 PyLongObject *ob = (PyLongObject *)v;
214 PyErr_Clear();
Mark Dickinsonbd792642009-03-18 20:06:12 +0000215 w_PyLong(ob, p);
216 }
Guido van Rossumddefaf32007-01-14 03:31:43 +0000217 else {
Guido van Rossumc1547d91996-12-10 15:39:04 +0000218#if SIZEOF_LONG > 4
Guido van Rossumddefaf32007-01-14 03:31:43 +0000219 long y = Py_ARITHMETIC_RIGHT_SHIFT(long, x, 31);
220 if (y && y != -1) {
221 w_byte(TYPE_INT64, p);
222 w_long64(x, p);
223 }
224 else
Guido van Rossumc1547d91996-12-10 15:39:04 +0000225#endif
226 {
Guido van Rossumddefaf32007-01-14 03:31:43 +0000227 w_byte(TYPE_INT, p);
228 w_long(x, p);
229 }
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000230 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000231 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000232 else if (PyFloat_CheckExact(v)) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000233 if (p->version > 1) {
Brett Cannonc9371d42005-06-25 08:23:41 +0000234 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000235 if (_PyFloat_Pack8(PyFloat_AsDouble(v),
236 buf, 1) < 0) {
Eric Smithb1a03cf2009-04-21 11:57:38 +0000237 p->error = WFERR_UNMARSHALLABLE;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000238 return;
239 }
240 w_byte(TYPE_BINARY_FLOAT, p);
Brett Cannonc9371d42005-06-25 08:23:41 +0000241 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000242 }
243 else {
Eric Smith0923d1d2009-04-16 20:16:10 +0000244 char *buf = PyOS_double_to_string(PyFloat_AS_DOUBLE(v),
Mark Dickinson3e09f432009-04-17 08:41:23 +0000245 'g', 17, 0, NULL);
Eric Smithb1a03cf2009-04-21 11:57:38 +0000246 if (!buf) {
247 p->error = WFERR_NOMEMORY;
248 return;
249 }
Eric Smith0923d1d2009-04-16 20:16:10 +0000250 n = strlen(buf);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000251 w_byte(TYPE_FLOAT, p);
Martin v. Löwis67baee62006-02-16 14:37:48 +0000252 w_byte((int)n, p);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000253 w_string(buf, (int)n, p);
Eric Smith0923d1d2009-04-16 20:16:10 +0000254 PyMem_Free(buf);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000255 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000256 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000257#ifndef WITHOUT_COMPLEX
Guido van Rossum58da9312007-11-10 23:39:45 +0000258 else if (PyComplex_CheckExact(v)) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000259 if (p->version > 1) {
Brett Cannonc9371d42005-06-25 08:23:41 +0000260 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000261 if (_PyFloat_Pack8(PyComplex_RealAsDouble(v),
262 buf, 1) < 0) {
Eric Smithb1a03cf2009-04-21 11:57:38 +0000263 p->error = WFERR_UNMARSHALLABLE;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000264 return;
265 }
266 w_byte(TYPE_BINARY_COMPLEX, p);
Brett Cannonc9371d42005-06-25 08:23:41 +0000267 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000268 if (_PyFloat_Pack8(PyComplex_ImagAsDouble(v),
269 buf, 1) < 0) {
Eric Smithb1a03cf2009-04-21 11:57:38 +0000270 p->error = WFERR_UNMARSHALLABLE;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000271 return;
272 }
Brett Cannonc9371d42005-06-25 08:23:41 +0000273 w_string((char*)buf, 8, p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000274 }
275 else {
Eric Smith0923d1d2009-04-16 20:16:10 +0000276 char *buf;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000277 w_byte(TYPE_COMPLEX, p);
Eric Smith0923d1d2009-04-16 20:16:10 +0000278 buf = PyOS_double_to_string(PyComplex_RealAsDouble(v),
Mark Dickinson3e09f432009-04-17 08:41:23 +0000279 'g', 17, 0, NULL);
Eric Smithb1a03cf2009-04-21 11:57:38 +0000280 if (!buf) {
281 p->error = WFERR_NOMEMORY;
282 return;
283 }
Martin v. Löwis725507b2006-03-07 12:08:51 +0000284 n = strlen(buf);
285 w_byte((int)n, p);
286 w_string(buf, (int)n, p);
Eric Smith0923d1d2009-04-16 20:16:10 +0000287 PyMem_Free(buf);
288 buf = PyOS_double_to_string(PyComplex_ImagAsDouble(v),
Mark Dickinson3e09f432009-04-17 08:41:23 +0000289 'g', 17, 0, NULL);
Eric Smithb1a03cf2009-04-21 11:57:38 +0000290 if (!buf) {
291 p->error = WFERR_NOMEMORY;
292 return;
293 }
Eric Smith0923d1d2009-04-16 20:16:10 +0000294 n = strlen(buf);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000295 w_byte((int)n, p);
296 w_string(buf, (int)n, p);
Eric Smith0923d1d2009-04-16 20:16:10 +0000297 PyMem_Free(buf);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000298 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000299 }
300#endif
Christian Heimes72b710a2008-05-26 13:28:38 +0000301 else if (PyBytes_CheckExact(v)) {
Guido van Rossum98297ee2007-11-06 21:34:58 +0000302 w_byte(TYPE_STRING, p);
Christian Heimes72b710a2008-05-26 13:28:38 +0000303 n = PyBytes_GET_SIZE(v);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000304 if (n > INT_MAX) {
305 /* huge strings are not supported */
306 p->depth--;
Eric Smithb1a03cf2009-04-21 11:57:38 +0000307 p->error = WFERR_UNMARSHALLABLE;
Martin v. Löwis725507b2006-03-07 12:08:51 +0000308 return;
309 }
Guido van Rossum3a205f71995-02-17 15:10:07 +0000310 w_long((long)n, p);
Christian Heimes72b710a2008-05-26 13:28:38 +0000311 w_string(PyBytes_AS_STRING(v), (int)n, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000312 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000313 else if (PyUnicode_CheckExact(v)) {
Guido van Rossumc279b532000-03-10 23:03:02 +0000314 PyObject *utf8;
Martin v. Löwisdb12d452009-05-02 18:52:14 +0000315 utf8 = PyUnicode_EncodeUTF8(PyUnicode_AS_UNICODE(v),
316 PyUnicode_GET_SIZE(v),
317 "surrogates");
Guido van Rossumc279b532000-03-10 23:03:02 +0000318 if (utf8 == NULL) {
Guido van Rossum98626cd2000-06-28 23:24:19 +0000319 p->depth--;
Eric Smithb1a03cf2009-04-21 11:57:38 +0000320 p->error = WFERR_UNMARSHALLABLE;
Guido van Rossum98626cd2000-06-28 23:24:19 +0000321 return;
Guido van Rossumc279b532000-03-10 23:03:02 +0000322 }
323 w_byte(TYPE_UNICODE, p);
Christian Heimes72b710a2008-05-26 13:28:38 +0000324 n = PyBytes_GET_SIZE(utf8);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000325 if (n > INT_MAX) {
326 p->depth--;
Eric Smithb1a03cf2009-04-21 11:57:38 +0000327 p->error = WFERR_UNMARSHALLABLE;
Martin v. Löwis725507b2006-03-07 12:08:51 +0000328 return;
329 }
Guido van Rossumc279b532000-03-10 23:03:02 +0000330 w_long((long)n, p);
Christian Heimes72b710a2008-05-26 13:28:38 +0000331 w_string(PyBytes_AS_STRING(utf8), (int)n, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000332 Py_DECREF(utf8);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000333 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000334 else if (PyTuple_CheckExact(v)) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000335 w_byte(TYPE_TUPLE, p);
Guido van Rossum79f25d91997-04-29 20:08:16 +0000336 n = PyTuple_Size(v);
Guido van Rossum3a205f71995-02-17 15:10:07 +0000337 w_long((long)n, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000338 for (i = 0; i < n; i++) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000339 w_object(PyTuple_GET_ITEM(v, i), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000340 }
341 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000342 else if (PyList_CheckExact(v)) {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000343 w_byte(TYPE_LIST, p);
Guido van Rossumc279b532000-03-10 23:03:02 +0000344 n = PyList_GET_SIZE(v);
Guido van Rossum3a205f71995-02-17 15:10:07 +0000345 w_long((long)n, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000346 for (i = 0; i < n; i++) {
Guido van Rossumc279b532000-03-10 23:03:02 +0000347 w_object(PyList_GET_ITEM(v, i), p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000348 }
349 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000350 else if (PyDict_CheckExact(v)) {
Martin v. Löwis18e16552006-02-15 17:27:45 +0000351 Py_ssize_t pos;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000352 PyObject *key, *value;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000353 w_byte(TYPE_DICT, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000354 /* This one is NULL object terminated! */
Guido van Rossum25831651993-05-19 14:50:45 +0000355 pos = 0;
Guido van Rossum79f25d91997-04-29 20:08:16 +0000356 while (PyDict_Next(v, &pos, &key, &value)) {
Guido van Rossum25831651993-05-19 14:50:45 +0000357 w_object(key, p);
358 w_object(value, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000359 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000360 w_object((PyObject *)NULL, p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000361 }
Guido van Rossum58da9312007-11-10 23:39:45 +0000362 else if (PyAnySet_CheckExact(v)) {
Raymond Hettingera422c342005-01-11 03:03:27 +0000363 PyObject *value, *it;
364
365 if (PyObject_TypeCheck(v, &PySet_Type))
366 w_byte(TYPE_SET, p);
367 else
368 w_byte(TYPE_FROZENSET, p);
369 n = PyObject_Size(v);
370 if (n == -1) {
371 p->depth--;
Eric Smithb1a03cf2009-04-21 11:57:38 +0000372 p->error = WFERR_UNMARSHALLABLE;
Raymond Hettingera422c342005-01-11 03:03:27 +0000373 return;
374 }
375 w_long((long)n, p);
376 it = PyObject_GetIter(v);
377 if (it == NULL) {
378 p->depth--;
Eric Smithb1a03cf2009-04-21 11:57:38 +0000379 p->error = WFERR_UNMARSHALLABLE;
Raymond Hettingera422c342005-01-11 03:03:27 +0000380 return;
381 }
382 while ((value = PyIter_Next(it)) != NULL) {
383 w_object(value, p);
384 Py_DECREF(value);
385 }
386 Py_DECREF(it);
387 if (PyErr_Occurred()) {
388 p->depth--;
Eric Smithb1a03cf2009-04-21 11:57:38 +0000389 p->error = WFERR_UNMARSHALLABLE;
Raymond Hettingera422c342005-01-11 03:03:27 +0000390 return;
391 }
392 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000393 else if (PyCode_Check(v)) {
394 PyCodeObject *co = (PyCodeObject *)v;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000395 w_byte(TYPE_CODE, p);
Neal Norwitz7fdcb412002-06-14 01:07:39 +0000396 w_long(co->co_argcount, p);
Guido van Rossum4f72a782006-10-27 23:31:49 +0000397 w_long(co->co_kwonlyargcount, p);
Neal Norwitz7fdcb412002-06-14 01:07:39 +0000398 w_long(co->co_nlocals, p);
399 w_long(co->co_stacksize, p);
400 w_long(co->co_flags, p);
Guido van Rossumd076c731998-10-07 19:42:25 +0000401 w_object(co->co_code, p);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000402 w_object(co->co_consts, p);
403 w_object(co->co_names, p);
Guido van Rossum681d79a1995-07-18 14:51:37 +0000404 w_object(co->co_varnames, p);
Jeremy Hylton64949cb2001-01-25 20:06:59 +0000405 w_object(co->co_freevars, p);
406 w_object(co->co_cellvars, p);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000407 w_object(co->co_filename, p);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000408 w_object(co->co_name, p);
Neal Norwitz7fdcb412002-06-14 01:07:39 +0000409 w_long(co->co_firstlineno, p);
Guido van Rossumd031c891997-01-24 03:44:17 +0000410 w_object(co->co_lnotab, p);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000411 }
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000412 else if (PyObject_CheckBuffer(v)) {
Guido van Rossumd076c731998-10-07 19:42:25 +0000413 /* Write unknown buffer-style objects as a string */
414 char *s;
Jeremy Hylton9f64caa2001-11-09 22:02:48 +0000415 PyBufferProcs *pb = v->ob_type->tp_as_buffer;
Travis E. Oliphant8ae62b62007-09-23 02:00:13 +0000416 Py_buffer view;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000417 if ((*pb->bf_getbuffer)(v, &view, PyBUF_SIMPLE) != 0) {
418 w_byte(TYPE_UNKNOWN, p);
Eric Smithb1a03cf2009-04-21 11:57:38 +0000419 p->error = WFERR_UNMARSHALLABLE;
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000420 }
Guido van Rossumd076c731998-10-07 19:42:25 +0000421 w_byte(TYPE_STRING, p);
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000422 n = view.len;
423 s = view.buf;
Martin v. Löwis725507b2006-03-07 12:08:51 +0000424 if (n > INT_MAX) {
425 p->depth--;
Eric Smithb1a03cf2009-04-21 11:57:38 +0000426 p->error = WFERR_UNMARSHALLABLE;
Martin v. Löwis725507b2006-03-07 12:08:51 +0000427 return;
428 }
Guido van Rossumd076c731998-10-07 19:42:25 +0000429 w_long((long)n, p);
Martin v. Löwis725507b2006-03-07 12:08:51 +0000430 w_string(s, (int)n, p);
Travis E. Oliphantb99f7622007-08-18 11:21:56 +0000431 if (pb->bf_releasebuffer != NULL)
432 (*pb->bf_releasebuffer)(v, &view);
Guido van Rossumd076c731998-10-07 19:42:25 +0000433 }
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000434 else {
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000435 w_byte(TYPE_UNKNOWN, p);
Eric Smithb1a03cf2009-04-21 11:57:38 +0000436 p->error = WFERR_UNMARSHALLABLE;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000437 }
Guido van Rossum98626cd2000-06-28 23:24:19 +0000438 p->depth--;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000439}
440
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000441/* version currently has no effect for writing longs. */
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000442void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000443PyMarshal_WriteLongToFile(long x, FILE *fp, int version)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000444{
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000445 WFILE wf;
446 wf.fp = fp;
Eric Smithb1a03cf2009-04-21 11:57:38 +0000447 wf.error = WFERR_OK;
Fred Drake6da0b912000-06-28 18:47:56 +0000448 wf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000449 wf.strings = NULL;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000450 wf.version = version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000451 w_long(x, &wf);
452}
453
454void
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000455PyMarshal_WriteObjectToFile(PyObject *x, FILE *fp, int version)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000456{
457 WFILE wf;
458 wf.fp = fp;
Eric Smithb1a03cf2009-04-21 11:57:38 +0000459 wf.error = WFERR_OK;
Guido van Rossum98626cd2000-06-28 23:24:19 +0000460 wf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000461 wf.strings = (version > 0) ? PyDict_New() : NULL;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000462 wf.version = version;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000463 w_object(x, &wf);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +0000464 Py_XDECREF(wf.strings);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000465}
466
467typedef WFILE RFILE; /* Same struct with different invariants */
468
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000469#define rs_byte(p) (((p)->ptr < (p)->end) ? (unsigned char)*(p)->ptr++ : EOF)
Guido van Rossum8d617a61995-03-09 12:12:11 +0000470
471#define r_byte(p) ((p)->fp ? getc((p)->fp) : rs_byte(p))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000472
473static int
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000474r_string(char *s, int n, RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000475{
476 if (p->fp != NULL)
Martin v. Löwis18e16552006-02-15 17:27:45 +0000477 /* The result fits into int because it must be <=n. */
478 return (int)fread(s, 1, n, p->fp);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000479 if (p->end - p->ptr < n)
Martin v. Löwis18e16552006-02-15 17:27:45 +0000480 n = (int)(p->end - p->ptr);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000481 memcpy(s, p->ptr, n);
482 p->ptr += n;
483 return n;
484}
485
486static int
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000487r_short(RFILE *p)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000488{
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000489 register short x;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000490 x = r_byte(p);
491 x |= r_byte(p) << 8;
Tim Peterse84b7402000-09-19 08:54:13 +0000492 /* Sign-extension, in case short greater than 16 bits */
493 x |= -(x & 0x8000);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000494 return x;
495}
496
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000497static long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000498r_long(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000499{
500 register long x;
Guido van Rossum8d617a61995-03-09 12:12:11 +0000501 register FILE *fp = p->fp;
502 if (fp) {
503 x = getc(fp);
504 x |= (long)getc(fp) << 8;
505 x |= (long)getc(fp) << 16;
506 x |= (long)getc(fp) << 24;
507 }
508 else {
509 x = rs_byte(p);
510 x |= (long)rs_byte(p) << 8;
511 x |= (long)rs_byte(p) << 16;
512 x |= (long)rs_byte(p) << 24;
513 }
Guido van Rossumc1547d91996-12-10 15:39:04 +0000514#if SIZEOF_LONG > 4
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000515 /* Sign extension for 64-bit machines */
Tim Peterse84b7402000-09-19 08:54:13 +0000516 x |= -(x & 0x80000000L);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000517#endif
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000518 return x;
519}
520
Tim Peters82112372001-08-29 02:28:42 +0000521/* r_long64 deals with the TYPE_INT64 code. On a machine with
522 sizeof(long) > 4, it returns a Python int object, else a Python long
523 object. Note that w_long64 writes out TYPE_INT if 32 bits is enough,
524 so there's no inefficiency here in returning a PyLong on 32-bit boxes
525 for everything written via TYPE_INT64 (i.e., if an int is written via
526 TYPE_INT64, it *needs* more than 32 bits).
527*/
528static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000529r_long64(RFILE *p)
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000530{
Tim Peters82112372001-08-29 02:28:42 +0000531 long lo4 = r_long(p);
532 long hi4 = r_long(p);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000533#if SIZEOF_LONG > 4
Tim Peters82112372001-08-29 02:28:42 +0000534 long x = (hi4 << 32) | (lo4 & 0xFFFFFFFFL);
Christian Heimes217cfd12007-12-02 14:31:20 +0000535 return PyLong_FromLong(x);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000536#else
Tim Peters82112372001-08-29 02:28:42 +0000537 unsigned char buf[8];
538 int one = 1;
539 int is_little_endian = (int)*(char*)&one;
540 if (is_little_endian) {
541 memcpy(buf, &lo4, 4);
542 memcpy(buf+4, &hi4, 4);
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000543 }
Tim Peters82112372001-08-29 02:28:42 +0000544 else {
545 memcpy(buf, &hi4, 4);
546 memcpy(buf+4, &lo4, 4);
547 }
548 return _PyLong_FromByteArray(buf, 8, is_little_endian, 1);
Guido van Rossumc1547d91996-12-10 15:39:04 +0000549#endif
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000550}
551
Guido van Rossum79f25d91997-04-29 20:08:16 +0000552static PyObject *
Mark Dickinsonbd792642009-03-18 20:06:12 +0000553r_PyLong(RFILE *p)
554{
555 PyLongObject *ob;
556 int size, i, j, md;
557 long n;
558 digit d;
559
560 n = r_long(p);
561 if (n == 0)
562 return (PyObject *)_PyLong_New(0);
563 if (n < -INT_MAX || n > INT_MAX) {
564 PyErr_SetString(PyExc_ValueError,
565 "bad marshal data (long size out of range)");
566 return NULL;
567 }
568
569 size = 1 + (ABS(n)-1) / PyLong_MARSHAL_RATIO;
570 ob = _PyLong_New(size);
571 if (ob == NULL)
572 return NULL;
573 Py_SIZE(ob) = n > 0 ? size : -size;
574
575 for (i = 0; i < size-1; i++) {
576 d = 0;
577 for (j=0; j < PyLong_MARSHAL_RATIO; j++) {
578 md = r_short(p);
579 if (md < 0 || md > PyLong_MARSHAL_BASE)
580 goto bad_digit;
581 d += (digit)md << j*PyLong_MARSHAL_SHIFT;
582 }
583 ob->ob_digit[i] = d;
584 }
585 d = 0;
586 for (j=0; j < (ABS(n)-1)%PyLong_MARSHAL_RATIO + 1; j++) {
587 md = r_short(p);
588 if (md < 0 || md > PyLong_MARSHAL_BASE)
589 goto bad_digit;
590 d += (digit)md << j*PyLong_MARSHAL_SHIFT;
591 }
592 ob->ob_digit[size-1] = d;
593 return (PyObject *)ob;
594 bad_digit:
595 Py_DECREF(ob);
596 PyErr_SetString(PyExc_ValueError,
597 "bad marshal data (digit out of range in long)");
598 return NULL;
599}
600
601
602static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000603r_object(RFILE *p)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000604{
Armin Rigo01ab2792004-03-26 15:09:27 +0000605 /* NULL is a valid return value, it does not necessarily means that
606 an exception is set. */
Christian Heimes7b3ce6a2008-01-31 14:31:45 +0000607 PyObject *v, *v2;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000608 long i, n;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000609 int type = r_byte(p);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000610 PyObject *retval;
611
612 p->depth++;
613
614 if (p->depth > MAX_MARSHAL_STACK_DEPTH) {
615 p->depth--;
616 PyErr_SetString(PyExc_ValueError, "recursion limit exceeded");
617 return NULL;
618 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000619
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000620 switch (type) {
Tim Petersd9b9ac82001-01-28 00:27:39 +0000621
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000622 case EOF:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000623 PyErr_SetString(PyExc_EOFError,
624 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000625 retval = NULL;
626 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000627
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000628 case TYPE_NULL:
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000629 retval = NULL;
630 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000631
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000632 case TYPE_NONE:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000633 Py_INCREF(Py_None);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000634 retval = Py_None;
635 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000636
Tim Peters5ca576e2001-06-18 22:08:13 +0000637 case TYPE_STOPITER:
638 Py_INCREF(PyExc_StopIteration);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000639 retval = PyExc_StopIteration;
640 break;
Tim Peters5ca576e2001-06-18 22:08:13 +0000641
Guido van Rossume449af71996-10-11 16:25:41 +0000642 case TYPE_ELLIPSIS:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000643 Py_INCREF(Py_Ellipsis);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000644 retval = Py_Ellipsis;
645 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000646
Guido van Rossum77f6a652002-04-03 22:41:51 +0000647 case TYPE_FALSE:
648 Py_INCREF(Py_False);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000649 retval = Py_False;
650 break;
Guido van Rossum77f6a652002-04-03 22:41:51 +0000651
652 case TYPE_TRUE:
653 Py_INCREF(Py_True);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000654 retval = Py_True;
655 break;
Guido van Rossum77f6a652002-04-03 22:41:51 +0000656
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000657 case TYPE_INT:
Christian Heimes217cfd12007-12-02 14:31:20 +0000658 retval = PyLong_FromLong(r_long(p));
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000659 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000660
Guido van Rossumb0c168c1996-12-05 23:15:02 +0000661 case TYPE_INT64:
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000662 retval = r_long64(p);
663 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000664
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000665 case TYPE_LONG:
Mark Dickinsonbd792642009-03-18 20:06:12 +0000666 retval = r_PyLong(p);
667 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000668
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000669 case TYPE_FLOAT:
670 {
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000671 char buf[256];
Guido van Rossum0ae748d1997-02-14 22:58:07 +0000672 double dx;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000673 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000674 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000675 PyErr_SetString(PyExc_EOFError,
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000676 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000677 retval = NULL;
678 break;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000679 }
680 buf[n] = '\0';
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000681 retval = NULL;
682 PyFPE_START_PROTECT("atof", break)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000683 dx = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000684 PyFPE_END_PROTECT(dx)
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000685 retval = PyFloat_FromDouble(dx);
686 break;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000687 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000688
Michael W. Hudsondf888462005-06-03 14:41:55 +0000689 case TYPE_BINARY_FLOAT:
690 {
Brett Cannonc9371d42005-06-25 08:23:41 +0000691 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000692 double x;
Brett Cannonc9371d42005-06-25 08:23:41 +0000693 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000694 PyErr_SetString(PyExc_EOFError,
695 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000696 retval = NULL;
697 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000698 }
699 x = _PyFloat_Unpack8(buf, 1);
700 if (x == -1.0 && PyErr_Occurred()) {
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000701 retval = NULL;
702 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000703 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000704 retval = PyFloat_FromDouble(x);
705 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000706 }
707
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000708#ifndef WITHOUT_COMPLEX
709 case TYPE_COMPLEX:
710 {
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000711 char buf[256];
Guido van Rossum530956d1996-07-21 02:27:43 +0000712 Py_complex c;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000713 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000714 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000715 PyErr_SetString(PyExc_EOFError,
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000716 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000717 retval = NULL;
718 break;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000719 }
720 buf[n] = '\0';
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000721 retval = NULL;
722 PyFPE_START_PROTECT("atof", break;)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000723 c.real = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000724 PyFPE_END_PROTECT(c)
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000725 n = r_byte(p);
Armin Rigo01ab2792004-03-26 15:09:27 +0000726 if (n == EOF || r_string(buf, (int)n, p) != n) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000727 PyErr_SetString(PyExc_EOFError,
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000728 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000729 retval = NULL;
730 break;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000731 }
732 buf[n] = '\0';
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000733 PyFPE_START_PROTECT("atof", break)
Martin v. Löwis737ea822004-06-08 18:52:54 +0000734 c.imag = PyOS_ascii_atof(buf);
Guido van Rossum45b83911997-03-14 04:32:50 +0000735 PyFPE_END_PROTECT(c)
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000736 retval = PyComplex_FromCComplex(c);
737 break;
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000738 }
Michael W. Hudsondf888462005-06-03 14:41:55 +0000739
740 case TYPE_BINARY_COMPLEX:
741 {
Brett Cannonc9371d42005-06-25 08:23:41 +0000742 unsigned char buf[8];
Michael W. Hudsondf888462005-06-03 14:41:55 +0000743 Py_complex c;
Brett Cannonc9371d42005-06-25 08:23:41 +0000744 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000745 PyErr_SetString(PyExc_EOFError,
746 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000747 retval = NULL;
748 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000749 }
750 c.real = _PyFloat_Unpack8(buf, 1);
751 if (c.real == -1.0 && PyErr_Occurred()) {
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000752 retval = NULL;
753 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000754 }
Brett Cannonc9371d42005-06-25 08:23:41 +0000755 if (r_string((char*)buf, 8, p) != 8) {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000756 PyErr_SetString(PyExc_EOFError,
757 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000758 retval = NULL;
759 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000760 }
761 c.imag = _PyFloat_Unpack8(buf, 1);
762 if (c.imag == -1.0 && PyErr_Occurred()) {
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000763 retval = NULL;
764 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000765 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000766 retval = PyComplex_FromCComplex(c);
767 break;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000768 }
Guido van Rossum8a5c5d21996-01-12 01:09:56 +0000769#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +0000770
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000771 case TYPE_STRING:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000772 n = r_long(p);
Thomas Wouters89f507f2006-12-13 04:49:30 +0000773 if (n < 0 || n > INT_MAX) {
Nick Coghlan93095832009-03-15 05:07:56 +0000774 PyErr_SetString(PyExc_ValueError, "bad marshal data (string size out of range)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000775 retval = NULL;
776 break;
Guido van Rossuma45cb451998-06-08 20:27:29 +0000777 }
Christian Heimes72b710a2008-05-26 13:28:38 +0000778 v = PyBytes_FromStringAndSize((char *)NULL, n);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000779 if (v == NULL) {
780 retval = NULL;
781 break;
782 }
Christian Heimes72b710a2008-05-26 13:28:38 +0000783 if (r_string(PyBytes_AS_STRING(v), (int)n, p) != n) {
Michael W. Hudson6d6917b2005-06-03 15:17:16 +0000784 Py_DECREF(v);
785 PyErr_SetString(PyExc_EOFError,
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000786 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000787 retval = NULL;
788 break;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000789 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000790 retval = v;
791 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000792
Guido van Rossumc279b532000-03-10 23:03:02 +0000793 case TYPE_UNICODE:
794 {
795 char *buffer;
796
797 n = r_long(p);
Thomas Wouters89f507f2006-12-13 04:49:30 +0000798 if (n < 0 || n > INT_MAX) {
Nick Coghlan93095832009-03-15 05:07:56 +0000799 PyErr_SetString(PyExc_ValueError, "bad marshal data (unicode size out of range)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000800 retval = NULL;
801 break;
Guido van Rossumc279b532000-03-10 23:03:02 +0000802 }
Guido van Rossumb18618d2000-05-03 23:44:39 +0000803 buffer = PyMem_NEW(char, n);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000804 if (buffer == NULL) {
805 retval = PyErr_NoMemory();
806 break;
807 }
Guido van Rossumc279b532000-03-10 23:03:02 +0000808 if (r_string(buffer, (int)n, p) != n) {
Guido van Rossumb18618d2000-05-03 23:44:39 +0000809 PyMem_DEL(buffer);
Guido van Rossumc279b532000-03-10 23:03:02 +0000810 PyErr_SetString(PyExc_EOFError,
811 "EOF read where object expected");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000812 retval = NULL;
813 break;
Guido van Rossumc279b532000-03-10 23:03:02 +0000814 }
Martin v. Löwisdb12d452009-05-02 18:52:14 +0000815 v = PyUnicode_DecodeUTF8(buffer, n, "surrogates");
Guido van Rossumb18618d2000-05-03 23:44:39 +0000816 PyMem_DEL(buffer);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000817 retval = v;
818 break;
Guido van Rossumc279b532000-03-10 23:03:02 +0000819 }
Tim Petersd9b9ac82001-01-28 00:27:39 +0000820
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000821 case TYPE_TUPLE:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000822 n = r_long(p);
Thomas Wouters89f507f2006-12-13 04:49:30 +0000823 if (n < 0 || n > INT_MAX) {
Nick Coghlan93095832009-03-15 05:07:56 +0000824 PyErr_SetString(PyExc_ValueError, "bad marshal data (tuple size out of range)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000825 retval = NULL;
826 break;
Guido van Rossuma45cb451998-06-08 20:27:29 +0000827 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000828 v = PyTuple_New((int)n);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000829 if (v == NULL) {
830 retval = NULL;
831 break;
832 }
Jack Jansen9513f2c1995-10-27 13:21:28 +0000833 for (i = 0; i < n; i++) {
834 v2 = r_object(p);
835 if ( v2 == NULL ) {
Armin Rigo01ab2792004-03-26 15:09:27 +0000836 if (!PyErr_Occurred())
837 PyErr_SetString(PyExc_TypeError,
Nick Coghlan93095832009-03-15 05:07:56 +0000838 "NULL object in marshal data for tuple");
Guido van Rossum79f25d91997-04-29 20:08:16 +0000839 Py_DECREF(v);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000840 v = NULL;
841 break;
842 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000843 PyTuple_SET_ITEM(v, (int)i, v2);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000844 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000845 retval = v;
846 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000847
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000848 case TYPE_LIST:
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000849 n = r_long(p);
Thomas Wouters89f507f2006-12-13 04:49:30 +0000850 if (n < 0 || n > INT_MAX) {
Nick Coghlan93095832009-03-15 05:07:56 +0000851 PyErr_SetString(PyExc_ValueError, "bad marshal data (list size out of range)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000852 retval = NULL;
853 break;
Guido van Rossuma45cb451998-06-08 20:27:29 +0000854 }
Guido van Rossum79f25d91997-04-29 20:08:16 +0000855 v = PyList_New((int)n);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000856 if (v == NULL) {
857 retval = NULL;
858 break;
859 }
Jack Jansen9513f2c1995-10-27 13:21:28 +0000860 for (i = 0; i < n; i++) {
861 v2 = r_object(p);
862 if ( v2 == NULL ) {
Armin Rigo01ab2792004-03-26 15:09:27 +0000863 if (!PyErr_Occurred())
864 PyErr_SetString(PyExc_TypeError,
Nick Coghlan93095832009-03-15 05:07:56 +0000865 "NULL object in marshal data for list");
Guido van Rossum79f25d91997-04-29 20:08:16 +0000866 Py_DECREF(v);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000867 v = NULL;
868 break;
869 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000870 PyList_SET_ITEM(v, (int)i, v2);
Jack Jansen9513f2c1995-10-27 13:21:28 +0000871 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000872 retval = v;
873 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000874
Guido van Rossum64b45521991-06-07 13:58:22 +0000875 case TYPE_DICT:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000876 v = PyDict_New();
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000877 if (v == NULL) {
878 retval = NULL;
879 break;
880 }
Guido van Rossum64b45521991-06-07 13:58:22 +0000881 for (;;) {
Guido van Rossum79f25d91997-04-29 20:08:16 +0000882 PyObject *key, *val;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000883 key = r_object(p);
Guido van Rossum64b45521991-06-07 13:58:22 +0000884 if (key == NULL)
Armin Rigo01ab2792004-03-26 15:09:27 +0000885 break;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +0000886 val = r_object(p);
Guido van Rossumf2150601996-06-26 20:41:23 +0000887 if (val != NULL)
Guido van Rossum79f25d91997-04-29 20:08:16 +0000888 PyDict_SetItem(v, key, val);
889 Py_DECREF(key);
890 Py_XDECREF(val);
Guido van Rossum64b45521991-06-07 13:58:22 +0000891 }
Armin Rigo01ab2792004-03-26 15:09:27 +0000892 if (PyErr_Occurred()) {
893 Py_DECREF(v);
894 v = NULL;
895 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000896 retval = v;
897 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000898
Raymond Hettingera422c342005-01-11 03:03:27 +0000899 case TYPE_SET:
900 case TYPE_FROZENSET:
901 n = r_long(p);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000902 if (n < 0 || n > INT_MAX) {
Nick Coghlan93095832009-03-15 05:07:56 +0000903 PyErr_SetString(PyExc_ValueError, "bad marshal data (set size out of range)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000904 retval = NULL;
905 break;
Raymond Hettingera422c342005-01-11 03:03:27 +0000906 }
Christian Heimesfd66e512008-01-29 12:18:50 +0000907 v = (type == TYPE_SET) ? PySet_New(NULL) : PyFrozenSet_New(NULL);
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000908 if (v == NULL) {
909 retval = NULL;
910 break;
911 }
Raymond Hettingera422c342005-01-11 03:03:27 +0000912 for (i = 0; i < n; i++) {
913 v2 = r_object(p);
914 if ( v2 == NULL ) {
915 if (!PyErr_Occurred())
916 PyErr_SetString(PyExc_TypeError,
Nick Coghlan93095832009-03-15 05:07:56 +0000917 "NULL object in marshal data for set");
Raymond Hettingera422c342005-01-11 03:03:27 +0000918 Py_DECREF(v);
919 v = NULL;
920 break;
921 }
Christian Heimesfd66e512008-01-29 12:18:50 +0000922 if (PySet_Add(v, v2) == -1) {
923 Py_DECREF(v);
924 Py_DECREF(v2);
925 v = NULL;
926 break;
927 }
Christian Heimes400adb02008-02-01 08:12:03 +0000928 Py_DECREF(v2);
Raymond Hettingera422c342005-01-11 03:03:27 +0000929 }
Christian Heimesfd66e512008-01-29 12:18:50 +0000930 retval = v;
Guido van Rossumd59da4b2007-05-22 18:11:13 +0000931 break;
Raymond Hettingera422c342005-01-11 03:03:27 +0000932
Guido van Rossumdce2e3d1991-06-04 19:42:30 +0000933 case TYPE_CODE:
Guido van Rossuma8add0e2007-05-14 22:03:55 +0000934 {
Michael W. Hudsondf888462005-06-03 14:41:55 +0000935 int argcount;
Guido van Rossum4f72a782006-10-27 23:31:49 +0000936 int kwonlyargcount;
Michael W. Hudsondf888462005-06-03 14:41:55 +0000937 int nlocals;
938 int stacksize;
939 int flags;
940 PyObject *code = NULL;
941 PyObject *consts = NULL;
942 PyObject *names = NULL;
943 PyObject *varnames = NULL;
944 PyObject *freevars = NULL;
945 PyObject *cellvars = NULL;
946 PyObject *filename = NULL;
947 PyObject *name = NULL;
948 int firstlineno;
949 PyObject *lnotab = NULL;
950
951 v = NULL;
Tim Petersd9b9ac82001-01-28 00:27:39 +0000952
Guido van Rossuma8add0e2007-05-14 22:03:55 +0000953 /* XXX ignore long->int overflows for now */
Thomas Wouters89f507f2006-12-13 04:49:30 +0000954 argcount = (int)r_long(p);
955 kwonlyargcount = (int)r_long(p);
956 nlocals = (int)r_long(p);
957 stacksize = (int)r_long(p);
958 flags = (int)r_long(p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000959 code = r_object(p);
960 if (code == NULL)
961 goto code_error;
962 consts = r_object(p);
963 if (consts == NULL)
964 goto code_error;
965 names = r_object(p);
966 if (names == NULL)
967 goto code_error;
968 varnames = r_object(p);
969 if (varnames == NULL)
970 goto code_error;
971 freevars = r_object(p);
972 if (freevars == NULL)
973 goto code_error;
974 cellvars = r_object(p);
975 if (cellvars == NULL)
976 goto code_error;
977 filename = r_object(p);
978 if (filename == NULL)
979 goto code_error;
980 name = r_object(p);
981 if (name == NULL)
982 goto code_error;
Thomas Wouters89f507f2006-12-13 04:49:30 +0000983 firstlineno = (int)r_long(p);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000984 lnotab = r_object(p);
985 if (lnotab == NULL)
986 goto code_error;
987
988 v = (PyObject *) PyCode_New(
Guido van Rossum4f72a782006-10-27 23:31:49 +0000989 argcount, kwonlyargcount,
990 nlocals, stacksize, flags,
Guido van Rossum681d79a1995-07-18 14:51:37 +0000991 code, consts, names, varnames,
Tim Petersd9b9ac82001-01-28 00:27:39 +0000992 freevars, cellvars, filename, name,
993 firstlineno, lnotab);
Michael W. Hudsondf888462005-06-03 14:41:55 +0000994
995 code_error:
Guido van Rossum79f25d91997-04-29 20:08:16 +0000996 Py_XDECREF(code);
997 Py_XDECREF(consts);
998 Py_XDECREF(names);
999 Py_XDECREF(varnames);
Jeremy Hylton64949cb2001-01-25 20:06:59 +00001000 Py_XDECREF(freevars);
1001 Py_XDECREF(cellvars);
Guido van Rossum79f25d91997-04-29 20:08:16 +00001002 Py_XDECREF(filename);
1003 Py_XDECREF(name);
Guido van Rossum6fc06e71997-07-26 23:30:18 +00001004 Py_XDECREF(lnotab);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001005 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +00001006 retval = v;
1007 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001008
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001009 default:
Guido van Rossumf2150601996-06-26 20:41:23 +00001010 /* Bogus data got written, which isn't ideal.
1011 This will let you keep working and recover. */
Nick Coghlan93095832009-03-15 05:07:56 +00001012 PyErr_SetString(PyExc_ValueError, "bad marshal data (unknown type code)");
Guido van Rossumd59da4b2007-05-22 18:11:13 +00001013 retval = NULL;
1014 break;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001015
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001016 }
Guido van Rossumd59da4b2007-05-22 18:11:13 +00001017 p->depth--;
1018 return retval;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001019}
1020
Neal Norwitzd85c4522004-06-13 20:31:49 +00001021static PyObject *
Armin Rigo01ab2792004-03-26 15:09:27 +00001022read_object(RFILE *p)
1023{
1024 PyObject *v;
1025 if (PyErr_Occurred()) {
1026 fprintf(stderr, "XXX readobject called with exception set\n");
1027 return NULL;
1028 }
1029 v = r_object(p);
1030 if (v == NULL && !PyErr_Occurred())
Nick Coghlan93095832009-03-15 05:07:56 +00001031 PyErr_SetString(PyExc_TypeError, "NULL object in marshal data for object");
Armin Rigo01ab2792004-03-26 15:09:27 +00001032 return v;
1033}
1034
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001035int
1036PyMarshal_ReadShortFromFile(FILE *fp)
1037{
1038 RFILE rf;
Thomas Wouters7f401ef2006-03-01 22:30:47 +00001039 assert(fp);
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001040 rf.fp = fp;
Thomas Wouters7464b432006-03-01 22:34:09 +00001041 rf.strings = NULL;
1042 rf.end = rf.ptr = NULL;
Guido van Rossumb8cf3e62001-10-19 01:46:21 +00001043 return r_short(&rf);
1044}
1045
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001046long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001047PyMarshal_ReadLongFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001048{
1049 RFILE rf;
1050 rf.fp = fp;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001051 rf.strings = NULL;
Guido van Rossum8ce8a782007-11-01 19:42:39 +00001052 rf.ptr = rf.end = NULL;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001053 return r_long(&rf);
1054}
1055
Tim Peters691e0e92001-01-18 04:39:16 +00001056#ifdef HAVE_FSTAT
1057/* Return size of file in bytes; < 0 if unknown. */
1058static off_t
1059getfilesize(FILE *fp)
1060{
1061 struct stat st;
1062 if (fstat(fileno(fp), &st) != 0)
1063 return -1;
1064 else
1065 return st.st_size;
1066}
1067#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +00001068
Tim Peters691e0e92001-01-18 04:39:16 +00001069/* If we can get the size of the file up-front, and it's reasonably small,
1070 * read it in one gulp and delegate to ...FromString() instead. Much quicker
1071 * than reading a byte at a time from file; speeds .pyc imports.
Tim Petersd9b9ac82001-01-28 00:27:39 +00001072 * CAUTION: since this may read the entire remainder of the file, don't
1073 * call it unless you know you're done with the file.
Tim Peters691e0e92001-01-18 04:39:16 +00001074 */
Guido van Rossum79f25d91997-04-29 20:08:16 +00001075PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +00001076PyMarshal_ReadLastObjectFromFile(FILE *fp)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001077{
Tim Peters691e0e92001-01-18 04:39:16 +00001078/* 75% of 2.1's .pyc files can exploit SMALL_FILE_LIMIT.
1079 * REASONABLE_FILE_LIMIT is by defn something big enough for Tkinter.pyc.
1080 */
1081#define SMALL_FILE_LIMIT (1L << 14)
1082#define REASONABLE_FILE_LIMIT (1L << 18)
Tim Peters691e0e92001-01-18 04:39:16 +00001083#ifdef HAVE_FSTAT
1084 off_t filesize;
1085#endif
Tim Peters691e0e92001-01-18 04:39:16 +00001086#ifdef HAVE_FSTAT
1087 filesize = getfilesize(fp);
1088 if (filesize > 0) {
1089 char buf[SMALL_FILE_LIMIT];
1090 char* pBuf = NULL;
1091 if (filesize <= SMALL_FILE_LIMIT)
1092 pBuf = buf;
1093 else if (filesize <= REASONABLE_FILE_LIMIT)
1094 pBuf = (char *)PyMem_MALLOC(filesize);
1095 if (pBuf != NULL) {
1096 PyObject* v;
Martin v. Löwis18e16552006-02-15 17:27:45 +00001097 size_t n;
1098 /* filesize must fit into an int, because it
1099 is smaller than REASONABLE_FILE_LIMIT */
1100 n = fread(pBuf, 1, (int)filesize, fp);
Tim Peters691e0e92001-01-18 04:39:16 +00001101 v = PyMarshal_ReadObjectFromString(pBuf, n);
1102 if (pBuf != buf)
1103 PyMem_FREE(pBuf);
1104 return v;
1105 }
Tim Petersd9b9ac82001-01-28 00:27:39 +00001106
Tim Peters691e0e92001-01-18 04:39:16 +00001107 }
1108#endif
Tim Petersd9b9ac82001-01-28 00:27:39 +00001109 /* We don't have fstat, or we do but the file is larger than
1110 * REASONABLE_FILE_LIMIT or malloc failed -- read a byte at a time.
1111 */
1112 return PyMarshal_ReadObjectFromFile(fp);
1113
Tim Peters691e0e92001-01-18 04:39:16 +00001114#undef SMALL_FILE_LIMIT
1115#undef REASONABLE_FILE_LIMIT
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001116}
1117
Guido van Rossum79f25d91997-04-29 20:08:16 +00001118PyObject *
Tim Petersd9b9ac82001-01-28 00:27:39 +00001119PyMarshal_ReadObjectFromFile(FILE *fp)
1120{
1121 RFILE rf;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001122 PyObject *result;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001123 rf.fp = fp;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001124 rf.strings = PyList_New(0);
Guido van Rossumd59da4b2007-05-22 18:11:13 +00001125 rf.depth = 0;
Guido van Rossum8ce8a782007-11-01 19:42:39 +00001126 rf.ptr = rf.end = NULL;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001127 result = r_object(&rf);
1128 Py_DECREF(rf.strings);
1129 return result;
Tim Petersd9b9ac82001-01-28 00:27:39 +00001130}
1131
1132PyObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +00001133PyMarshal_ReadObjectFromString(char *str, Py_ssize_t len)
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001134{
1135 RFILE rf;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001136 PyObject *result;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001137 rf.fp = NULL;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001138 rf.ptr = str;
1139 rf.end = str + len;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001140 rf.strings = PyList_New(0);
Guido van Rossumd59da4b2007-05-22 18:11:13 +00001141 rf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001142 result = r_object(&rf);
1143 Py_DECREF(rf.strings);
1144 return result;
Guido van Rossumf56e3db1993-04-01 20:59:32 +00001145}
1146
Guido van Rossum79f25d91997-04-29 20:08:16 +00001147PyObject *
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001148PyMarshal_WriteObjectToString(PyObject *x, int version)
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001149{
1150 WFILE wf;
Guido van Rossume6d39042007-05-09 00:01:30 +00001151 PyObject *res = NULL;
1152
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001153 wf.fp = NULL;
Christian Heimes72b710a2008-05-26 13:28:38 +00001154 wf.str = PyBytes_FromStringAndSize((char *)NULL, 50);
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001155 if (wf.str == NULL)
1156 return NULL;
Christian Heimes72b710a2008-05-26 13:28:38 +00001157 wf.ptr = PyBytes_AS_STRING((PyBytesObject *)wf.str);
1158 wf.end = wf.ptr + PyBytes_Size(wf.str);
Eric Smithb1a03cf2009-04-21 11:57:38 +00001159 wf.error = WFERR_OK;
Fred Drake6da0b912000-06-28 18:47:56 +00001160 wf.depth = 0;
Michael W. Hudsondf888462005-06-03 14:41:55 +00001161 wf.version = version;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001162 wf.strings = (version > 0) ? PyDict_New() : NULL;
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001163 w_object(x, &wf);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001164 Py_XDECREF(wf.strings);
Thomas Wouters89f507f2006-12-13 04:49:30 +00001165 if (wf.str != NULL) {
Christian Heimes72b710a2008-05-26 13:28:38 +00001166 char *base = PyBytes_AS_STRING((PyBytesObject *)wf.str);
Thomas Wouters89f507f2006-12-13 04:49:30 +00001167 if (wf.ptr - base > PY_SSIZE_T_MAX) {
1168 Py_DECREF(wf.str);
1169 PyErr_SetString(PyExc_OverflowError,
Guido van Rossumf15a29f2007-05-04 00:41:39 +00001170 "too much marshal data for a string");
Thomas Wouters89f507f2006-12-13 04:49:30 +00001171 return NULL;
1172 }
Christian Heimes72b710a2008-05-26 13:28:38 +00001173 if (_PyBytes_Resize(&wf.str, (Py_ssize_t)(wf.ptr - base)) < 0)
Guido van Rossume6d39042007-05-09 00:01:30 +00001174 return NULL;
Thomas Wouters89f507f2006-12-13 04:49:30 +00001175 }
Eric Smithb1a03cf2009-04-21 11:57:38 +00001176 if (wf.error != WFERR_OK) {
Guido van Rossum79f25d91997-04-29 20:08:16 +00001177 Py_XDECREF(wf.str);
Eric Smithb1a03cf2009-04-21 11:57:38 +00001178 if (wf.error == WFERR_NOMEMORY)
1179 PyErr_NoMemory();
1180 else
1181 PyErr_SetString(PyExc_ValueError,
1182 (wf.error==WFERR_UNMARSHALLABLE)?"unmarshallable object"
1183 :"object too deeply nested to marshal");
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001184 return NULL;
1185 }
Guido van Rossume6d39042007-05-09 00:01:30 +00001186 if (wf.str != NULL) {
1187 /* XXX Quick hack -- need to do this differently */
Gregory P. Smith0a608fd2008-09-06 21:34:51 +00001188 res = PyBytes_FromObject(wf.str);
Guido van Rossume6d39042007-05-09 00:01:30 +00001189 Py_DECREF(wf.str);
1190 }
1191 return res;
Guido van Rossum3f3bb3d1996-08-19 22:07:17 +00001192}
1193
Guido van Rossum64b45521991-06-07 13:58:22 +00001194/* And an interface for Python programs... */
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001195
Guido van Rossum79f25d91997-04-29 20:08:16 +00001196static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001197marshal_dump(PyObject *self, PyObject *args)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001198{
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001199 /* XXX Quick hack -- need to do this differently */
Guido van Rossum79f25d91997-04-29 20:08:16 +00001200 PyObject *x;
1201 PyObject *f;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001202 int version = Py_MARSHAL_VERSION;
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001203 PyObject *s;
1204 PyObject *res;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001205 if (!PyArg_ParseTuple(args, "OO|i:dump", &x, &f, &version))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001206 return NULL;
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001207 s = PyMarshal_WriteObjectToString(x, version);
1208 if (s == NULL)
Guido van Rossumf2150601996-06-26 20:41:23 +00001209 return NULL;
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001210 res = PyObject_CallMethod(f, "write", "O", s);
1211 Py_DECREF(s);
1212 return res;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001213}
1214
Guido van Rossum79f25d91997-04-29 20:08:16 +00001215static PyObject *
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001216marshal_load(PyObject *self, PyObject *f)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001217{
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001218 /* XXX Quick hack -- need to do this differently */
1219 PyObject *data, *result;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001220 RFILE rf;
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001221 data = PyObject_CallMethod(f, "read", "");
1222 if (data == NULL)
1223 return NULL;
1224 rf.fp = NULL;
Christian Heimes72b710a2008-05-26 13:28:38 +00001225 if (PyBytes_Check(data)) {
1226 rf.ptr = PyBytes_AS_STRING(data);
1227 rf.end = rf.ptr + PyBytes_GET_SIZE(data);
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001228 }
Gregory P. Smith0a608fd2008-09-06 21:34:51 +00001229 else if (PyBytes_Check(data)) {
1230 rf.ptr = PyBytes_AS_STRING(data);
1231 rf.end = rf.ptr + PyBytes_GET_SIZE(data);
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001232 }
1233 else {
1234 PyErr_Format(PyExc_TypeError,
1235 "f.read() returned neither string "
1236 "nor bytes but %.100s",
1237 data->ob_type->tp_name);
1238 Py_DECREF(data);
1239 return NULL;
1240 }
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001241 rf.strings = PyList_New(0);
Guido van Rossum7a265342007-07-30 00:04:35 +00001242 rf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001243 result = read_object(&rf);
1244 Py_DECREF(rf.strings);
Guido van Rossumda5b8f22007-06-12 23:30:11 +00001245 Py_DECREF(data);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001246 return result;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001247}
1248
Guido van Rossum79f25d91997-04-29 20:08:16 +00001249static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001250marshal_dumps(PyObject *self, PyObject *args)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001251{
Guido van Rossum79f25d91997-04-29 20:08:16 +00001252 PyObject *x;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001253 int version = Py_MARSHAL_VERSION;
Armin Rigo2ccea172004-12-20 12:25:57 +00001254 if (!PyArg_ParseTuple(args, "O|i:dumps", &x, &version))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001255 return NULL;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001256 return PyMarshal_WriteObjectToString(x, version);
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001257}
1258
Guido van Rossum79f25d91997-04-29 20:08:16 +00001259static PyObject *
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001260marshal_loads(PyObject *self, PyObject *args)
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001261{
1262 RFILE rf;
Martin v. Löwis423be952008-08-13 15:53:07 +00001263 Py_buffer p;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001264 char *s;
Thomas Wouters695934a2006-03-01 23:49:13 +00001265 Py_ssize_t n;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001266 PyObject* result;
Martin v. Löwis423be952008-08-13 15:53:07 +00001267 if (!PyArg_ParseTuple(args, "s*:loads", &p))
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001268 return NULL;
Martin v. Löwis423be952008-08-13 15:53:07 +00001269 s = p.buf;
1270 n = p.len;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001271 rf.fp = NULL;
Guido van Rossum0b0db8e1993-01-21 16:07:51 +00001272 rf.ptr = s;
1273 rf.end = s + n;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001274 rf.strings = PyList_New(0);
Guido van Rossumd59da4b2007-05-22 18:11:13 +00001275 rf.depth = 0;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001276 result = read_object(&rf);
1277 Py_DECREF(rf.strings);
Martin v. Löwis423be952008-08-13 15:53:07 +00001278 PyBuffer_Release(&p);
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001279 return result;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001280}
1281
Guido van Rossum79f25d91997-04-29 20:08:16 +00001282static PyMethodDef marshal_methods[] = {
Neal Norwitz031829d2002-03-31 14:37:44 +00001283 {"dump", marshal_dump, METH_VARARGS},
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00001284 {"load", marshal_load, METH_O},
Neal Norwitz031829d2002-03-31 14:37:44 +00001285 {"dumps", marshal_dumps, METH_VARARGS},
1286 {"loads", marshal_loads, METH_VARARGS},
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001287 {NULL, NULL} /* sentinel */
1288};
1289
Brett Cannon429ef652008-06-27 00:35:35 +00001290static struct PyModuleDef marshalmodule = {
Martin v. Löwis1a214512008-06-11 05:26:20 +00001291 PyModuleDef_HEAD_INIT,
1292 "marshal",
1293 NULL,
1294 0,
1295 marshal_methods,
1296 NULL,
1297 NULL,
1298 NULL,
1299 NULL
1300};
1301
1302
1303
Jason Tishler6bc06ec2003-09-04 11:59:50 +00001304PyMODINIT_FUNC
Thomas Woutersf70ef4f2000-07-22 18:47:25 +00001305PyMarshal_Init(void)
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001306{
Brett Cannon429ef652008-06-27 00:35:35 +00001307 PyObject *mod = PyModule_Create(&marshalmodule);
Neal Norwitz1ac754f2006-01-19 06:09:39 +00001308 if (mod == NULL)
Martin v. Löwis1a214512008-06-11 05:26:20 +00001309 return NULL;
Martin v. Löwisef82d2f2004-06-27 16:51:46 +00001310 PyModule_AddIntConstant(mod, "version", Py_MARSHAL_VERSION);
Martin v. Löwis1a214512008-06-11 05:26:20 +00001311 return mod;
Guido van Rossumdce2e3d1991-06-04 19:42:30 +00001312}