blob: 5106ec99328732cf484a5a3d630a040bc77545c6 [file] [log] [blame]
Guido van Rossum54f22ed2000-02-04 15:10:34 +00001"""Create portable serialized representations of Python objects.
Guido van Rossuma48061a1995-01-10 00:31:14 +00002
Guido van Rossume467be61997-12-05 19:42:42 +00003See module cPickle for a (much) faster implementation.
4See module copy_reg for a mechanism for registering custom picklers.
Tim Peters22a449a2003-01-27 20:16:36 +00005See module pickletools source for extensive comments.
Guido van Rossuma48061a1995-01-10 00:31:14 +00006
Guido van Rossume467be61997-12-05 19:42:42 +00007Classes:
Guido van Rossuma48061a1995-01-10 00:31:14 +00008
Guido van Rossume467be61997-12-05 19:42:42 +00009 Pickler
10 Unpickler
Guido van Rossuma48061a1995-01-10 00:31:14 +000011
Guido van Rossume467be61997-12-05 19:42:42 +000012Functions:
Guido van Rossuma48061a1995-01-10 00:31:14 +000013
Guido van Rossume467be61997-12-05 19:42:42 +000014 dump(object, file)
15 dumps(object) -> string
16 load(file) -> object
17 loads(string) -> object
Guido van Rossuma48061a1995-01-10 00:31:14 +000018
Guido van Rossume467be61997-12-05 19:42:42 +000019Misc variables:
Guido van Rossuma48061a1995-01-10 00:31:14 +000020
Fred Drakefe82acc1998-02-13 03:24:48 +000021 __version__
Guido van Rossume467be61997-12-05 19:42:42 +000022 format_version
23 compatible_formats
Guido van Rossuma48061a1995-01-10 00:31:14 +000024
Guido van Rossuma48061a1995-01-10 00:31:14 +000025"""
26
Guido van Rossum743d17e1998-09-15 20:25:57 +000027__version__ = "$Revision$" # Code version
Guido van Rossuma48061a1995-01-10 00:31:14 +000028
29from types import *
Guido van Rossumb26a97a2003-01-28 22:29:13 +000030from copy_reg import dispatch_table, _reconstructor
Guido van Rossum255f3ee2003-01-29 06:14:11 +000031from copy_reg import extension_registry, inverted_registry, extension_cache
Guido van Rossumd3703791998-10-22 20:15:36 +000032import marshal
33import sys
34import struct
Skip Montanaro23bafc62001-02-18 03:10:09 +000035import re
Guido van Rossumbc64e222003-01-28 16:34:19 +000036import warnings
Guido van Rossuma48061a1995-01-10 00:31:14 +000037
Skip Montanaro352674d2001-02-07 23:14:30 +000038__all__ = ["PickleError", "PicklingError", "UnpicklingError", "Pickler",
39 "Unpickler", "dump", "dumps", "load", "loads"]
40
Tim Petersc0c12b52003-01-29 00:56:17 +000041# These are purely informational; no code uses these.
Guido van Rossumf29d3d62003-01-27 22:47:53 +000042format_version = "2.0" # File format version we write
43compatible_formats = ["1.0", # Original protocol 0
Guido van Rossumbc64e222003-01-28 16:34:19 +000044 "1.1", # Protocol 0 with INST added
Guido van Rossumf29d3d62003-01-27 22:47:53 +000045 "1.2", # Original protocol 1
46 "1.3", # Protocol 1 with BINFLOAT added
47 "2.0", # Protocol 2
48 ] # Old format versions we can read
Guido van Rossumb72cf2d1997-04-09 17:32:51 +000049
Guido van Rossume0b90422003-01-28 03:17:21 +000050# Why use struct.pack() for pickling but marshal.loads() for
Tim Petersc0c12b52003-01-29 00:56:17 +000051# unpickling? struct.pack() is 40% faster than marshal.dumps(), but
Guido van Rossume0b90422003-01-28 03:17:21 +000052# marshal.loads() is twice as fast as struct.unpack()!
Guido van Rossumb72cf2d1997-04-09 17:32:51 +000053mloads = marshal.loads
Guido van Rossum0c891ce1995-03-14 15:09:05 +000054
Raymond Hettingeraef22fb2002-05-29 16:18:42 +000055class PickleError(Exception):
Neal Norwitzefbb67b2002-05-30 12:12:04 +000056 """A common base class for the other pickling exceptions."""
Raymond Hettingeraef22fb2002-05-29 16:18:42 +000057 pass
58
59class PicklingError(PickleError):
60 """This exception is raised when an unpicklable object is passed to the
61 dump() method.
62
63 """
64 pass
65
66class UnpicklingError(PickleError):
67 """This exception is raised when there is a problem unpickling an object,
68 such as a security violation.
69
70 Note that other exceptions may also be raised during unpickling, including
71 (but not necessarily limited to) AttributeError, EOFError, ImportError,
72 and IndexError.
73
74 """
75 pass
Guido van Rossum7849da81995-03-09 14:08:35 +000076
Tim Petersc0c12b52003-01-29 00:56:17 +000077# An instance of _Stop is raised by Unpickler.load_stop() in response to
78# the STOP opcode, passing the object that is the result of unpickling.
Guido van Rossumff871742000-12-13 18:11:56 +000079class _Stop(Exception):
80 def __init__(self, value):
81 self.value = value
82
Guido van Rossum533dbcf2003-01-28 17:55:05 +000083# Jython has PyStringMap; it's a dict subclass with string keys
Jeremy Hylton2b9d0291998-05-27 22:38:22 +000084try:
85 from org.python.core import PyStringMap
86except ImportError:
87 PyStringMap = None
88
Guido van Rossum533dbcf2003-01-28 17:55:05 +000089# UnicodeType may or may not be exported (normally imported from types)
Guido van Rossumdbb718f2001-09-21 19:22:34 +000090try:
91 UnicodeType
92except NameError:
93 UnicodeType = None
94
Tim Peters22a449a2003-01-27 20:16:36 +000095# Pickle opcodes. See pickletools.py for extensive docs. The listing
96# here is in kind-of alphabetical order of 1-character pickle code.
97# pickletools groups them by purpose.
Guido van Rossumdbb718f2001-09-21 19:22:34 +000098
Tim Peters22a449a2003-01-27 20:16:36 +000099MARK = '(' # push special markobject on stack
100STOP = '.' # every pickle ends with STOP
101POP = '0' # discard topmost stack item
102POP_MARK = '1' # discard stack top through topmost markobject
103DUP = '2' # duplicate top stack item
104FLOAT = 'F' # push float object; decimal string argument
105INT = 'I' # push integer or bool; decimal string argument
106BININT = 'J' # push four-byte signed int
107BININT1 = 'K' # push 1-byte unsigned int
108LONG = 'L' # push long; decimal string argument
109BININT2 = 'M' # push 2-byte unsigned int
110NONE = 'N' # push None
111PERSID = 'P' # push persistent object; id is taken from string arg
112BINPERSID = 'Q' # " " " ; " " " " stack
113REDUCE = 'R' # apply callable to argtuple, both on stack
114STRING = 'S' # push string; NL-terminated string argument
115BINSTRING = 'T' # push string; counted binary string argument
116SHORT_BINSTRING = 'U' # " " ; " " " " < 256 bytes
117UNICODE = 'V' # push Unicode string; raw-unicode-escaped'd argument
118BINUNICODE = 'X' # " " " ; counted UTF-8 string argument
119APPEND = 'a' # append stack top to list below it
120BUILD = 'b' # call __setstate__ or __dict__.update()
121GLOBAL = 'c' # push self.find_class(modname, name); 2 string args
122DICT = 'd' # build a dict from stack items
123EMPTY_DICT = '}' # push empty dict
124APPENDS = 'e' # extend list on stack by topmost stack slice
125GET = 'g' # push item from memo on stack; index is string arg
126BINGET = 'h' # " " " " " " ; " " 1-byte arg
127INST = 'i' # build & push class instance
128LONG_BINGET = 'j' # push item from memo on stack; index is 4-byte arg
129LIST = 'l' # build list from topmost stack items
130EMPTY_LIST = ']' # push empty list
131OBJ = 'o' # build & push class instance
132PUT = 'p' # store stack top in memo; index is string arg
133BINPUT = 'q' # " " " " " ; " " 1-byte arg
134LONG_BINPUT = 'r' # " " " " " ; " " 4-byte arg
135SETITEM = 's' # add key+value pair to dict
136TUPLE = 't' # build tuple from topmost stack items
137EMPTY_TUPLE = ')' # push empty tuple
138SETITEMS = 'u' # modify dict by adding topmost key+value pairs
139BINFLOAT = 'G' # push float; arg is 8-byte float encoding
140
141TRUE = 'I01\n' # not an opcode; see INT docs in pickletools.py
142FALSE = 'I00\n' # not an opcode; see INT docs in pickletools.py
Guido van Rossum77f6a652002-04-03 22:41:51 +0000143
Guido van Rossum586c9e82003-01-29 06:16:12 +0000144# Protocol 2
Guido van Rossum5a2d8f52003-01-27 21:44:25 +0000145
Tim Peterse1054782003-01-28 00:22:12 +0000146PROTO = '\x80' # identify pickle protocol
147NEWOBJ = '\x81' # build object by applying cls.__new__ to argtuple
148EXT1 = '\x82' # push object from extension registry; 1-byte index
149EXT2 = '\x83' # ditto, but 2-byte index
150EXT4 = '\x84' # ditto, but 4-byte index
151TUPLE1 = '\x85' # build 1-tuple from stack top
152TUPLE2 = '\x86' # build 2-tuple from two topmost stack items
153TUPLE3 = '\x87' # build 3-tuple from three topmost stack items
154NEWTRUE = '\x88' # push True
155NEWFALSE = '\x89' # push False
156LONG1 = '\x8a' # push long from < 256 bytes
157LONG4 = '\x8b' # push really big long
Guido van Rossum5a2d8f52003-01-27 21:44:25 +0000158
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000159_tuplesize2code = [EMPTY_TUPLE, TUPLE1, TUPLE2, TUPLE3]
160
Guido van Rossuma48061a1995-01-10 00:31:14 +0000161
Skip Montanaro23bafc62001-02-18 03:10:09 +0000162__all__.extend([x for x in dir() if re.match("[A-Z][A-Z0-9_]+$",x)])
Neal Norwitzd5ba4ae2002-02-11 18:12:06 +0000163del x
Skip Montanaro23bafc62001-02-18 03:10:09 +0000164
Guido van Rossum1be31752003-01-28 15:19:53 +0000165
166# Pickling machinery
167
Guido van Rossuma48061a1995-01-10 00:31:14 +0000168class Pickler:
169
Guido van Rossumf29d3d62003-01-27 22:47:53 +0000170 def __init__(self, file, proto=1):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000171 """This takes a file-like object for writing a pickle data stream.
172
Guido van Rossumf29d3d62003-01-27 22:47:53 +0000173 The optional proto argument tells the pickler to use the given
174 protocol; supported protocols are 0, 1, 2. The default
175 protocol is 1 (in previous Python versions the default was 0).
176
177 Protocol 1 is more efficient than protocol 0; protocol 2 is
178 more efficient than protocol 1. Protocol 2 is not the default
179 because it is not supported by older Python versions.
180
181 XXX Protocol 2 is not yet implemented.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000182
183 The file parameter must have a write() method that accepts a single
184 string argument. It can thus be an open file object, a StringIO
185 object, or any other custom object that meets this interface.
186
187 """
Guido van Rossum1be31752003-01-28 15:19:53 +0000188 if proto not in (0, 1, 2):
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000189 raise ValueError, "pickle protocol must be 0, 1 or 2"
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000190 self.write = file.write
191 self.memo = {}
Guido van Rossum1be31752003-01-28 15:19:53 +0000192 self.proto = int(proto)
Guido van Rossumf29d3d62003-01-27 22:47:53 +0000193 self.bin = proto >= 1
Guido van Rossum5d9113d2003-01-29 17:58:45 +0000194 self.fast = 0
Guido van Rossuma48061a1995-01-10 00:31:14 +0000195
Fred Drake7f781c92002-05-01 20:33:53 +0000196 def clear_memo(self):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000197 """Clears the pickler's "memo".
198
199 The memo is the data structure that remembers which objects the
Tim Petersb377f8a2003-01-28 00:23:36 +0000200 pickler has already seen, so that shared or recursive objects are
201 pickled by reference and not by value. This method is useful when
202 re-using picklers.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000203
204 """
Fred Drake7f781c92002-05-01 20:33:53 +0000205 self.memo.clear()
206
Guido van Rossum3a41c612003-01-28 15:10:22 +0000207 def dump(self, obj):
208 """Write a pickled representation of obj to the open file.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000209
210 Either the binary or ASCII format will be used, depending on the
211 value of the bin flag passed to the constructor.
212
213 """
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000214 if self.proto >= 2:
215 self.write(PROTO + chr(self.proto))
Guido van Rossum3a41c612003-01-28 15:10:22 +0000216 self.save(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000217 self.write(STOP)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000218
Jeremy Hylton3422c992003-01-24 19:29:52 +0000219 def memoize(self, obj):
220 """Store an object in the memo."""
221
Tim Peterse46b73f2003-01-27 21:22:10 +0000222 # The Pickler memo is a dictionary mapping object ids to 2-tuples
223 # that contain the Unpickler memo key and the object being memoized.
224 # The memo key is written to the pickle and will become
Jeremy Hylton3422c992003-01-24 19:29:52 +0000225 # the key in the Unpickler's memo. The object is stored in the
Tim Peterse46b73f2003-01-27 21:22:10 +0000226 # Pickler memo so that transient objects are kept alive during
227 # pickling.
Jeremy Hylton3422c992003-01-24 19:29:52 +0000228
Tim Peterse46b73f2003-01-27 21:22:10 +0000229 # The use of the Unpickler memo length as the memo key is just a
230 # convention. The only requirement is that the memo values be unique.
231 # But there appears no advantage to any other scheme, and this
Tim Peterscbd0a322003-01-28 00:24:43 +0000232 # scheme allows the Unpickler memo to be implemented as a plain (but
Tim Peterse46b73f2003-01-27 21:22:10 +0000233 # growable) array, indexed by memo key.
Guido van Rossum5d9113d2003-01-29 17:58:45 +0000234 if self.fast:
235 return
Guido van Rossum9b40e802003-01-30 06:37:41 +0000236 assert id(obj) not in self.memo
Jeremy Hylton3422c992003-01-24 19:29:52 +0000237 memo_len = len(self.memo)
238 self.write(self.put(memo_len))
Tim Peters518df0d2003-01-28 01:00:38 +0000239 self.memo[id(obj)] = memo_len, obj
Jeremy Hylton3422c992003-01-24 19:29:52 +0000240
Tim Petersbb38e302003-01-27 21:25:41 +0000241 # Return a PUT (BINPUT, LONG_BINPUT) opcode string, with argument i.
Guido van Rossum5c938d02003-01-28 03:03:08 +0000242 def put(self, i, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000243 if self.bin:
Tim Petersc32d8242001-04-10 02:48:53 +0000244 if i < 256:
Guido van Rossum5c938d02003-01-28 03:03:08 +0000245 return BINPUT + chr(i)
246 else:
247 return LONG_BINPUT + pack("<i", i)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000248
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000249 return PUT + `i` + '\n'
Guido van Rossuma48061a1995-01-10 00:31:14 +0000250
Tim Petersbb38e302003-01-27 21:25:41 +0000251 # Return a GET (BINGET, LONG_BINGET) opcode string, with argument i.
Guido van Rossum5c938d02003-01-28 03:03:08 +0000252 def get(self, i, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000253 if self.bin:
Tim Petersc32d8242001-04-10 02:48:53 +0000254 if i < 256:
Guido van Rossum5c938d02003-01-28 03:03:08 +0000255 return BINGET + chr(i)
256 else:
257 return LONG_BINGET + pack("<i", i)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000258
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000259 return GET + `i` + '\n'
Tim Peters2344fae2001-01-15 00:50:52 +0000260
Guido van Rossumac5b5d22003-01-28 22:01:16 +0000261 def save(self, obj):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000262 # Check for persistent id (defined by a subclass)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000263 pid = self.persistent_id(obj)
Guido van Rossumbc64e222003-01-28 16:34:19 +0000264 if pid:
Jeremy Hylton5e0f4e72002-11-13 22:01:27 +0000265 self.save_pers(pid)
266 return
Guido van Rossuma48061a1995-01-10 00:31:14 +0000267
Guido van Rossumbc64e222003-01-28 16:34:19 +0000268 # Check the memo
269 x = self.memo.get(id(obj))
270 if x:
271 self.write(self.get(x[0]))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000272 return
273
Guido van Rossumbc64e222003-01-28 16:34:19 +0000274 # Check the type dispatch table
Guido van Rossum3a41c612003-01-28 15:10:22 +0000275 t = type(obj)
Guido van Rossumbc64e222003-01-28 16:34:19 +0000276 f = self.dispatch.get(t)
277 if f:
278 f(self, obj) # Call unbound method with explicit self
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000279 return
280
Guido van Rossumbc64e222003-01-28 16:34:19 +0000281 # Check for a class with a custom metaclass; treat as regular class
Tim Petersb32a8312003-01-28 00:48:09 +0000282 try:
283 issc = issubclass(t, TypeType)
Guido van Rossumbc64e222003-01-28 16:34:19 +0000284 except TypeError: # t is not a class (old Boost; see SF #502085)
Tim Petersb32a8312003-01-28 00:48:09 +0000285 issc = 0
286 if issc:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000287 self.save_global(obj)
Tim Petersb32a8312003-01-28 00:48:09 +0000288 return
289
Guido van Rossumbc64e222003-01-28 16:34:19 +0000290 # Check copy_reg.dispatch_table
291 reduce = dispatch_table.get(t)
Guido van Rossumac5b5d22003-01-28 22:01:16 +0000292 if not reduce:
293 # Check for a __reduce__ method.
294 # Subtle: get the unbound method from the class, so that
295 # protocol 2 can override the default __reduce__ that all
296 # classes inherit from object. This has the added
297 # advantage that the call always has the form reduce(obj)
298 reduce = getattr(t, "__reduce__", None)
299 if self.proto >= 2:
300 # Protocol 2 can do better than the default __reduce__
301 if reduce is object.__reduce__:
302 reduce = None
303 if not reduce:
Guido van Rossum54fb1922003-01-28 18:22:35 +0000304 self.save_newobj(obj)
305 return
Guido van Rossumac5b5d22003-01-28 22:01:16 +0000306 if not reduce:
Guido van Rossumbc64e222003-01-28 16:34:19 +0000307 raise PicklingError("Can't pickle %r object: %r" %
308 (t.__name__, obj))
Guido van Rossumac5b5d22003-01-28 22:01:16 +0000309 rv = reduce(obj)
Tim Petersb32a8312003-01-28 00:48:09 +0000310
Guido van Rossumbc64e222003-01-28 16:34:19 +0000311 # Check for string returned by reduce(), meaning "save as global"
312 if type(rv) is StringType:
313 self.save_global(obj, rv)
Tim Petersb32a8312003-01-28 00:48:09 +0000314 return
315
Guido van Rossumbc64e222003-01-28 16:34:19 +0000316 # Assert that reduce() returned a tuple
317 if type(rv) is not TupleType:
318 raise PicklingError("%s must return string or tuple" % reduce)
Tim Petersb32a8312003-01-28 00:48:09 +0000319
Guido van Rossumbc64e222003-01-28 16:34:19 +0000320 # Assert that it returned a 2-tuple or 3-tuple, and unpack it
321 l = len(rv)
322 if l == 2:
323 func, args = rv
Tim Petersb32a8312003-01-28 00:48:09 +0000324 state = None
Guido van Rossumbc64e222003-01-28 16:34:19 +0000325 elif l == 3:
326 func, args, state = rv
327 else:
328 raise PicklingError("Tuple returned by %s must have "
329 "exactly two or three elements" % reduce)
Tim Petersb32a8312003-01-28 00:48:09 +0000330
Guido van Rossumbc64e222003-01-28 16:34:19 +0000331 # Save the reduce() output and finally memoize the object
332 self.save_reduce(func, args, state)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000333 self.memoize(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000334
Guido van Rossum3a41c612003-01-28 15:10:22 +0000335 def persistent_id(self, obj):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000336 # This exists so a subclass can override it
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000337 return None
338
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000339 def save_pers(self, pid):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000340 # Save a persistent id reference
Tim Petersbd1cdb92003-01-28 01:03:10 +0000341 if self.bin:
Jeremy Hylton5e0f4e72002-11-13 22:01:27 +0000342 self.save(pid)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000343 self.write(BINPERSID)
Tim Petersbd1cdb92003-01-28 01:03:10 +0000344 else:
345 self.write(PERSID + str(pid) + '\n')
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000346
Guido van Rossumbc64e222003-01-28 16:34:19 +0000347 def save_reduce(self, func, args, state=None):
348 # This API is be called by some subclasses
349
350 # Assert that args is a tuple or None
351 if not isinstance(args, TupleType):
352 if args is None:
353 # A hack for Jim Fulton's ExtensionClass, now deprecated.
354 # See load_reduce()
355 warnings.warn("__basicnew__ special case is deprecated",
356 DeprecationWarning)
357 else:
358 raise PicklingError(
359 "args from reduce() should be a tuple")
360
361 # Assert that func is callable
362 if not callable(func):
363 raise PicklingError("func from reduce should be callable")
364
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000365 save = self.save
Guido van Rossumbc64e222003-01-28 16:34:19 +0000366 write = self.write
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000367
Guido van Rossumbc64e222003-01-28 16:34:19 +0000368 save(func)
369 save(args)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000370 write(REDUCE)
Tim Peters2344fae2001-01-15 00:50:52 +0000371
Tim Petersc32d8242001-04-10 02:48:53 +0000372 if state is not None:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000373 save(state)
374 write(BUILD)
375
Guido van Rossum54fb1922003-01-28 18:22:35 +0000376 def save_newobj(self, obj):
377 # Save a new-style class instance, using protocol 2.
Guido van Rossum4e2491d2003-01-28 22:31:25 +0000378 # XXX This is still experimental.
Guido van Rossumac5b5d22003-01-28 22:01:16 +0000379 assert self.proto >= 2 # This only works for protocol 2
Guido van Rossum54fb1922003-01-28 18:22:35 +0000380 t = type(obj)
Guido van Rossum54fb1922003-01-28 18:22:35 +0000381 getnewargs = getattr(obj, "__getnewargs__", None)
382 if getnewargs:
Neal Norwitzd1740682003-01-31 04:04:23 +0000383 args = getnewargs() # This better not reference obj
Guido van Rossum3d8c01b2003-01-28 19:48:18 +0000384 else:
Guido van Rossum5d9113d2003-01-29 17:58:45 +0000385 args = ()
Guido van Rossum3d8c01b2003-01-28 19:48:18 +0000386
387 save = self.save
388 write = self.write
389
Guido van Rossum9b40e802003-01-30 06:37:41 +0000390 self.save(t)
Guido van Rossum3d8c01b2003-01-28 19:48:18 +0000391 save(args)
392 write(NEWOBJ)
Guido van Rossum54fb1922003-01-28 18:22:35 +0000393 self.memoize(obj)
Guido van Rossum3d8c01b2003-01-28 19:48:18 +0000394
395 if isinstance(obj, list):
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000396 n = len(obj)
397 if n > 1:
398 write(MARK)
399 for x in obj:
400 save(x)
401 write(APPENDS)
402 elif n == 1:
403 save(obj[0])
404 write(APPEND)
Guido van Rossum3d8c01b2003-01-28 19:48:18 +0000405 elif isinstance(obj, dict):
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000406 n = len(obj)
407 if n > 1:
408 write(MARK)
409 for k, v in obj.iteritems():
410 save(k)
411 save(v)
412 write(SETITEMS)
413 elif n == 1:
414 k, v = obj.items()[0]
Guido van Rossum3d8c01b2003-01-28 19:48:18 +0000415 save(k)
416 save(v)
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000417 write(SETITEM)
Guido van Rossum3d8c01b2003-01-28 19:48:18 +0000418
Guido van Rossum54fb1922003-01-28 18:22:35 +0000419 getstate = getattr(obj, "__getstate__", None)
Guido van Rossum45486172003-01-30 05:39:04 +0000420
Guido van Rossum54fb1922003-01-28 18:22:35 +0000421 if getstate:
Guido van Rossum4fba2202003-01-30 05:41:19 +0000422 # A class may define both __getstate__ and __getnewargs__.
423 # If they are the same function, we ignore __getstate__.
424 # This is for the benefit of protocols 0 and 1, which don't
425 # use __getnewargs__. Note that the only way to make them
426 # the same function is something like this:
427 #
428 # class C(object):
429 # def __getstate__(self):
430 # return ...
431 # __getnewargs__ = __getstate__
432 #
433 # No tricks are needed to ignore __setstate__; it simply
434 # won't be called when we don't generate BUILD.
435 # Also note that when __getnewargs__ and __getstate__ are
436 # the same function, we don't do the default thing of
437 # looking for __dict__ and slots either -- it is assumed
438 # that __getnewargs__ returns all the state there is
439 # (which should be a safe assumption since __getstate__
440 # returns the *same* state).
441 if getstate == getnewargs:
442 return
443
Guido van Rossumac5b5d22003-01-28 22:01:16 +0000444 try:
445 state = getstate()
446 except TypeError, err:
447 # XXX Catch generic exception caused by __slots__
448 if str(err) != ("a class that defines __slots__ "
449 "without defining __getstate__ "
450 "cannot be pickled"):
451 print repr(str(err))
452 raise # Not that specific exception
453 getstate = None
Guido van Rossum4fba2202003-01-30 05:41:19 +0000454
Guido van Rossumac5b5d22003-01-28 22:01:16 +0000455 if not getstate:
Guido van Rossum54fb1922003-01-28 18:22:35 +0000456 state = getattr(obj, "__dict__", None)
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000457 if not state:
458 state = None
Guido van Rossumac5b5d22003-01-28 22:01:16 +0000459 # If there are slots, the state becomes a tuple of two
460 # items: the first item the regular __dict__ or None, and
461 # the second a dict mapping slot names to slot values
462 names = _slotnames(t)
463 if names:
464 slots = {}
465 nil = []
466 for name in names:
467 value = getattr(obj, name, nil)
468 if value is not nil:
469 slots[name] = value
470 if slots:
471 state = (state, slots)
472
Guido van Rossum54fb1922003-01-28 18:22:35 +0000473 if state is not None:
Guido van Rossum3d8c01b2003-01-28 19:48:18 +0000474 save(state)
475 write(BUILD)
Guido van Rossum54fb1922003-01-28 18:22:35 +0000476
Guido van Rossumbc64e222003-01-28 16:34:19 +0000477 # Methods below this point are dispatched through the dispatch table
478
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000479 dispatch = {}
480
Guido van Rossum3a41c612003-01-28 15:10:22 +0000481 def save_none(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000482 self.write(NONE)
483 dispatch[NoneType] = save_none
484
Guido van Rossum3a41c612003-01-28 15:10:22 +0000485 def save_bool(self, obj):
Guido van Rossum7d97d312003-01-28 04:25:27 +0000486 if self.proto >= 2:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000487 self.write(obj and NEWTRUE or NEWFALSE)
Guido van Rossum7d97d312003-01-28 04:25:27 +0000488 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000489 self.write(obj and TRUE or FALSE)
Guido van Rossum77f6a652002-04-03 22:41:51 +0000490 dispatch[bool] = save_bool
491
Guido van Rossum3a41c612003-01-28 15:10:22 +0000492 def save_int(self, obj, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000493 if self.bin:
Tim Peters44714002001-04-10 05:02:52 +0000494 # If the int is small enough to fit in a signed 4-byte 2's-comp
495 # format, we can store it more efficiently than the general
496 # case.
Guido van Rossum5c938d02003-01-28 03:03:08 +0000497 # First one- and two-byte unsigned ints:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000498 if obj >= 0:
499 if obj <= 0xff:
500 self.write(BININT1 + chr(obj))
Guido van Rossum5c938d02003-01-28 03:03:08 +0000501 return
Guido van Rossum3a41c612003-01-28 15:10:22 +0000502 if obj <= 0xffff:
Guido van Rossumba884f32003-01-29 20:14:23 +0000503 self.write("%c%c%c" % (BININT2, obj&0xff, obj>>8))
Guido van Rossum5c938d02003-01-28 03:03:08 +0000504 return
505 # Next check for 4-byte signed ints:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000506 high_bits = obj >> 31 # note that Python shift sign-extends
Tim Petersd95c2df2003-01-28 03:41:54 +0000507 if high_bits == 0 or high_bits == -1:
Tim Peters44714002001-04-10 05:02:52 +0000508 # All high bits are copies of bit 2**31, so the value
509 # fits in a 4-byte signed int.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000510 self.write(BININT + pack("<i", obj))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000511 return
Tim Peters44714002001-04-10 05:02:52 +0000512 # Text pickle, or int too big to fit in signed 4-byte format.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000513 self.write(INT + `obj` + '\n')
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000514 dispatch[IntType] = save_int
515
Guido van Rossum3a41c612003-01-28 15:10:22 +0000516 def save_long(self, obj, pack=struct.pack):
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000517 if self.proto >= 2:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000518 bytes = encode_long(obj)
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000519 n = len(bytes)
520 if n < 256:
521 self.write(LONG1 + chr(n) + bytes)
522 else:
523 self.write(LONG4 + pack("<i", n) + bytes)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000524 self.write(LONG + `obj` + '\n')
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000525 dispatch[LongType] = save_long
526
Guido van Rossum3a41c612003-01-28 15:10:22 +0000527 def save_float(self, obj, pack=struct.pack):
Guido van Rossumd3703791998-10-22 20:15:36 +0000528 if self.bin:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000529 self.write(BINFLOAT + pack('>d', obj))
Guido van Rossumd3703791998-10-22 20:15:36 +0000530 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000531 self.write(FLOAT + `obj` + '\n')
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000532 dispatch[FloatType] = save_float
533
Guido van Rossum3a41c612003-01-28 15:10:22 +0000534 def save_string(self, obj, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000535 if self.bin:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000536 n = len(obj)
Tim Petersbbf63cd2003-01-27 21:15:36 +0000537 if n < 256:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000538 self.write(SHORT_BINSTRING + chr(n) + obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000539 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000540 self.write(BINSTRING + pack("<i", n) + obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000541 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000542 self.write(STRING + `obj` + '\n')
543 self.memoize(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000544 dispatch[StringType] = save_string
545
Guido van Rossum3a41c612003-01-28 15:10:22 +0000546 def save_unicode(self, obj, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000547 if self.bin:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000548 encoding = obj.encode('utf-8')
Tim Petersbbf63cd2003-01-27 21:15:36 +0000549 n = len(encoding)
Guido van Rossum5c938d02003-01-28 03:03:08 +0000550 self.write(BINUNICODE + pack("<i", n) + encoding)
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000551 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000552 obj = obj.replace("\\", "\\u005c")
553 obj = obj.replace("\n", "\\u000a")
554 self.write(UNICODE + obj.encode('raw-unicode-escape') + '\n')
555 self.memoize(obj)
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000556 dispatch[UnicodeType] = save_unicode
557
Guido van Rossum31584cb2001-01-22 14:53:29 +0000558 if StringType == UnicodeType:
559 # This is true for Jython
Guido van Rossum3a41c612003-01-28 15:10:22 +0000560 def save_string(self, obj, pack=struct.pack):
561 unicode = obj.isunicode()
Guido van Rossum31584cb2001-01-22 14:53:29 +0000562
Tim Petersc32d8242001-04-10 02:48:53 +0000563 if self.bin:
Guido van Rossum31584cb2001-01-22 14:53:29 +0000564 if unicode:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000565 obj = obj.encode("utf-8")
566 l = len(obj)
Tim Petersc32d8242001-04-10 02:48:53 +0000567 if l < 256 and not unicode:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000568 self.write(SHORT_BINSTRING + chr(l) + obj)
Guido van Rossum31584cb2001-01-22 14:53:29 +0000569 else:
Guido van Rossum5c938d02003-01-28 03:03:08 +0000570 s = pack("<i", l)
Guido van Rossum31584cb2001-01-22 14:53:29 +0000571 if unicode:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000572 self.write(BINUNICODE + s + obj)
Guido van Rossum31584cb2001-01-22 14:53:29 +0000573 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000574 self.write(BINSTRING + s + obj)
Guido van Rossum31584cb2001-01-22 14:53:29 +0000575 else:
Tim Peters658cba62001-02-09 20:06:00 +0000576 if unicode:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000577 obj = obj.replace("\\", "\\u005c")
578 obj = obj.replace("\n", "\\u000a")
579 obj = obj.encode('raw-unicode-escape')
580 self.write(UNICODE + obj + '\n')
Guido van Rossum31584cb2001-01-22 14:53:29 +0000581 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000582 self.write(STRING + `obj` + '\n')
583 self.memoize(obj)
Guido van Rossum31584cb2001-01-22 14:53:29 +0000584 dispatch[StringType] = save_string
Tim Peters658cba62001-02-09 20:06:00 +0000585
Guido van Rossum3a41c612003-01-28 15:10:22 +0000586 def save_tuple(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000587 write = self.write
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000588 proto = self.proto
589
Guido van Rossum3a41c612003-01-28 15:10:22 +0000590 n = len(obj)
Tim Petersd97da802003-01-28 05:48:29 +0000591 if n == 0 and proto:
592 write(EMPTY_TUPLE)
593 return
594
595 save = self.save
596 memo = self.memo
597 if n <= 3 and proto >= 2:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000598 for element in obj:
Tim Petersd97da802003-01-28 05:48:29 +0000599 save(element)
600 # Subtle. Same as in the big comment below.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000601 if id(obj) in memo:
602 get = self.get(memo[id(obj)][0])
Tim Petersd97da802003-01-28 05:48:29 +0000603 write(POP * n + get)
604 else:
605 write(_tuplesize2code[n])
Guido van Rossum3a41c612003-01-28 15:10:22 +0000606 self.memoize(obj)
Tim Petersd97da802003-01-28 05:48:29 +0000607 return
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000608
Tim Petersff57bff2003-01-28 05:34:53 +0000609 # proto 0, or proto 1 and tuple isn't empty, or proto > 1 and tuple
610 # has more than 3 elements.
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000611 write(MARK)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000612 for element in obj:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000613 save(element)
614
Guido van Rossum3a41c612003-01-28 15:10:22 +0000615 if n and id(obj) in memo:
Tim Petersf558da02003-01-28 02:09:55 +0000616 # Subtle. d was not in memo when we entered save_tuple(), so
617 # the process of saving the tuple's elements must have saved
618 # the tuple itself: the tuple is recursive. The proper action
619 # now is to throw away everything we put on the stack, and
620 # simply GET the tuple (it's already constructed). This check
621 # could have been done in the "for element" loop instead, but
622 # recursive tuples are a rare thing.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000623 get = self.get(memo[id(obj)][0])
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000624 if proto:
Tim Petersf558da02003-01-28 02:09:55 +0000625 write(POP_MARK + get)
626 else: # proto 0 -- POP_MARK not available
Tim Petersd97da802003-01-28 05:48:29 +0000627 write(POP * (n+1) + get)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000628 return
629
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000630 # No recursion (including the empty-tuple case for protocol 0).
Tim Peters518df0d2003-01-28 01:00:38 +0000631 self.write(TUPLE)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000632 if obj: # No need to memoize empty tuple
633 self.memoize(obj)
Jeremy Hylton3422c992003-01-24 19:29:52 +0000634
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000635 dispatch[TupleType] = save_tuple
636
Tim Petersa6ae9a22003-01-28 16:58:41 +0000637 # save_empty_tuple() isn't used by anything in Python 2.3. However, I
638 # found a Pickler subclass in Zope3 that calls it, so it's not harmless
639 # to remove it.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000640 def save_empty_tuple(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000641 self.write(EMPTY_TUPLE)
642
Guido van Rossum3a41c612003-01-28 15:10:22 +0000643 def save_list(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000644 write = self.write
645 save = self.save
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000646
Tim Petersc32d8242001-04-10 02:48:53 +0000647 if self.bin:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000648 write(EMPTY_LIST)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000649 self.memoize(obj)
650 n = len(obj)
Tim Peters21c18f02003-01-28 01:15:46 +0000651 if n > 1:
652 write(MARK)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000653 for element in obj:
Tim Peters21c18f02003-01-28 01:15:46 +0000654 save(element)
655 write(APPENDS)
656 elif n:
657 assert n == 1
Guido van Rossum3a41c612003-01-28 15:10:22 +0000658 save(obj[0])
Tim Peters21c18f02003-01-28 01:15:46 +0000659 write(APPEND)
660 # else the list is empty, and we're already done
661
662 else: # proto 0 -- can't use EMPTY_LIST or APPENDS
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000663 write(MARK + LIST)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000664 self.memoize(obj)
665 for element in obj:
Tim Peters21c18f02003-01-28 01:15:46 +0000666 save(element)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000667 write(APPEND)
668
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000669 dispatch[ListType] = save_list
670
Guido van Rossum3a41c612003-01-28 15:10:22 +0000671 def save_dict(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000672 write = self.write
673 save = self.save
Guido van Rossum3a41c612003-01-28 15:10:22 +0000674 items = obj.iteritems()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000675
Tim Petersc32d8242001-04-10 02:48:53 +0000676 if self.bin:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000677 write(EMPTY_DICT)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000678 self.memoize(obj)
679 if len(obj) > 1:
Tim Peters064567e2003-01-28 01:34:43 +0000680 write(MARK)
681 for key, value in items:
682 save(key)
683 save(value)
684 write(SETITEMS)
685 return
Tim Peters82ca59e2003-01-28 16:47:59 +0000686 # else (dict is empty or a singleton), fall through to the
687 # SETITEM code at the end
Tim Peters064567e2003-01-28 01:34:43 +0000688 else: # proto 0 -- can't use EMPTY_DICT or SETITEMS
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000689 write(MARK + DICT)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000690 self.memoize(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000691
Guido van Rossum3a41c612003-01-28 15:10:22 +0000692 # proto 0 or len(obj) < 2
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000693 for key, value in items:
694 save(key)
695 save(value)
Tim Peters064567e2003-01-28 01:34:43 +0000696 write(SETITEM)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000697
698 dispatch[DictionaryType] = save_dict
Jeremy Hylton2b9d0291998-05-27 22:38:22 +0000699 if not PyStringMap is None:
700 dispatch[PyStringMap] = save_dict
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000701
Guido van Rossum3a41c612003-01-28 15:10:22 +0000702 def save_inst(self, obj):
703 cls = obj.__class__
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000704
705 memo = self.memo
706 write = self.write
707 save = self.save
708
Guido van Rossum3a41c612003-01-28 15:10:22 +0000709 if hasattr(obj, '__getinitargs__'):
710 args = obj.__getinitargs__()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000711 len(args) # XXX Assert it's a sequence
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000712 _keep_alive(args, memo)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000713 else:
714 args = ()
715
716 write(MARK)
717
Tim Petersc32d8242001-04-10 02:48:53 +0000718 if self.bin:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000719 save(cls)
Tim Peters3b769832003-01-28 03:51:36 +0000720 for arg in args:
721 save(arg)
722 write(OBJ)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000723 else:
Tim Peters3b769832003-01-28 03:51:36 +0000724 for arg in args:
725 save(arg)
726 write(INST + cls.__module__ + '\n' + cls.__name__ + '\n')
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000727
Guido van Rossum3a41c612003-01-28 15:10:22 +0000728 self.memoize(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000729
730 try:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000731 getstate = obj.__getstate__
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000732 except AttributeError:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000733 stuff = obj.__dict__
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000734 else:
735 stuff = getstate()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000736 _keep_alive(stuff, memo)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000737 save(stuff)
738 write(BUILD)
Tim Peters3b769832003-01-28 03:51:36 +0000739
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000740 dispatch[InstanceType] = save_inst
741
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000742 def save_global(self, obj, name=None, pack=struct.pack):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000743 write = self.write
744 memo = self.memo
745
Tim Petersc32d8242001-04-10 02:48:53 +0000746 if name is None:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000747 name = obj.__name__
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000748
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000749 try:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000750 module = obj.__module__
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000751 except AttributeError:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000752 module = whichmodule(obj, name)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000753
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000754 try:
755 __import__(module)
756 mod = sys.modules[module]
757 klass = getattr(mod, name)
758 except (ImportError, KeyError, AttributeError):
759 raise PicklingError(
760 "Can't pickle %r: it's not found as %s.%s" %
Guido van Rossum3a41c612003-01-28 15:10:22 +0000761 (obj, module, name))
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000762 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000763 if klass is not obj:
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000764 raise PicklingError(
765 "Can't pickle %r: it's not the same object as %s.%s" %
Guido van Rossum3a41c612003-01-28 15:10:22 +0000766 (obj, module, name))
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000767
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000768 if self.proto >= 2:
769 code = extension_registry.get((module, name))
770 if code:
771 assert code > 0
772 if code <= 0xff:
773 write(EXT1 + chr(code))
774 elif code <= 0xffff:
Guido van Rossumba884f32003-01-29 20:14:23 +0000775 write("%c%c%c" % (EXT2, code&0xff, code>>8))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000776 else:
777 write(EXT4 + pack("<i", code))
778 return
779
Tim Peters518df0d2003-01-28 01:00:38 +0000780 write(GLOBAL + module + '\n' + name + '\n')
Guido van Rossum3a41c612003-01-28 15:10:22 +0000781 self.memoize(obj)
Tim Peters3b769832003-01-28 03:51:36 +0000782
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000783 dispatch[ClassType] = save_global
784 dispatch[FunctionType] = save_global
785 dispatch[BuiltinFunctionType] = save_global
Tim Peters6d6c1a32001-08-02 04:15:00 +0000786 dispatch[TypeType] = save_global
Guido van Rossum0c891ce1995-03-14 15:09:05 +0000787
Guido van Rossum1be31752003-01-28 15:19:53 +0000788# Pickling helpers
Guido van Rossuma48061a1995-01-10 00:31:14 +0000789
Guido van Rossumac5b5d22003-01-28 22:01:16 +0000790def _slotnames(cls):
791 """Return a list of slot names for a given class.
792
793 This needs to find slots defined by the class and its bases, so we
794 can't simply return the __slots__ attribute. We must walk down
795 the Method Resolution Order and concatenate the __slots__ of each
796 class found there. (This assumes classes don't modify their
797 __slots__ attribute to misrepresent their slots after the class is
798 defined.)
799 """
800 if not hasattr(cls, "__slots__"):
801 return []
802 names = []
803 for c in cls.__mro__:
804 if "__slots__" in c.__dict__:
805 names += list(c.__dict__["__slots__"])
806 return names
807
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000808def _keep_alive(x, memo):
809 """Keeps a reference to the object x in the memo.
810
811 Because we remember objects by their id, we have
812 to assure that possibly temporary objects are kept
813 alive by referencing them.
814 We store a reference at the id of the memo, which should
815 normally not be used unless someone tries to deepcopy
816 the memo itself...
817 """
818 try:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000819 memo[id(memo)].append(x)
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000820 except KeyError:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000821 # aha, this is the first one :-)
822 memo[id(memo)]=[x]
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000823
824
Tim Petersc0c12b52003-01-29 00:56:17 +0000825# A cache for whichmodule(), mapping a function object to the name of
826# the module in which the function was found.
827
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000828classmap = {} # called classmap for backwards compatibility
Guido van Rossuma48061a1995-01-10 00:31:14 +0000829
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000830def whichmodule(func, funcname):
831 """Figure out the module in which a function occurs.
Guido van Rossuma48061a1995-01-10 00:31:14 +0000832
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000833 Search sys.modules for the module.
834 Cache in classmap.
835 Return a module name.
Tim Petersc0c12b52003-01-29 00:56:17 +0000836 If the function cannot be found, return "__main__".
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000837 """
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000838 if func in classmap:
839 return classmap[func]
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000840
841 for name, module in sys.modules.items():
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000842 if module is None:
Jeremy Hylton065a5ab2002-09-19 22:57:26 +0000843 continue # skip dummy package entries
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000844 if name != '__main__' and \
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000845 hasattr(module, funcname) and \
846 getattr(module, funcname) is func:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000847 break
848 else:
849 name = '__main__'
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000850 classmap[func] = name
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000851 return name
Guido van Rossuma48061a1995-01-10 00:31:14 +0000852
853
Guido van Rossum1be31752003-01-28 15:19:53 +0000854# Unpickling machinery
855
Guido van Rossuma48061a1995-01-10 00:31:14 +0000856class Unpickler:
857
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000858 def __init__(self, file):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000859 """This takes a file-like object for reading a pickle data stream.
860
861 This class automatically determines whether the data stream was
862 written in binary mode or not, so it does not need a flag as in
863 the Pickler class factory.
864
865 The file-like object must have two methods, a read() method that
866 takes an integer argument, and a readline() method that requires no
867 arguments. Both methods should return a string. Thus file-like
868 object can be a file object opened for reading, a StringIO object,
869 or any other custom object that meets this interface.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000870 """
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000871 self.readline = file.readline
872 self.read = file.read
873 self.memo = {}
Guido van Rossuma48061a1995-01-10 00:31:14 +0000874
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000875 def load(self):
Guido van Rossum3a41c612003-01-28 15:10:22 +0000876 """Read a pickled object representation from the open file.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000877
Guido van Rossum3a41c612003-01-28 15:10:22 +0000878 Return the reconstituted object hierarchy specified in the file.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000879 """
Jeremy Hylton20747fa2001-11-09 16:15:04 +0000880 self.mark = object() # any new unique object
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000881 self.stack = []
882 self.append = self.stack.append
883 read = self.read
884 dispatch = self.dispatch
885 try:
886 while 1:
887 key = read(1)
888 dispatch[key](self)
Guido van Rossumff871742000-12-13 18:11:56 +0000889 except _Stop, stopinst:
890 return stopinst.value
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000891
Tim Petersc23d18a2003-01-28 01:41:51 +0000892 # Return largest index k such that self.stack[k] is self.mark.
893 # If the stack doesn't contain a mark, eventually raises IndexError.
894 # This could be sped by maintaining another stack, of indices at which
895 # the mark appears. For that matter, the latter stack would suffice,
896 # and we wouldn't need to push mark objects on self.stack at all.
897 # Doing so is probably a good thing, though, since if the pickle is
898 # corrupt (or hostile) we may get a clue from finding self.mark embedded
899 # in unpickled objects.
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000900 def marker(self):
901 stack = self.stack
902 mark = self.mark
903 k = len(stack)-1
904 while stack[k] is not mark: k = k-1
905 return k
906
907 dispatch = {}
908
909 def load_eof(self):
910 raise EOFError
911 dispatch[''] = load_eof
912
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000913 def load_proto(self):
914 proto = ord(self.read(1))
915 if not 0 <= proto <= 2:
916 raise ValueError, "unsupported pickle protocol: %d" % proto
917 dispatch[PROTO] = load_proto
918
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000919 def load_persid(self):
920 pid = self.readline()[:-1]
921 self.append(self.persistent_load(pid))
922 dispatch[PERSID] = load_persid
923
924 def load_binpersid(self):
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +0000925 pid = self.stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000926 self.append(self.persistent_load(pid))
927 dispatch[BINPERSID] = load_binpersid
928
929 def load_none(self):
930 self.append(None)
931 dispatch[NONE] = load_none
932
Guido van Rossum7d97d312003-01-28 04:25:27 +0000933 def load_false(self):
934 self.append(False)
935 dispatch[NEWFALSE] = load_false
936
937 def load_true(self):
938 self.append(True)
939 dispatch[NEWTRUE] = load_true
940
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000941 def load_int(self):
Tim Peters19ef62d2001-08-28 22:21:18 +0000942 data = self.readline()
Guido van Rossume2763392002-04-05 19:30:08 +0000943 if data == FALSE[1:]:
944 val = False
945 elif data == TRUE[1:]:
946 val = True
947 else:
948 try:
949 val = int(data)
950 except ValueError:
951 val = long(data)
952 self.append(val)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000953 dispatch[INT] = load_int
954
955 def load_binint(self):
956 self.append(mloads('i' + self.read(4)))
957 dispatch[BININT] = load_binint
958
959 def load_binint1(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +0000960 self.append(ord(self.read(1)))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000961 dispatch[BININT1] = load_binint1
962
963 def load_binint2(self):
964 self.append(mloads('i' + self.read(2) + '\000\000'))
965 dispatch[BININT2] = load_binint2
Tim Peters2344fae2001-01-15 00:50:52 +0000966
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000967 def load_long(self):
Guido van Rossumff871742000-12-13 18:11:56 +0000968 self.append(long(self.readline()[:-1], 0))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000969 dispatch[LONG] = load_long
970
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000971 def load_long1(self):
972 n = ord(self.read(1))
973 bytes = self.read(n)
974 return decode_long(bytes)
975 dispatch[LONG1] = load_long1
976
977 def load_long4(self):
978 n = mloads('i' + self.read(4))
979 bytes = self.read(n)
980 return decode_long(bytes)
981 dispatch[LONG4] = load_long4
982
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000983 def load_float(self):
Guido van Rossumff871742000-12-13 18:11:56 +0000984 self.append(float(self.readline()[:-1]))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000985 dispatch[FLOAT] = load_float
986
Guido van Rossumd3703791998-10-22 20:15:36 +0000987 def load_binfloat(self, unpack=struct.unpack):
988 self.append(unpack('>d', self.read(8))[0])
989 dispatch[BINFLOAT] = load_binfloat
990
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000991 def load_string(self):
Jeremy Hyltonbe467e52000-09-15 15:14:51 +0000992 rep = self.readline()[:-1]
Tim Petersad5a7712003-01-28 16:23:33 +0000993 for q in "\"'": # double or single quote
Martin v. Löwis8a8da792002-08-14 07:46:28 +0000994 if rep.startswith(q):
995 if not rep.endswith(q):
996 raise ValueError, "insecure string pickle"
997 rep = rep[len(q):-len(q)]
998 break
999 else:
Jeremy Hyltonbe467e52000-09-15 15:14:51 +00001000 raise ValueError, "insecure string pickle"
Martin v. Löwis8a8da792002-08-14 07:46:28 +00001001 self.append(rep.decode("string-escape"))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001002 dispatch[STRING] = load_string
1003
1004 def load_binstring(self):
1005 len = mloads('i' + self.read(4))
1006 self.append(self.read(len))
1007 dispatch[BINSTRING] = load_binstring
1008
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +00001009 def load_unicode(self):
1010 self.append(unicode(self.readline()[:-1],'raw-unicode-escape'))
1011 dispatch[UNICODE] = load_unicode
1012
1013 def load_binunicode(self):
1014 len = mloads('i' + self.read(4))
1015 self.append(unicode(self.read(len),'utf-8'))
1016 dispatch[BINUNICODE] = load_binunicode
1017
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001018 def load_short_binstring(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +00001019 len = ord(self.read(1))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001020 self.append(self.read(len))
1021 dispatch[SHORT_BINSTRING] = load_short_binstring
1022
1023 def load_tuple(self):
1024 k = self.marker()
1025 self.stack[k:] = [tuple(self.stack[k+1:])]
1026 dispatch[TUPLE] = load_tuple
1027
1028 def load_empty_tuple(self):
1029 self.stack.append(())
1030 dispatch[EMPTY_TUPLE] = load_empty_tuple
1031
Guido van Rossum44f0ea52003-01-28 04:14:51 +00001032 def load_tuple1(self):
1033 self.stack[-1] = (self.stack[-1],)
1034 dispatch[TUPLE1] = load_tuple1
1035
1036 def load_tuple2(self):
1037 self.stack[-2:] = [(self.stack[-2], self.stack[-1])]
1038 dispatch[TUPLE2] = load_tuple2
1039
1040 def load_tuple3(self):
1041 self.stack[-3:] = [(self.stack[-3], self.stack[-2], self.stack[-1])]
1042 dispatch[TUPLE3] = load_tuple3
1043
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001044 def load_empty_list(self):
1045 self.stack.append([])
1046 dispatch[EMPTY_LIST] = load_empty_list
1047
1048 def load_empty_dictionary(self):
1049 self.stack.append({})
1050 dispatch[EMPTY_DICT] = load_empty_dictionary
1051
1052 def load_list(self):
1053 k = self.marker()
1054 self.stack[k:] = [self.stack[k+1:]]
1055 dispatch[LIST] = load_list
1056
1057 def load_dict(self):
1058 k = self.marker()
1059 d = {}
1060 items = self.stack[k+1:]
1061 for i in range(0, len(items), 2):
1062 key = items[i]
1063 value = items[i+1]
1064 d[key] = value
1065 self.stack[k:] = [d]
1066 dispatch[DICT] = load_dict
1067
Tim Petersd01c1e92003-01-30 15:41:46 +00001068 # INST and OBJ differ only in how they get a class object. It's not
1069 # only sensible to do the rest in a common routine, the two routines
1070 # previously diverged and grew different bugs.
1071 # klass is the class to instantiate, and k points to the topmost mark
1072 # object, following which are the arguments for klass.__init__.
1073 def _instantiate(self, klass, k):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001074 args = tuple(self.stack[k+1:])
1075 del self.stack[k:]
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001076 instantiated = 0
Tim Petersd01c1e92003-01-30 15:41:46 +00001077 if (not args and
1078 type(klass) is ClassType and
1079 not hasattr(klass, "__getinitargs__")):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001080 try:
1081 value = _EmptyClass()
1082 value.__class__ = klass
Guido van Rossumb19e2a31998-04-13 18:08:45 +00001083 instantiated = 1
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001084 except RuntimeError:
1085 # In restricted execution, assignment to inst.__class__ is
1086 # prohibited
1087 pass
1088 if not instantiated:
Guido van Rossum743d17e1998-09-15 20:25:57 +00001089 try:
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001090 value = klass(*args)
Guido van Rossum743d17e1998-09-15 20:25:57 +00001091 except TypeError, err:
1092 raise TypeError, "in constructor for %s: %s" % (
1093 klass.__name__, str(err)), sys.exc_info()[2]
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001094 self.append(value)
Tim Petersd01c1e92003-01-30 15:41:46 +00001095
1096 def load_inst(self):
1097 module = self.readline()[:-1]
1098 name = self.readline()[:-1]
1099 klass = self.find_class(module, name)
1100 self._instantiate(klass, self.marker())
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001101 dispatch[INST] = load_inst
1102
1103 def load_obj(self):
Tim Petersd01c1e92003-01-30 15:41:46 +00001104 # Stack is ... markobject classobject arg1 arg2 ...
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001105 k = self.marker()
Tim Petersd01c1e92003-01-30 15:41:46 +00001106 klass = self.stack.pop(k+1)
1107 self._instantiate(klass, k)
Tim Peters2344fae2001-01-15 00:50:52 +00001108 dispatch[OBJ] = load_obj
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001109
Guido van Rossum3a41c612003-01-28 15:10:22 +00001110 def load_newobj(self):
1111 args = self.stack.pop()
1112 cls = self.stack[-1]
1113 obj = cls.__new__(cls, *args)
Guido van Rossum533dbcf2003-01-28 17:55:05 +00001114 self.stack[-1] = obj
Guido van Rossum3a41c612003-01-28 15:10:22 +00001115 dispatch[NEWOBJ] = load_newobj
1116
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001117 def load_global(self):
1118 module = self.readline()[:-1]
1119 name = self.readline()[:-1]
1120 klass = self.find_class(module, name)
1121 self.append(klass)
1122 dispatch[GLOBAL] = load_global
1123
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001124 def load_ext1(self):
1125 code = ord(self.read(1))
1126 self.get_extension(code)
1127 dispatch[EXT1] = load_ext1
1128
1129 def load_ext2(self):
1130 code = mloads('i' + self.read(2) + '\000\000')
1131 self.get_extension(code)
1132 dispatch[EXT2] = load_ext2
1133
1134 def load_ext4(self):
1135 code = mloads('i' + self.read(4))
1136 self.get_extension(code)
1137 dispatch[EXT4] = load_ext4
1138
1139 def get_extension(self, code):
1140 nil = []
1141 obj = extension_cache.get(code, nil)
1142 if obj is not nil:
1143 self.append(obj)
1144 return
1145 key = inverted_registry.get(code)
1146 if not key:
1147 raise ValueError("unregistered extension code %d" % code)
1148 obj = self.find_class(*key)
1149 extension_cache[code] = obj
1150 self.append(obj)
1151
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001152 def find_class(self, module, name):
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001153 # Subclasses may override this
Barry Warsawbf4d9592001-11-15 23:42:58 +00001154 __import__(module)
1155 mod = sys.modules[module]
1156 klass = getattr(mod, name)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001157 return klass
1158
1159 def load_reduce(self):
1160 stack = self.stack
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001161 args = stack.pop()
1162 func = stack[-1]
1163 if args is None:
Guido van Rossumbc64e222003-01-28 16:34:19 +00001164 # A hack for Jim Fulton's ExtensionClass, now deprecated
1165 warnings.warn("__basicnew__ special case is deprecated",
Tim Peters8ac14952002-05-23 15:15:30 +00001166 DeprecationWarning)
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001167 value = func.__basicnew__()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001168 else:
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001169 value = func(*args)
1170 stack[-1] = value
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001171 dispatch[REDUCE] = load_reduce
Guido van Rossuma48061a1995-01-10 00:31:14 +00001172
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001173 def load_pop(self):
1174 del self.stack[-1]
1175 dispatch[POP] = load_pop
Guido van Rossum7b5430f1995-03-04 22:25:21 +00001176
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001177 def load_pop_mark(self):
1178 k = self.marker()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001179 del self.stack[k:]
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001180 dispatch[POP_MARK] = load_pop_mark
Guido van Rossuma48061a1995-01-10 00:31:14 +00001181
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001182 def load_dup(self):
Guido van Rossumb1062fc1998-03-31 17:00:46 +00001183 self.append(self.stack[-1])
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001184 dispatch[DUP] = load_dup
Guido van Rossuma48061a1995-01-10 00:31:14 +00001185
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001186 def load_get(self):
1187 self.append(self.memo[self.readline()[:-1]])
1188 dispatch[GET] = load_get
Guido van Rossum78536471996-04-12 13:36:27 +00001189
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001190 def load_binget(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +00001191 i = ord(self.read(1))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001192 self.append(self.memo[`i`])
1193 dispatch[BINGET] = load_binget
Guido van Rossum78536471996-04-12 13:36:27 +00001194
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001195 def load_long_binget(self):
1196 i = mloads('i' + self.read(4))
1197 self.append(self.memo[`i`])
1198 dispatch[LONG_BINGET] = load_long_binget
Guido van Rossum78536471996-04-12 13:36:27 +00001199
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001200 def load_put(self):
1201 self.memo[self.readline()[:-1]] = self.stack[-1]
1202 dispatch[PUT] = load_put
Guido van Rossuma48061a1995-01-10 00:31:14 +00001203
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001204 def load_binput(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +00001205 i = ord(self.read(1))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001206 self.memo[`i`] = self.stack[-1]
1207 dispatch[BINPUT] = load_binput
Guido van Rossuma48061a1995-01-10 00:31:14 +00001208
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001209 def load_long_binput(self):
1210 i = mloads('i' + self.read(4))
1211 self.memo[`i`] = self.stack[-1]
1212 dispatch[LONG_BINPUT] = load_long_binput
Guido van Rossuma48061a1995-01-10 00:31:14 +00001213
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001214 def load_append(self):
1215 stack = self.stack
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001216 value = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001217 list = stack[-1]
1218 list.append(value)
1219 dispatch[APPEND] = load_append
Guido van Rossuma48061a1995-01-10 00:31:14 +00001220
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001221 def load_appends(self):
1222 stack = self.stack
1223 mark = self.marker()
1224 list = stack[mark - 1]
Tim Peters209ad952003-01-28 01:44:45 +00001225 list.extend(stack[mark + 1:])
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001226 del stack[mark:]
1227 dispatch[APPENDS] = load_appends
Tim Peters2344fae2001-01-15 00:50:52 +00001228
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001229 def load_setitem(self):
1230 stack = self.stack
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001231 value = stack.pop()
1232 key = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001233 dict = stack[-1]
1234 dict[key] = value
1235 dispatch[SETITEM] = load_setitem
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001236
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001237 def load_setitems(self):
1238 stack = self.stack
1239 mark = self.marker()
1240 dict = stack[mark - 1]
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001241 for i in range(mark + 1, len(stack), 2):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001242 dict[stack[i]] = stack[i + 1]
Guido van Rossuma48061a1995-01-10 00:31:14 +00001243
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001244 del stack[mark:]
1245 dispatch[SETITEMS] = load_setitems
Guido van Rossuma48061a1995-01-10 00:31:14 +00001246
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001247 def load_build(self):
1248 stack = self.stack
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001249 state = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001250 inst = stack[-1]
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001251 setstate = getattr(inst, "__setstate__", None)
1252 if setstate:
1253 setstate(state)
1254 return
1255 slotstate = None
1256 if isinstance(state, tuple) and len(state) == 2:
1257 state, slotstate = state
1258 if state:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001259 try:
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001260 inst.__dict__.update(state)
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001261 except RuntimeError:
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001262 # XXX In restricted execution, the instance's __dict__
1263 # is not accessible. Use the old way of unpickling
1264 # the instance variables. This is a semantic
1265 # difference when unpickling in restricted
1266 # vs. unrestricted modes.
1267 for k, v in state.items():
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001268 setattr(inst, k, v)
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001269 if slotstate:
1270 for k, v in slotstate.items():
1271 setattr(inst, k, v)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001272 dispatch[BUILD] = load_build
Guido van Rossuma48061a1995-01-10 00:31:14 +00001273
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001274 def load_mark(self):
1275 self.append(self.mark)
1276 dispatch[MARK] = load_mark
Guido van Rossuma48061a1995-01-10 00:31:14 +00001277
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001278 def load_stop(self):
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001279 value = self.stack.pop()
Guido van Rossumff871742000-12-13 18:11:56 +00001280 raise _Stop(value)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001281 dispatch[STOP] = load_stop
Guido van Rossuma48061a1995-01-10 00:31:14 +00001282
Guido van Rossume467be61997-12-05 19:42:42 +00001283# Helper class for load_inst/load_obj
1284
1285class _EmptyClass:
1286 pass
Guido van Rossuma48061a1995-01-10 00:31:14 +00001287
Tim Peters91149822003-01-31 03:43:58 +00001288# Encode/decode longs in linear time.
1289
1290import binascii as _binascii
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001291
1292def encode_long(x):
Tim Peters91149822003-01-31 03:43:58 +00001293 r"""Encode a long to a two's complement little-endian binary string.
Tim Peters4b23f2b2003-01-31 16:43:39 +00001294 Note that 0L is a special case, returning an empty string, to save a
1295 byte in the LONG1 pickling context.
1296
1297 >>> encode_long(0L)
1298 ''
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001299 >>> encode_long(255L)
1300 '\xff\x00'
1301 >>> encode_long(32767L)
1302 '\xff\x7f'
1303 >>> encode_long(-256L)
1304 '\x00\xff'
1305 >>> encode_long(-32768L)
1306 '\x00\x80'
1307 >>> encode_long(-128L)
1308 '\x80'
1309 >>> encode_long(127L)
1310 '\x7f'
1311 >>>
1312 """
Tim Peters91149822003-01-31 03:43:58 +00001313
1314 if x == 0:
Tim Peters4b23f2b2003-01-31 16:43:39 +00001315 return ''
Tim Peters91149822003-01-31 03:43:58 +00001316 if x > 0:
1317 ashex = hex(x)
1318 assert ashex.startswith("0x")
1319 njunkchars = 2 + ashex.endswith('L')
1320 nibbles = len(ashex) - njunkchars
1321 if nibbles & 1:
1322 # need an even # of nibbles for unhexlify
1323 ashex = "0x0" + ashex[2:]
Tim Peters4b23f2b2003-01-31 16:43:39 +00001324 elif int(ashex[2], 16) >= 8:
Tim Peters91149822003-01-31 03:43:58 +00001325 # "looks negative", so need a byte of sign bits
1326 ashex = "0x00" + ashex[2:]
1327 else:
1328 # Build the 256's-complement: (1L << nbytes) + x. The trick is
1329 # to find the number of bytes in linear time (although that should
1330 # really be a constant-time task).
1331 ashex = hex(-x)
1332 assert ashex.startswith("0x")
1333 njunkchars = 2 + ashex.endswith('L')
1334 nibbles = len(ashex) - njunkchars
1335 if nibbles & 1:
1336 # need an even # of nibbles for unhexlify
1337 nibbles += 1
Tim Peters4b23f2b2003-01-31 16:43:39 +00001338 nbits = nibbles * 4
1339 x += 1L << nbits
Tim Peters91149822003-01-31 03:43:58 +00001340 assert x > 0
1341 ashex = hex(x)
Tim Peters4b23f2b2003-01-31 16:43:39 +00001342 if x >> (nbits - 1) == 0:
Tim Peters91149822003-01-31 03:43:58 +00001343 # "looks positive", so need a byte of sign bits
1344 ashex = "0xff" + x[2:]
1345
1346 if ashex.endswith('L'):
1347 ashex = ashex[2:-1]
1348 else:
1349 ashex = ashex[2:]
1350 assert len(ashex) & 1 == 0
1351 binary = _binascii.unhexlify(ashex)
1352 return binary[::-1]
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001353
1354def decode_long(data):
1355 r"""Decode a long from a two's complement little-endian binary string.
Tim Peters4b23f2b2003-01-31 16:43:39 +00001356
1357 >>> decode_long('')
1358 0L
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001359 >>> decode_long("\xff\x00")
1360 255L
1361 >>> decode_long("\xff\x7f")
1362 32767L
1363 >>> decode_long("\x00\xff")
1364 -256L
1365 >>> decode_long("\x00\x80")
1366 -32768L
1367 >>> decode_long("\x80")
1368 -128L
1369 >>> decode_long("\x7f")
1370 127L
1371 """
Tim Peters91149822003-01-31 03:43:58 +00001372
Tim Peters4b23f2b2003-01-31 16:43:39 +00001373 nbytes = len(data)
1374 if nbytes == 0:
1375 return 0L
Tim Peters91149822003-01-31 03:43:58 +00001376 ashex = _binascii.hexlify(data[::-1])
1377 n = long(ashex, 16)
1378 if data[-1] >= '\x80':
Tim Peters4b23f2b2003-01-31 16:43:39 +00001379 n -= 1L << (nbytes * 8)
Tim Peters91149822003-01-31 03:43:58 +00001380 return n
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001381
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001382# Shorthands
1383
Jeremy Hyltonabe2c622001-10-15 21:29:28 +00001384try:
1385 from cStringIO import StringIO
1386except ImportError:
1387 from StringIO import StringIO
Guido van Rossumc7c5e691996-07-22 22:26:07 +00001388
Guido van Rossum3a41c612003-01-28 15:10:22 +00001389def dump(obj, file, proto=1):
1390 Pickler(file, proto).dump(obj)
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001391
Guido van Rossum3a41c612003-01-28 15:10:22 +00001392def dumps(obj, proto=1):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001393 file = StringIO()
Guido van Rossum3a41c612003-01-28 15:10:22 +00001394 Pickler(file, proto).dump(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001395 return file.getvalue()
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001396
1397def load(file):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001398 return Unpickler(file).load()
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001399
1400def loads(str):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001401 file = StringIO(str)
1402 return Unpickler(file).load()
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001403
1404# Doctest
1405
1406def _test():
1407 import doctest
1408 return doctest.testmod()
1409
1410if __name__ == "__main__":
1411 _test()