blob: 57ed6eb698f0331e235d766cd7f2fca15a9a2c55 [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001
Guido van Rossum3f5da241990-12-20 15:06:42 +00002/* Generic object operations; and implementation of None (NoObject) */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00003
Guido van Rossumc0b618a1997-05-02 03:12:38 +00004#include "Python.h"
Guido van Rossum50e9fb92006-08-17 05:42:55 +00005#include "sliceobject.h" /* For PyEllipsis_Type */
Benjamin Petersonfd838e62009-04-20 02:09:13 +00006#include "frameobject.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00007
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00008#ifdef __cplusplus
9extern "C" {
10#endif
11
Tim Peters34592512002-07-11 06:23:50 +000012#ifdef Py_REF_DEBUG
Neal Norwitz84632ee2006-03-04 20:00:59 +000013Py_ssize_t _Py_RefTotal;
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000014
15Py_ssize_t
16_Py_GetRefTotal(void)
17{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000018 PyObject *o;
19 Py_ssize_t total = _Py_RefTotal;
20 /* ignore the references to the dummy object of the dicts and sets
21 because they are not reliable and not useful (now that the
22 hash table code is well-tested) */
23 o = _PyDict_Dummy();
24 if (o != NULL)
25 total -= o->ob_refcnt;
26 o = _PySet_Dummy();
27 if (o != NULL)
28 total -= o->ob_refcnt;
29 return total;
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000030}
31#endif /* Py_REF_DEBUG */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000032
Mark Hammonda2905272002-07-29 13:42:14 +000033int Py_DivisionWarningFlag;
Guido van Rossum393661d2001-08-31 17:40:15 +000034
Guido van Rossum3f5da241990-12-20 15:06:42 +000035/* Object allocation routines used by NEWOBJ and NEWVAROBJ macros.
36 These are used by the individual routines for object creation.
37 Do not call them otherwise, they do not initialize the object! */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000038
Tim Peters78be7992003-03-23 02:51:01 +000039#ifdef Py_TRACE_REFS
Tim Peters7571a0f2003-03-23 17:52:28 +000040/* Head of circular doubly-linked list of all objects. These are linked
41 * together via the _ob_prev and _ob_next members of a PyObject, which
42 * exist only in a Py_TRACE_REFS build.
43 */
Tim Peters78be7992003-03-23 02:51:01 +000044static PyObject refchain = {&refchain, &refchain};
Tim Peters36eb4df2003-03-23 03:33:13 +000045
Tim Peters7571a0f2003-03-23 17:52:28 +000046/* Insert op at the front of the list of all objects. If force is true,
47 * op is added even if _ob_prev and _ob_next are non-NULL already. If
48 * force is false amd _ob_prev or _ob_next are non-NULL, do nothing.
49 * force should be true if and only if op points to freshly allocated,
50 * uninitialized memory, or you've unlinked op from the list and are
Tim Peters51f8d382003-03-23 18:06:08 +000051 * relinking it into the front.
Tim Peters7571a0f2003-03-23 17:52:28 +000052 * Note that objects are normally added to the list via _Py_NewReference,
53 * which is called by PyObject_Init. Not all objects are initialized that
54 * way, though; exceptions include statically allocated type objects, and
55 * statically allocated singletons (like Py_True and Py_None).
56 */
Tim Peters36eb4df2003-03-23 03:33:13 +000057void
Tim Peters7571a0f2003-03-23 17:52:28 +000058_Py_AddToAllObjects(PyObject *op, int force)
Tim Peters36eb4df2003-03-23 03:33:13 +000059{
Tim Peters7571a0f2003-03-23 17:52:28 +000060#ifdef Py_DEBUG
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000061 if (!force) {
62 /* If it's initialized memory, op must be in or out of
63 * the list unambiguously.
64 */
65 assert((op->_ob_prev == NULL) == (op->_ob_next == NULL));
66 }
Tim Peters78be7992003-03-23 02:51:01 +000067#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000068 if (force || op->_ob_prev == NULL) {
69 op->_ob_next = refchain._ob_next;
70 op->_ob_prev = &refchain;
71 refchain._ob_next->_ob_prev = op;
72 refchain._ob_next = op;
73 }
Tim Peters7571a0f2003-03-23 17:52:28 +000074}
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000075#endif /* Py_TRACE_REFS */
Tim Peters78be7992003-03-23 02:51:01 +000076
Sjoerd Mullendera9c3c221993-10-11 12:54:31 +000077#ifdef COUNT_ALLOCS
Guido van Rossumc0b618a1997-05-02 03:12:38 +000078static PyTypeObject *type_list;
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000079/* All types are added to type_list, at least when
80 they get one object created. That makes them
81 immortal, which unfortunately contributes to
82 garbage itself. If unlist_types_without_objects
83 is set, they will be removed from the type_list
84 once the last object is deallocated. */
Benjamin Petersona4a37fe2009-01-11 17:13:55 +000085static int unlist_types_without_objects;
86extern Py_ssize_t tuple_zero_allocs, fast_tuple_allocs;
87extern Py_ssize_t quick_int_allocs, quick_neg_int_allocs;
88extern Py_ssize_t null_strings, one_strings;
Sjoerd Mullendera9c3c221993-10-11 12:54:31 +000089void
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000090dump_counts(FILE* f)
Sjoerd Mullendera9c3c221993-10-11 12:54:31 +000091{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000092 PyTypeObject *tp;
Sjoerd Mullendera9c3c221993-10-11 12:54:31 +000093
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000094 for (tp = type_list; tp; tp = tp->tp_next)
95 fprintf(f, "%s alloc'd: %" PY_FORMAT_SIZE_T "d, "
96 "freed: %" PY_FORMAT_SIZE_T "d, "
97 "max in use: %" PY_FORMAT_SIZE_T "d\n",
98 tp->tp_name, tp->tp_allocs, tp->tp_frees,
99 tp->tp_maxalloc);
100 fprintf(f, "fast tuple allocs: %" PY_FORMAT_SIZE_T "d, "
101 "empty: %" PY_FORMAT_SIZE_T "d\n",
102 fast_tuple_allocs, tuple_zero_allocs);
103 fprintf(f, "fast int allocs: pos: %" PY_FORMAT_SIZE_T "d, "
104 "neg: %" PY_FORMAT_SIZE_T "d\n",
105 quick_int_allocs, quick_neg_int_allocs);
106 fprintf(f, "null strings: %" PY_FORMAT_SIZE_T "d, "
107 "1-strings: %" PY_FORMAT_SIZE_T "d\n",
108 null_strings, one_strings);
Sjoerd Mullendera9c3c221993-10-11 12:54:31 +0000109}
110
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +0000111PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000112get_counts(void)
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +0000113{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000114 PyTypeObject *tp;
115 PyObject *result;
116 PyObject *v;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +0000117
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000118 result = PyList_New(0);
119 if (result == NULL)
120 return NULL;
121 for (tp = type_list; tp; tp = tp->tp_next) {
122 v = Py_BuildValue("(snnn)", tp->tp_name, tp->tp_allocs,
123 tp->tp_frees, tp->tp_maxalloc);
124 if (v == NULL) {
125 Py_DECREF(result);
126 return NULL;
127 }
128 if (PyList_Append(result, v) < 0) {
129 Py_DECREF(v);
130 Py_DECREF(result);
131 return NULL;
132 }
133 Py_DECREF(v);
134 }
135 return result;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +0000136}
137
Sjoerd Mullendera9c3c221993-10-11 12:54:31 +0000138void
Fred Drake100814d2000-07-09 15:48:49 +0000139inc_count(PyTypeObject *tp)
Sjoerd Mullendera9c3c221993-10-11 12:54:31 +0000140{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000141 if (tp->tp_next == NULL && tp->tp_prev == NULL) {
142 /* first time; insert in linked list */
143 if (tp->tp_next != NULL) /* sanity check */
144 Py_FatalError("XXX inc_count sanity check");
145 if (type_list)
146 type_list->tp_prev = tp;
147 tp->tp_next = type_list;
148 /* Note that as of Python 2.2, heap-allocated type objects
149 * can go away, but this code requires that they stay alive
150 * until program exit. That's why we're careful with
151 * refcounts here. type_list gets a new reference to tp,
152 * while ownership of the reference type_list used to hold
153 * (if any) was transferred to tp->tp_next in the line above.
154 * tp is thus effectively immortal after this.
155 */
156 Py_INCREF(tp);
157 type_list = tp;
Tim Peters3e40c7f2003-03-23 03:04:32 +0000158#ifdef Py_TRACE_REFS
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000159 /* Also insert in the doubly-linked list of all objects,
160 * if not already there.
161 */
162 _Py_AddToAllObjects((PyObject *)tp, 0);
Tim Peters78be7992003-03-23 02:51:01 +0000163#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000164 }
165 tp->tp_allocs++;
166 if (tp->tp_allocs - tp->tp_frees > tp->tp_maxalloc)
167 tp->tp_maxalloc = tp->tp_allocs - tp->tp_frees;
Sjoerd Mullendera9c3c221993-10-11 12:54:31 +0000168}
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000169
170void dec_count(PyTypeObject *tp)
171{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000172 tp->tp_frees++;
173 if (unlist_types_without_objects &&
174 tp->tp_allocs == tp->tp_frees) {
175 /* unlink the type from type_list */
176 if (tp->tp_prev)
177 tp->tp_prev->tp_next = tp->tp_next;
178 else
179 type_list = tp->tp_next;
180 if (tp->tp_next)
181 tp->tp_next->tp_prev = tp->tp_prev;
182 tp->tp_next = tp->tp_prev = NULL;
183 Py_DECREF(tp);
184 }
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000185}
186
Sjoerd Mullendera9c3c221993-10-11 12:54:31 +0000187#endif
188
Tim Peters7c321a82002-07-09 02:57:01 +0000189#ifdef Py_REF_DEBUG
190/* Log a fatal error; doesn't return. */
191void
192_Py_NegativeRefcount(const char *fname, int lineno, PyObject *op)
193{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000194 char buf[300];
Tim Peters7c321a82002-07-09 02:57:01 +0000195
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000196 PyOS_snprintf(buf, sizeof(buf),
197 "%s:%i object at %p has negative ref count "
198 "%" PY_FORMAT_SIZE_T "d",
199 fname, lineno, op, op->ob_refcnt);
200 Py_FatalError(buf);
Tim Peters7c321a82002-07-09 02:57:01 +0000201}
202
203#endif /* Py_REF_DEBUG */
204
Thomas Heller1328b522004-04-22 17:23:49 +0000205void
206Py_IncRef(PyObject *o)
207{
208 Py_XINCREF(o);
209}
210
211void
212Py_DecRef(PyObject *o)
213{
214 Py_XDECREF(o);
215}
216
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000217PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000218PyObject_Init(PyObject *op, PyTypeObject *tp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000219{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000220 if (op == NULL)
221 return PyErr_NoMemory();
222 /* Any changes should be reflected in PyObject_INIT (objimpl.h) */
223 Py_TYPE(op) = tp;
224 _Py_NewReference(op);
225 return op;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000226}
227
Guido van Rossumb18618d2000-05-03 23:44:39 +0000228PyVarObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000229PyObject_InitVar(PyVarObject *op, PyTypeObject *tp, Py_ssize_t size)
Guido van Rossumb18618d2000-05-03 23:44:39 +0000230{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000231 if (op == NULL)
232 return (PyVarObject *) PyErr_NoMemory();
233 /* Any changes should be reflected in PyObject_INIT_VAR */
234 op->ob_size = size;
235 Py_TYPE(op) = tp;
236 _Py_NewReference((PyObject *)op);
237 return op;
Guido van Rossumb18618d2000-05-03 23:44:39 +0000238}
239
240PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000241_PyObject_New(PyTypeObject *tp)
Guido van Rossumb18618d2000-05-03 23:44:39 +0000242{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000243 PyObject *op;
244 op = (PyObject *) PyObject_MALLOC(_PyObject_SIZE(tp));
245 if (op == NULL)
246 return PyErr_NoMemory();
247 return PyObject_INIT(op, tp);
Guido van Rossumb18618d2000-05-03 23:44:39 +0000248}
249
Guido van Rossumd0c87ee1997-05-15 21:31:03 +0000250PyVarObject *
Martin v. Löwis18e16552006-02-15 17:27:45 +0000251_PyObject_NewVar(PyTypeObject *tp, Py_ssize_t nitems)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000252{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000253 PyVarObject *op;
254 const size_t size = _PyObject_VAR_SIZE(tp, nitems);
255 op = (PyVarObject *) PyObject_MALLOC(size);
256 if (op == NULL)
257 return (PyVarObject *)PyErr_NoMemory();
258 return PyObject_INIT_VAR(op, tp, nitems);
Guido van Rossumb18618d2000-05-03 23:44:39 +0000259}
260
Antoine Pitroucf0bcd12010-07-27 22:09:59 +0000261int
262PyObject_Print(PyObject *op, FILE *fp, int flags)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000263{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000264 int ret = 0;
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000265 if (PyErr_CheckSignals())
266 return -1;
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000267#ifdef USE_STACKCHECK
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000268 if (PyOS_CheckStack()) {
269 PyErr_SetString(PyExc_MemoryError, "stack overflow");
270 return -1;
271 }
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000272#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000273 clearerr(fp); /* Clear any previous error condition */
274 if (op == NULL) {
275 Py_BEGIN_ALLOW_THREADS
276 fprintf(fp, "<nil>");
277 Py_END_ALLOW_THREADS
278 }
279 else {
280 if (op->ob_refcnt <= 0)
281 /* XXX(twouters) cast refcount to long until %zd is
282 universally available */
283 Py_BEGIN_ALLOW_THREADS
284 fprintf(fp, "<refcnt %ld at %p>",
285 (long)op->ob_refcnt, op);
286 Py_END_ALLOW_THREADS
287 else {
288 PyObject *s;
289 if (flags & Py_PRINT_RAW)
290 s = PyObject_Str(op);
291 else
292 s = PyObject_Repr(op);
293 if (s == NULL)
294 ret = -1;
295 else if (PyBytes_Check(s)) {
296 fwrite(PyBytes_AS_STRING(s), 1,
297 PyBytes_GET_SIZE(s), fp);
298 }
299 else if (PyUnicode_Check(s)) {
300 PyObject *t;
Victor Stinner2e71d012010-05-17 09:35:44 +0000301 t = PyUnicode_EncodeUTF8(PyUnicode_AS_UNICODE(s),
302 PyUnicode_GET_SIZE(s),
303 "backslashreplace");
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000304 if (t == NULL)
305 ret = 0;
306 else {
307 fwrite(PyBytes_AS_STRING(t), 1,
308 PyBytes_GET_SIZE(t), fp);
Victor Stinner2e71d012010-05-17 09:35:44 +0000309 Py_DECREF(t);
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000310 }
311 }
312 else {
313 PyErr_Format(PyExc_TypeError,
314 "str() or repr() returned '%.100s'",
315 s->ob_type->tp_name);
316 ret = -1;
317 }
318 Py_XDECREF(s);
319 }
320 }
321 if (ret == 0) {
322 if (ferror(fp)) {
323 PyErr_SetFromErrno(PyExc_IOError);
324 clearerr(fp);
325 ret = -1;
326 }
327 }
328 return ret;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000329}
330
Guido van Rossum38938152006-08-21 23:36:26 +0000331/* For debugging convenience. Set a breakpoint here and call it from your DLL */
332void
Thomas Woutersb2137042007-02-01 18:02:27 +0000333_Py_BreakPoint(void)
Guido van Rossum38938152006-08-21 23:36:26 +0000334{
335}
336
Neal Norwitz1a997502003-01-13 20:13:12 +0000337
Barry Warsaw9bf16442001-01-23 16:24:35 +0000338/* For debugging convenience. See Misc/gdbinit for some useful gdb hooks */
Guido van Rossum38938152006-08-21 23:36:26 +0000339void
340_PyObject_Dump(PyObject* op)
Barry Warsaw9bf16442001-01-23 16:24:35 +0000341{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000342 if (op == NULL)
343 fprintf(stderr, "NULL\n");
344 else {
Georg Brandldfd73442009-04-05 11:47:34 +0000345#ifdef WITH_THREAD
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000346 PyGILState_STATE gil;
Georg Brandldfd73442009-04-05 11:47:34 +0000347#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000348 fprintf(stderr, "object : ");
Georg Brandldfd73442009-04-05 11:47:34 +0000349#ifdef WITH_THREAD
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000350 gil = PyGILState_Ensure();
Georg Brandldfd73442009-04-05 11:47:34 +0000351#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000352 (void)PyObject_Print(op, stderr, 0);
Georg Brandldfd73442009-04-05 11:47:34 +0000353#ifdef WITH_THREAD
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000354 PyGILState_Release(gil);
Georg Brandldfd73442009-04-05 11:47:34 +0000355#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000356 /* XXX(twouters) cast refcount to long until %zd is
357 universally available */
358 fprintf(stderr, "\n"
359 "type : %s\n"
360 "refcount: %ld\n"
361 "address : %p\n",
362 Py_TYPE(op)==NULL ? "NULL" : Py_TYPE(op)->tp_name,
363 (long)op->ob_refcnt,
364 op);
365 }
Barry Warsaw9bf16442001-01-23 16:24:35 +0000366}
Barry Warsaw903138f2001-01-23 16:33:18 +0000367
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000368PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000369PyObject_Repr(PyObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000370{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000371 PyObject *res;
372 if (PyErr_CheckSignals())
373 return NULL;
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000374#ifdef USE_STACKCHECK
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000375 if (PyOS_CheckStack()) {
376 PyErr_SetString(PyExc_MemoryError, "stack overflow");
377 return NULL;
378 }
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000379#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000380 if (v == NULL)
381 return PyUnicode_FromString("<NULL>");
382 if (Py_TYPE(v)->tp_repr == NULL)
383 return PyUnicode_FromFormat("<%s object at %p>",
384 v->ob_type->tp_name, v);
385 res = (*v->ob_type->tp_repr)(v);
386 if (res != NULL && !PyUnicode_Check(res)) {
387 PyErr_Format(PyExc_TypeError,
388 "__repr__ returned non-string (type %.200s)",
389 res->ob_type->tp_name);
390 Py_DECREF(res);
391 return NULL;
392 }
393 return res;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000394}
395
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000396PyObject *
Guido van Rossum98297ee2007-11-06 21:34:58 +0000397PyObject_Str(PyObject *v)
Guido van Rossumc6004111993-11-05 10:22:19 +0000398{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000399 PyObject *res;
400 if (PyErr_CheckSignals())
401 return NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000402#ifdef USE_STACKCHECK
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000403 if (PyOS_CheckStack()) {
404 PyErr_SetString(PyExc_MemoryError, "stack overflow");
405 return NULL;
406 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000407#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000408 if (v == NULL)
409 return PyUnicode_FromString("<NULL>");
410 if (PyUnicode_CheckExact(v)) {
411 Py_INCREF(v);
412 return v;
413 }
414 if (Py_TYPE(v)->tp_str == NULL)
415 return PyObject_Repr(v);
Guido van Rossum4f288ab2001-05-01 16:53:37 +0000416
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000417 /* It is possible for a type to have a tp_str representation that loops
418 infinitely. */
419 if (Py_EnterRecursiveCall(" while getting the str of an object"))
420 return NULL;
421 res = (*Py_TYPE(v)->tp_str)(v);
422 Py_LeaveRecursiveCall();
423 if (res == NULL)
424 return NULL;
425 if (!PyUnicode_Check(res)) {
426 PyErr_Format(PyExc_TypeError,
427 "__str__ returned non-string (type %.200s)",
428 Py_TYPE(res)->tp_name);
429 Py_DECREF(res);
430 return NULL;
431 }
432 return res;
Neil Schemenauercf52c072005-08-12 17:34:58 +0000433}
434
Georg Brandl559e5d72008-06-11 18:37:52 +0000435PyObject *
436PyObject_ASCII(PyObject *v)
437{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000438 PyObject *repr, *ascii, *res;
Georg Brandl559e5d72008-06-11 18:37:52 +0000439
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000440 repr = PyObject_Repr(v);
441 if (repr == NULL)
442 return NULL;
Georg Brandl559e5d72008-06-11 18:37:52 +0000443
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000444 /* repr is guaranteed to be a PyUnicode object by PyObject_Repr */
445 ascii = PyUnicode_EncodeASCII(
446 PyUnicode_AS_UNICODE(repr),
447 PyUnicode_GET_SIZE(repr),
448 "backslashreplace");
Georg Brandl559e5d72008-06-11 18:37:52 +0000449
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000450 Py_DECREF(repr);
451 if (ascii == NULL)
452 return NULL;
Georg Brandl559e5d72008-06-11 18:37:52 +0000453
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000454 res = PyUnicode_DecodeASCII(
455 PyBytes_AS_STRING(ascii),
456 PyBytes_GET_SIZE(ascii),
457 NULL);
458
459 Py_DECREF(ascii);
460 return res;
Georg Brandl559e5d72008-06-11 18:37:52 +0000461}
Guido van Rossuma3af41d2001-01-18 22:07:06 +0000462
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000463PyObject *
464PyObject_Bytes(PyObject *v)
465{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000466 PyObject *result, *func;
467 static PyObject *bytesstring = NULL;
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000468
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000469 if (v == NULL)
470 return PyBytes_FromString("<NULL>");
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000471
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000472 if (PyBytes_CheckExact(v)) {
473 Py_INCREF(v);
474 return v;
475 }
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000476
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000477 func = _PyObject_LookupSpecial(v, "__bytes__", &bytesstring);
478 if (func != NULL) {
479 result = PyObject_CallFunctionObjArgs(func, NULL);
480 Py_DECREF(func);
481 if (result == NULL)
482 return NULL;
483 if (!PyBytes_Check(result)) {
484 PyErr_Format(PyExc_TypeError,
485 "__bytes__ returned non-bytes (type %.200s)",
486 Py_TYPE(result)->tp_name);
487 Py_DECREF(result);
488 return NULL;
489 }
490 return result;
491 }
492 else if (PyErr_Occurred())
493 return NULL;
494 return PyBytes_FromObject(v);
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000495}
496
Mark Dickinsonc008a172009-02-01 13:59:22 +0000497/* For Python 3.0.1 and later, the old three-way comparison has been
498 completely removed in favour of rich comparisons. PyObject_Compare() and
499 PyObject_Cmp() are gone, and the builtin cmp function no longer exists.
Mark Dickinsone94c6792009-02-02 20:36:42 +0000500 The old tp_compare slot has been renamed to tp_reserved, and should no
Mark Dickinsonc008a172009-02-01 13:59:22 +0000501 longer be used. Use tp_richcompare instead.
Guido van Rossum98297ee2007-11-06 21:34:58 +0000502
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000503 See (*) below for practical amendments.
504
Mark Dickinsonc008a172009-02-01 13:59:22 +0000505 tp_richcompare gets called with a first argument of the appropriate type
506 and a second object of an arbitrary type. We never do any kind of
507 coercion.
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000508
Mark Dickinsonc008a172009-02-01 13:59:22 +0000509 The tp_richcompare slot should return an object, as follows:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000510
511 NULL if an exception occurred
512 NotImplemented if the requested comparison is not implemented
513 any other false value if the requested comparison is false
514 any other true value if the requested comparison is true
515
516 The PyObject_RichCompare[Bool]() wrappers raise TypeError when they get
517 NotImplemented.
518
519 (*) Practical amendments:
520
521 - If rich comparison returns NotImplemented, == and != are decided by
522 comparing the object pointer (i.e. falling back to the base object
523 implementation).
524
Guido van Rossuma4073002002-05-31 20:03:54 +0000525*/
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000526
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000527/* Map rich comparison operators to their swapped version, e.g. LT <--> GT */
Brett Cannona5ca2e72004-09-25 01:37:24 +0000528int _Py_SwappedOp[] = {Py_GT, Py_GE, Py_EQ, Py_NE, Py_LT, Py_LE};
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +0000529
Guido van Rossum9a4e95c2006-12-19 21:35:46 +0000530static char *opstrings[] = {"<", "<=", "==", "!=", ">", ">="};
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000531
532/* Perform a rich comparison, raising TypeError when the requested comparison
533 operator is not supported. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000534static PyObject *
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000535do_richcompare(PyObject *v, PyObject *w, int op)
Guido van Rossume797ec12001-01-17 15:24:28 +0000536{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000537 richcmpfunc f;
538 PyObject *res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000539
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000540 if (v->ob_type != w->ob_type &&
541 PyType_IsSubtype(w->ob_type, v->ob_type) &&
542 (f = w->ob_type->tp_richcompare) != NULL) {
543 res = (*f)(w, v, _Py_SwappedOp[op]);
544 if (res != Py_NotImplemented)
545 return res;
546 Py_DECREF(res);
547 }
548 if ((f = v->ob_type->tp_richcompare) != NULL) {
549 res = (*f)(v, w, op);
550 if (res != Py_NotImplemented)
551 return res;
552 Py_DECREF(res);
553 }
554 if ((f = w->ob_type->tp_richcompare) != NULL) {
555 res = (*f)(w, v, _Py_SwappedOp[op]);
556 if (res != Py_NotImplemented)
557 return res;
558 Py_DECREF(res);
559 }
560 /* If neither object implements it, provide a sensible default
561 for == and !=, but raise an exception for ordering. */
562 switch (op) {
563 case Py_EQ:
564 res = (v == w) ? Py_True : Py_False;
565 break;
566 case Py_NE:
567 res = (v != w) ? Py_True : Py_False;
568 break;
569 default:
570 /* XXX Special-case None so it doesn't show as NoneType() */
571 PyErr_Format(PyExc_TypeError,
572 "unorderable types: %.100s() %s %.100s()",
573 v->ob_type->tp_name,
574 opstrings[op],
575 w->ob_type->tp_name);
576 return NULL;
577 }
578 Py_INCREF(res);
579 return res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000580}
581
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000582/* Perform a rich comparison with object result. This wraps do_richcompare()
583 with a check for NULL arguments and a recursion check. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000584
Guido van Rossume797ec12001-01-17 15:24:28 +0000585PyObject *
586PyObject_RichCompare(PyObject *v, PyObject *w, int op)
587{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000588 PyObject *res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000589
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000590 assert(Py_LT <= op && op <= Py_GE);
591 if (v == NULL || w == NULL) {
592 if (!PyErr_Occurred())
593 PyErr_BadInternalCall();
594 return NULL;
595 }
596 if (Py_EnterRecursiveCall(" in comparison"))
597 return NULL;
598 res = do_richcompare(v, w, op);
599 Py_LeaveRecursiveCall();
600 return res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000601}
602
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000603/* Perform a rich comparison with integer result. This wraps
604 PyObject_RichCompare(), returning -1 for error, 0 for false, 1 for true. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000605int
606PyObject_RichCompareBool(PyObject *v, PyObject *w, int op)
607{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000608 PyObject *res;
609 int ok;
Guido van Rossume797ec12001-01-17 15:24:28 +0000610
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000611 /* Quick result when objects are the same.
612 Guarantees that identity implies equality. */
613 if (v == w) {
614 if (op == Py_EQ)
615 return 1;
616 else if (op == Py_NE)
617 return 0;
618 }
Mark Dickinson4a1f5932008-11-12 23:23:36 +0000619
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000620 res = PyObject_RichCompare(v, w, op);
621 if (res == NULL)
622 return -1;
623 if (PyBool_Check(res))
624 ok = (res == Py_True);
625 else
626 ok = PyObject_IsTrue(res);
627 Py_DECREF(res);
628 return ok;
Guido van Rossume797ec12001-01-17 15:24:28 +0000629}
Fred Drake13634cf2000-06-29 19:17:04 +0000630
631/* Set of hash utility functions to help maintaining the invariant that
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000632 if a==b then hash(a)==hash(b)
Fred Drake13634cf2000-06-29 19:17:04 +0000633
634 All the utility functions (_Py_Hash*()) return "-1" to signify an error.
635*/
636
637long
Fred Drake100814d2000-07-09 15:48:49 +0000638_Py_HashDouble(double v)
Fred Drake13634cf2000-06-29 19:17:04 +0000639{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000640 double intpart, fractpart;
641 int expo;
642 long hipart;
643 long x; /* the final hash value */
644 /* This is designed so that Python numbers of different types
645 * that compare equal hash to the same value; otherwise comparisons
646 * of mapping keys will turn out weird.
647 */
Tim Peters39dce292000-08-15 03:34:48 +0000648
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000649 fractpart = modf(v, &intpart);
650 if (fractpart == 0.0) {
651 /* This must return the same hash as an equal int or long. */
652 if (intpart > LONG_MAX/2 || -intpart > LONG_MAX/2) {
653 /* Convert to long and use its hash. */
654 PyObject *plong; /* converted to Python long */
655 if (Py_IS_INFINITY(intpart))
656 /* can't convert to long int -- arbitrary */
657 v = v < 0 ? -271828.0 : 314159.0;
658 plong = PyLong_FromDouble(v);
659 if (plong == NULL)
660 return -1;
661 x = PyObject_Hash(plong);
662 Py_DECREF(plong);
663 return x;
664 }
665 /* Fits in a C long == a Python int, so is its own hash. */
666 x = (long)intpart;
667 if (x == -1)
668 x = -2;
669 return x;
670 }
671 /* The fractional part is non-zero, so we don't have to worry about
672 * making this match the hash of some other type.
673 * Use frexp to get at the bits in the double.
674 * Since the VAX D double format has 56 mantissa bits, which is the
675 * most of any double format in use, each of these parts may have as
676 * many as (but no more than) 56 significant bits.
677 * So, assuming sizeof(long) >= 4, each part can be broken into two
678 * longs; frexp and multiplication are used to do that.
679 * Also, since the Cray double format has 15 exponent bits, which is
680 * the most of any double format in use, shifting the exponent field
681 * left by 15 won't overflow a long (again assuming sizeof(long) >= 4).
682 */
683 v = frexp(v, &expo);
684 v *= 2147483648.0; /* 2**31 */
685 hipart = (long)v; /* take the top 32 bits */
686 v = (v - (double)hipart) * 2147483648.0; /* get the next 32 bits */
687 x = hipart + (long)v + (expo << 15);
688 if (x == -1)
689 x = -2;
690 return x;
Fred Drake13634cf2000-06-29 19:17:04 +0000691}
692
693long
Fred Drake100814d2000-07-09 15:48:49 +0000694_Py_HashPointer(void *p)
Fred Drake13634cf2000-06-29 19:17:04 +0000695{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000696 long x;
697 size_t y = (size_t)p;
698 /* bottom 3 or 4 bits are likely to be 0; rotate y by 4 to avoid
699 excessive hash collisions for dicts and sets */
700 y = (y >> 4) | (y << (8 * SIZEOF_VOID_P - 4));
701 x = (long)y;
702 if (x == -1)
703 x = -2;
704 return x;
Fred Drake13634cf2000-06-29 19:17:04 +0000705}
706
Nick Coghland1abd252008-07-15 15:46:38 +0000707long
708PyObject_HashNotImplemented(PyObject *v)
709{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000710 PyErr_Format(PyExc_TypeError, "unhashable type: '%.200s'",
711 Py_TYPE(v)->tp_name);
712 return -1;
Nick Coghland1abd252008-07-15 15:46:38 +0000713}
Fred Drake13634cf2000-06-29 19:17:04 +0000714
Guido van Rossum9bfef441993-03-29 10:43:31 +0000715long
Fred Drake100814d2000-07-09 15:48:49 +0000716PyObject_Hash(PyObject *v)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000717{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000718 PyTypeObject *tp = Py_TYPE(v);
719 if (tp->tp_hash != NULL)
720 return (*tp->tp_hash)(v);
721 /* To keep to the general practice that inheriting
722 * solely from object in C code should work without
723 * an explicit call to PyType_Ready, we implicitly call
724 * PyType_Ready here and then check the tp_hash slot again
725 */
726 if (tp->tp_dict == NULL) {
727 if (PyType_Ready(tp) < 0)
728 return -1;
729 if (tp->tp_hash != NULL)
730 return (*tp->tp_hash)(v);
731 }
732 /* Otherwise, the object can't be hashed */
733 return PyObject_HashNotImplemented(v);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000734}
735
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000736PyObject *
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000737PyObject_GetAttrString(PyObject *v, const char *name)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000738{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000739 PyObject *w, *res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000740
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000741 if (Py_TYPE(v)->tp_getattr != NULL)
742 return (*Py_TYPE(v)->tp_getattr)(v, (char*)name);
743 w = PyUnicode_InternFromString(name);
744 if (w == NULL)
745 return NULL;
746 res = PyObject_GetAttr(v, w);
747 Py_XDECREF(w);
748 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000749}
750
751int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000752PyObject_HasAttrString(PyObject *v, const char *name)
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000753{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000754 PyObject *res = PyObject_GetAttrString(v, name);
755 if (res != NULL) {
756 Py_DECREF(res);
757 return 1;
758 }
759 PyErr_Clear();
760 return 0;
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000761}
762
763int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000764PyObject_SetAttrString(PyObject *v, const char *name, PyObject *w)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000765{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000766 PyObject *s;
767 int res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000768
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000769 if (Py_TYPE(v)->tp_setattr != NULL)
770 return (*Py_TYPE(v)->tp_setattr)(v, (char*)name, w);
771 s = PyUnicode_InternFromString(name);
772 if (s == NULL)
773 return -1;
774 res = PyObject_SetAttr(v, s, w);
775 Py_XDECREF(s);
776 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000777}
778
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000779PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000780PyObject_GetAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000781{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000782 PyTypeObject *tp = Py_TYPE(v);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000783
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000784 if (!PyUnicode_Check(name)) {
785 PyErr_Format(PyExc_TypeError,
786 "attribute name must be string, not '%.200s'",
787 name->ob_type->tp_name);
788 return NULL;
789 }
790 if (tp->tp_getattro != NULL)
791 return (*tp->tp_getattro)(v, name);
792 if (tp->tp_getattr != NULL) {
793 char *name_str = _PyUnicode_AsString(name);
794 if (name_str == NULL)
795 return NULL;
796 return (*tp->tp_getattr)(v, name_str);
797 }
798 PyErr_Format(PyExc_AttributeError,
799 "'%.50s' object has no attribute '%U'",
800 tp->tp_name, name);
801 return NULL;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000802}
803
804int
Fred Drake100814d2000-07-09 15:48:49 +0000805PyObject_HasAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000806{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000807 PyObject *res = PyObject_GetAttr(v, name);
808 if (res != NULL) {
809 Py_DECREF(res);
810 return 1;
811 }
812 PyErr_Clear();
813 return 0;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000814}
815
816int
Fred Drake100814d2000-07-09 15:48:49 +0000817PyObject_SetAttr(PyObject *v, PyObject *name, PyObject *value)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000818{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000819 PyTypeObject *tp = Py_TYPE(v);
820 int err;
Marc-André Lemburge44e5072000-09-18 16:20:57 +0000821
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000822 if (!PyUnicode_Check(name)) {
823 PyErr_Format(PyExc_TypeError,
824 "attribute name must be string, not '%.200s'",
825 name->ob_type->tp_name);
826 return -1;
827 }
828 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000829
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000830 PyUnicode_InternInPlace(&name);
831 if (tp->tp_setattro != NULL) {
832 err = (*tp->tp_setattro)(v, name, value);
833 Py_DECREF(name);
834 return err;
835 }
836 if (tp->tp_setattr != NULL) {
837 char *name_str = _PyUnicode_AsString(name);
838 if (name_str == NULL)
839 return -1;
840 err = (*tp->tp_setattr)(v, name_str, value);
841 Py_DECREF(name);
842 return err;
843 }
844 Py_DECREF(name);
845 assert(name->ob_refcnt >= 1);
846 if (tp->tp_getattr == NULL && tp->tp_getattro == NULL)
847 PyErr_Format(PyExc_TypeError,
848 "'%.100s' object has no attributes "
849 "(%s .%U)",
850 tp->tp_name,
851 value==NULL ? "del" : "assign to",
852 name);
853 else
854 PyErr_Format(PyExc_TypeError,
855 "'%.100s' object has only read-only attributes "
856 "(%s .%U)",
857 tp->tp_name,
858 value==NULL ? "del" : "assign to",
859 name);
860 return -1;
Tim Peters6d6c1a32001-08-02 04:15:00 +0000861}
862
863/* Helper to get a pointer to an object's __dict__ slot, if any */
864
865PyObject **
866_PyObject_GetDictPtr(PyObject *obj)
867{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000868 Py_ssize_t dictoffset;
869 PyTypeObject *tp = Py_TYPE(obj);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000870
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000871 dictoffset = tp->tp_dictoffset;
872 if (dictoffset == 0)
873 return NULL;
874 if (dictoffset < 0) {
875 Py_ssize_t tsize;
876 size_t size;
Guido van Rossum2eb0b872002-03-01 22:24:49 +0000877
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000878 tsize = ((PyVarObject *)obj)->ob_size;
879 if (tsize < 0)
880 tsize = -tsize;
881 size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossum2eb0b872002-03-01 22:24:49 +0000882
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000883 dictoffset += (long)size;
884 assert(dictoffset > 0);
885 assert(dictoffset % SIZEOF_VOID_P == 0);
886 }
887 return (PyObject **) ((char *)obj + dictoffset);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000888}
889
Tim Peters6d6c1a32001-08-02 04:15:00 +0000890PyObject *
Raymond Hettinger1da1dbf2003-03-17 19:46:11 +0000891PyObject_SelfIter(PyObject *obj)
Raymond Hettinger01538262003-03-17 08:24:35 +0000892{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000893 Py_INCREF(obj);
894 return obj;
Raymond Hettinger01538262003-03-17 08:24:35 +0000895}
896
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +0000897/* Helper used when the __next__ method is removed from a type:
898 tp_iternext is never NULL and can be safely called without checking
899 on every iteration.
900 */
901
902PyObject *
903_PyObject_NextNotImplemented(PyObject *self)
904{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000905 PyErr_Format(PyExc_TypeError,
906 "'%.200s' object is not iterable",
907 Py_TYPE(self)->tp_name);
908 return NULL;
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +0000909}
910
Michael W. Hudson1593f502004-09-14 17:09:47 +0000911/* Generic GetAttr functions - put these in your tp_[gs]etattro slot */
912
Raymond Hettinger01538262003-03-17 08:24:35 +0000913PyObject *
Tim Peters6d6c1a32001-08-02 04:15:00 +0000914PyObject_GenericGetAttr(PyObject *obj, PyObject *name)
915{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000916 PyTypeObject *tp = Py_TYPE(obj);
917 PyObject *descr = NULL;
918 PyObject *res = NULL;
919 descrgetfunc f;
920 Py_ssize_t dictoffset;
921 PyObject **dictptr;
Tim Peters6d6c1a32001-08-02 04:15:00 +0000922
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000923 if (!PyUnicode_Check(name)){
924 PyErr_Format(PyExc_TypeError,
925 "attribute name must be string, not '%.200s'",
926 name->ob_type->tp_name);
927 return NULL;
928 }
929 else
930 Py_INCREF(name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +0000931
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000932 if (tp->tp_dict == NULL) {
933 if (PyType_Ready(tp) < 0)
934 goto done;
935 }
Tim Peters6d6c1a32001-08-02 04:15:00 +0000936
Christian Heimesa62da1d2008-01-12 19:39:10 +0000937#if 0 /* XXX this is not quite _PyType_Lookup anymore */
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000938 /* Inline _PyType_Lookup */
939 {
940 Py_ssize_t i, n;
941 PyObject *mro, *base, *dict;
Guido van Rossum056fbf42002-08-19 19:22:50 +0000942
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000943 /* Look in tp_dict of types in MRO */
944 mro = tp->tp_mro;
945 assert(mro != NULL);
946 assert(PyTuple_Check(mro));
947 n = PyTuple_GET_SIZE(mro);
948 for (i = 0; i < n; i++) {
949 base = PyTuple_GET_ITEM(mro, i);
950 assert(PyType_Check(base));
951 dict = ((PyTypeObject *)base)->tp_dict;
952 assert(dict && PyDict_Check(dict));
953 descr = PyDict_GetItem(dict, name);
954 if (descr != NULL)
955 break;
956 }
957 }
Christian Heimesa62da1d2008-01-12 19:39:10 +0000958#else
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000959 descr = _PyType_Lookup(tp, name);
Christian Heimesa62da1d2008-01-12 19:39:10 +0000960#endif
Guido van Rossum056fbf42002-08-19 19:22:50 +0000961
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000962 Py_XINCREF(descr);
Michael W. Hudsonb2c7de42003-08-15 13:07:47 +0000963
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000964 f = NULL;
965 if (descr != NULL) {
966 f = descr->ob_type->tp_descr_get;
967 if (f != NULL && PyDescr_IsData(descr)) {
968 res = f(descr, obj, (PyObject *)obj->ob_type);
969 Py_DECREF(descr);
970 goto done;
971 }
972 }
Tim Peters6d6c1a32001-08-02 04:15:00 +0000973
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000974 /* Inline _PyObject_GetDictPtr */
975 dictoffset = tp->tp_dictoffset;
976 if (dictoffset != 0) {
977 PyObject *dict;
978 if (dictoffset < 0) {
979 Py_ssize_t tsize;
980 size_t size;
Guido van Rossumc66ff442002-08-19 16:50:48 +0000981
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000982 tsize = ((PyVarObject *)obj)->ob_size;
983 if (tsize < 0)
984 tsize = -tsize;
985 size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossumc66ff442002-08-19 16:50:48 +0000986
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000987 dictoffset += (long)size;
988 assert(dictoffset > 0);
989 assert(dictoffset % SIZEOF_VOID_P == 0);
990 }
991 dictptr = (PyObject **) ((char *)obj + dictoffset);
992 dict = *dictptr;
993 if (dict != NULL) {
994 Py_INCREF(dict);
995 res = PyDict_GetItem(dict, name);
996 if (res != NULL) {
997 Py_INCREF(res);
998 Py_XDECREF(descr);
999 Py_DECREF(dict);
1000 goto done;
1001 }
1002 Py_DECREF(dict);
1003 }
1004 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001005
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001006 if (f != NULL) {
1007 res = f(descr, obj, (PyObject *)Py_TYPE(obj));
1008 Py_DECREF(descr);
1009 goto done;
1010 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001011
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001012 if (descr != NULL) {
1013 res = descr;
1014 /* descr was already increfed above */
1015 goto done;
1016 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001017
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001018 PyErr_Format(PyExc_AttributeError,
1019 "'%.50s' object has no attribute '%U'",
1020 tp->tp_name, name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001021 done:
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001022 Py_DECREF(name);
1023 return res;
Tim Peters6d6c1a32001-08-02 04:15:00 +00001024}
1025
1026int
1027PyObject_GenericSetAttr(PyObject *obj, PyObject *name, PyObject *value)
1028{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001029 PyTypeObject *tp = Py_TYPE(obj);
1030 PyObject *descr;
1031 descrsetfunc f;
1032 PyObject **dictptr;
1033 int res = -1;
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001034
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001035 if (!PyUnicode_Check(name)){
1036 PyErr_Format(PyExc_TypeError,
1037 "attribute name must be string, not '%.200s'",
1038 name->ob_type->tp_name);
1039 return -1;
1040 }
1041 else
1042 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001043
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001044 if (tp->tp_dict == NULL) {
1045 if (PyType_Ready(tp) < 0)
1046 goto done;
1047 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001048
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001049 descr = _PyType_Lookup(tp, name);
1050 f = NULL;
1051 if (descr != NULL) {
1052 f = descr->ob_type->tp_descr_set;
1053 if (f != NULL && PyDescr_IsData(descr)) {
1054 res = f(descr, obj, value);
1055 goto done;
1056 }
1057 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001058
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001059 dictptr = _PyObject_GetDictPtr(obj);
1060 if (dictptr != NULL) {
1061 PyObject *dict = *dictptr;
1062 if (dict == NULL && value != NULL) {
1063 dict = PyDict_New();
1064 if (dict == NULL)
1065 goto done;
1066 *dictptr = dict;
1067 }
1068 if (dict != NULL) {
1069 Py_INCREF(dict);
1070 if (value == NULL)
1071 res = PyDict_DelItem(dict, name);
1072 else
1073 res = PyDict_SetItem(dict, name, value);
1074 if (res < 0 && PyErr_ExceptionMatches(PyExc_KeyError))
1075 PyErr_SetObject(PyExc_AttributeError, name);
1076 Py_DECREF(dict);
1077 goto done;
1078 }
1079 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001080
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001081 if (f != NULL) {
1082 res = f(descr, obj, value);
1083 goto done;
1084 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001085
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001086 if (descr == NULL) {
1087 PyErr_Format(PyExc_AttributeError,
1088 "'%.100s' object has no attribute '%U'",
1089 tp->tp_name, name);
1090 goto done;
1091 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001092
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001093 PyErr_Format(PyExc_AttributeError,
1094 "'%.50s' object attribute '%U' is read-only",
1095 tp->tp_name, name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001096 done:
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001097 Py_DECREF(name);
1098 return res;
Guido van Rossum98ff96a1997-05-20 18:34:44 +00001099}
1100
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001101/* Test a value used as condition, e.g., in a for or if statement.
1102 Return -1 if an error occurred */
1103
1104int
Fred Drake100814d2000-07-09 15:48:49 +00001105PyObject_IsTrue(PyObject *v)
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001106{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001107 Py_ssize_t res;
1108 if (v == Py_True)
1109 return 1;
1110 if (v == Py_False)
1111 return 0;
1112 if (v == Py_None)
1113 return 0;
1114 else if (v->ob_type->tp_as_number != NULL &&
1115 v->ob_type->tp_as_number->nb_bool != NULL)
1116 res = (*v->ob_type->tp_as_number->nb_bool)(v);
1117 else if (v->ob_type->tp_as_mapping != NULL &&
1118 v->ob_type->tp_as_mapping->mp_length != NULL)
1119 res = (*v->ob_type->tp_as_mapping->mp_length)(v);
1120 else if (v->ob_type->tp_as_sequence != NULL &&
1121 v->ob_type->tp_as_sequence->sq_length != NULL)
1122 res = (*v->ob_type->tp_as_sequence->sq_length)(v);
1123 else
1124 return 1;
1125 /* if it is negative, it should be either -1 or -2 */
1126 return (res > 0) ? 1 : Py_SAFE_DOWNCAST(res, Py_ssize_t, int);
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001127}
1128
Tim Peters803526b2002-07-07 05:13:56 +00001129/* equivalent of 'not v'
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001130 Return -1 if an error occurred */
1131
1132int
Fred Drake100814d2000-07-09 15:48:49 +00001133PyObject_Not(PyObject *v)
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001134{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001135 int res;
1136 res = PyObject_IsTrue(v);
1137 if (res < 0)
1138 return res;
1139 return res == 0;
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001140}
1141
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001142/* Test whether an object can be called */
1143
1144int
Fred Drake100814d2000-07-09 15:48:49 +00001145PyCallable_Check(PyObject *x)
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001146{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001147 if (x == NULL)
1148 return 0;
1149 return x->ob_type->tp_call != NULL;
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001150}
1151
Georg Brandle32b4222007-03-10 22:13:27 +00001152/* ------------------------- PyObject_Dir() helpers ------------------------- */
1153
Tim Peters7eea37e2001-09-04 22:08:56 +00001154/* Helper for PyObject_Dir.
1155 Merge the __dict__ of aclass into dict, and recursively also all
1156 the __dict__s of aclass's base classes. The order of merging isn't
1157 defined, as it's expected that only the final set of dict keys is
1158 interesting.
1159 Return 0 on success, -1 on error.
1160*/
1161
1162static int
1163merge_class_dict(PyObject* dict, PyObject* aclass)
1164{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001165 PyObject *classdict;
1166 PyObject *bases;
Tim Peters7eea37e2001-09-04 22:08:56 +00001167
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001168 assert(PyDict_Check(dict));
1169 assert(aclass);
Tim Peters7eea37e2001-09-04 22:08:56 +00001170
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001171 /* Merge in the type's dict (if any). */
1172 classdict = PyObject_GetAttrString(aclass, "__dict__");
1173 if (classdict == NULL)
1174 PyErr_Clear();
1175 else {
1176 int status = PyDict_Update(dict, classdict);
1177 Py_DECREF(classdict);
1178 if (status < 0)
1179 return -1;
1180 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001181
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001182 /* Recursively merge in the base types' (if any) dicts. */
1183 bases = PyObject_GetAttrString(aclass, "__bases__");
1184 if (bases == NULL)
1185 PyErr_Clear();
1186 else {
1187 /* We have no guarantee that bases is a real tuple */
1188 Py_ssize_t i, n;
1189 n = PySequence_Size(bases); /* This better be right */
1190 if (n < 0)
1191 PyErr_Clear();
1192 else {
1193 for (i = 0; i < n; i++) {
1194 int status;
1195 PyObject *base = PySequence_GetItem(bases, i);
1196 if (base == NULL) {
1197 Py_DECREF(bases);
1198 return -1;
1199 }
1200 status = merge_class_dict(dict, base);
1201 Py_DECREF(base);
1202 if (status < 0) {
1203 Py_DECREF(bases);
1204 return -1;
1205 }
1206 }
1207 }
1208 Py_DECREF(bases);
1209 }
1210 return 0;
Tim Peters7eea37e2001-09-04 22:08:56 +00001211}
1212
Georg Brandle32b4222007-03-10 22:13:27 +00001213/* Helper for PyObject_Dir without arguments: returns the local scope. */
1214static PyObject *
Guido van Rossumad7d8d12007-04-13 01:39:34 +00001215_dir_locals(void)
Tim Peters305b5852001-09-17 02:38:46 +00001216{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001217 PyObject *names;
1218 PyObject *locals = PyEval_GetLocals();
Tim Peters305b5852001-09-17 02:38:46 +00001219
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001220 if (locals == NULL) {
1221 PyErr_SetString(PyExc_SystemError, "frame does not exist");
1222 return NULL;
1223 }
Tim Peters305b5852001-09-17 02:38:46 +00001224
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001225 names = PyMapping_Keys(locals);
1226 if (!names)
1227 return NULL;
1228 if (!PyList_Check(names)) {
1229 PyErr_Format(PyExc_TypeError,
1230 "dir(): expected keys() of locals to be a list, "
1231 "not '%.200s'", Py_TYPE(names)->tp_name);
1232 Py_DECREF(names);
1233 return NULL;
1234 }
1235 /* the locals don't need to be DECREF'd */
1236 return names;
Georg Brandle32b4222007-03-10 22:13:27 +00001237}
1238
1239/* Helper for PyObject_Dir of type objects: returns __dict__ and __bases__.
Guido van Rossum98297ee2007-11-06 21:34:58 +00001240 We deliberately don't suck up its __class__, as methods belonging to the
1241 metaclass would probably be more confusing than helpful.
Georg Brandle32b4222007-03-10 22:13:27 +00001242*/
Guido van Rossum98297ee2007-11-06 21:34:58 +00001243static PyObject *
Georg Brandle32b4222007-03-10 22:13:27 +00001244_specialized_dir_type(PyObject *obj)
1245{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001246 PyObject *result = NULL;
1247 PyObject *dict = PyDict_New();
Georg Brandle32b4222007-03-10 22:13:27 +00001248
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001249 if (dict != NULL && merge_class_dict(dict, obj) == 0)
1250 result = PyDict_Keys(dict);
Georg Brandle32b4222007-03-10 22:13:27 +00001251
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001252 Py_XDECREF(dict);
1253 return result;
Tim Peters305b5852001-09-17 02:38:46 +00001254}
1255
Georg Brandle32b4222007-03-10 22:13:27 +00001256/* Helper for PyObject_Dir of module objects: returns the module's __dict__. */
1257static PyObject *
1258_specialized_dir_module(PyObject *obj)
Tim Peters7eea37e2001-09-04 22:08:56 +00001259{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001260 PyObject *result = NULL;
1261 PyObject *dict = PyObject_GetAttrString(obj, "__dict__");
Tim Peters7eea37e2001-09-04 22:08:56 +00001262
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001263 if (dict != NULL) {
1264 if (PyDict_Check(dict))
1265 result = PyDict_Keys(dict);
1266 else {
1267 const char *name = PyModule_GetName(obj);
1268 if (name)
1269 PyErr_Format(PyExc_TypeError,
1270 "%.200s.__dict__ is not a dictionary",
1271 name);
1272 }
1273 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001274
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001275 Py_XDECREF(dict);
1276 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001277}
Tim Peters7eea37e2001-09-04 22:08:56 +00001278
Georg Brandle32b4222007-03-10 22:13:27 +00001279/* Helper for PyObject_Dir of generic objects: returns __dict__, __class__,
1280 and recursively up the __class__.__bases__ chain.
1281*/
1282static PyObject *
1283_generic_dir(PyObject *obj)
1284{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001285 PyObject *result = NULL;
1286 PyObject *dict = NULL;
1287 PyObject *itsclass = NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +00001288
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001289 /* Get __dict__ (which may or may not be a real dict...) */
1290 dict = PyObject_GetAttrString(obj, "__dict__");
1291 if (dict == NULL) {
1292 PyErr_Clear();
1293 dict = PyDict_New();
1294 }
1295 else if (!PyDict_Check(dict)) {
1296 Py_DECREF(dict);
1297 dict = PyDict_New();
1298 }
1299 else {
1300 /* Copy __dict__ to avoid mutating it. */
1301 PyObject *temp = PyDict_Copy(dict);
1302 Py_DECREF(dict);
1303 dict = temp;
1304 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001305
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001306 if (dict == NULL)
1307 goto error;
Tim Peters7eea37e2001-09-04 22:08:56 +00001308
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001309 /* Merge in attrs reachable from its class. */
1310 itsclass = PyObject_GetAttrString(obj, "__class__");
1311 if (itsclass == NULL)
1312 /* XXX(tomer): Perhaps fall back to obj->ob_type if no
1313 __class__ exists? */
1314 PyErr_Clear();
1315 else {
1316 if (merge_class_dict(dict, itsclass) != 0)
1317 goto error;
1318 }
Georg Brandle32b4222007-03-10 22:13:27 +00001319
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001320 result = PyDict_Keys(dict);
1321 /* fall through */
Georg Brandle32b4222007-03-10 22:13:27 +00001322error:
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001323 Py_XDECREF(itsclass);
1324 Py_XDECREF(dict);
1325 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001326}
1327
1328/* Helper for PyObject_Dir: object introspection.
1329 This calls one of the above specialized versions if no __dir__ method
1330 exists. */
1331static PyObject *
1332_dir_object(PyObject *obj)
1333{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001334 PyObject * result = NULL;
1335 PyObject * dirfunc = PyObject_GetAttrString((PyObject*)obj->ob_type,
1336 "__dir__");
Georg Brandle32b4222007-03-10 22:13:27 +00001337
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001338 assert(obj);
1339 if (dirfunc == NULL) {
1340 /* use default implementation */
1341 PyErr_Clear();
1342 if (PyModule_Check(obj))
1343 result = _specialized_dir_module(obj);
1344 else if (PyType_Check(obj))
1345 result = _specialized_dir_type(obj);
1346 else
1347 result = _generic_dir(obj);
1348 }
1349 else {
1350 /* use __dir__ */
1351 result = PyObject_CallFunctionObjArgs(dirfunc, obj, NULL);
1352 Py_DECREF(dirfunc);
1353 if (result == NULL)
1354 return NULL;
Georg Brandle32b4222007-03-10 22:13:27 +00001355
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001356 /* result must be a list */
1357 /* XXX(gbrandl): could also check if all items are strings */
1358 if (!PyList_Check(result)) {
1359 PyErr_Format(PyExc_TypeError,
1360 "__dir__() must return a list, not %.200s",
1361 Py_TYPE(result)->tp_name);
1362 Py_DECREF(result);
1363 result = NULL;
1364 }
1365 }
Georg Brandle32b4222007-03-10 22:13:27 +00001366
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001367 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001368}
1369
1370/* Implementation of dir() -- if obj is NULL, returns the names in the current
1371 (local) scope. Otherwise, performs introspection of the object: returns a
1372 sorted list of attribute names (supposedly) accessible from the object
1373*/
1374PyObject *
1375PyObject_Dir(PyObject *obj)
1376{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001377 PyObject * result;
Georg Brandle32b4222007-03-10 22:13:27 +00001378
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001379 if (obj == NULL)
1380 /* no object -- introspect the locals */
1381 result = _dir_locals();
1382 else
1383 /* object -- introspect the object */
1384 result = _dir_object(obj);
Georg Brandle32b4222007-03-10 22:13:27 +00001385
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001386 assert(result == NULL || PyList_Check(result));
Georg Brandle32b4222007-03-10 22:13:27 +00001387
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001388 if (result != NULL && PyList_Sort(result) != 0) {
1389 /* sorting the list failed */
1390 Py_DECREF(result);
1391 result = NULL;
1392 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00001393
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001394 return result;
Tim Peters7eea37e2001-09-04 22:08:56 +00001395}
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001396
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001397/*
1398NoObject is usable as a non-NULL undefined value, used by the macro None.
1399There is (and should be!) no way to create other objects of this type,
Guido van Rossum3f5da241990-12-20 15:06:42 +00001400so there is exactly one (which is indestructible, by the way).
Guido van Rossumba21a492001-08-16 08:17:26 +00001401(XXX This type and the type of NotImplemented below should be unified.)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001402*/
1403
Guido van Rossum0c182a11992-03-27 17:26:13 +00001404/* ARGSUSED */
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001405static PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001406none_repr(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001407{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001408 return PyUnicode_FromString("None");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001409}
1410
Barry Warsaw9bf16442001-01-23 16:24:35 +00001411/* ARGUSED */
1412static void
Tim Peters803526b2002-07-07 05:13:56 +00001413none_dealloc(PyObject* ignore)
Barry Warsaw9bf16442001-01-23 16:24:35 +00001414{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001415 /* This should never get called, but we also don't want to SEGV if
1416 * we accidentally decref None out of existence.
1417 */
1418 Py_FatalError("deallocating None");
Barry Warsaw9bf16442001-01-23 16:24:35 +00001419}
1420
1421
Guido van Rossumba21a492001-08-16 08:17:26 +00001422static PyTypeObject PyNone_Type = {
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001423 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1424 "NoneType",
1425 0,
1426 0,
1427 none_dealloc, /*tp_dealloc*/ /*never called*/
1428 0, /*tp_print*/
1429 0, /*tp_getattr*/
1430 0, /*tp_setattr*/
1431 0, /*tp_reserved*/
1432 none_repr, /*tp_repr*/
1433 0, /*tp_as_number*/
1434 0, /*tp_as_sequence*/
1435 0, /*tp_as_mapping*/
1436 0, /*tp_hash */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001437};
1438
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001439PyObject _Py_NoneStruct = {
Martin v. Löwis9f2e3462007-07-21 17:22:18 +00001440 _PyObject_EXTRA_INIT
1441 1, &PyNone_Type
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001442};
1443
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001444/* NotImplemented is an object that can be used to signal that an
1445 operation is not implemented for the given type combination. */
1446
1447static PyObject *
1448NotImplemented_repr(PyObject *op)
1449{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001450 return PyUnicode_FromString("NotImplemented");
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001451}
1452
1453static PyTypeObject PyNotImplemented_Type = {
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001454 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1455 "NotImplementedType",
1456 0,
1457 0,
1458 none_dealloc, /*tp_dealloc*/ /*never called*/
1459 0, /*tp_print*/
1460 0, /*tp_getattr*/
1461 0, /*tp_setattr*/
1462 0, /*tp_reserved*/
1463 NotImplemented_repr, /*tp_repr*/
1464 0, /*tp_as_number*/
1465 0, /*tp_as_sequence*/
1466 0, /*tp_as_mapping*/
1467 0, /*tp_hash */
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001468};
1469
1470PyObject _Py_NotImplementedStruct = {
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001471 _PyObject_EXTRA_INIT
1472 1, &PyNotImplemented_Type
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001473};
1474
Guido van Rossumba21a492001-08-16 08:17:26 +00001475void
1476_Py_ReadyTypes(void)
1477{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001478 if (PyType_Ready(&PyType_Type) < 0)
1479 Py_FatalError("Can't initialize type type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001480
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001481 if (PyType_Ready(&_PyWeakref_RefType) < 0)
1482 Py_FatalError("Can't initialize weakref type");
Fred Drake0a4dd392004-07-02 18:57:45 +00001483
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001484 if (PyType_Ready(&_PyWeakref_CallableProxyType) < 0)
1485 Py_FatalError("Can't initialize callable weakref proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001486
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001487 if (PyType_Ready(&_PyWeakref_ProxyType) < 0)
1488 Py_FatalError("Can't initialize weakref proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001489
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001490 if (PyType_Ready(&PyBool_Type) < 0)
1491 Py_FatalError("Can't initialize bool type");
Guido van Rossum77f6a652002-04-03 22:41:51 +00001492
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001493 if (PyType_Ready(&PyByteArray_Type) < 0)
1494 Py_FatalError("Can't initialize bytearray type");
Guido van Rossum4dfe8a12006-04-22 23:28:04 +00001495
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001496 if (PyType_Ready(&PyBytes_Type) < 0)
1497 Py_FatalError("Can't initialize 'str'");
Guido van Rossumcacfc072002-05-24 19:01:59 +00001498
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001499 if (PyType_Ready(&PyList_Type) < 0)
1500 Py_FatalError("Can't initialize list type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001501
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001502 if (PyType_Ready(&PyNone_Type) < 0)
1503 Py_FatalError("Can't initialize None type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001504
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001505 if (PyType_Ready(Py_Ellipsis->ob_type) < 0)
1506 Py_FatalError("Can't initialize type(Ellipsis)");
Guido van Rossum50e9fb92006-08-17 05:42:55 +00001507
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001508 if (PyType_Ready(&PyNotImplemented_Type) < 0)
1509 Py_FatalError("Can't initialize NotImplemented type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001510
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001511 if (PyType_Ready(&PyTraceBack_Type) < 0)
1512 Py_FatalError("Can't initialize traceback type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001513
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001514 if (PyType_Ready(&PySuper_Type) < 0)
1515 Py_FatalError("Can't initialize super type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001516
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001517 if (PyType_Ready(&PyBaseObject_Type) < 0)
1518 Py_FatalError("Can't initialize object type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001519
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001520 if (PyType_Ready(&PyRange_Type) < 0)
1521 Py_FatalError("Can't initialize range type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001522
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001523 if (PyType_Ready(&PyDict_Type) < 0)
1524 Py_FatalError("Can't initialize dict type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001525
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001526 if (PyType_Ready(&PySet_Type) < 0)
1527 Py_FatalError("Can't initialize set type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001528
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001529 if (PyType_Ready(&PyUnicode_Type) < 0)
1530 Py_FatalError("Can't initialize str type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001531
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001532 if (PyType_Ready(&PySlice_Type) < 0)
1533 Py_FatalError("Can't initialize slice type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001534
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001535 if (PyType_Ready(&PyStaticMethod_Type) < 0)
1536 Py_FatalError("Can't initialize static method type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001537
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001538#ifndef WITHOUT_COMPLEX
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001539 if (PyType_Ready(&PyComplex_Type) < 0)
1540 Py_FatalError("Can't initialize complex type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001541#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001542 if (PyType_Ready(&PyFloat_Type) < 0)
1543 Py_FatalError("Can't initialize float type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001544
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001545 if (PyType_Ready(&PyLong_Type) < 0)
1546 Py_FatalError("Can't initialize int type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001547
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001548 if (PyType_Ready(&PyFrozenSet_Type) < 0)
1549 Py_FatalError("Can't initialize frozenset type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001550
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001551 if (PyType_Ready(&PyProperty_Type) < 0)
1552 Py_FatalError("Can't initialize property type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001553
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001554 if (PyType_Ready(&PyMemoryView_Type) < 0)
1555 Py_FatalError("Can't initialize memoryview type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001556
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001557 if (PyType_Ready(&PyTuple_Type) < 0)
1558 Py_FatalError("Can't initialize tuple type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001559
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001560 if (PyType_Ready(&PyEnum_Type) < 0)
1561 Py_FatalError("Can't initialize enumerate type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001562
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001563 if (PyType_Ready(&PyReversed_Type) < 0)
1564 Py_FatalError("Can't initialize reversed type");
Guido van Rossum47b9ff62006-08-24 00:41:19 +00001565
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001566 if (PyType_Ready(&PyStdPrinter_Type) < 0)
1567 Py_FatalError("Can't initialize StdPrinter");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001568
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001569 if (PyType_Ready(&PyCode_Type) < 0)
1570 Py_FatalError("Can't initialize code type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001571
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001572 if (PyType_Ready(&PyFrame_Type) < 0)
1573 Py_FatalError("Can't initialize frame type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001574
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001575 if (PyType_Ready(&PyCFunction_Type) < 0)
1576 Py_FatalError("Can't initialize builtin function type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001577
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001578 if (PyType_Ready(&PyMethod_Type) < 0)
1579 Py_FatalError("Can't initialize method type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001580
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001581 if (PyType_Ready(&PyFunction_Type) < 0)
1582 Py_FatalError("Can't initialize function type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001583
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001584 if (PyType_Ready(&PyDictProxy_Type) < 0)
1585 Py_FatalError("Can't initialize dict proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001586
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001587 if (PyType_Ready(&PyGen_Type) < 0)
1588 Py_FatalError("Can't initialize generator type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001589
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001590 if (PyType_Ready(&PyGetSetDescr_Type) < 0)
1591 Py_FatalError("Can't initialize get-set descriptor type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001592
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001593 if (PyType_Ready(&PyWrapperDescr_Type) < 0)
1594 Py_FatalError("Can't initialize wrapper type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001595
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001596 if (PyType_Ready(&PyEllipsis_Type) < 0)
1597 Py_FatalError("Can't initialize ellipsis type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001598
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001599 if (PyType_Ready(&PyMemberDescr_Type) < 0)
1600 Py_FatalError("Can't initialize member descriptor type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001601
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001602 if (PyType_Ready(&PyFilter_Type) < 0)
1603 Py_FatalError("Can't initialize filter type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001604
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001605 if (PyType_Ready(&PyMap_Type) < 0)
1606 Py_FatalError("Can't initialize map type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001607
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001608 if (PyType_Ready(&PyZip_Type) < 0)
1609 Py_FatalError("Can't initialize zip type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001610}
1611
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001612
Guido van Rossum84a90321996-05-22 16:34:47 +00001613#ifdef Py_TRACE_REFS
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001614
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001615void
Fred Drake100814d2000-07-09 15:48:49 +00001616_Py_NewReference(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001617{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001618 _Py_INC_REFTOTAL;
1619 op->ob_refcnt = 1;
1620 _Py_AddToAllObjects(op, 1);
1621 _Py_INC_TPALLOCS(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001622}
1623
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001624void
Fred Drake100814d2000-07-09 15:48:49 +00001625_Py_ForgetReference(register PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001626{
Guido van Rossumbffd6832000-01-20 22:32:56 +00001627#ifdef SLOW_UNREF_CHECK
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001628 register PyObject *p;
Guido van Rossumbffd6832000-01-20 22:32:56 +00001629#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001630 if (op->ob_refcnt < 0)
1631 Py_FatalError("UNREF negative refcnt");
1632 if (op == &refchain ||
1633 op->_ob_prev->_ob_next != op || op->_ob_next->_ob_prev != op) {
1634 fprintf(stderr, "* ob\n");
1635 _PyObject_Dump(op);
1636 fprintf(stderr, "* op->_ob_prev->_ob_next\n");
1637 _PyObject_Dump(op->_ob_prev->_ob_next);
1638 fprintf(stderr, "* op->_ob_next->_ob_prev\n");
1639 _PyObject_Dump(op->_ob_next->_ob_prev);
1640 Py_FatalError("UNREF invalid object");
1641 }
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001642#ifdef SLOW_UNREF_CHECK
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001643 for (p = refchain._ob_next; p != &refchain; p = p->_ob_next) {
1644 if (p == op)
1645 break;
1646 }
1647 if (p == &refchain) /* Not found */
1648 Py_FatalError("UNREF unknown object");
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001649#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001650 op->_ob_next->_ob_prev = op->_ob_prev;
1651 op->_ob_prev->_ob_next = op->_ob_next;
1652 op->_ob_next = op->_ob_prev = NULL;
1653 _Py_INC_TPFREES(op);
Guido van Rossum3f5da241990-12-20 15:06:42 +00001654}
1655
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001656void
Fred Drake100814d2000-07-09 15:48:49 +00001657_Py_Dealloc(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001658{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001659 destructor dealloc = Py_TYPE(op)->tp_dealloc;
1660 _Py_ForgetReference(op);
1661 (*dealloc)(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001662}
1663
Tim Peters269b2a62003-04-17 19:52:29 +00001664/* Print all live objects. Because PyObject_Print is called, the
1665 * interpreter must be in a healthy state.
1666 */
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001667void
Fred Drake100814d2000-07-09 15:48:49 +00001668_Py_PrintReferences(FILE *fp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001669{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001670 PyObject *op;
1671 fprintf(fp, "Remaining objects:\n");
1672 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next) {
1673 fprintf(fp, "%p [%" PY_FORMAT_SIZE_T "d] ", op, op->ob_refcnt);
1674 if (PyObject_Print(op, fp, 0) != 0)
1675 PyErr_Clear();
1676 putc('\n', fp);
1677 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001678}
1679
Tim Peters269b2a62003-04-17 19:52:29 +00001680/* Print the addresses of all live objects. Unlike _Py_PrintReferences, this
1681 * doesn't make any calls to the Python C API, so is always safe to call.
1682 */
1683void
1684_Py_PrintReferenceAddresses(FILE *fp)
1685{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001686 PyObject *op;
1687 fprintf(fp, "Remaining object addresses:\n");
1688 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next)
1689 fprintf(fp, "%p [%" PY_FORMAT_SIZE_T "d] %s\n", op,
1690 op->ob_refcnt, Py_TYPE(op)->tp_name);
Tim Peters269b2a62003-04-17 19:52:29 +00001691}
1692
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001693PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001694_Py_GetObjects(PyObject *self, PyObject *args)
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001695{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001696 int i, n;
1697 PyObject *t = NULL;
1698 PyObject *res, *op;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001699
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001700 if (!PyArg_ParseTuple(args, "i|O", &n, &t))
1701 return NULL;
1702 op = refchain._ob_next;
1703 res = PyList_New(0);
1704 if (res == NULL)
1705 return NULL;
1706 for (i = 0; (n == 0 || i < n) && op != &refchain; i++) {
1707 while (op == self || op == args || op == res || op == t ||
1708 (t != NULL && Py_TYPE(op) != (PyTypeObject *) t)) {
1709 op = op->_ob_next;
1710 if (op == &refchain)
1711 return res;
1712 }
1713 if (PyList_Append(res, op) < 0) {
1714 Py_DECREF(res);
1715 return NULL;
1716 }
1717 op = op->_ob_next;
1718 }
1719 return res;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001720}
1721
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001722#endif
Guido van Rossum97ead3f1996-01-12 01:24:09 +00001723
Guido van Rossum97ead3f1996-01-12 01:24:09 +00001724/* Hack to force loading of cobject.o */
Guido van Rossumda9c2711996-12-05 21:58:58 +00001725PyTypeObject *_Py_cobject_hack = &PyCObject_Type;
Guido van Rossum84a90321996-05-22 16:34:47 +00001726
1727
Benjamin Petersonb173f782009-05-05 22:31:58 +00001728/* Hack to force loading of pycapsule.o */
1729PyTypeObject *_PyCapsule_hack = &PyCapsule_Type;
1730
1731
Guido van Rossum84a90321996-05-22 16:34:47 +00001732/* Hack to force loading of abstract.o */
Martin v. Löwis18e16552006-02-15 17:27:45 +00001733Py_ssize_t (*_Py_abstract_hack)(PyObject *) = PyObject_Size;
Guido van Rossume09fb551997-08-05 02:04:34 +00001734
1735
Andrew M. Kuchling1582a3a2000-08-16 12:27:23 +00001736/* Python's malloc wrappers (see pymem.h) */
Guido van Rossume09fb551997-08-05 02:04:34 +00001737
Thomas Wouters334fb892000-07-25 12:56:38 +00001738void *
Fred Drake100814d2000-07-09 15:48:49 +00001739PyMem_Malloc(size_t nbytes)
Guido van Rossume09fb551997-08-05 02:04:34 +00001740{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001741 return PyMem_MALLOC(nbytes);
Guido van Rossume09fb551997-08-05 02:04:34 +00001742}
1743
Thomas Wouters334fb892000-07-25 12:56:38 +00001744void *
1745PyMem_Realloc(void *p, size_t nbytes)
Guido van Rossume09fb551997-08-05 02:04:34 +00001746{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001747 return PyMem_REALLOC(p, nbytes);
Guido van Rossume09fb551997-08-05 02:04:34 +00001748}
1749
1750void
Thomas Wouters334fb892000-07-25 12:56:38 +00001751PyMem_Free(void *p)
Guido van Rossume09fb551997-08-05 02:04:34 +00001752{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001753 PyMem_FREE(p);
Guido van Rossumb18618d2000-05-03 23:44:39 +00001754}
1755
1756
Guido van Rossum86610361998-04-10 22:32:46 +00001757/* These methods are used to control infinite recursion in repr, str, print,
1758 etc. Container objects that may recursively contain themselves,
1759 e.g. builtin dictionaries and lists, should used Py_ReprEnter() and
1760 Py_ReprLeave() to avoid infinite recursion.
1761
1762 Py_ReprEnter() returns 0 the first time it is called for a particular
1763 object and 1 every time thereafter. It returns -1 if an exception
1764 occurred. Py_ReprLeave() has no return value.
1765
1766 See dictobject.c and listobject.c for examples of use.
1767*/
1768
1769#define KEY "Py_Repr"
1770
1771int
Fred Drake100814d2000-07-09 15:48:49 +00001772Py_ReprEnter(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00001773{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001774 PyObject *dict;
1775 PyObject *list;
1776 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00001777
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001778 dict = PyThreadState_GetDict();
1779 if (dict == NULL)
1780 return 0;
1781 list = PyDict_GetItemString(dict, KEY);
1782 if (list == NULL) {
1783 list = PyList_New(0);
1784 if (list == NULL)
1785 return -1;
1786 if (PyDict_SetItemString(dict, KEY, list) < 0)
1787 return -1;
1788 Py_DECREF(list);
1789 }
1790 i = PyList_GET_SIZE(list);
1791 while (--i >= 0) {
1792 if (PyList_GET_ITEM(list, i) == obj)
1793 return 1;
1794 }
1795 PyList_Append(list, obj);
1796 return 0;
Guido van Rossum86610361998-04-10 22:32:46 +00001797}
1798
1799void
Fred Drake100814d2000-07-09 15:48:49 +00001800Py_ReprLeave(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00001801{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001802 PyObject *dict;
1803 PyObject *list;
1804 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00001805
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001806 dict = PyThreadState_GetDict();
1807 if (dict == NULL)
1808 return;
1809 list = PyDict_GetItemString(dict, KEY);
1810 if (list == NULL || !PyList_Check(list))
1811 return;
1812 i = PyList_GET_SIZE(list);
1813 /* Count backwards because we always expect obj to be list[-1] */
1814 while (--i >= 0) {
1815 if (PyList_GET_ITEM(list, i) == obj) {
1816 PyList_SetSlice(list, i, i + 1, NULL);
1817 break;
1818 }
1819 }
Guido van Rossum86610361998-04-10 22:32:46 +00001820}
Guido van Rossumd724b232000-03-13 16:01:29 +00001821
Tim Peters803526b2002-07-07 05:13:56 +00001822/* Trashcan support. */
Guido van Rossumd724b232000-03-13 16:01:29 +00001823
Tim Peters803526b2002-07-07 05:13:56 +00001824/* Current call-stack depth of tp_dealloc calls. */
Guido van Rossumd724b232000-03-13 16:01:29 +00001825int _PyTrash_delete_nesting = 0;
Guido van Rossume92e6102000-04-24 15:40:53 +00001826
Tim Peters803526b2002-07-07 05:13:56 +00001827/* List of objects that still need to be cleaned up, singly linked via their
1828 * gc headers' gc_prev pointers.
1829 */
1830PyObject *_PyTrash_delete_later = NULL;
Guido van Rossumd724b232000-03-13 16:01:29 +00001831
Tim Peters803526b2002-07-07 05:13:56 +00001832/* Add op to the _PyTrash_delete_later list. Called when the current
1833 * call-stack depth gets large. op must be a currently untracked gc'ed
1834 * object, with refcount 0. Py_DECREF must already have been called on it.
1835 */
Guido van Rossumd724b232000-03-13 16:01:29 +00001836void
Fred Drake100814d2000-07-09 15:48:49 +00001837_PyTrash_deposit_object(PyObject *op)
Guido van Rossumd724b232000-03-13 16:01:29 +00001838{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001839 assert(PyObject_IS_GC(op));
1840 assert(_Py_AS_GC(op)->gc.gc_refs == _PyGC_REFS_UNTRACKED);
1841 assert(op->ob_refcnt == 0);
1842 _Py_AS_GC(op)->gc.gc_prev = (PyGC_Head *)_PyTrash_delete_later;
1843 _PyTrash_delete_later = op;
Guido van Rossumd724b232000-03-13 16:01:29 +00001844}
1845
Tim Peters803526b2002-07-07 05:13:56 +00001846/* Dealloccate all the objects in the _PyTrash_delete_later list. Called when
1847 * the call-stack unwinds again.
1848 */
Guido van Rossumd724b232000-03-13 16:01:29 +00001849void
Fred Drake100814d2000-07-09 15:48:49 +00001850_PyTrash_destroy_chain(void)
Guido van Rossumd724b232000-03-13 16:01:29 +00001851{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001852 while (_PyTrash_delete_later) {
1853 PyObject *op = _PyTrash_delete_later;
1854 destructor dealloc = Py_TYPE(op)->tp_dealloc;
Neil Schemenauerf589c052002-03-29 03:05:54 +00001855
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001856 _PyTrash_delete_later =
1857 (PyObject*) _Py_AS_GC(op)->gc.gc_prev;
Neil Schemenauerf589c052002-03-29 03:05:54 +00001858
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001859 /* Call the deallocator directly. This used to try to
1860 * fool Py_DECREF into calling it indirectly, but
1861 * Py_DECREF was already called on this object, and in
1862 * assorted non-release builds calling Py_DECREF again ends
1863 * up distorting allocation statistics.
1864 */
1865 assert(op->ob_refcnt == 0);
1866 ++_PyTrash_delete_nesting;
1867 (*dealloc)(op);
1868 --_PyTrash_delete_nesting;
1869 }
Guido van Rossumd724b232000-03-13 16:01:29 +00001870}
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001871
1872#ifdef __cplusplus
1873}
1874#endif