Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 1 | /*********************************************************** |
Guido van Rossum | 6d023c9 | 1995-01-04 19:12:13 +0000 | [diff] [blame] | 2 | Copyright 1991-1995 by Stichting Mathematisch Centrum, Amsterdam, |
| 3 | The Netherlands. |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 4 | |
| 5 | All Rights Reserved |
| 6 | |
Guido van Rossum | d266eb4 | 1996-10-25 14:44:06 +0000 | [diff] [blame] | 7 | Permission to use, copy, modify, and distribute this software and its |
| 8 | documentation for any purpose and without fee is hereby granted, |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 9 | provided that the above copyright notice appear in all copies and that |
Guido van Rossum | d266eb4 | 1996-10-25 14:44:06 +0000 | [diff] [blame] | 10 | both that copyright notice and this permission notice appear in |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 11 | supporting documentation, and that the names of Stichting Mathematisch |
Guido van Rossum | d266eb4 | 1996-10-25 14:44:06 +0000 | [diff] [blame] | 12 | Centrum or CWI or Corporation for National Research Initiatives or |
| 13 | CNRI not be used in advertising or publicity pertaining to |
| 14 | distribution of the software without specific, written prior |
| 15 | permission. |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 16 | |
Guido van Rossum | d266eb4 | 1996-10-25 14:44:06 +0000 | [diff] [blame] | 17 | While CWI is the initial source for this software, a modified version |
| 18 | is made available by the Corporation for National Research Initiatives |
| 19 | (CNRI) at the Internet address ftp://ftp.python.org. |
| 20 | |
| 21 | STICHTING MATHEMATISCH CENTRUM AND CNRI DISCLAIM ALL WARRANTIES WITH |
| 22 | REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF |
| 23 | MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL STICHTING MATHEMATISCH |
| 24 | CENTRUM OR CNRI BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL |
| 25 | DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR |
| 26 | PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER |
| 27 | TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR |
| 28 | PERFORMANCE OF THIS SOFTWARE. |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 29 | |
| 30 | ******************************************************************/ |
| 31 | |
| 32 | /* Write Python objects to files and read them back. |
| 33 | This is intended for writing and reading compiled Python code only; |
| 34 | a true persistent storage facility would be much harder, since |
| 35 | it would have to take circular links and sharing into account. */ |
| 36 | |
| 37 | #include "allobjects.h" |
Guido van Rossum | 2807d19 | 1992-03-27 17:23:17 +0000 | [diff] [blame] | 38 | #include "modsupport.h" |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 39 | #include "longintrepr.h" |
| 40 | #include "compile.h" |
| 41 | #include "marshal.h" |
| 42 | |
| 43 | #include <errno.h> |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 44 | |
| 45 | #define TYPE_NULL '0' |
| 46 | #define TYPE_NONE 'N' |
Guido van Rossum | e449af7 | 1996-10-11 16:25:41 +0000 | [diff] [blame] | 47 | #define TYPE_ELLIPSIS '.' |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 48 | #define TYPE_INT 'i' |
| 49 | #define TYPE_FLOAT 'f' |
Guido van Rossum | 8a5c5d2 | 1996-01-12 01:09:56 +0000 | [diff] [blame] | 50 | #define TYPE_COMPLEX 'x' |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 51 | #define TYPE_LONG 'l' |
| 52 | #define TYPE_STRING 's' |
| 53 | #define TYPE_TUPLE '(' |
| 54 | #define TYPE_LIST '[' |
| 55 | #define TYPE_DICT '{' |
Guido van Rossum | 681d79a | 1995-07-18 14:51:37 +0000 | [diff] [blame] | 56 | #define TYPE_CODE 'c' |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 57 | #define TYPE_UNKNOWN '?' |
| 58 | |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 59 | typedef struct { |
| 60 | FILE *fp; |
Guido van Rossum | f215060 | 1996-06-26 20:41:23 +0000 | [diff] [blame] | 61 | int error; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 62 | /* If fp == NULL, the following are valid: */ |
| 63 | object *str; |
| 64 | char *ptr; |
| 65 | char *end; |
| 66 | } WFILE; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 67 | |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 68 | #define w_byte(c, p) if (((p)->fp)) putc((c), (p)->fp); \ |
| 69 | else if ((p)->ptr != (p)->end) *(p)->ptr++ = (c); \ |
| 70 | else w_more(c, p) |
| 71 | |
| 72 | static void |
| 73 | w_more(c, p) |
| 74 | char c; |
| 75 | WFILE *p; |
| 76 | { |
| 77 | int size, newsize; |
| 78 | if (p->str == NULL) |
| 79 | return; /* An error already occurred */ |
| 80 | size = getstringsize(p->str); |
| 81 | newsize = size + 1024; |
| 82 | if (resizestring(&p->str, newsize) != 0) { |
| 83 | p->ptr = p->end = NULL; |
| 84 | } |
| 85 | else { |
| 86 | p->ptr = GETSTRINGVALUE((stringobject *)p->str) + size; |
| 87 | p->end = GETSTRINGVALUE((stringobject *)p->str) + newsize; |
| 88 | *p->ptr++ = c; |
| 89 | } |
| 90 | } |
| 91 | |
| 92 | static void |
| 93 | w_string(s, n, p) |
| 94 | char *s; |
| 95 | int n; |
| 96 | WFILE *p; |
| 97 | { |
| 98 | if (p->fp != NULL) { |
| 99 | fwrite(s, 1, n, p->fp); |
| 100 | } |
| 101 | else { |
| 102 | while (--n >= 0) { |
| 103 | w_byte(*s, p); |
| 104 | s++; |
| 105 | } |
| 106 | } |
| 107 | } |
| 108 | |
| 109 | static void |
| 110 | w_short(x, p) |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 111 | int x; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 112 | WFILE *p; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 113 | { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 114 | w_byte( x & 0xff, p); |
| 115 | w_byte((x>> 8) & 0xff, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 116 | } |
| 117 | |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 118 | static void |
| 119 | w_long(x, p) |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 120 | long x; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 121 | WFILE *p; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 122 | { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 123 | w_byte((int)( x & 0xff), p); |
| 124 | w_byte((int)((x>> 8) & 0xff), p); |
| 125 | w_byte((int)((x>>16) & 0xff), p); |
| 126 | w_byte((int)((x>>24) & 0xff), p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 127 | } |
| 128 | |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 129 | static void |
| 130 | w_object(v, p) |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 131 | object *v; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 132 | WFILE *p; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 133 | { |
Guido van Rossum | 3a205f7 | 1995-02-17 15:10:07 +0000 | [diff] [blame] | 134 | int i, n; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 135 | |
| 136 | if (v == NULL) |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 137 | w_byte(TYPE_NULL, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 138 | else if (v == None) |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 139 | w_byte(TYPE_NONE, p); |
Guido van Rossum | e449af7 | 1996-10-11 16:25:41 +0000 | [diff] [blame] | 140 | else if (v == Py_Ellipsis) |
| 141 | w_byte(TYPE_ELLIPSIS, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 142 | else if (is_intobject(v)) { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 143 | w_byte(TYPE_INT, p); |
| 144 | w_long(getintvalue(v), p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 145 | } |
| 146 | else if (is_longobject(v)) { |
| 147 | longobject *ob = (longobject *)v; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 148 | w_byte(TYPE_LONG, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 149 | n = ob->ob_size; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 150 | w_long((long)n, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 151 | if (n < 0) |
| 152 | n = -n; |
| 153 | for (i = 0; i < n; i++) |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 154 | w_short(ob->ob_digit[i], p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 155 | } |
| 156 | else if (is_floatobject(v)) { |
| 157 | extern void float_buf_repr PROTO((char *, floatobject *)); |
| 158 | char buf[256]; /* Plenty to format any double */ |
| 159 | float_buf_repr(buf, (floatobject *)v); |
| 160 | n = strlen(buf); |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 161 | w_byte(TYPE_FLOAT, p); |
Guido van Rossum | 3a205f7 | 1995-02-17 15:10:07 +0000 | [diff] [blame] | 162 | w_byte(n, p); |
| 163 | w_string(buf, n, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 164 | } |
Guido van Rossum | 8a5c5d2 | 1996-01-12 01:09:56 +0000 | [diff] [blame] | 165 | #ifndef WITHOUT_COMPLEX |
| 166 | else if (is_complexobject(v)) { |
| 167 | extern void float_buf_repr PROTO((char *, floatobject *)); |
| 168 | char buf[256]; /* Plenty to format any double */ |
| 169 | floatobject *temp; |
| 170 | w_byte(TYPE_COMPLEX, p); |
| 171 | temp = (floatobject*)newfloatobject(PyComplex_RealAsDouble(v)); |
| 172 | float_buf_repr(buf, temp); |
| 173 | DECREF(temp); |
| 174 | n = strlen(buf); |
| 175 | w_byte(n, p); |
| 176 | w_string(buf, n, p); |
| 177 | temp = (floatobject*)newfloatobject(PyComplex_ImagAsDouble(v)); |
| 178 | float_buf_repr(buf, temp); |
| 179 | DECREF(temp); |
| 180 | n = strlen(buf); |
| 181 | w_byte(n, p); |
| 182 | w_string(buf, n, p); |
| 183 | } |
| 184 | #endif |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 185 | else if (is_stringobject(v)) { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 186 | w_byte(TYPE_STRING, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 187 | n = getstringsize(v); |
Guido van Rossum | 3a205f7 | 1995-02-17 15:10:07 +0000 | [diff] [blame] | 188 | w_long((long)n, p); |
| 189 | w_string(getstringvalue(v), n, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 190 | } |
| 191 | else if (is_tupleobject(v)) { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 192 | w_byte(TYPE_TUPLE, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 193 | n = gettuplesize(v); |
Guido van Rossum | 3a205f7 | 1995-02-17 15:10:07 +0000 | [diff] [blame] | 194 | w_long((long)n, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 195 | for (i = 0; i < n; i++) { |
Guido van Rossum | 8d617a6 | 1995-03-09 12:12:11 +0000 | [diff] [blame] | 196 | w_object(GETTUPLEITEM(v, i), p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 197 | } |
| 198 | } |
| 199 | else if (is_listobject(v)) { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 200 | w_byte(TYPE_LIST, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 201 | n = getlistsize(v); |
Guido van Rossum | 3a205f7 | 1995-02-17 15:10:07 +0000 | [diff] [blame] | 202 | w_long((long)n, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 203 | for (i = 0; i < n; i++) { |
Guido van Rossum | 3a205f7 | 1995-02-17 15:10:07 +0000 | [diff] [blame] | 204 | w_object(getlistitem(v, i), p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 205 | } |
| 206 | } |
Guido van Rossum | 64b4552 | 1991-06-07 13:58:22 +0000 | [diff] [blame] | 207 | else if (is_dictobject(v)) { |
Guido van Rossum | 2583165 | 1993-05-19 14:50:45 +0000 | [diff] [blame] | 208 | int pos; |
| 209 | object *key, *value; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 210 | w_byte(TYPE_DICT, p); |
Guido van Rossum | 64b4552 | 1991-06-07 13:58:22 +0000 | [diff] [blame] | 211 | /* This one is NULL object terminated! */ |
Guido van Rossum | 2583165 | 1993-05-19 14:50:45 +0000 | [diff] [blame] | 212 | pos = 0; |
| 213 | while (mappinggetnext(v, &pos, &key, &value)) { |
| 214 | w_object(key, p); |
| 215 | w_object(value, p); |
Guido van Rossum | 64b4552 | 1991-06-07 13:58:22 +0000 | [diff] [blame] | 216 | } |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 217 | w_object((object *)NULL, p); |
Guido van Rossum | 64b4552 | 1991-06-07 13:58:22 +0000 | [diff] [blame] | 218 | } |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 219 | else if (is_codeobject(v)) { |
| 220 | codeobject *co = (codeobject *)v; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 221 | w_byte(TYPE_CODE, p); |
Guido van Rossum | 681d79a | 1995-07-18 14:51:37 +0000 | [diff] [blame] | 222 | w_short(co->co_argcount, p); |
| 223 | w_short(co->co_nlocals, p); |
| 224 | w_short(co->co_flags, p); |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 225 | w_object((object *)co->co_code, p); |
| 226 | w_object(co->co_consts, p); |
| 227 | w_object(co->co_names, p); |
Guido van Rossum | 681d79a | 1995-07-18 14:51:37 +0000 | [diff] [blame] | 228 | w_object(co->co_varnames, p); |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 229 | w_object(co->co_filename, p); |
Guido van Rossum | 9bfef44 | 1993-03-29 10:43:31 +0000 | [diff] [blame] | 230 | w_object(co->co_name, p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 231 | } |
| 232 | else { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 233 | w_byte(TYPE_UNKNOWN, p); |
Guido van Rossum | f215060 | 1996-06-26 20:41:23 +0000 | [diff] [blame] | 234 | p->error = 1; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 235 | } |
| 236 | } |
| 237 | |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 238 | void |
| 239 | wr_long(x, fp) |
| 240 | long x; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 241 | FILE *fp; |
| 242 | { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 243 | WFILE wf; |
| 244 | wf.fp = fp; |
Guido van Rossum | f215060 | 1996-06-26 20:41:23 +0000 | [diff] [blame] | 245 | wf.error = 0; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 246 | w_long(x, &wf); |
| 247 | } |
| 248 | |
| 249 | void |
| 250 | wr_object(x, fp) |
| 251 | object *x; |
| 252 | FILE *fp; |
| 253 | { |
| 254 | WFILE wf; |
| 255 | wf.fp = fp; |
Guido van Rossum | f215060 | 1996-06-26 20:41:23 +0000 | [diff] [blame] | 256 | wf.error = 0; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 257 | w_object(x, &wf); |
| 258 | } |
| 259 | |
| 260 | typedef WFILE RFILE; /* Same struct with different invariants */ |
| 261 | |
Guido van Rossum | 8d617a6 | 1995-03-09 12:12:11 +0000 | [diff] [blame] | 262 | #define rs_byte(p) (((p)->ptr != (p)->end) ? (unsigned char)*(p)->ptr++ : EOF) |
| 263 | |
| 264 | #define r_byte(p) ((p)->fp ? getc((p)->fp) : rs_byte(p)) |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 265 | |
| 266 | static int |
| 267 | r_string(s, n, p) |
| 268 | char *s; |
| 269 | int n; |
| 270 | RFILE *p; |
| 271 | { |
| 272 | if (p->fp != NULL) |
| 273 | return fread(s, 1, n, p->fp); |
| 274 | if (p->end - p->ptr < n) |
| 275 | n = p->end - p->ptr; |
| 276 | memcpy(s, p->ptr, n); |
| 277 | p->ptr += n; |
| 278 | return n; |
| 279 | } |
| 280 | |
| 281 | static int |
| 282 | r_short(p) |
| 283 | RFILE *p; |
| 284 | { |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 285 | register short x; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 286 | x = r_byte(p); |
| 287 | x |= r_byte(p) << 8; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 288 | /* XXX If your short is > 16 bits, add sign-extension here!!! */ |
| 289 | return x; |
| 290 | } |
| 291 | |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 292 | static long |
| 293 | r_long(p) |
| 294 | RFILE *p; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 295 | { |
| 296 | register long x; |
Guido van Rossum | 8d617a6 | 1995-03-09 12:12:11 +0000 | [diff] [blame] | 297 | register FILE *fp = p->fp; |
| 298 | if (fp) { |
| 299 | x = getc(fp); |
| 300 | x |= (long)getc(fp) << 8; |
| 301 | x |= (long)getc(fp) << 16; |
| 302 | x |= (long)getc(fp) << 24; |
| 303 | } |
| 304 | else { |
| 305 | x = rs_byte(p); |
| 306 | x |= (long)rs_byte(p) << 8; |
| 307 | x |= (long)rs_byte(p) << 16; |
| 308 | x |= (long)rs_byte(p) << 24; |
| 309 | } |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 310 | /* XXX If your long is > 32 bits, add sign-extension here!!! */ |
| 311 | return x; |
| 312 | } |
| 313 | |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 314 | static object * |
| 315 | r_object(p) |
| 316 | RFILE *p; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 317 | { |
Jack Jansen | 9513f2c | 1995-10-27 13:21:28 +0000 | [diff] [blame] | 318 | object *v, *v2; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 319 | long i, n; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 320 | int type = r_byte(p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 321 | |
| 322 | switch (type) { |
| 323 | |
| 324 | case EOF: |
Guido van Rossum | 87e7ea7 | 1991-12-10 14:00:03 +0000 | [diff] [blame] | 325 | err_setstr(EOFError, "EOF read where object expected"); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 326 | return NULL; |
| 327 | |
| 328 | case TYPE_NULL: |
| 329 | return NULL; |
| 330 | |
| 331 | case TYPE_NONE: |
| 332 | INCREF(None); |
| 333 | return None; |
| 334 | |
Guido van Rossum | e449af7 | 1996-10-11 16:25:41 +0000 | [diff] [blame] | 335 | case TYPE_ELLIPSIS: |
| 336 | INCREF(Py_Ellipsis); |
| 337 | return Py_Ellipsis; |
Guido van Rossum | 8861b74 | 1996-07-30 16:49:37 +0000 | [diff] [blame] | 338 | |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 339 | case TYPE_INT: |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 340 | return newintobject(r_long(p)); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 341 | |
| 342 | case TYPE_LONG: |
| 343 | { |
| 344 | int size; |
| 345 | longobject *ob; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 346 | n = r_long(p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 347 | size = n<0 ? -n : n; |
| 348 | ob = alloclongobject(size); |
| 349 | if (ob == NULL) |
| 350 | return NULL; |
| 351 | ob->ob_size = n; |
| 352 | for (i = 0; i < size; i++) |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 353 | ob->ob_digit[i] = r_short(p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 354 | return (object *)ob; |
| 355 | } |
| 356 | |
| 357 | case TYPE_FLOAT: |
| 358 | { |
Guido van Rossum | 1d5735e | 1994-08-30 08:27:36 +0000 | [diff] [blame] | 359 | extern double atof PROTO((const char *)); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 360 | char buf[256]; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 361 | n = r_byte(p); |
| 362 | if (r_string(buf, (int)n, p) != n) { |
Guido van Rossum | 87e7ea7 | 1991-12-10 14:00:03 +0000 | [diff] [blame] | 363 | err_setstr(EOFError, |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 364 | "EOF read where object expected"); |
| 365 | return NULL; |
| 366 | } |
| 367 | buf[n] = '\0'; |
Guido van Rossum | 1d5735e | 1994-08-30 08:27:36 +0000 | [diff] [blame] | 368 | return newfloatobject(atof(buf)); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 369 | } |
| 370 | |
Guido van Rossum | 8a5c5d2 | 1996-01-12 01:09:56 +0000 | [diff] [blame] | 371 | #ifndef WITHOUT_COMPLEX |
| 372 | case TYPE_COMPLEX: |
| 373 | { |
| 374 | extern double atof PROTO((const char *)); |
| 375 | char buf[256]; |
Guido van Rossum | 530956d | 1996-07-21 02:27:43 +0000 | [diff] [blame] | 376 | Py_complex c; |
Guido van Rossum | 8a5c5d2 | 1996-01-12 01:09:56 +0000 | [diff] [blame] | 377 | n = r_byte(p); |
| 378 | if (r_string(buf, (int)n, p) != n) { |
| 379 | err_setstr(EOFError, |
| 380 | "EOF read where object expected"); |
| 381 | return NULL; |
| 382 | } |
| 383 | buf[n] = '\0'; |
| 384 | c.real = atof(buf); |
| 385 | n = r_byte(p); |
| 386 | if (r_string(buf, (int)n, p) != n) { |
| 387 | err_setstr(EOFError, |
| 388 | "EOF read where object expected"); |
| 389 | return NULL; |
| 390 | } |
| 391 | buf[n] = '\0'; |
| 392 | c.imag = atof(buf); |
| 393 | return newcomplexobject(c); |
| 394 | } |
| 395 | #endif |
| 396 | |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 397 | case TYPE_STRING: |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 398 | n = r_long(p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 399 | v = newsizedstringobject((char *)NULL, n); |
| 400 | if (v != NULL) { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 401 | if (r_string(getstringvalue(v), (int)n, p) != n) { |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 402 | DECREF(v); |
| 403 | v = NULL; |
Guido van Rossum | 87e7ea7 | 1991-12-10 14:00:03 +0000 | [diff] [blame] | 404 | err_setstr(EOFError, |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 405 | "EOF read where object expected"); |
| 406 | } |
| 407 | } |
| 408 | return v; |
| 409 | |
| 410 | case TYPE_TUPLE: |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 411 | n = r_long(p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 412 | v = newtupleobject((int)n); |
| 413 | if (v == NULL) |
| 414 | return v; |
Jack Jansen | 9513f2c | 1995-10-27 13:21:28 +0000 | [diff] [blame] | 415 | for (i = 0; i < n; i++) { |
| 416 | v2 = r_object(p); |
| 417 | if ( v2 == NULL ) { |
| 418 | DECREF(v); |
| 419 | v = NULL; |
| 420 | break; |
| 421 | } |
| 422 | SETTUPLEITEM(v, (int)i, v2); |
| 423 | } |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 424 | return v; |
| 425 | |
| 426 | case TYPE_LIST: |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 427 | n = r_long(p); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 428 | v = newlistobject((int)n); |
| 429 | if (v == NULL) |
| 430 | return v; |
Jack Jansen | 9513f2c | 1995-10-27 13:21:28 +0000 | [diff] [blame] | 431 | for (i = 0; i < n; i++) { |
| 432 | v2 = r_object(p); |
| 433 | if ( v2 == NULL ) { |
| 434 | DECREF(v); |
| 435 | v = NULL; |
| 436 | break; |
| 437 | } |
| 438 | setlistitem(v, (int)i, v2); |
| 439 | } |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 440 | return v; |
| 441 | |
Guido van Rossum | 64b4552 | 1991-06-07 13:58:22 +0000 | [diff] [blame] | 442 | case TYPE_DICT: |
| 443 | v = newdictobject(); |
| 444 | if (v == NULL) |
| 445 | return NULL; |
| 446 | for (;;) { |
| 447 | object *key, *val; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 448 | key = r_object(p); |
Guido van Rossum | 64b4552 | 1991-06-07 13:58:22 +0000 | [diff] [blame] | 449 | if (key == NULL) |
Guido van Rossum | f215060 | 1996-06-26 20:41:23 +0000 | [diff] [blame] | 450 | break; /* XXX Assume TYPE_NULL, not an error */ |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 451 | val = r_object(p); |
Guido van Rossum | f215060 | 1996-06-26 20:41:23 +0000 | [diff] [blame] | 452 | if (val != NULL) |
| 453 | dict2insert(v, key, val); |
Guido van Rossum | 64b4552 | 1991-06-07 13:58:22 +0000 | [diff] [blame] | 454 | DECREF(key); |
| 455 | XDECREF(val); |
| 456 | } |
| 457 | return v; |
| 458 | |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 459 | case TYPE_CODE: |
| 460 | { |
Guido van Rossum | 681d79a | 1995-07-18 14:51:37 +0000 | [diff] [blame] | 461 | int argcount = r_short(p); |
| 462 | int nlocals = r_short(p); |
| 463 | int flags = r_short(p); |
Jack Jansen | 9513f2c | 1995-10-27 13:21:28 +0000 | [diff] [blame] | 464 | object *code = NULL; |
| 465 | object *consts = NULL; |
| 466 | object *names = NULL; |
| 467 | object *varnames = NULL; |
| 468 | object *filename = NULL; |
| 469 | object *name = NULL; |
| 470 | |
| 471 | code = r_object(p); |
| 472 | if (code) consts = r_object(p); |
| 473 | if (consts) names = r_object(p); |
| 474 | if (names) varnames = r_object(p); |
| 475 | if (varnames) filename = r_object(p); |
| 476 | if (filename) name = r_object(p); |
| 477 | |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 478 | if (!err_occurred()) { |
Guido van Rossum | 681d79a | 1995-07-18 14:51:37 +0000 | [diff] [blame] | 479 | v = (object *) newcodeobject( |
| 480 | argcount, nlocals, flags, |
| 481 | code, consts, names, varnames, |
| 482 | filename, name); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 483 | } |
| 484 | else |
| 485 | v = NULL; |
| 486 | XDECREF(code); |
| 487 | XDECREF(consts); |
| 488 | XDECREF(names); |
Guido van Rossum | 0a8626e | 1996-05-28 22:28:12 +0000 | [diff] [blame] | 489 | XDECREF(varnames); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 490 | XDECREF(filename); |
Guido van Rossum | a440310 | 1994-10-05 12:24:16 +0000 | [diff] [blame] | 491 | XDECREF(name); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 492 | |
| 493 | } |
| 494 | return v; |
| 495 | |
| 496 | default: |
Guido van Rossum | f215060 | 1996-06-26 20:41:23 +0000 | [diff] [blame] | 497 | /* Bogus data got written, which isn't ideal. |
| 498 | This will let you keep working and recover. */ |
| 499 | INCREF(None); |
| 500 | return None; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 501 | |
| 502 | } |
| 503 | } |
| 504 | |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 505 | long |
| 506 | rd_long(fp) |
| 507 | FILE *fp; |
| 508 | { |
| 509 | RFILE rf; |
| 510 | rf.fp = fp; |
| 511 | return r_long(&rf); |
| 512 | } |
| 513 | |
| 514 | object * |
| 515 | rd_object(fp) |
| 516 | FILE *fp; |
| 517 | { |
| 518 | RFILE rf; |
Guido van Rossum | 1ae940a | 1995-01-02 19:04:15 +0000 | [diff] [blame] | 519 | if (err_occurred()) { |
Guido van Rossum | 0587011 | 1995-08-28 02:56:20 +0000 | [diff] [blame] | 520 | fatal("XXX rd_object called with exception set"); /* tmp */ |
Guido van Rossum | 1ae940a | 1995-01-02 19:04:15 +0000 | [diff] [blame] | 521 | fprintf(stderr, "XXX rd_object called with exception set\n"); |
| 522 | return NULL; |
| 523 | } |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 524 | rf.fp = fp; |
| 525 | return r_object(&rf); |
| 526 | } |
| 527 | |
Guido van Rossum | f56e3db | 1993-04-01 20:59:32 +0000 | [diff] [blame] | 528 | object * |
| 529 | rds_object(str, len) |
| 530 | char *str; |
| 531 | int len; |
| 532 | { |
| 533 | RFILE rf; |
Guido van Rossum | 1ae940a | 1995-01-02 19:04:15 +0000 | [diff] [blame] | 534 | if (err_occurred()) { |
| 535 | fprintf(stderr, "XXX rds_object called with exception set\n"); |
| 536 | return NULL; |
| 537 | } |
Guido van Rossum | f56e3db | 1993-04-01 20:59:32 +0000 | [diff] [blame] | 538 | rf.fp = NULL; |
| 539 | rf.str = NULL; |
| 540 | rf.ptr = str; |
| 541 | rf.end = str + len; |
| 542 | return r_object(&rf); |
| 543 | } |
| 544 | |
Guido van Rossum | 3f3bb3d | 1996-08-19 22:07:17 +0000 | [diff] [blame] | 545 | object * |
| 546 | PyMarshal_WriteObjectToString(x) /* wrs_object() */ |
| 547 | object *x; |
| 548 | { |
| 549 | WFILE wf; |
| 550 | wf.fp = NULL; |
| 551 | wf.str = newsizedstringobject((char *)NULL, 50); |
| 552 | if (wf.str == NULL) |
| 553 | return NULL; |
| 554 | wf.ptr = GETSTRINGVALUE((stringobject *)wf.str); |
| 555 | wf.end = wf.ptr + getstringsize(wf.str); |
| 556 | wf.error = 0; |
| 557 | w_object(x, &wf); |
| 558 | if (wf.str != NULL) |
| 559 | resizestring(&wf.str, |
| 560 | (int) (wf.ptr - GETSTRINGVALUE((stringobject *)wf.str))); |
| 561 | if (wf.error) { |
| 562 | XDECREF(wf.str); |
| 563 | err_setstr(ValueError, "unmarshallable object"); |
| 564 | return NULL; |
| 565 | } |
| 566 | return wf.str; |
| 567 | } |
| 568 | |
Guido van Rossum | 64b4552 | 1991-06-07 13:58:22 +0000 | [diff] [blame] | 569 | /* And an interface for Python programs... */ |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 570 | |
| 571 | static object * |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 572 | marshal_dump(self, args) |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 573 | object *self; |
| 574 | object *args; |
| 575 | { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 576 | WFILE wf; |
| 577 | object *x; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 578 | object *f; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 579 | if (!getargs(args, "(OO)", &x, &f)) |
| 580 | return NULL; |
| 581 | if (!is_fileobject(f)) { |
| 582 | err_setstr(TypeError, "marshal.dump() 2nd arg must be file"); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 583 | return NULL; |
| 584 | } |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 585 | wf.fp = getfilefile(f); |
| 586 | wf.str = NULL; |
| 587 | wf.ptr = wf.end = NULL; |
Guido van Rossum | f215060 | 1996-06-26 20:41:23 +0000 | [diff] [blame] | 588 | wf.error = 0; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 589 | w_object(x, &wf); |
Guido van Rossum | f215060 | 1996-06-26 20:41:23 +0000 | [diff] [blame] | 590 | if (wf.error) { |
| 591 | err_setstr(ValueError, "unmarshallable object"); |
| 592 | return NULL; |
| 593 | } |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 594 | INCREF(None); |
| 595 | return None; |
| 596 | } |
| 597 | |
| 598 | static object * |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 599 | marshal_load(self, args) |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 600 | object *self; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 601 | object *args; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 602 | { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 603 | RFILE rf; |
| 604 | object *f; |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 605 | object *v; |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 606 | if (!getargs(args, "O", &f)) |
| 607 | return NULL; |
| 608 | if (!is_fileobject(f)) { |
| 609 | err_setstr(TypeError, "marshal.load() arg must be file"); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 610 | return NULL; |
| 611 | } |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 612 | rf.fp = getfilefile(f); |
| 613 | rf.str = NULL; |
| 614 | rf.ptr = rf.end = NULL; |
| 615 | err_clear(); |
| 616 | v = r_object(&rf); |
| 617 | if (err_occurred()) { |
| 618 | XDECREF(v); |
| 619 | v = NULL; |
| 620 | } |
| 621 | return v; |
| 622 | } |
| 623 | |
| 624 | static object * |
| 625 | marshal_dumps(self, args) |
| 626 | object *self; |
| 627 | object *args; |
| 628 | { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 629 | object *x; |
| 630 | if (!getargs(args, "O", &x)) |
| 631 | return NULL; |
Guido van Rossum | 3f3bb3d | 1996-08-19 22:07:17 +0000 | [diff] [blame] | 632 | return PyMarshal_WriteObjectToString(x); |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 633 | } |
| 634 | |
| 635 | static object * |
| 636 | marshal_loads(self, args) |
| 637 | object *self; |
| 638 | object *args; |
| 639 | { |
| 640 | RFILE rf; |
| 641 | object *v; |
| 642 | char *s; |
| 643 | int n; |
| 644 | if (!getargs(args, "s#", &s, &n)) |
| 645 | return NULL; |
| 646 | rf.fp = NULL; |
| 647 | rf.str = args; |
| 648 | rf.ptr = s; |
| 649 | rf.end = s + n; |
| 650 | err_clear(); |
| 651 | v = r_object(&rf); |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 652 | if (err_occurred()) { |
| 653 | XDECREF(v); |
| 654 | v = NULL; |
| 655 | } |
| 656 | return v; |
| 657 | } |
| 658 | |
| 659 | static struct methodlist marshal_methods[] = { |
Guido van Rossum | 0b0db8e | 1993-01-21 16:07:51 +0000 | [diff] [blame] | 660 | {"dump", marshal_dump}, |
| 661 | {"load", marshal_load}, |
| 662 | {"dumps", marshal_dumps}, |
| 663 | {"loads", marshal_loads}, |
Guido van Rossum | dce2e3d | 1991-06-04 19:42:30 +0000 | [diff] [blame] | 664 | {NULL, NULL} /* sentinel */ |
| 665 | }; |
| 666 | |
| 667 | void |
| 668 | initmarshal() |
| 669 | { |
| 670 | (void) initmodule("marshal", marshal_methods); |
| 671 | } |