2000-10-11 19:16:45 -03:00
|
|
|
"""Helper to provide extensibility for pickle/cPickle.
|
|
|
|
|
|
|
|
This is only useful to add pickle support for extension types defined in
|
|
|
|
C, not for instances of user-defined classes.
|
|
|
|
"""
|
|
|
|
|
|
|
|
from types import ClassType as _ClassType
|
1997-05-20 15:03:22 -03:00
|
|
|
|
2003-01-31 16:34:07 -04:00
|
|
|
__all__ = ["pickle", "constructor",
|
|
|
|
"add_extension", "remove_extension", "clear_extension_cache"]
|
2001-01-20 15:54:20 -04:00
|
|
|
|
1997-04-09 14:44:11 -03:00
|
|
|
dispatch_table = {}
|
|
|
|
|
2000-10-11 19:16:45 -03:00
|
|
|
def pickle(ob_type, pickle_function, constructor_ob=None):
|
|
|
|
if type(ob_type) is _ClassType:
|
|
|
|
raise TypeError("copy_reg is not intended for use with classes")
|
|
|
|
|
|
|
|
if not callable(pickle_function):
|
|
|
|
raise TypeError("reduction functions must be callable")
|
1997-04-09 14:44:11 -03:00
|
|
|
dispatch_table[ob_type] = pickle_function
|
|
|
|
|
1997-05-20 15:03:22 -03:00
|
|
|
if constructor_ob is not None:
|
1997-04-09 14:44:11 -03:00
|
|
|
constructor(constructor_ob)
|
|
|
|
|
|
|
|
def constructor(object):
|
2000-10-11 19:16:45 -03:00
|
|
|
if not callable(object):
|
|
|
|
raise TypeError("constructors must be callable")
|
1997-04-09 14:44:11 -03:00
|
|
|
|
1997-05-20 15:03:22 -03:00
|
|
|
# Example: provide pickling support for complex numbers.
|
|
|
|
|
1997-04-09 14:44:11 -03:00
|
|
|
def pickle_complex(c):
|
1997-05-20 15:03:22 -03:00
|
|
|
return complex, (c.real, c.imag)
|
1997-04-09 14:44:11 -03:00
|
|
|
|
1997-05-20 15:03:22 -03:00
|
|
|
pickle(type(1j), pickle_complex, complex)
|
2001-09-25 13:25:58 -03:00
|
|
|
|
|
|
|
# Support for picking new-style objects
|
|
|
|
|
|
|
|
def _reconstructor(cls, base, state):
|
2001-09-25 16:46:05 -03:00
|
|
|
obj = base.__new__(cls, state)
|
|
|
|
base.__init__(obj, state)
|
2001-09-25 13:25:58 -03:00
|
|
|
return obj
|
|
|
|
|
|
|
|
_HEAPTYPE = 1<<9
|
|
|
|
|
|
|
|
def _reduce(self):
|
|
|
|
for base in self.__class__.__mro__:
|
2001-11-24 17:04:31 -04:00
|
|
|
if hasattr(base, '__flags__') and not base.__flags__ & _HEAPTYPE:
|
2001-09-25 13:25:58 -03:00
|
|
|
break
|
|
|
|
else:
|
|
|
|
base = object # not really reachable
|
|
|
|
if base is object:
|
|
|
|
state = None
|
|
|
|
else:
|
2001-12-27 12:27:28 -04:00
|
|
|
if base is self.__class__:
|
|
|
|
raise TypeError, "can't pickle %s objects" % base.__name__
|
2001-09-25 13:25:58 -03:00
|
|
|
state = base(self)
|
2001-09-28 15:13:29 -03:00
|
|
|
args = (self.__class__, base, state)
|
|
|
|
try:
|
2001-11-24 17:04:31 -04:00
|
|
|
getstate = self.__getstate__
|
2001-09-28 15:13:29 -03:00
|
|
|
except AttributeError:
|
2001-11-24 17:04:31 -04:00
|
|
|
try:
|
|
|
|
dict = self.__dict__
|
|
|
|
except AttributeError:
|
|
|
|
dict = None
|
|
|
|
else:
|
|
|
|
dict = getstate()
|
2001-09-28 15:13:29 -03:00
|
|
|
if dict:
|
|
|
|
return _reconstructor, args, dict
|
|
|
|
else:
|
|
|
|
return _reconstructor, args
|
2003-01-29 02:14:11 -04:00
|
|
|
|
|
|
|
# A registry of extension codes. This is an ad-hoc compression
|
|
|
|
# mechanism. Whenever a global reference to <module>, <name> is about
|
|
|
|
# to be pickled, the (<module>, <name>) tuple is looked up here to see
|
|
|
|
# if it is a registered extension code for it. Extension codes are
|
|
|
|
# universal, so that the meaning of a pickle does not depend on
|
|
|
|
# context. (There are also some codes reserved for local use that
|
|
|
|
# don't have this restriction.) Codes are positive ints; 0 is
|
|
|
|
# reserved.
|
|
|
|
|
2003-02-03 21:54:49 -04:00
|
|
|
_extension_registry = {} # key -> code
|
|
|
|
_inverted_registry = {} # code -> key
|
|
|
|
_extension_cache = {} # code -> object
|
2003-02-03 20:21:07 -04:00
|
|
|
# Don't ever rebind those names: cPickle grabs a reference to them when
|
|
|
|
# it's initialized, and won't see a rebinding.
|
2003-01-29 02:14:11 -04:00
|
|
|
|
|
|
|
def add_extension(module, name, code):
|
|
|
|
"""Register an extension code."""
|
|
|
|
code = int(code)
|
|
|
|
if not 1 <= code < 0x7fffffff:
|
|
|
|
raise ValueError, "code out of range"
|
|
|
|
key = (module, name)
|
2003-02-03 21:54:49 -04:00
|
|
|
if (_extension_registry.get(key) == code and
|
|
|
|
_inverted_registry.get(code) == key):
|
2003-01-29 02:14:11 -04:00
|
|
|
return # Redundant registrations are benign
|
2003-02-03 21:54:49 -04:00
|
|
|
if key in _extension_registry:
|
2003-01-29 02:14:11 -04:00
|
|
|
raise ValueError("key %s is already registered with code %s" %
|
2003-02-03 21:54:49 -04:00
|
|
|
(key, _extension_registry[key]))
|
|
|
|
if code in _inverted_registry:
|
2003-01-29 02:14:11 -04:00
|
|
|
raise ValueError("code %s is already in use for key %s" %
|
2003-02-03 21:54:49 -04:00
|
|
|
(code, _inverted_registry[code]))
|
|
|
|
_extension_registry[key] = code
|
|
|
|
_inverted_registry[code] = key
|
2003-01-29 02:14:11 -04:00
|
|
|
|
|
|
|
def remove_extension(module, name, code):
|
|
|
|
"""Unregister an extension code. For testing only."""
|
|
|
|
key = (module, name)
|
2003-02-03 21:54:49 -04:00
|
|
|
if (_extension_registry.get(key) != code or
|
|
|
|
_inverted_registry.get(code) != key):
|
2003-01-29 02:14:11 -04:00
|
|
|
raise ValueError("key %s is not registered with code %s" %
|
|
|
|
(key, code))
|
2003-02-03 21:54:49 -04:00
|
|
|
del _extension_registry[key]
|
|
|
|
del _inverted_registry[code]
|
|
|
|
if code in _extension_cache:
|
|
|
|
del _extension_cache[code]
|
2003-01-29 02:14:11 -04:00
|
|
|
|
|
|
|
def clear_extension_cache():
|
2003-02-03 21:54:49 -04:00
|
|
|
_extension_cache.clear()
|
2003-01-29 02:14:11 -04:00
|
|
|
|
|
|
|
# Standard extension code assignments
|
|
|
|
|
|
|
|
# Reserved ranges
|
|
|
|
|
|
|
|
# First Last Count Purpose
|
|
|
|
# 1 127 127 Reserved for Python standard library
|
|
|
|
# 128 191 64 Reserved for Zope 3
|
|
|
|
# 192 239 48 Reserved for 3rd parties
|
|
|
|
# 240 255 16 Reserved for private use (will never be assigned)
|
|
|
|
# 256 Inf Inf Reserved for future assignment
|
|
|
|
|
|
|
|
# Extension codes are assigned by the Python Software Foundation.
|