blob: f87c50ffa4b9d8e4621b01c6901bffbc89bd8905 [file] [log] [blame]
Fred Drake78a6a362000-10-11 22:16:45 +00001"""Helper to provide extensibility for pickle/cPickle.
2
3This is only useful to add pickle support for extension types defined in
4C, not for instances of user-defined classes.
5"""
6
7from types import ClassType as _ClassType
Guido van Rossum72be3061997-05-20 18:03:22 +00008
Guido van Rossumcf356fd2003-01-31 20:34:07 +00009__all__ = ["pickle", "constructor",
10 "add_extension", "remove_extension", "clear_extension_cache"]
Skip Montanaroe99d5ea2001-01-20 19:54:20 +000011
Guido van Rossum47065621997-04-09 17:44:11 +000012dispatch_table = {}
Guido van Rossum47065621997-04-09 17:44:11 +000013
Fred Drake78a6a362000-10-11 22:16:45 +000014def pickle(ob_type, pickle_function, constructor_ob=None):
15 if type(ob_type) is _ClassType:
16 raise TypeError("copy_reg is not intended for use with classes")
17
18 if not callable(pickle_function):
19 raise TypeError("reduction functions must be callable")
Guido van Rossum47065621997-04-09 17:44:11 +000020 dispatch_table[ob_type] = pickle_function
21
Jeremy Hyltonf8ecde52003-06-27 16:58:43 +000022 # The constructor_ob function is a vestige of safe for unpickling.
23 # There is no reason for the caller to pass it anymore.
24 if constructor_ob is not None:
25 constructor(constructor_ob)
26
Guido van Rossum47065621997-04-09 17:44:11 +000027def constructor(object):
Fred Drake78a6a362000-10-11 22:16:45 +000028 if not callable(object):
29 raise TypeError("constructors must be callable")
Guido van Rossum47065621997-04-09 17:44:11 +000030
Guido van Rossum72be3061997-05-20 18:03:22 +000031# Example: provide pickling support for complex numbers.
Guido van Rossum47065621997-04-09 17:44:11 +000032
Martin v. Löwis502ba462003-06-07 20:10:54 +000033try:
34 complex
35except NameError:
36 pass
37else:
Guido van Rossum72be3061997-05-20 18:03:22 +000038
Martin v. Löwis502ba462003-06-07 20:10:54 +000039 def pickle_complex(c):
40 return complex, (c.real, c.imag)
41
42 pickle(complex, pickle_complex, complex)
Guido van Rossum3926a632001-09-25 16:25:58 +000043
Guido van Rossum298e4212003-02-13 16:30:16 +000044# Support for pickling new-style objects
Guido van Rossum3926a632001-09-25 16:25:58 +000045
Guido van Rossum3926a632001-09-25 16:25:58 +000046def _reconstructor(cls, base, state):
Guido van Rossum298e4212003-02-13 16:30:16 +000047 if base is object:
48 obj = object.__new__(cls)
49 else:
50 obj = base.__new__(cls, state)
51 base.__init__(obj, state)
Guido van Rossum3926a632001-09-25 16:25:58 +000052 return obj
Guido van Rossum3926a632001-09-25 16:25:58 +000053
54_HEAPTYPE = 1<<9
55
Guido van Rossumbe532422003-02-21 22:20:31 +000056# Python code for object.__reduce_ex__ for protocols 0 and 1
57
58def _reduce_ex(self, proto):
59 assert proto < 2
Guido van Rossum3926a632001-09-25 16:25:58 +000060 for base in self.__class__.__mro__:
Guido van Rossum00fb0c92001-11-24 21:04:31 +000061 if hasattr(base, '__flags__') and not base.__flags__ & _HEAPTYPE:
Guido van Rossum3926a632001-09-25 16:25:58 +000062 break
63 else:
64 base = object # not really reachable
65 if base is object:
66 state = None
67 else:
Guido van Rossum2a6f5b32001-12-27 16:27:28 +000068 if base is self.__class__:
69 raise TypeError, "can't pickle %s objects" % base.__name__
Guido van Rossum3926a632001-09-25 16:25:58 +000070 state = base(self)
Guido van Rossum6cef6d52001-09-28 18:13:29 +000071 args = (self.__class__, base, state)
72 try:
Guido van Rossum00fb0c92001-11-24 21:04:31 +000073 getstate = self.__getstate__
Guido van Rossum6cef6d52001-09-28 18:13:29 +000074 except AttributeError:
Guido van Rossum3f50cdc2003-02-10 21:31:27 +000075 if getattr(self, "__slots__", None):
76 raise TypeError("a class that defines __slots__ without "
77 "defining __getstate__ cannot be pickled")
Guido van Rossum00fb0c92001-11-24 21:04:31 +000078 try:
79 dict = self.__dict__
80 except AttributeError:
81 dict = None
82 else:
83 dict = getstate()
Guido van Rossum6cef6d52001-09-28 18:13:29 +000084 if dict:
85 return _reconstructor, args, dict
86 else:
87 return _reconstructor, args
Guido van Rossum255f3ee2003-01-29 06:14:11 +000088
Guido van Rossumbe532422003-02-21 22:20:31 +000089# Helper for __reduce_ex__ protocol 2
Guido van Rossum5aac4e62003-02-06 22:57:00 +000090
91def __newobj__(cls, *args):
92 return cls.__new__(cls, *args)
93
Guido van Rossum5aac4e62003-02-06 22:57:00 +000094def _slotnames(cls):
95 """Return a list of slot names for a given class.
96
97 This needs to find slots defined by the class and its bases, so we
98 can't simply return the __slots__ attribute. We must walk down
99 the Method Resolution Order and concatenate the __slots__ of each
100 class found there. (This assumes classes don't modify their
101 __slots__ attribute to misrepresent their slots after the class is
102 defined.)
103 """
104
105 # Get the value from a cache in the class if possible
106 names = cls.__dict__.get("__slotnames__")
107 if names is not None:
108 return names
109
110 # Not cached -- calculate the value
111 names = []
112 if not hasattr(cls, "__slots__"):
113 # This class has no slots
114 pass
115 else:
116 # Slots found -- gather slot names from all base classes
117 for c in cls.__mro__:
118 if "__slots__" in c.__dict__:
Georg Brandl22ec80b2006-03-31 18:25:44 +0000119 slots = c.__dict__['__slots__']
120 # if class has a single slot, it can be given as a string
121 if isinstance(slots, basestring):
122 slots = (slots,)
123 for name in slots:
124 # special descriptors
125 if name in ("__dict__", "__weakref__"):
126 continue
127 # mangled names
128 elif name.startswith('__') and not name.endswith('__'):
129 names.append('_%s%s' % (c.__name__, name))
130 else:
131 names.append(name)
Guido van Rossum5aac4e62003-02-06 22:57:00 +0000132
133 # Cache the outcome in the class if at all possible
134 try:
135 cls.__slotnames__ = names
136 except:
137 pass # But don't die if we can't
138
139 return names
140
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000141# A registry of extension codes. This is an ad-hoc compression
142# mechanism. Whenever a global reference to <module>, <name> is about
143# to be pickled, the (<module>, <name>) tuple is looked up here to see
144# if it is a registered extension code for it. Extension codes are
145# universal, so that the meaning of a pickle does not depend on
146# context. (There are also some codes reserved for local use that
147# don't have this restriction.) Codes are positive ints; 0 is
148# reserved.
149
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000150_extension_registry = {} # key -> code
151_inverted_registry = {} # code -> key
152_extension_cache = {} # code -> object
Tim Peters5b7da392003-02-04 00:21:07 +0000153# Don't ever rebind those names: cPickle grabs a reference to them when
154# it's initialized, and won't see a rebinding.
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000155
156def add_extension(module, name, code):
157 """Register an extension code."""
158 code = int(code)
Tim Peters2d629652003-02-04 05:06:17 +0000159 if not 1 <= code <= 0x7fffffff:
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000160 raise ValueError, "code out of range"
161 key = (module, name)
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000162 if (_extension_registry.get(key) == code and
163 _inverted_registry.get(code) == key):
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000164 return # Redundant registrations are benign
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000165 if key in _extension_registry:
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000166 raise ValueError("key %s is already registered with code %s" %
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000167 (key, _extension_registry[key]))
168 if code in _inverted_registry:
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000169 raise ValueError("code %s is already in use for key %s" %
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000170 (code, _inverted_registry[code]))
171 _extension_registry[key] = code
172 _inverted_registry[code] = key
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000173
174def remove_extension(module, name, code):
175 """Unregister an extension code. For testing only."""
176 key = (module, name)
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000177 if (_extension_registry.get(key) != code or
178 _inverted_registry.get(code) != key):
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000179 raise ValueError("key %s is not registered with code %s" %
180 (key, code))
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000181 del _extension_registry[key]
182 del _inverted_registry[code]
183 if code in _extension_cache:
184 del _extension_cache[code]
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000185
186def clear_extension_cache():
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000187 _extension_cache.clear()
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000188
189# Standard extension code assignments
190
191# Reserved ranges
192
193# First Last Count Purpose
194# 1 127 127 Reserved for Python standard library
Guido van Rossumcef9db62003-02-07 20:56:38 +0000195# 128 191 64 Reserved for Zope
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000196# 192 239 48 Reserved for 3rd parties
197# 240 255 16 Reserved for private use (will never be assigned)
198# 256 Inf Inf Reserved for future assignment
199
200# Extension codes are assigned by the Python Software Foundation.