blob: 1b3196ff753f67fbbab10c0f8bda5f57197e3333 [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.
Georg Brandldffbf5f2008-05-20 07:49:57 +00004See 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
Senthil Kumaran4af1c6a2011-07-28 22:30:27 +080027__version__ = "$Revision: 72223 $" # Code version
Guido van Rossuma48061a1995-01-10 00:31:14 +000028
29from types import *
Georg Brandldffbf5f2008-05-20 07:49:57 +000030from copy_reg import dispatch_table
31from 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 Rossuma48061a1995-01-10 00:31:14 +000036
Skip Montanaro352674d2001-02-07 23:14:30 +000037__all__ = ["PickleError", "PicklingError", "UnpicklingError", "Pickler",
38 "Unpickler", "dump", "dumps", "load", "loads"]
39
Tim Petersc0c12b52003-01-29 00:56:17 +000040# These are purely informational; no code uses these.
Guido van Rossumf29d3d62003-01-27 22:47:53 +000041format_version = "2.0" # File format version we write
42compatible_formats = ["1.0", # Original protocol 0
Guido van Rossumbc64e222003-01-28 16:34:19 +000043 "1.1", # Protocol 0 with INST added
Guido van Rossumf29d3d62003-01-27 22:47:53 +000044 "1.2", # Original protocol 1
45 "1.3", # Protocol 1 with BINFLOAT added
46 "2.0", # Protocol 2
47 ] # Old format versions we can read
Guido van Rossumb72cf2d1997-04-09 17:32:51 +000048
Tim Peters8587b3c2003-02-13 15:44:41 +000049# Keep in synch with cPickle. This is the highest protocol number we
50# know how to read.
51HIGHEST_PROTOCOL = 2
52
Guido van Rossume0b90422003-01-28 03:17:21 +000053# Why use struct.pack() for pickling but marshal.loads() for
Tim Petersc0c12b52003-01-29 00:56:17 +000054# unpickling? struct.pack() is 40% faster than marshal.dumps(), but
Guido van Rossume0b90422003-01-28 03:17:21 +000055# marshal.loads() is twice as fast as struct.unpack()!
Guido van Rossumb72cf2d1997-04-09 17:32:51 +000056mloads = marshal.loads
Guido van Rossum0c891ce1995-03-14 15:09:05 +000057
Raymond Hettingeraef22fb2002-05-29 16:18:42 +000058class PickleError(Exception):
Neal Norwitzefbb67b2002-05-30 12:12:04 +000059 """A common base class for the other pickling exceptions."""
Raymond Hettingeraef22fb2002-05-29 16:18:42 +000060 pass
61
62class PicklingError(PickleError):
63 """This exception is raised when an unpicklable object is passed to the
64 dump() method.
65
66 """
67 pass
68
69class UnpicklingError(PickleError):
70 """This exception is raised when there is a problem unpickling an object,
71 such as a security violation.
72
73 Note that other exceptions may also be raised during unpickling, including
74 (but not necessarily limited to) AttributeError, EOFError, ImportError,
75 and IndexError.
76
77 """
78 pass
Guido van Rossum7849da81995-03-09 14:08:35 +000079
Tim Petersc0c12b52003-01-29 00:56:17 +000080# An instance of _Stop is raised by Unpickler.load_stop() in response to
81# the STOP opcode, passing the object that is the result of unpickling.
Guido van Rossumff871742000-12-13 18:11:56 +000082class _Stop(Exception):
83 def __init__(self, value):
84 self.value = value
85
Guido van Rossum533dbcf2003-01-28 17:55:05 +000086# Jython has PyStringMap; it's a dict subclass with string keys
Jeremy Hylton2b9d0291998-05-27 22:38:22 +000087try:
88 from org.python.core import PyStringMap
89except ImportError:
90 PyStringMap = None
91
Guido van Rossum533dbcf2003-01-28 17:55:05 +000092# UnicodeType may or may not be exported (normally imported from types)
Guido van Rossumdbb718f2001-09-21 19:22:34 +000093try:
94 UnicodeType
95except NameError:
96 UnicodeType = None
97
Tim Peters22a449a2003-01-27 20:16:36 +000098# Pickle opcodes. See pickletools.py for extensive docs. The listing
99# here is in kind-of alphabetical order of 1-character pickle code.
100# pickletools groups them by purpose.
Guido van Rossumdbb718f2001-09-21 19:22:34 +0000101
Tim Peters22a449a2003-01-27 20:16:36 +0000102MARK = '(' # push special markobject on stack
103STOP = '.' # every pickle ends with STOP
104POP = '0' # discard topmost stack item
105POP_MARK = '1' # discard stack top through topmost markobject
106DUP = '2' # duplicate top stack item
107FLOAT = 'F' # push float object; decimal string argument
108INT = 'I' # push integer or bool; decimal string argument
109BININT = 'J' # push four-byte signed int
110BININT1 = 'K' # push 1-byte unsigned int
111LONG = 'L' # push long; decimal string argument
112BININT2 = 'M' # push 2-byte unsigned int
113NONE = 'N' # push None
114PERSID = 'P' # push persistent object; id is taken from string arg
115BINPERSID = 'Q' # " " " ; " " " " stack
116REDUCE = 'R' # apply callable to argtuple, both on stack
117STRING = 'S' # push string; NL-terminated string argument
118BINSTRING = 'T' # push string; counted binary string argument
119SHORT_BINSTRING = 'U' # " " ; " " " " < 256 bytes
120UNICODE = 'V' # push Unicode string; raw-unicode-escaped'd argument
121BINUNICODE = 'X' # " " " ; counted UTF-8 string argument
122APPEND = 'a' # append stack top to list below it
123BUILD = 'b' # call __setstate__ or __dict__.update()
124GLOBAL = 'c' # push self.find_class(modname, name); 2 string args
125DICT = 'd' # build a dict from stack items
126EMPTY_DICT = '}' # push empty dict
127APPENDS = 'e' # extend list on stack by topmost stack slice
128GET = 'g' # push item from memo on stack; index is string arg
129BINGET = 'h' # " " " " " " ; " " 1-byte arg
130INST = 'i' # build & push class instance
131LONG_BINGET = 'j' # push item from memo on stack; index is 4-byte arg
132LIST = 'l' # build list from topmost stack items
133EMPTY_LIST = ']' # push empty list
134OBJ = 'o' # build & push class instance
135PUT = 'p' # store stack top in memo; index is string arg
136BINPUT = 'q' # " " " " " ; " " 1-byte arg
137LONG_BINPUT = 'r' # " " " " " ; " " 4-byte arg
138SETITEM = 's' # add key+value pair to dict
139TUPLE = 't' # build tuple from topmost stack items
140EMPTY_TUPLE = ')' # push empty tuple
141SETITEMS = 'u' # modify dict by adding topmost key+value pairs
142BINFLOAT = 'G' # push float; arg is 8-byte float encoding
143
144TRUE = 'I01\n' # not an opcode; see INT docs in pickletools.py
145FALSE = 'I00\n' # not an opcode; see INT docs in pickletools.py
Guido van Rossum77f6a652002-04-03 22:41:51 +0000146
Guido van Rossum586c9e82003-01-29 06:16:12 +0000147# Protocol 2
Guido van Rossum5a2d8f52003-01-27 21:44:25 +0000148
Tim Peterse1054782003-01-28 00:22:12 +0000149PROTO = '\x80' # identify pickle protocol
150NEWOBJ = '\x81' # build object by applying cls.__new__ to argtuple
151EXT1 = '\x82' # push object from extension registry; 1-byte index
152EXT2 = '\x83' # ditto, but 2-byte index
153EXT4 = '\x84' # ditto, but 4-byte index
154TUPLE1 = '\x85' # build 1-tuple from stack top
155TUPLE2 = '\x86' # build 2-tuple from two topmost stack items
156TUPLE3 = '\x87' # build 3-tuple from three topmost stack items
157NEWTRUE = '\x88' # push True
158NEWFALSE = '\x89' # push False
159LONG1 = '\x8a' # push long from < 256 bytes
160LONG4 = '\x8b' # push really big long
Guido van Rossum5a2d8f52003-01-27 21:44:25 +0000161
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000162_tuplesize2code = [EMPTY_TUPLE, TUPLE1, TUPLE2, TUPLE3]
163
Guido van Rossuma48061a1995-01-10 00:31:14 +0000164
Skip Montanaro23bafc62001-02-18 03:10:09 +0000165__all__.extend([x for x in dir() if re.match("[A-Z][A-Z0-9_]+$",x)])
Neal Norwitzd5ba4ae2002-02-11 18:12:06 +0000166del x
Skip Montanaro23bafc62001-02-18 03:10:09 +0000167
Guido van Rossum1be31752003-01-28 15:19:53 +0000168
169# Pickling machinery
170
Guido van Rossuma48061a1995-01-10 00:31:14 +0000171class Pickler:
172
Raymond Hettinger3489cad2004-12-05 05:20:42 +0000173 def __init__(self, file, protocol=None):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000174 """This takes a file-like object for writing a pickle data stream.
175
Guido van Rossumcf117b02003-02-09 17:19:41 +0000176 The optional protocol argument tells the pickler to use the
177 given protocol; supported protocols are 0, 1, 2. The default
Guido van Rossum7eff63a2003-01-31 19:42:31 +0000178 protocol is 0, to be backwards compatible. (Protocol 0 is the
179 only protocol that can be written to a file opened in text
Tim Peters5bd2a792003-02-01 16:45:06 +0000180 mode and read back successfully. When using a protocol higher
181 than 0, make sure the file is opened in binary mode, both when
182 pickling and unpickling.)
Guido van Rossumf29d3d62003-01-27 22:47:53 +0000183
184 Protocol 1 is more efficient than protocol 0; protocol 2 is
Guido van Rossum7eff63a2003-01-31 19:42:31 +0000185 more efficient than protocol 1.
Guido van Rossumf29d3d62003-01-27 22:47:53 +0000186
Guido van Rossum7eff63a2003-01-31 19:42:31 +0000187 Specifying a negative protocol version selects the highest
Tim Peters5bd2a792003-02-01 16:45:06 +0000188 protocol version supported. The higher the protocol used, the
189 more recent the version of Python needed to read the pickle
190 produced.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000191
192 The file parameter must have a write() method that accepts a single
193 string argument. It can thus be an open file object, a StringIO
194 object, or any other custom object that meets this interface.
195
196 """
Guido van Rossumcf117b02003-02-09 17:19:41 +0000197 if protocol is None:
198 protocol = 0
199 if protocol < 0:
Tim Peters8587b3c2003-02-13 15:44:41 +0000200 protocol = HIGHEST_PROTOCOL
201 elif not 0 <= protocol <= HIGHEST_PROTOCOL:
202 raise ValueError("pickle protocol must be <= %d" % HIGHEST_PROTOCOL)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000203 self.write = file.write
204 self.memo = {}
Guido van Rossumcf117b02003-02-09 17:19:41 +0000205 self.proto = int(protocol)
206 self.bin = protocol >= 1
Guido van Rossum5d9113d2003-01-29 17:58:45 +0000207 self.fast = 0
Guido van Rossuma48061a1995-01-10 00:31:14 +0000208
Fred Drake7f781c92002-05-01 20:33:53 +0000209 def clear_memo(self):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000210 """Clears the pickler's "memo".
211
212 The memo is the data structure that remembers which objects the
Tim Petersb377f8a2003-01-28 00:23:36 +0000213 pickler has already seen, so that shared or recursive objects are
214 pickled by reference and not by value. This method is useful when
215 re-using picklers.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000216
217 """
Fred Drake7f781c92002-05-01 20:33:53 +0000218 self.memo.clear()
219
Guido van Rossum3a41c612003-01-28 15:10:22 +0000220 def dump(self, obj):
Tim Peters5bd2a792003-02-01 16:45:06 +0000221 """Write a pickled representation of obj to the open file."""
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000222 if self.proto >= 2:
223 self.write(PROTO + chr(self.proto))
Guido van Rossum3a41c612003-01-28 15:10:22 +0000224 self.save(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000225 self.write(STOP)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000226
Jeremy Hylton3422c992003-01-24 19:29:52 +0000227 def memoize(self, obj):
228 """Store an object in the memo."""
229
Tim Peterse46b73f2003-01-27 21:22:10 +0000230 # The Pickler memo is a dictionary mapping object ids to 2-tuples
231 # that contain the Unpickler memo key and the object being memoized.
232 # The memo key is written to the pickle and will become
Jeremy Hylton3422c992003-01-24 19:29:52 +0000233 # the key in the Unpickler's memo. The object is stored in the
Tim Peterse46b73f2003-01-27 21:22:10 +0000234 # Pickler memo so that transient objects are kept alive during
235 # pickling.
Jeremy Hylton3422c992003-01-24 19:29:52 +0000236
Tim Peterse46b73f2003-01-27 21:22:10 +0000237 # The use of the Unpickler memo length as the memo key is just a
238 # convention. The only requirement is that the memo values be unique.
239 # But there appears no advantage to any other scheme, and this
Tim Peterscbd0a322003-01-28 00:24:43 +0000240 # scheme allows the Unpickler memo to be implemented as a plain (but
Tim Peterse46b73f2003-01-27 21:22:10 +0000241 # growable) array, indexed by memo key.
Guido van Rossum5d9113d2003-01-29 17:58:45 +0000242 if self.fast:
243 return
Guido van Rossum9b40e802003-01-30 06:37:41 +0000244 assert id(obj) not in self.memo
Jeremy Hylton3422c992003-01-24 19:29:52 +0000245 memo_len = len(self.memo)
246 self.write(self.put(memo_len))
Tim Peters518df0d2003-01-28 01:00:38 +0000247 self.memo[id(obj)] = memo_len, obj
Jeremy Hylton3422c992003-01-24 19:29:52 +0000248
Tim Petersbb38e302003-01-27 21:25:41 +0000249 # Return a PUT (BINPUT, LONG_BINPUT) opcode string, with argument i.
Guido van Rossum5c938d02003-01-28 03:03:08 +0000250 def put(self, i, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000251 if self.bin:
Tim Petersc32d8242001-04-10 02:48:53 +0000252 if i < 256:
Guido van Rossum5c938d02003-01-28 03:03:08 +0000253 return BINPUT + chr(i)
254 else:
255 return LONG_BINPUT + pack("<i", i)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000256
Walter Dörwald70a6b492004-02-12 17:35:32 +0000257 return PUT + repr(i) + '\n'
Guido van Rossuma48061a1995-01-10 00:31:14 +0000258
Tim Petersbb38e302003-01-27 21:25:41 +0000259 # Return a GET (BINGET, LONG_BINGET) opcode string, with argument i.
Guido van Rossum5c938d02003-01-28 03:03:08 +0000260 def get(self, i, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000261 if self.bin:
Tim Petersc32d8242001-04-10 02:48:53 +0000262 if i < 256:
Guido van Rossum5c938d02003-01-28 03:03:08 +0000263 return BINGET + chr(i)
264 else:
265 return LONG_BINGET + pack("<i", i)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000266
Walter Dörwald70a6b492004-02-12 17:35:32 +0000267 return GET + repr(i) + '\n'
Tim Peters2344fae2001-01-15 00:50:52 +0000268
Guido van Rossumac5b5d22003-01-28 22:01:16 +0000269 def save(self, obj):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000270 # Check for persistent id (defined by a subclass)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000271 pid = self.persistent_id(obj)
Alexandre Vassalotti1d3a1732013-11-30 13:24:13 -0800272 if pid is not None:
Jeremy Hylton5e0f4e72002-11-13 22:01:27 +0000273 self.save_pers(pid)
274 return
Guido van Rossuma48061a1995-01-10 00:31:14 +0000275
Guido van Rossumbc64e222003-01-28 16:34:19 +0000276 # Check the memo
277 x = self.memo.get(id(obj))
278 if x:
279 self.write(self.get(x[0]))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000280 return
281
Guido van Rossumbc64e222003-01-28 16:34:19 +0000282 # Check the type dispatch table
Guido van Rossum3a41c612003-01-28 15:10:22 +0000283 t = type(obj)
Guido van Rossumbc64e222003-01-28 16:34:19 +0000284 f = self.dispatch.get(t)
285 if f:
286 f(self, obj) # Call unbound method with explicit self
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000287 return
288
Georg Brandldffbf5f2008-05-20 07:49:57 +0000289 # Check copy_reg.dispatch_table
Guido van Rossumbc64e222003-01-28 16:34:19 +0000290 reduce = dispatch_table.get(t)
Guido van Rossumc53f0092003-02-18 22:05:12 +0000291 if reduce:
292 rv = reduce(obj)
293 else:
Antoine Pitrou561a8212011-10-04 09:34:48 +0200294 # Check for a class with a custom metaclass; treat as regular class
295 try:
296 issc = issubclass(t, TypeType)
297 except TypeError: # t is not a class (old Boost; see SF #502085)
298 issc = 0
299 if issc:
300 self.save_global(obj)
301 return
302
Guido van Rossumc53f0092003-02-18 22:05:12 +0000303 # Check for a __reduce_ex__ method, fall back to __reduce__
304 reduce = getattr(obj, "__reduce_ex__", None)
305 if reduce:
306 rv = reduce(self.proto)
307 else:
308 reduce = getattr(obj, "__reduce__", None)
309 if reduce:
310 rv = reduce()
311 else:
312 raise PicklingError("Can't pickle %r object: %r" %
313 (t.__name__, obj))
Tim Petersb32a8312003-01-28 00:48:09 +0000314
Guido van Rossumbc64e222003-01-28 16:34:19 +0000315 # Check for string returned by reduce(), meaning "save as global"
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000316 if type(rv) is StringType:
Guido van Rossumbc64e222003-01-28 16:34:19 +0000317 self.save_global(obj, rv)
Tim Petersb32a8312003-01-28 00:48:09 +0000318 return
319
Guido van Rossumbc64e222003-01-28 16:34:19 +0000320 # Assert that reduce() returned a tuple
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000321 if type(rv) is not TupleType:
Guido van Rossumbc64e222003-01-28 16:34:19 +0000322 raise PicklingError("%s must return string or tuple" % reduce)
Tim Petersb32a8312003-01-28 00:48:09 +0000323
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000324 # Assert that it returned an appropriately sized tuple
Guido van Rossumbc64e222003-01-28 16:34:19 +0000325 l = len(rv)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000326 if not (2 <= l <= 5):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000327 raise PicklingError("Tuple returned by %s must have "
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000328 "two to five elements" % reduce)
Tim Petersb32a8312003-01-28 00:48:09 +0000329
Guido van Rossumbc64e222003-01-28 16:34:19 +0000330 # Save the reduce() output and finally memoize the object
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000331 self.save_reduce(obj=obj, *rv)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000332
Guido van Rossum3a41c612003-01-28 15:10:22 +0000333 def persistent_id(self, obj):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000334 # This exists so a subclass can override it
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000335 return None
336
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000337 def save_pers(self, pid):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000338 # Save a persistent id reference
Tim Petersbd1cdb92003-01-28 01:03:10 +0000339 if self.bin:
Jeremy Hylton5e0f4e72002-11-13 22:01:27 +0000340 self.save(pid)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000341 self.write(BINPERSID)
Tim Petersbd1cdb92003-01-28 01:03:10 +0000342 else:
343 self.write(PERSID + str(pid) + '\n')
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000344
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000345 def save_reduce(self, func, args, state=None,
346 listitems=None, dictitems=None, obj=None):
Jeremy Hyltone3a565e2003-06-29 16:59:59 +0000347 # This API is called by some subclasses
Guido van Rossumbc64e222003-01-28 16:34:19 +0000348
349 # Assert that args is a tuple or None
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000350 if not isinstance(args, TupleType):
Raymond Hettingera6b45cc2004-12-07 07:05:57 +0000351 raise PicklingError("args from reduce() should be a tuple")
Guido van Rossumbc64e222003-01-28 16:34:19 +0000352
353 # Assert that func is callable
Brett Cannon211b3cd2008-08-04 21:34:34 +0000354 if not hasattr(func, '__call__'):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000355 raise PicklingError("func from reduce should be callable")
356
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000357 save = self.save
Guido van Rossumbc64e222003-01-28 16:34:19 +0000358 write = self.write
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000359
Guido van Rossumd053b4b2003-01-31 16:51:45 +0000360 # Protocol 2 special case: if func's name is __newobj__, use NEWOBJ
361 if self.proto >= 2 and getattr(func, "__name__", "") == "__newobj__":
362 # A __reduce__ implementation can direct protocol 2 to
363 # use the more efficient NEWOBJ opcode, while still
364 # allowing protocol 0 and 1 to work normally. For this to
365 # work, the function returned by __reduce__ should be
366 # called __newobj__, and its first argument should be a
367 # new-style class. The implementation for __newobj__
368 # should be as follows, although pickle has no way to
369 # verify this:
370 #
371 # def __newobj__(cls, *args):
372 # return cls.__new__(cls, *args)
373 #
374 # Protocols 0 and 1 will pickle a reference to __newobj__,
375 # while protocol 2 (and above) will pickle a reference to
376 # cls, the remaining args tuple, and the NEWOBJ code,
377 # which calls cls.__new__(cls, *args) at unpickling time
378 # (see load_newobj below). If __reduce__ returns a
379 # three-tuple, the state from the third tuple item will be
380 # pickled regardless of the protocol, calling __setstate__
381 # at unpickling time (see load_build below).
382 #
383 # Note that no standard __newobj__ implementation exists;
384 # you have to provide your own. This is to enforce
385 # compatibility with Python 2.2 (pickles written using
386 # protocol 0 or 1 in Python 2.3 should be unpicklable by
387 # Python 2.2).
388 cls = args[0]
389 if not hasattr(cls, "__new__"):
390 raise PicklingError(
391 "args[0] from __newobj__ args has no __new__")
Guido van Rossumf7f45172003-01-31 17:17:49 +0000392 if obj is not None and cls is not obj.__class__:
393 raise PicklingError(
394 "args[0] from __newobj__ args has the wrong class")
Guido van Rossumd053b4b2003-01-31 16:51:45 +0000395 args = args[1:]
396 save(cls)
397 save(args)
398 write(NEWOBJ)
399 else:
400 save(func)
401 save(args)
402 write(REDUCE)
Tim Peters2344fae2001-01-15 00:50:52 +0000403
Guido van Rossumf7f45172003-01-31 17:17:49 +0000404 if obj is not None:
Serhiy Storchakada87e452015-11-07 11:15:32 +0200405 # If the object is already in the memo, this means it is
406 # recursive. In this case, throw away everything we put on the
407 # stack, and fetch the object back from the memo.
408 if id(obj) in self.memo:
409 write(POP + self.get(self.memo[id(obj)][0]))
410 else:
411 self.memoize(obj)
Guido van Rossumf7f45172003-01-31 17:17:49 +0000412
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000413 # More new special cases (that work with older protocols as
414 # well): when __reduce__ returns a tuple with 4 or 5 items,
415 # the 4th and 5th item should be iterators that provide list
416 # items and dict items (as (key, value) tuples), or None.
417
418 if listitems is not None:
419 self._batch_appends(listitems)
420
421 if dictitems is not None:
422 self._batch_setitems(dictitems)
423
Tim Petersc32d8242001-04-10 02:48:53 +0000424 if state is not None:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000425 save(state)
426 write(BUILD)
427
Guido van Rossumbc64e222003-01-28 16:34:19 +0000428 # Methods below this point are dispatched through the dispatch table
429
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000430 dispatch = {}
431
Guido van Rossum3a41c612003-01-28 15:10:22 +0000432 def save_none(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000433 self.write(NONE)
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000434 dispatch[NoneType] = save_none
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000435
Guido van Rossum3a41c612003-01-28 15:10:22 +0000436 def save_bool(self, obj):
Guido van Rossum7d97d312003-01-28 04:25:27 +0000437 if self.proto >= 2:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000438 self.write(obj and NEWTRUE or NEWFALSE)
Guido van Rossum7d97d312003-01-28 04:25:27 +0000439 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000440 self.write(obj and TRUE or FALSE)
Guido van Rossum77f6a652002-04-03 22:41:51 +0000441 dispatch[bool] = save_bool
442
Guido van Rossum3a41c612003-01-28 15:10:22 +0000443 def save_int(self, obj, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000444 if self.bin:
Tim Peters44714002001-04-10 05:02:52 +0000445 # If the int is small enough to fit in a signed 4-byte 2's-comp
446 # format, we can store it more efficiently than the general
447 # case.
Guido van Rossum5c938d02003-01-28 03:03:08 +0000448 # First one- and two-byte unsigned ints:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000449 if obj >= 0:
450 if obj <= 0xff:
451 self.write(BININT1 + chr(obj))
Guido van Rossum5c938d02003-01-28 03:03:08 +0000452 return
Guido van Rossum3a41c612003-01-28 15:10:22 +0000453 if obj <= 0xffff:
Guido van Rossumba884f32003-01-29 20:14:23 +0000454 self.write("%c%c%c" % (BININT2, obj&0xff, obj>>8))
Guido van Rossum5c938d02003-01-28 03:03:08 +0000455 return
456 # Next check for 4-byte signed ints:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000457 high_bits = obj >> 31 # note that Python shift sign-extends
Tim Petersd95c2df2003-01-28 03:41:54 +0000458 if high_bits == 0 or high_bits == -1:
Tim Peters44714002001-04-10 05:02:52 +0000459 # All high bits are copies of bit 2**31, so the value
460 # fits in a 4-byte signed int.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000461 self.write(BININT + pack("<i", obj))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000462 return
Tim Peters44714002001-04-10 05:02:52 +0000463 # Text pickle, or int too big to fit in signed 4-byte format.
Walter Dörwald70a6b492004-02-12 17:35:32 +0000464 self.write(INT + repr(obj) + '\n')
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000465 dispatch[IntType] = save_int
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000466
Guido van Rossum3a41c612003-01-28 15:10:22 +0000467 def save_long(self, obj, pack=struct.pack):
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000468 if self.proto >= 2:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000469 bytes = encode_long(obj)
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000470 n = len(bytes)
471 if n < 256:
472 self.write(LONG1 + chr(n) + bytes)
473 else:
474 self.write(LONG4 + pack("<i", n) + bytes)
Tim Petersee1a53c2003-02-02 02:57:53 +0000475 return
Walter Dörwald70a6b492004-02-12 17:35:32 +0000476 self.write(LONG + repr(obj) + '\n')
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000477 dispatch[LongType] = save_long
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000478
Guido van Rossum3a41c612003-01-28 15:10:22 +0000479 def save_float(self, obj, pack=struct.pack):
Guido van Rossumd3703791998-10-22 20:15:36 +0000480 if self.bin:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000481 self.write(BINFLOAT + pack('>d', obj))
Guido van Rossumd3703791998-10-22 20:15:36 +0000482 else:
Walter Dörwald70a6b492004-02-12 17:35:32 +0000483 self.write(FLOAT + repr(obj) + '\n')
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000484 dispatch[FloatType] = save_float
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000485
Guido van Rossum3a41c612003-01-28 15:10:22 +0000486 def save_string(self, obj, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000487 if self.bin:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000488 n = len(obj)
Tim Petersbbf63cd2003-01-27 21:15:36 +0000489 if n < 256:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000490 self.write(SHORT_BINSTRING + chr(n) + obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000491 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000492 self.write(BINSTRING + pack("<i", n) + obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000493 else:
Walter Dörwald70a6b492004-02-12 17:35:32 +0000494 self.write(STRING + repr(obj) + '\n')
Guido van Rossum3a41c612003-01-28 15:10:22 +0000495 self.memoize(obj)
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000496 dispatch[StringType] = save_string
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000497
Guido van Rossum3a41c612003-01-28 15:10:22 +0000498 def save_unicode(self, obj, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000499 if self.bin:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000500 encoding = obj.encode('utf-8')
Tim Petersbbf63cd2003-01-27 21:15:36 +0000501 n = len(encoding)
Guido van Rossum5c938d02003-01-28 03:03:08 +0000502 self.write(BINUNICODE + pack("<i", n) + encoding)
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000503 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000504 obj = obj.replace("\\", "\\u005c")
505 obj = obj.replace("\n", "\\u000a")
506 self.write(UNICODE + obj.encode('raw-unicode-escape') + '\n')
507 self.memoize(obj)
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000508 dispatch[UnicodeType] = save_unicode
509
Benjamin Peterson1d22d002009-04-05 01:04:38 +0000510 if StringType is UnicodeType:
Guido van Rossum31584cb2001-01-22 14:53:29 +0000511 # This is true for Jython
Guido van Rossum3a41c612003-01-28 15:10:22 +0000512 def save_string(self, obj, pack=struct.pack):
513 unicode = obj.isunicode()
Guido van Rossum31584cb2001-01-22 14:53:29 +0000514
Tim Petersc32d8242001-04-10 02:48:53 +0000515 if self.bin:
Guido van Rossum31584cb2001-01-22 14:53:29 +0000516 if unicode:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000517 obj = obj.encode("utf-8")
518 l = len(obj)
Tim Petersc32d8242001-04-10 02:48:53 +0000519 if l < 256 and not unicode:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000520 self.write(SHORT_BINSTRING + chr(l) + obj)
Guido van Rossum31584cb2001-01-22 14:53:29 +0000521 else:
Guido van Rossum5c938d02003-01-28 03:03:08 +0000522 s = pack("<i", l)
Guido van Rossum31584cb2001-01-22 14:53:29 +0000523 if unicode:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000524 self.write(BINUNICODE + s + obj)
Guido van Rossum31584cb2001-01-22 14:53:29 +0000525 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000526 self.write(BINSTRING + s + obj)
Guido van Rossum31584cb2001-01-22 14:53:29 +0000527 else:
Tim Peters658cba62001-02-09 20:06:00 +0000528 if unicode:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000529 obj = obj.replace("\\", "\\u005c")
530 obj = obj.replace("\n", "\\u000a")
531 obj = obj.encode('raw-unicode-escape')
532 self.write(UNICODE + obj + '\n')
Guido van Rossum31584cb2001-01-22 14:53:29 +0000533 else:
Walter Dörwald70a6b492004-02-12 17:35:32 +0000534 self.write(STRING + repr(obj) + '\n')
Guido van Rossum3a41c612003-01-28 15:10:22 +0000535 self.memoize(obj)
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000536 dispatch[StringType] = save_string
Tim Peters658cba62001-02-09 20:06:00 +0000537
Guido van Rossum3a41c612003-01-28 15:10:22 +0000538 def save_tuple(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000539 write = self.write
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000540 proto = self.proto
541
Guido van Rossum3a41c612003-01-28 15:10:22 +0000542 n = len(obj)
Tim Peters1d63c9f2003-02-02 20:29:39 +0000543 if n == 0:
544 if proto:
545 write(EMPTY_TUPLE)
546 else:
547 write(MARK + TUPLE)
Tim Petersd97da802003-01-28 05:48:29 +0000548 return
549
550 save = self.save
551 memo = self.memo
552 if n <= 3 and proto >= 2:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000553 for element in obj:
Tim Petersd97da802003-01-28 05:48:29 +0000554 save(element)
555 # Subtle. Same as in the big comment below.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000556 if id(obj) in memo:
557 get = self.get(memo[id(obj)][0])
Tim Petersd97da802003-01-28 05:48:29 +0000558 write(POP * n + get)
559 else:
560 write(_tuplesize2code[n])
Guido van Rossum3a41c612003-01-28 15:10:22 +0000561 self.memoize(obj)
Tim Petersd97da802003-01-28 05:48:29 +0000562 return
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000563
Tim Peters1d63c9f2003-02-02 20:29:39 +0000564 # proto 0 or proto 1 and tuple isn't empty, or proto > 1 and tuple
Tim Petersff57bff2003-01-28 05:34:53 +0000565 # has more than 3 elements.
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000566 write(MARK)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000567 for element in obj:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000568 save(element)
569
Tim Peters1d63c9f2003-02-02 20:29:39 +0000570 if id(obj) in memo:
Tim Petersf558da02003-01-28 02:09:55 +0000571 # Subtle. d was not in memo when we entered save_tuple(), so
572 # the process of saving the tuple's elements must have saved
573 # the tuple itself: the tuple is recursive. The proper action
574 # now is to throw away everything we put on the stack, and
575 # simply GET the tuple (it's already constructed). This check
576 # could have been done in the "for element" loop instead, but
577 # recursive tuples are a rare thing.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000578 get = self.get(memo[id(obj)][0])
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000579 if proto:
Tim Petersf558da02003-01-28 02:09:55 +0000580 write(POP_MARK + get)
581 else: # proto 0 -- POP_MARK not available
Tim Petersd97da802003-01-28 05:48:29 +0000582 write(POP * (n+1) + get)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000583 return
584
Tim Peters1d63c9f2003-02-02 20:29:39 +0000585 # No recursion.
Tim Peters518df0d2003-01-28 01:00:38 +0000586 self.write(TUPLE)
Tim Peters1d63c9f2003-02-02 20:29:39 +0000587 self.memoize(obj)
Jeremy Hylton3422c992003-01-24 19:29:52 +0000588
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000589 dispatch[TupleType] = save_tuple
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000590
Tim Petersa6ae9a22003-01-28 16:58:41 +0000591 # save_empty_tuple() isn't used by anything in Python 2.3. However, I
592 # found a Pickler subclass in Zope3 that calls it, so it's not harmless
593 # to remove it.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000594 def save_empty_tuple(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000595 self.write(EMPTY_TUPLE)
596
Guido van Rossum3a41c612003-01-28 15:10:22 +0000597 def save_list(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000598 write = self.write
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000599
Tim Petersc32d8242001-04-10 02:48:53 +0000600 if self.bin:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000601 write(EMPTY_LIST)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000602 else: # proto 0 -- can't use EMPTY_LIST
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000603 write(MARK + LIST)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000604
605 self.memoize(obj)
606 self._batch_appends(iter(obj))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000607
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000608 dispatch[ListType] = save_list
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000609
Tim Peters42f08ac2003-02-11 22:43:24 +0000610 # Keep in synch with cPickle's BATCHSIZE. Nothing will break if it gets
611 # out of synch, though.
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000612 _BATCHSIZE = 1000
613
614 def _batch_appends(self, items):
615 # Helper to batch up APPENDS sequences
616 save = self.save
617 write = self.write
618
619 if not self.bin:
620 for x in items:
621 save(x)
622 write(APPEND)
623 return
624
625 r = xrange(self._BATCHSIZE)
626 while items is not None:
627 tmp = []
628 for i in r:
629 try:
Guido van Rossum5aac4e62003-02-06 22:57:00 +0000630 x = items.next()
631 tmp.append(x)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000632 except StopIteration:
633 items = None
634 break
635 n = len(tmp)
636 if n > 1:
637 write(MARK)
638 for x in tmp:
639 save(x)
640 write(APPENDS)
641 elif n:
642 save(tmp[0])
643 write(APPEND)
644 # else tmp is empty, and we're done
645
Guido van Rossum3a41c612003-01-28 15:10:22 +0000646 def save_dict(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000647 write = self.write
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000648
Tim Petersc32d8242001-04-10 02:48:53 +0000649 if self.bin:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000650 write(EMPTY_DICT)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000651 else: # proto 0 -- can't use EMPTY_DICT
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000652 write(MARK + DICT)
653
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000654 self.memoize(obj)
655 self._batch_setitems(obj.iteritems())
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000656
Raymond Hettingerfe59dc12005-02-07 15:28:45 +0000657 dispatch[DictionaryType] = save_dict
Jeremy Hylton2b9d0291998-05-27 22:38:22 +0000658 if not PyStringMap is None:
659 dispatch[PyStringMap] = save_dict
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000660
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000661 def _batch_setitems(self, items):
662 # Helper to batch up SETITEMS sequences; proto >= 1 only
663 save = self.save
664 write = self.write
665
666 if not self.bin:
667 for k, v in items:
668 save(k)
669 save(v)
670 write(SETITEM)
671 return
672
673 r = xrange(self._BATCHSIZE)
674 while items is not None:
675 tmp = []
676 for i in r:
677 try:
678 tmp.append(items.next())
679 except StopIteration:
680 items = None
681 break
682 n = len(tmp)
683 if n > 1:
684 write(MARK)
685 for k, v in tmp:
686 save(k)
687 save(v)
688 write(SETITEMS)
689 elif n:
690 k, v = tmp[0]
691 save(k)
692 save(v)
693 write(SETITEM)
694 # else tmp is empty, and we're done
695
Guido van Rossum3a41c612003-01-28 15:10:22 +0000696 def save_inst(self, obj):
697 cls = obj.__class__
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000698
699 memo = self.memo
700 write = self.write
701 save = self.save
702
Guido van Rossum3a41c612003-01-28 15:10:22 +0000703 if hasattr(obj, '__getinitargs__'):
704 args = obj.__getinitargs__()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000705 len(args) # XXX Assert it's a sequence
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000706 _keep_alive(args, memo)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000707 else:
708 args = ()
709
710 write(MARK)
711
Tim Petersc32d8242001-04-10 02:48:53 +0000712 if self.bin:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000713 save(cls)
Tim Peters3b769832003-01-28 03:51:36 +0000714 for arg in args:
715 save(arg)
716 write(OBJ)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000717 else:
Tim Peters3b769832003-01-28 03:51:36 +0000718 for arg in args:
719 save(arg)
720 write(INST + cls.__module__ + '\n' + cls.__name__ + '\n')
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000721
Guido van Rossum3a41c612003-01-28 15:10:22 +0000722 self.memoize(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000723
724 try:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000725 getstate = obj.__getstate__
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000726 except AttributeError:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000727 stuff = obj.__dict__
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000728 else:
729 stuff = getstate()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000730 _keep_alive(stuff, memo)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000731 save(stuff)
732 write(BUILD)
Tim Peters3b769832003-01-28 03:51:36 +0000733
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000734 dispatch[InstanceType] = save_inst
735
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000736 def save_global(self, obj, name=None, pack=struct.pack):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000737 write = self.write
738 memo = self.memo
739
Tim Petersc32d8242001-04-10 02:48:53 +0000740 if name is None:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000741 name = obj.__name__
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000742
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000743 module = getattr(obj, "__module__", None)
744 if module is None:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000745 module = whichmodule(obj, name)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000746
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000747 try:
748 __import__(module)
749 mod = sys.modules[module]
750 klass = getattr(mod, name)
751 except (ImportError, KeyError, AttributeError):
752 raise PicklingError(
753 "Can't pickle %r: it's not found as %s.%s" %
Guido van Rossum3a41c612003-01-28 15:10:22 +0000754 (obj, module, name))
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000755 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000756 if klass is not obj:
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000757 raise PicklingError(
758 "Can't pickle %r: it's not the same object as %s.%s" %
Guido van Rossum3a41c612003-01-28 15:10:22 +0000759 (obj, module, name))
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000760
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000761 if self.proto >= 2:
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000762 code = _extension_registry.get((module, name))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000763 if code:
764 assert code > 0
765 if code <= 0xff:
766 write(EXT1 + chr(code))
767 elif code <= 0xffff:
Guido van Rossumba884f32003-01-29 20:14:23 +0000768 write("%c%c%c" % (EXT2, code&0xff, code>>8))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000769 else:
770 write(EXT4 + pack("<i", code))
771 return
772
Tim Peters518df0d2003-01-28 01:00:38 +0000773 write(GLOBAL + module + '\n' + name + '\n')
Guido van Rossum3a41c612003-01-28 15:10:22 +0000774 self.memoize(obj)
Tim Peters3b769832003-01-28 03:51:36 +0000775
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000776 dispatch[ClassType] = save_global
777 dispatch[FunctionType] = save_global
778 dispatch[BuiltinFunctionType] = save_global
Alexandre Vassalottidf9460f2013-11-30 17:43:42 -0800779 dispatch[TypeType] = save_global
Guido van Rossum0c891ce1995-03-14 15:09:05 +0000780
Guido van Rossum1be31752003-01-28 15:19:53 +0000781# Pickling helpers
Guido van Rossuma48061a1995-01-10 00:31:14 +0000782
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000783def _keep_alive(x, memo):
784 """Keeps a reference to the object x in the memo.
785
786 Because we remember objects by their id, we have
787 to assure that possibly temporary objects are kept
788 alive by referencing them.
789 We store a reference at the id of the memo, which should
790 normally not be used unless someone tries to deepcopy
791 the memo itself...
792 """
793 try:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000794 memo[id(memo)].append(x)
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000795 except KeyError:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000796 # aha, this is the first one :-)
797 memo[id(memo)]=[x]
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000798
799
Tim Petersc0c12b52003-01-29 00:56:17 +0000800# A cache for whichmodule(), mapping a function object to the name of
801# the module in which the function was found.
802
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000803classmap = {} # called classmap for backwards compatibility
Guido van Rossuma48061a1995-01-10 00:31:14 +0000804
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000805def whichmodule(func, funcname):
806 """Figure out the module in which a function occurs.
Guido van Rossuma48061a1995-01-10 00:31:14 +0000807
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000808 Search sys.modules for the module.
809 Cache in classmap.
810 Return a module name.
Tim Petersc0c12b52003-01-29 00:56:17 +0000811 If the function cannot be found, return "__main__".
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000812 """
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000813 # Python functions should always get an __module__ from their globals.
814 mod = getattr(func, "__module__", None)
815 if mod is not None:
816 return mod
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000817 if func in classmap:
818 return classmap[func]
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000819
820 for name, module in sys.modules.items():
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000821 if module is None:
Jeremy Hylton065a5ab2002-09-19 22:57:26 +0000822 continue # skip dummy package entries
Jeremy Hyltoncc1fccb2003-02-06 16:23:01 +0000823 if name != '__main__' and getattr(module, funcname, None) is func:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000824 break
825 else:
826 name = '__main__'
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000827 classmap[func] = name
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000828 return name
Guido van Rossuma48061a1995-01-10 00:31:14 +0000829
830
Guido van Rossum1be31752003-01-28 15:19:53 +0000831# Unpickling machinery
832
Guido van Rossuma48061a1995-01-10 00:31:14 +0000833class Unpickler:
834
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000835 def __init__(self, file):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000836 """This takes a file-like object for reading a pickle data stream.
837
Tim Peters5bd2a792003-02-01 16:45:06 +0000838 The protocol version of the pickle is detected automatically, so no
839 proto argument is needed.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000840
841 The file-like object must have two methods, a read() method that
842 takes an integer argument, and a readline() method that requires no
843 arguments. Both methods should return a string. Thus file-like
844 object can be a file object opened for reading, a StringIO object,
845 or any other custom object that meets this interface.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000846 """
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000847 self.readline = file.readline
848 self.read = file.read
849 self.memo = {}
Guido van Rossuma48061a1995-01-10 00:31:14 +0000850
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000851 def load(self):
Guido van Rossum3a41c612003-01-28 15:10:22 +0000852 """Read a pickled object representation from the open file.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000853
Guido van Rossum3a41c612003-01-28 15:10:22 +0000854 Return the reconstituted object hierarchy specified in the file.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000855 """
Jeremy Hylton20747fa2001-11-09 16:15:04 +0000856 self.mark = object() # any new unique object
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000857 self.stack = []
858 self.append = self.stack.append
859 read = self.read
860 dispatch = self.dispatch
861 try:
862 while 1:
863 key = read(1)
864 dispatch[key](self)
Guido van Rossumff871742000-12-13 18:11:56 +0000865 except _Stop, stopinst:
866 return stopinst.value
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000867
Tim Petersc23d18a2003-01-28 01:41:51 +0000868 # Return largest index k such that self.stack[k] is self.mark.
869 # If the stack doesn't contain a mark, eventually raises IndexError.
870 # This could be sped by maintaining another stack, of indices at which
871 # the mark appears. For that matter, the latter stack would suffice,
872 # and we wouldn't need to push mark objects on self.stack at all.
873 # Doing so is probably a good thing, though, since if the pickle is
874 # corrupt (or hostile) we may get a clue from finding self.mark embedded
875 # in unpickled objects.
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000876 def marker(self):
877 stack = self.stack
878 mark = self.mark
879 k = len(stack)-1
880 while stack[k] is not mark: k = k-1
881 return k
882
883 dispatch = {}
884
885 def load_eof(self):
886 raise EOFError
887 dispatch[''] = load_eof
888
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000889 def load_proto(self):
890 proto = ord(self.read(1))
891 if not 0 <= proto <= 2:
892 raise ValueError, "unsupported pickle protocol: %d" % proto
893 dispatch[PROTO] = load_proto
894
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000895 def load_persid(self):
896 pid = self.readline()[:-1]
897 self.append(self.persistent_load(pid))
898 dispatch[PERSID] = load_persid
899
900 def load_binpersid(self):
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +0000901 pid = self.stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000902 self.append(self.persistent_load(pid))
903 dispatch[BINPERSID] = load_binpersid
904
905 def load_none(self):
906 self.append(None)
907 dispatch[NONE] = load_none
908
Guido van Rossum7d97d312003-01-28 04:25:27 +0000909 def load_false(self):
910 self.append(False)
911 dispatch[NEWFALSE] = load_false
912
913 def load_true(self):
914 self.append(True)
915 dispatch[NEWTRUE] = load_true
916
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000917 def load_int(self):
Tim Peters19ef62d2001-08-28 22:21:18 +0000918 data = self.readline()
Guido van Rossume2763392002-04-05 19:30:08 +0000919 if data == FALSE[1:]:
920 val = False
921 elif data == TRUE[1:]:
922 val = True
923 else:
924 try:
925 val = int(data)
926 except ValueError:
927 val = long(data)
928 self.append(val)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000929 dispatch[INT] = load_int
930
931 def load_binint(self):
932 self.append(mloads('i' + self.read(4)))
933 dispatch[BININT] = load_binint
934
935 def load_binint1(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +0000936 self.append(ord(self.read(1)))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000937 dispatch[BININT1] = load_binint1
938
939 def load_binint2(self):
940 self.append(mloads('i' + self.read(2) + '\000\000'))
941 dispatch[BININT2] = load_binint2
Tim Peters2344fae2001-01-15 00:50:52 +0000942
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000943 def load_long(self):
Guido van Rossumff871742000-12-13 18:11:56 +0000944 self.append(long(self.readline()[:-1], 0))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000945 dispatch[LONG] = load_long
946
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000947 def load_long1(self):
948 n = ord(self.read(1))
949 bytes = self.read(n)
Tim Petersee1a53c2003-02-02 02:57:53 +0000950 self.append(decode_long(bytes))
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000951 dispatch[LONG1] = load_long1
952
953 def load_long4(self):
954 n = mloads('i' + self.read(4))
955 bytes = self.read(n)
Tim Petersee1a53c2003-02-02 02:57:53 +0000956 self.append(decode_long(bytes))
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000957 dispatch[LONG4] = load_long4
958
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000959 def load_float(self):
Guido van Rossumff871742000-12-13 18:11:56 +0000960 self.append(float(self.readline()[:-1]))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000961 dispatch[FLOAT] = load_float
962
Guido van Rossumd3703791998-10-22 20:15:36 +0000963 def load_binfloat(self, unpack=struct.unpack):
964 self.append(unpack('>d', self.read(8))[0])
965 dispatch[BINFLOAT] = load_binfloat
966
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000967 def load_string(self):
Jeremy Hyltonbe467e52000-09-15 15:14:51 +0000968 rep = self.readline()[:-1]
Tim Petersad5a7712003-01-28 16:23:33 +0000969 for q in "\"'": # double or single quote
Martin v. Löwis8a8da792002-08-14 07:46:28 +0000970 if rep.startswith(q):
Antoine Pitroube929712013-04-15 21:35:25 +0200971 if len(rep) < 2 or not rep.endswith(q):
Martin v. Löwis8a8da792002-08-14 07:46:28 +0000972 raise ValueError, "insecure string pickle"
973 rep = rep[len(q):-len(q)]
974 break
975 else:
Jeremy Hyltonbe467e52000-09-15 15:14:51 +0000976 raise ValueError, "insecure string pickle"
Martin v. Löwis8a8da792002-08-14 07:46:28 +0000977 self.append(rep.decode("string-escape"))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000978 dispatch[STRING] = load_string
979
980 def load_binstring(self):
981 len = mloads('i' + self.read(4))
982 self.append(self.read(len))
983 dispatch[BINSTRING] = load_binstring
984
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000985 def load_unicode(self):
986 self.append(unicode(self.readline()[:-1],'raw-unicode-escape'))
987 dispatch[UNICODE] = load_unicode
988
989 def load_binunicode(self):
990 len = mloads('i' + self.read(4))
991 self.append(unicode(self.read(len),'utf-8'))
992 dispatch[BINUNICODE] = load_binunicode
993
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000994 def load_short_binstring(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +0000995 len = ord(self.read(1))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000996 self.append(self.read(len))
997 dispatch[SHORT_BINSTRING] = load_short_binstring
998
999 def load_tuple(self):
1000 k = self.marker()
1001 self.stack[k:] = [tuple(self.stack[k+1:])]
1002 dispatch[TUPLE] = load_tuple
1003
1004 def load_empty_tuple(self):
1005 self.stack.append(())
1006 dispatch[EMPTY_TUPLE] = load_empty_tuple
1007
Guido van Rossum44f0ea52003-01-28 04:14:51 +00001008 def load_tuple1(self):
1009 self.stack[-1] = (self.stack[-1],)
1010 dispatch[TUPLE1] = load_tuple1
1011
1012 def load_tuple2(self):
1013 self.stack[-2:] = [(self.stack[-2], self.stack[-1])]
1014 dispatch[TUPLE2] = load_tuple2
1015
1016 def load_tuple3(self):
1017 self.stack[-3:] = [(self.stack[-3], self.stack[-2], self.stack[-1])]
1018 dispatch[TUPLE3] = load_tuple3
1019
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001020 def load_empty_list(self):
1021 self.stack.append([])
1022 dispatch[EMPTY_LIST] = load_empty_list
1023
1024 def load_empty_dictionary(self):
1025 self.stack.append({})
1026 dispatch[EMPTY_DICT] = load_empty_dictionary
1027
1028 def load_list(self):
1029 k = self.marker()
1030 self.stack[k:] = [self.stack[k+1:]]
1031 dispatch[LIST] = load_list
1032
1033 def load_dict(self):
1034 k = self.marker()
1035 d = {}
1036 items = self.stack[k+1:]
1037 for i in range(0, len(items), 2):
1038 key = items[i]
1039 value = items[i+1]
1040 d[key] = value
1041 self.stack[k:] = [d]
1042 dispatch[DICT] = load_dict
1043
Tim Petersd01c1e92003-01-30 15:41:46 +00001044 # INST and OBJ differ only in how they get a class object. It's not
1045 # only sensible to do the rest in a common routine, the two routines
1046 # previously diverged and grew different bugs.
1047 # klass is the class to instantiate, and k points to the topmost mark
1048 # object, following which are the arguments for klass.__init__.
1049 def _instantiate(self, klass, k):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001050 args = tuple(self.stack[k+1:])
1051 del self.stack[k:]
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001052 instantiated = 0
Tim Petersd01c1e92003-01-30 15:41:46 +00001053 if (not args and
1054 type(klass) is ClassType and
1055 not hasattr(klass, "__getinitargs__")):
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001056 try:
1057 value = _EmptyClass()
1058 value.__class__ = klass
Guido van Rossumb19e2a31998-04-13 18:08:45 +00001059 instantiated = 1
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001060 except RuntimeError:
1061 # In restricted execution, assignment to inst.__class__ is
1062 # prohibited
1063 pass
1064 if not instantiated:
Guido van Rossum743d17e1998-09-15 20:25:57 +00001065 try:
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001066 value = klass(*args)
Guido van Rossum743d17e1998-09-15 20:25:57 +00001067 except TypeError, err:
1068 raise TypeError, "in constructor for %s: %s" % (
1069 klass.__name__, str(err)), sys.exc_info()[2]
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001070 self.append(value)
Tim Petersd01c1e92003-01-30 15:41:46 +00001071
1072 def load_inst(self):
1073 module = self.readline()[:-1]
1074 name = self.readline()[:-1]
1075 klass = self.find_class(module, name)
1076 self._instantiate(klass, self.marker())
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001077 dispatch[INST] = load_inst
1078
1079 def load_obj(self):
Tim Petersd01c1e92003-01-30 15:41:46 +00001080 # Stack is ... markobject classobject arg1 arg2 ...
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001081 k = self.marker()
Tim Petersd01c1e92003-01-30 15:41:46 +00001082 klass = self.stack.pop(k+1)
1083 self._instantiate(klass, k)
Tim Peters2344fae2001-01-15 00:50:52 +00001084 dispatch[OBJ] = load_obj
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001085
Guido van Rossum3a41c612003-01-28 15:10:22 +00001086 def load_newobj(self):
1087 args = self.stack.pop()
1088 cls = self.stack[-1]
1089 obj = cls.__new__(cls, *args)
Guido van Rossum533dbcf2003-01-28 17:55:05 +00001090 self.stack[-1] = obj
Guido van Rossum3a41c612003-01-28 15:10:22 +00001091 dispatch[NEWOBJ] = load_newobj
1092
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001093 def load_global(self):
1094 module = self.readline()[:-1]
1095 name = self.readline()[:-1]
1096 klass = self.find_class(module, name)
1097 self.append(klass)
1098 dispatch[GLOBAL] = load_global
1099
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001100 def load_ext1(self):
1101 code = ord(self.read(1))
1102 self.get_extension(code)
1103 dispatch[EXT1] = load_ext1
1104
1105 def load_ext2(self):
1106 code = mloads('i' + self.read(2) + '\000\000')
1107 self.get_extension(code)
1108 dispatch[EXT2] = load_ext2
1109
1110 def load_ext4(self):
1111 code = mloads('i' + self.read(4))
1112 self.get_extension(code)
1113 dispatch[EXT4] = load_ext4
1114
1115 def get_extension(self, code):
1116 nil = []
Guido van Rossumd4b920c2003-02-04 01:54:49 +00001117 obj = _extension_cache.get(code, nil)
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001118 if obj is not nil:
1119 self.append(obj)
1120 return
Guido van Rossumd4b920c2003-02-04 01:54:49 +00001121 key = _inverted_registry.get(code)
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001122 if not key:
1123 raise ValueError("unregistered extension code %d" % code)
1124 obj = self.find_class(*key)
Guido van Rossumd4b920c2003-02-04 01:54:49 +00001125 _extension_cache[code] = obj
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001126 self.append(obj)
1127
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001128 def find_class(self, module, name):
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001129 # Subclasses may override this
Barry Warsawbf4d9592001-11-15 23:42:58 +00001130 __import__(module)
1131 mod = sys.modules[module]
1132 klass = getattr(mod, name)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001133 return klass
1134
1135 def load_reduce(self):
1136 stack = self.stack
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001137 args = stack.pop()
1138 func = stack[-1]
Raymond Hettingera6b45cc2004-12-07 07:05:57 +00001139 value = func(*args)
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001140 stack[-1] = value
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001141 dispatch[REDUCE] = load_reduce
Guido van Rossuma48061a1995-01-10 00:31:14 +00001142
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001143 def load_pop(self):
1144 del self.stack[-1]
1145 dispatch[POP] = load_pop
Guido van Rossum7b5430f1995-03-04 22:25:21 +00001146
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001147 def load_pop_mark(self):
1148 k = self.marker()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001149 del self.stack[k:]
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001150 dispatch[POP_MARK] = load_pop_mark
Guido van Rossuma48061a1995-01-10 00:31:14 +00001151
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001152 def load_dup(self):
Guido van Rossumb1062fc1998-03-31 17:00:46 +00001153 self.append(self.stack[-1])
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001154 dispatch[DUP] = load_dup
Guido van Rossuma48061a1995-01-10 00:31:14 +00001155
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001156 def load_get(self):
1157 self.append(self.memo[self.readline()[:-1]])
1158 dispatch[GET] = load_get
Guido van Rossum78536471996-04-12 13:36:27 +00001159
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001160 def load_binget(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +00001161 i = ord(self.read(1))
Walter Dörwald70a6b492004-02-12 17:35:32 +00001162 self.append(self.memo[repr(i)])
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001163 dispatch[BINGET] = load_binget
Guido van Rossum78536471996-04-12 13:36:27 +00001164
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001165 def load_long_binget(self):
1166 i = mloads('i' + self.read(4))
Walter Dörwald70a6b492004-02-12 17:35:32 +00001167 self.append(self.memo[repr(i)])
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001168 dispatch[LONG_BINGET] = load_long_binget
Guido van Rossum78536471996-04-12 13:36:27 +00001169
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001170 def load_put(self):
1171 self.memo[self.readline()[:-1]] = self.stack[-1]
1172 dispatch[PUT] = load_put
Guido van Rossuma48061a1995-01-10 00:31:14 +00001173
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001174 def load_binput(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +00001175 i = ord(self.read(1))
Walter Dörwald70a6b492004-02-12 17:35:32 +00001176 self.memo[repr(i)] = self.stack[-1]
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001177 dispatch[BINPUT] = load_binput
Guido van Rossuma48061a1995-01-10 00:31:14 +00001178
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001179 def load_long_binput(self):
1180 i = mloads('i' + self.read(4))
Walter Dörwald70a6b492004-02-12 17:35:32 +00001181 self.memo[repr(i)] = self.stack[-1]
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001182 dispatch[LONG_BINPUT] = load_long_binput
Guido van Rossuma48061a1995-01-10 00:31:14 +00001183
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001184 def load_append(self):
1185 stack = self.stack
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001186 value = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001187 list = stack[-1]
1188 list.append(value)
1189 dispatch[APPEND] = load_append
Guido van Rossuma48061a1995-01-10 00:31:14 +00001190
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001191 def load_appends(self):
1192 stack = self.stack
1193 mark = self.marker()
1194 list = stack[mark - 1]
Tim Peters209ad952003-01-28 01:44:45 +00001195 list.extend(stack[mark + 1:])
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001196 del stack[mark:]
1197 dispatch[APPENDS] = load_appends
Tim Peters2344fae2001-01-15 00:50:52 +00001198
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001199 def load_setitem(self):
1200 stack = self.stack
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001201 value = stack.pop()
1202 key = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001203 dict = stack[-1]
1204 dict[key] = value
1205 dispatch[SETITEM] = load_setitem
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001206
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001207 def load_setitems(self):
1208 stack = self.stack
1209 mark = self.marker()
1210 dict = stack[mark - 1]
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001211 for i in range(mark + 1, len(stack), 2):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001212 dict[stack[i]] = stack[i + 1]
Guido van Rossuma48061a1995-01-10 00:31:14 +00001213
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001214 del stack[mark:]
1215 dispatch[SETITEMS] = load_setitems
Guido van Rossuma48061a1995-01-10 00:31:14 +00001216
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001217 def load_build(self):
1218 stack = self.stack
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001219 state = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001220 inst = stack[-1]
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001221 setstate = getattr(inst, "__setstate__", None)
1222 if setstate:
1223 setstate(state)
1224 return
1225 slotstate = None
1226 if isinstance(state, tuple) and len(state) == 2:
1227 state, slotstate = state
1228 if state:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001229 try:
Antoine Pitrou74309892009-05-02 21:13:23 +00001230 d = inst.__dict__
1231 try:
1232 for k, v in state.iteritems():
1233 d[intern(k)] = v
1234 # keys in state don't have to be strings
1235 # don't blow up, but don't go out of our way
1236 except TypeError:
1237 d.update(state)
1238
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001239 except RuntimeError:
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001240 # XXX In restricted execution, the instance's __dict__
1241 # is not accessible. Use the old way of unpickling
1242 # the instance variables. This is a semantic
1243 # difference when unpickling in restricted
1244 # vs. unrestricted modes.
Tim Peters080c88b2003-02-15 03:01:11 +00001245 # Note, however, that cPickle has never tried to do the
1246 # .update() business, and always uses
1247 # PyObject_SetItem(inst.__dict__, key, value) in a
1248 # loop over state.items().
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001249 for k, v in state.items():
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001250 setattr(inst, k, v)
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001251 if slotstate:
1252 for k, v in slotstate.items():
1253 setattr(inst, k, v)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001254 dispatch[BUILD] = load_build
Guido van Rossuma48061a1995-01-10 00:31:14 +00001255
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001256 def load_mark(self):
1257 self.append(self.mark)
1258 dispatch[MARK] = load_mark
Guido van Rossuma48061a1995-01-10 00:31:14 +00001259
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001260 def load_stop(self):
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001261 value = self.stack.pop()
Guido van Rossumff871742000-12-13 18:11:56 +00001262 raise _Stop(value)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001263 dispatch[STOP] = load_stop
Guido van Rossuma48061a1995-01-10 00:31:14 +00001264
Guido van Rossume467be61997-12-05 19:42:42 +00001265# Helper class for load_inst/load_obj
1266
1267class _EmptyClass:
1268 pass
Guido van Rossuma48061a1995-01-10 00:31:14 +00001269
Tim Peters91149822003-01-31 03:43:58 +00001270# Encode/decode longs in linear time.
1271
1272import binascii as _binascii
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001273
1274def encode_long(x):
Tim Peters91149822003-01-31 03:43:58 +00001275 r"""Encode a long to a two's complement little-endian binary string.
Tim Peters4b23f2b2003-01-31 16:43:39 +00001276 Note that 0L is a special case, returning an empty string, to save a
1277 byte in the LONG1 pickling context.
1278
1279 >>> encode_long(0L)
1280 ''
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001281 >>> encode_long(255L)
1282 '\xff\x00'
1283 >>> encode_long(32767L)
1284 '\xff\x7f'
1285 >>> encode_long(-256L)
1286 '\x00\xff'
1287 >>> encode_long(-32768L)
1288 '\x00\x80'
1289 >>> encode_long(-128L)
1290 '\x80'
1291 >>> encode_long(127L)
1292 '\x7f'
1293 >>>
1294 """
Tim Peters91149822003-01-31 03:43:58 +00001295
1296 if x == 0:
Tim Peters4b23f2b2003-01-31 16:43:39 +00001297 return ''
Tim Peters91149822003-01-31 03:43:58 +00001298 if x > 0:
1299 ashex = hex(x)
1300 assert ashex.startswith("0x")
1301 njunkchars = 2 + ashex.endswith('L')
1302 nibbles = len(ashex) - njunkchars
1303 if nibbles & 1:
1304 # need an even # of nibbles for unhexlify
1305 ashex = "0x0" + ashex[2:]
Tim Peters4b23f2b2003-01-31 16:43:39 +00001306 elif int(ashex[2], 16) >= 8:
Tim Peters91149822003-01-31 03:43:58 +00001307 # "looks negative", so need a byte of sign bits
1308 ashex = "0x00" + ashex[2:]
1309 else:
1310 # Build the 256's-complement: (1L << nbytes) + x. The trick is
1311 # to find the number of bytes in linear time (although that should
1312 # really be a constant-time task).
1313 ashex = hex(-x)
1314 assert ashex.startswith("0x")
1315 njunkchars = 2 + ashex.endswith('L')
1316 nibbles = len(ashex) - njunkchars
1317 if nibbles & 1:
Tim Petersee1a53c2003-02-02 02:57:53 +00001318 # Extend to a full byte.
Tim Peters91149822003-01-31 03:43:58 +00001319 nibbles += 1
Tim Peters4b23f2b2003-01-31 16:43:39 +00001320 nbits = nibbles * 4
1321 x += 1L << nbits
Tim Peters91149822003-01-31 03:43:58 +00001322 assert x > 0
1323 ashex = hex(x)
Tim Petersee1a53c2003-02-02 02:57:53 +00001324 njunkchars = 2 + ashex.endswith('L')
1325 newnibbles = len(ashex) - njunkchars
1326 if newnibbles < nibbles:
1327 ashex = "0x" + "0" * (nibbles - newnibbles) + ashex[2:]
1328 if int(ashex[2], 16) < 8:
Tim Peters91149822003-01-31 03:43:58 +00001329 # "looks positive", so need a byte of sign bits
Tim Petersee1a53c2003-02-02 02:57:53 +00001330 ashex = "0xff" + ashex[2:]
Tim Peters91149822003-01-31 03:43:58 +00001331
1332 if ashex.endswith('L'):
1333 ashex = ashex[2:-1]
1334 else:
1335 ashex = ashex[2:]
Tim Petersee1a53c2003-02-02 02:57:53 +00001336 assert len(ashex) & 1 == 0, (x, ashex)
Tim Peters91149822003-01-31 03:43:58 +00001337 binary = _binascii.unhexlify(ashex)
1338 return binary[::-1]
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001339
1340def decode_long(data):
1341 r"""Decode a long from a two's complement little-endian binary string.
Tim Peters4b23f2b2003-01-31 16:43:39 +00001342
1343 >>> decode_long('')
1344 0L
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001345 >>> decode_long("\xff\x00")
1346 255L
1347 >>> decode_long("\xff\x7f")
1348 32767L
1349 >>> decode_long("\x00\xff")
1350 -256L
1351 >>> decode_long("\x00\x80")
1352 -32768L
1353 >>> decode_long("\x80")
1354 -128L
1355 >>> decode_long("\x7f")
1356 127L
1357 """
Tim Peters91149822003-01-31 03:43:58 +00001358
Tim Peters4b23f2b2003-01-31 16:43:39 +00001359 nbytes = len(data)
1360 if nbytes == 0:
1361 return 0L
Tim Peters91149822003-01-31 03:43:58 +00001362 ashex = _binascii.hexlify(data[::-1])
Tim Petersbf2674b2003-02-02 07:51:32 +00001363 n = long(ashex, 16) # quadratic time before Python 2.3; linear now
Tim Peters91149822003-01-31 03:43:58 +00001364 if data[-1] >= '\x80':
Tim Peters4b23f2b2003-01-31 16:43:39 +00001365 n -= 1L << (nbytes * 8)
Tim Peters91149822003-01-31 03:43:58 +00001366 return n
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001367
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001368# Shorthands
1369
Jeremy Hyltonabe2c622001-10-15 21:29:28 +00001370try:
1371 from cStringIO import StringIO
1372except ImportError:
1373 from StringIO import StringIO
Guido van Rossumc7c5e691996-07-22 22:26:07 +00001374
Raymond Hettinger3489cad2004-12-05 05:20:42 +00001375def dump(obj, file, protocol=None):
1376 Pickler(file, protocol).dump(obj)
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001377
Raymond Hettinger3489cad2004-12-05 05:20:42 +00001378def dumps(obj, protocol=None):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001379 file = StringIO()
Raymond Hettinger3489cad2004-12-05 05:20:42 +00001380 Pickler(file, protocol).dump(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001381 return file.getvalue()
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001382
1383def load(file):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001384 return Unpickler(file).load()
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001385
1386def loads(str):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001387 file = StringIO(str)
1388 return Unpickler(file).load()
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001389
1390# Doctest
1391
1392def _test():
1393 import doctest
1394 return doctest.testmod()
1395
1396if __name__ == "__main__":
1397 _test()