blob: 1b8d4e1f42c4bb819628acdbffb3927e72ab9dd1 [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
Neal Norwitz1a997502003-01-13 20:13:12 +0000261/* Implementation of PyObject_Print with recursion checking */
262static int
263internal_print(PyObject *op, FILE *fp, int flags, int nesting)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000264{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000265 int ret = 0;
266 if (nesting > 10) {
267 PyErr_SetString(PyExc_RuntimeError, "print recursion");
268 return -1;
269 }
270 if (PyErr_CheckSignals())
271 return -1;
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000272#ifdef USE_STACKCHECK
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000273 if (PyOS_CheckStack()) {
274 PyErr_SetString(PyExc_MemoryError, "stack overflow");
275 return -1;
276 }
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000277#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000278 clearerr(fp); /* Clear any previous error condition */
279 if (op == NULL) {
280 Py_BEGIN_ALLOW_THREADS
281 fprintf(fp, "<nil>");
282 Py_END_ALLOW_THREADS
283 }
284 else {
285 if (op->ob_refcnt <= 0)
286 /* XXX(twouters) cast refcount to long until %zd is
287 universally available */
288 Py_BEGIN_ALLOW_THREADS
289 fprintf(fp, "<refcnt %ld at %p>",
290 (long)op->ob_refcnt, op);
291 Py_END_ALLOW_THREADS
292 else {
293 PyObject *s;
294 if (flags & Py_PRINT_RAW)
295 s = PyObject_Str(op);
296 else
297 s = PyObject_Repr(op);
298 if (s == NULL)
299 ret = -1;
300 else if (PyBytes_Check(s)) {
301 fwrite(PyBytes_AS_STRING(s), 1,
302 PyBytes_GET_SIZE(s), fp);
303 }
304 else if (PyUnicode_Check(s)) {
305 PyObject *t;
306 t = _PyUnicode_AsDefaultEncodedString(s, NULL);
307 if (t == NULL)
308 ret = 0;
309 else {
310 fwrite(PyBytes_AS_STRING(t), 1,
311 PyBytes_GET_SIZE(t), fp);
312 }
313 }
314 else {
315 PyErr_Format(PyExc_TypeError,
316 "str() or repr() returned '%.100s'",
317 s->ob_type->tp_name);
318 ret = -1;
319 }
320 Py_XDECREF(s);
321 }
322 }
323 if (ret == 0) {
324 if (ferror(fp)) {
325 PyErr_SetFromErrno(PyExc_IOError);
326 clearerr(fp);
327 ret = -1;
328 }
329 }
330 return ret;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000331}
332
Neal Norwitz1a997502003-01-13 20:13:12 +0000333int
334PyObject_Print(PyObject *op, FILE *fp, int flags)
335{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000336 return internal_print(op, fp, flags, 0);
Neal Norwitz1a997502003-01-13 20:13:12 +0000337}
338
Guido van Rossum38938152006-08-21 23:36:26 +0000339/* For debugging convenience. Set a breakpoint here and call it from your DLL */
340void
Thomas Woutersb2137042007-02-01 18:02:27 +0000341_Py_BreakPoint(void)
Guido van Rossum38938152006-08-21 23:36:26 +0000342{
343}
344
Neal Norwitz1a997502003-01-13 20:13:12 +0000345
Barry Warsaw9bf16442001-01-23 16:24:35 +0000346/* For debugging convenience. See Misc/gdbinit for some useful gdb hooks */
Guido van Rossum38938152006-08-21 23:36:26 +0000347void
348_PyObject_Dump(PyObject* op)
Barry Warsaw9bf16442001-01-23 16:24:35 +0000349{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000350 if (op == NULL)
351 fprintf(stderr, "NULL\n");
352 else {
Georg Brandldfd73442009-04-05 11:47:34 +0000353#ifdef WITH_THREAD
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000354 PyGILState_STATE gil;
Georg Brandldfd73442009-04-05 11:47:34 +0000355#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000356 fprintf(stderr, "object : ");
Georg Brandldfd73442009-04-05 11:47:34 +0000357#ifdef WITH_THREAD
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000358 gil = PyGILState_Ensure();
Georg Brandldfd73442009-04-05 11:47:34 +0000359#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000360 (void)PyObject_Print(op, stderr, 0);
Georg Brandldfd73442009-04-05 11:47:34 +0000361#ifdef WITH_THREAD
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000362 PyGILState_Release(gil);
Georg Brandldfd73442009-04-05 11:47:34 +0000363#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000364 /* XXX(twouters) cast refcount to long until %zd is
365 universally available */
366 fprintf(stderr, "\n"
367 "type : %s\n"
368 "refcount: %ld\n"
369 "address : %p\n",
370 Py_TYPE(op)==NULL ? "NULL" : Py_TYPE(op)->tp_name,
371 (long)op->ob_refcnt,
372 op);
373 }
Barry Warsaw9bf16442001-01-23 16:24:35 +0000374}
Barry Warsaw903138f2001-01-23 16:33:18 +0000375
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000376PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000377PyObject_Repr(PyObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000378{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000379 PyObject *res;
380 if (PyErr_CheckSignals())
381 return NULL;
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000382#ifdef USE_STACKCHECK
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000383 if (PyOS_CheckStack()) {
384 PyErr_SetString(PyExc_MemoryError, "stack overflow");
385 return NULL;
386 }
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000387#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000388 if (v == NULL)
389 return PyUnicode_FromString("<NULL>");
390 if (Py_TYPE(v)->tp_repr == NULL)
391 return PyUnicode_FromFormat("<%s object at %p>",
392 v->ob_type->tp_name, v);
393 res = (*v->ob_type->tp_repr)(v);
394 if (res != NULL && !PyUnicode_Check(res)) {
395 PyErr_Format(PyExc_TypeError,
396 "__repr__ returned non-string (type %.200s)",
397 res->ob_type->tp_name);
398 Py_DECREF(res);
399 return NULL;
400 }
401 return res;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000402}
403
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000404PyObject *
Guido van Rossum98297ee2007-11-06 21:34:58 +0000405PyObject_Str(PyObject *v)
Guido van Rossumc6004111993-11-05 10:22:19 +0000406{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000407 PyObject *res;
408 if (PyErr_CheckSignals())
409 return NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000410#ifdef USE_STACKCHECK
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000411 if (PyOS_CheckStack()) {
412 PyErr_SetString(PyExc_MemoryError, "stack overflow");
413 return NULL;
414 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000415#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000416 if (v == NULL)
417 return PyUnicode_FromString("<NULL>");
418 if (PyUnicode_CheckExact(v)) {
419 Py_INCREF(v);
420 return v;
421 }
422 if (Py_TYPE(v)->tp_str == NULL)
423 return PyObject_Repr(v);
Guido van Rossum4f288ab2001-05-01 16:53:37 +0000424
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000425 /* It is possible for a type to have a tp_str representation that loops
426 infinitely. */
427 if (Py_EnterRecursiveCall(" while getting the str of an object"))
428 return NULL;
429 res = (*Py_TYPE(v)->tp_str)(v);
430 Py_LeaveRecursiveCall();
431 if (res == NULL)
432 return NULL;
433 if (!PyUnicode_Check(res)) {
434 PyErr_Format(PyExc_TypeError,
435 "__str__ returned non-string (type %.200s)",
436 Py_TYPE(res)->tp_name);
437 Py_DECREF(res);
438 return NULL;
439 }
440 return res;
Neil Schemenauercf52c072005-08-12 17:34:58 +0000441}
442
Georg Brandl559e5d72008-06-11 18:37:52 +0000443PyObject *
444PyObject_ASCII(PyObject *v)
445{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000446 PyObject *repr, *ascii, *res;
Georg Brandl559e5d72008-06-11 18:37:52 +0000447
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000448 repr = PyObject_Repr(v);
449 if (repr == NULL)
450 return NULL;
Georg Brandl559e5d72008-06-11 18:37:52 +0000451
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000452 /* repr is guaranteed to be a PyUnicode object by PyObject_Repr */
453 ascii = PyUnicode_EncodeASCII(
454 PyUnicode_AS_UNICODE(repr),
455 PyUnicode_GET_SIZE(repr),
456 "backslashreplace");
Georg Brandl559e5d72008-06-11 18:37:52 +0000457
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000458 Py_DECREF(repr);
459 if (ascii == NULL)
460 return NULL;
Georg Brandl559e5d72008-06-11 18:37:52 +0000461
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000462 res = PyUnicode_DecodeASCII(
463 PyBytes_AS_STRING(ascii),
464 PyBytes_GET_SIZE(ascii),
465 NULL);
466
467 Py_DECREF(ascii);
468 return res;
Georg Brandl559e5d72008-06-11 18:37:52 +0000469}
Guido van Rossuma3af41d2001-01-18 22:07:06 +0000470
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000471PyObject *
472PyObject_Bytes(PyObject *v)
473{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000474 PyObject *result, *func;
475 static PyObject *bytesstring = NULL;
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000476
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000477 if (v == NULL)
478 return PyBytes_FromString("<NULL>");
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000479
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000480 if (PyBytes_CheckExact(v)) {
481 Py_INCREF(v);
482 return v;
483 }
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000484
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000485 func = _PyObject_LookupSpecial(v, "__bytes__", &bytesstring);
486 if (func != NULL) {
487 result = PyObject_CallFunctionObjArgs(func, NULL);
488 Py_DECREF(func);
489 if (result == NULL)
490 return NULL;
491 if (!PyBytes_Check(result)) {
492 PyErr_Format(PyExc_TypeError,
493 "__bytes__ returned non-bytes (type %.200s)",
494 Py_TYPE(result)->tp_name);
495 Py_DECREF(result);
496 return NULL;
497 }
498 return result;
499 }
500 else if (PyErr_Occurred())
501 return NULL;
502 return PyBytes_FromObject(v);
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000503}
504
Mark Dickinsonc008a172009-02-01 13:59:22 +0000505/* For Python 3.0.1 and later, the old three-way comparison has been
506 completely removed in favour of rich comparisons. PyObject_Compare() and
507 PyObject_Cmp() are gone, and the builtin cmp function no longer exists.
Mark Dickinsone94c6792009-02-02 20:36:42 +0000508 The old tp_compare slot has been renamed to tp_reserved, and should no
Mark Dickinsonc008a172009-02-01 13:59:22 +0000509 longer be used. Use tp_richcompare instead.
Guido van Rossum98297ee2007-11-06 21:34:58 +0000510
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000511 See (*) below for practical amendments.
512
Mark Dickinsonc008a172009-02-01 13:59:22 +0000513 tp_richcompare gets called with a first argument of the appropriate type
514 and a second object of an arbitrary type. We never do any kind of
515 coercion.
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000516
Mark Dickinsonc008a172009-02-01 13:59:22 +0000517 The tp_richcompare slot should return an object, as follows:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000518
519 NULL if an exception occurred
520 NotImplemented if the requested comparison is not implemented
521 any other false value if the requested comparison is false
522 any other true value if the requested comparison is true
523
524 The PyObject_RichCompare[Bool]() wrappers raise TypeError when they get
525 NotImplemented.
526
527 (*) Practical amendments:
528
529 - If rich comparison returns NotImplemented, == and != are decided by
530 comparing the object pointer (i.e. falling back to the base object
531 implementation).
532
Guido van Rossuma4073002002-05-31 20:03:54 +0000533*/
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000534
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000535/* Map rich comparison operators to their swapped version, e.g. LT <--> GT */
Brett Cannona5ca2e72004-09-25 01:37:24 +0000536int _Py_SwappedOp[] = {Py_GT, Py_GE, Py_EQ, Py_NE, Py_LT, Py_LE};
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +0000537
Guido van Rossum9a4e95c2006-12-19 21:35:46 +0000538static char *opstrings[] = {"<", "<=", "==", "!=", ">", ">="};
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000539
540/* Perform a rich comparison, raising TypeError when the requested comparison
541 operator is not supported. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000542static PyObject *
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000543do_richcompare(PyObject *v, PyObject *w, int op)
Guido van Rossume797ec12001-01-17 15:24:28 +0000544{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000545 richcmpfunc f;
546 PyObject *res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000547
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000548 if (v->ob_type != w->ob_type &&
549 PyType_IsSubtype(w->ob_type, v->ob_type) &&
550 (f = w->ob_type->tp_richcompare) != NULL) {
551 res = (*f)(w, v, _Py_SwappedOp[op]);
552 if (res != Py_NotImplemented)
553 return res;
554 Py_DECREF(res);
555 }
556 if ((f = v->ob_type->tp_richcompare) != NULL) {
557 res = (*f)(v, w, op);
558 if (res != Py_NotImplemented)
559 return res;
560 Py_DECREF(res);
561 }
562 if ((f = w->ob_type->tp_richcompare) != NULL) {
563 res = (*f)(w, v, _Py_SwappedOp[op]);
564 if (res != Py_NotImplemented)
565 return res;
566 Py_DECREF(res);
567 }
568 /* If neither object implements it, provide a sensible default
569 for == and !=, but raise an exception for ordering. */
570 switch (op) {
571 case Py_EQ:
572 res = (v == w) ? Py_True : Py_False;
573 break;
574 case Py_NE:
575 res = (v != w) ? Py_True : Py_False;
576 break;
577 default:
578 /* XXX Special-case None so it doesn't show as NoneType() */
579 PyErr_Format(PyExc_TypeError,
580 "unorderable types: %.100s() %s %.100s()",
581 v->ob_type->tp_name,
582 opstrings[op],
583 w->ob_type->tp_name);
584 return NULL;
585 }
586 Py_INCREF(res);
587 return res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000588}
589
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000590/* Perform a rich comparison with object result. This wraps do_richcompare()
591 with a check for NULL arguments and a recursion check. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000592
Guido van Rossume797ec12001-01-17 15:24:28 +0000593PyObject *
594PyObject_RichCompare(PyObject *v, PyObject *w, int op)
595{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000596 PyObject *res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000597
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000598 assert(Py_LT <= op && op <= Py_GE);
599 if (v == NULL || w == NULL) {
600 if (!PyErr_Occurred())
601 PyErr_BadInternalCall();
602 return NULL;
603 }
604 if (Py_EnterRecursiveCall(" in comparison"))
605 return NULL;
606 res = do_richcompare(v, w, op);
607 Py_LeaveRecursiveCall();
608 return res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000609}
610
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000611/* Perform a rich comparison with integer result. This wraps
612 PyObject_RichCompare(), returning -1 for error, 0 for false, 1 for true. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000613int
614PyObject_RichCompareBool(PyObject *v, PyObject *w, int op)
615{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000616 PyObject *res;
617 int ok;
Guido van Rossume797ec12001-01-17 15:24:28 +0000618
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000619 /* Quick result when objects are the same.
620 Guarantees that identity implies equality. */
621 if (v == w) {
622 if (op == Py_EQ)
623 return 1;
624 else if (op == Py_NE)
625 return 0;
626 }
Mark Dickinson4a1f5932008-11-12 23:23:36 +0000627
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000628 res = PyObject_RichCompare(v, w, op);
629 if (res == NULL)
630 return -1;
631 if (PyBool_Check(res))
632 ok = (res == Py_True);
633 else
634 ok = PyObject_IsTrue(res);
635 Py_DECREF(res);
636 return ok;
Guido van Rossume797ec12001-01-17 15:24:28 +0000637}
Fred Drake13634cf2000-06-29 19:17:04 +0000638
639/* Set of hash utility functions to help maintaining the invariant that
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000640 if a==b then hash(a)==hash(b)
Fred Drake13634cf2000-06-29 19:17:04 +0000641
642 All the utility functions (_Py_Hash*()) return "-1" to signify an error.
643*/
644
645long
Fred Drake100814d2000-07-09 15:48:49 +0000646_Py_HashDouble(double v)
Fred Drake13634cf2000-06-29 19:17:04 +0000647{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000648 double intpart, fractpart;
649 int expo;
650 long hipart;
651 long x; /* the final hash value */
652 /* This is designed so that Python numbers of different types
653 * that compare equal hash to the same value; otherwise comparisons
654 * of mapping keys will turn out weird.
655 */
Tim Peters39dce292000-08-15 03:34:48 +0000656
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000657 fractpart = modf(v, &intpart);
658 if (fractpart == 0.0) {
659 /* This must return the same hash as an equal int or long. */
660 if (intpart > LONG_MAX/2 || -intpart > LONG_MAX/2) {
661 /* Convert to long and use its hash. */
662 PyObject *plong; /* converted to Python long */
663 if (Py_IS_INFINITY(intpart))
664 /* can't convert to long int -- arbitrary */
665 v = v < 0 ? -271828.0 : 314159.0;
666 plong = PyLong_FromDouble(v);
667 if (plong == NULL)
668 return -1;
669 x = PyObject_Hash(plong);
670 Py_DECREF(plong);
671 return x;
672 }
673 /* Fits in a C long == a Python int, so is its own hash. */
674 x = (long)intpart;
675 if (x == -1)
676 x = -2;
677 return x;
678 }
679 /* The fractional part is non-zero, so we don't have to worry about
680 * making this match the hash of some other type.
681 * Use frexp to get at the bits in the double.
682 * Since the VAX D double format has 56 mantissa bits, which is the
683 * most of any double format in use, each of these parts may have as
684 * many as (but no more than) 56 significant bits.
685 * So, assuming sizeof(long) >= 4, each part can be broken into two
686 * longs; frexp and multiplication are used to do that.
687 * Also, since the Cray double format has 15 exponent bits, which is
688 * the most of any double format in use, shifting the exponent field
689 * left by 15 won't overflow a long (again assuming sizeof(long) >= 4).
690 */
691 v = frexp(v, &expo);
692 v *= 2147483648.0; /* 2**31 */
693 hipart = (long)v; /* take the top 32 bits */
694 v = (v - (double)hipart) * 2147483648.0; /* get the next 32 bits */
695 x = hipart + (long)v + (expo << 15);
696 if (x == -1)
697 x = -2;
698 return x;
Fred Drake13634cf2000-06-29 19:17:04 +0000699}
700
701long
Fred Drake100814d2000-07-09 15:48:49 +0000702_Py_HashPointer(void *p)
Fred Drake13634cf2000-06-29 19:17:04 +0000703{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000704 long x;
705 size_t y = (size_t)p;
706 /* bottom 3 or 4 bits are likely to be 0; rotate y by 4 to avoid
707 excessive hash collisions for dicts and sets */
708 y = (y >> 4) | (y << (8 * SIZEOF_VOID_P - 4));
709 x = (long)y;
710 if (x == -1)
711 x = -2;
712 return x;
Fred Drake13634cf2000-06-29 19:17:04 +0000713}
714
Nick Coghland1abd252008-07-15 15:46:38 +0000715long
716PyObject_HashNotImplemented(PyObject *v)
717{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000718 PyErr_Format(PyExc_TypeError, "unhashable type: '%.200s'",
719 Py_TYPE(v)->tp_name);
720 return -1;
Nick Coghland1abd252008-07-15 15:46:38 +0000721}
Fred Drake13634cf2000-06-29 19:17:04 +0000722
Guido van Rossum9bfef441993-03-29 10:43:31 +0000723long
Fred Drake100814d2000-07-09 15:48:49 +0000724PyObject_Hash(PyObject *v)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000725{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000726 PyTypeObject *tp = Py_TYPE(v);
727 if (tp->tp_hash != NULL)
728 return (*tp->tp_hash)(v);
729 /* To keep to the general practice that inheriting
730 * solely from object in C code should work without
731 * an explicit call to PyType_Ready, we implicitly call
732 * PyType_Ready here and then check the tp_hash slot again
733 */
734 if (tp->tp_dict == NULL) {
735 if (PyType_Ready(tp) < 0)
736 return -1;
737 if (tp->tp_hash != NULL)
738 return (*tp->tp_hash)(v);
739 }
740 /* Otherwise, the object can't be hashed */
741 return PyObject_HashNotImplemented(v);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000742}
743
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000744PyObject *
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000745PyObject_GetAttrString(PyObject *v, const char *name)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000746{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000747 PyObject *w, *res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000748
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000749 if (Py_TYPE(v)->tp_getattr != NULL)
750 return (*Py_TYPE(v)->tp_getattr)(v, (char*)name);
751 w = PyUnicode_InternFromString(name);
752 if (w == NULL)
753 return NULL;
754 res = PyObject_GetAttr(v, w);
755 Py_XDECREF(w);
756 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000757}
758
759int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000760PyObject_HasAttrString(PyObject *v, const char *name)
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000761{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000762 PyObject *res = PyObject_GetAttrString(v, name);
763 if (res != NULL) {
764 Py_DECREF(res);
765 return 1;
766 }
767 PyErr_Clear();
768 return 0;
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000769}
770
771int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000772PyObject_SetAttrString(PyObject *v, const char *name, PyObject *w)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000773{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000774 PyObject *s;
775 int res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000776
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000777 if (Py_TYPE(v)->tp_setattr != NULL)
778 return (*Py_TYPE(v)->tp_setattr)(v, (char*)name, w);
779 s = PyUnicode_InternFromString(name);
780 if (s == NULL)
781 return -1;
782 res = PyObject_SetAttr(v, s, w);
783 Py_XDECREF(s);
784 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000785}
786
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000787PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000788PyObject_GetAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000789{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000790 PyTypeObject *tp = Py_TYPE(v);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000791
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000792 if (!PyUnicode_Check(name)) {
793 PyErr_Format(PyExc_TypeError,
794 "attribute name must be string, not '%.200s'",
795 name->ob_type->tp_name);
796 return NULL;
797 }
798 if (tp->tp_getattro != NULL)
799 return (*tp->tp_getattro)(v, name);
800 if (tp->tp_getattr != NULL) {
801 char *name_str = _PyUnicode_AsString(name);
802 if (name_str == NULL)
803 return NULL;
804 return (*tp->tp_getattr)(v, name_str);
805 }
806 PyErr_Format(PyExc_AttributeError,
807 "'%.50s' object has no attribute '%U'",
808 tp->tp_name, name);
809 return NULL;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000810}
811
812int
Fred Drake100814d2000-07-09 15:48:49 +0000813PyObject_HasAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000814{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000815 PyObject *res = PyObject_GetAttr(v, name);
816 if (res != NULL) {
817 Py_DECREF(res);
818 return 1;
819 }
820 PyErr_Clear();
821 return 0;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000822}
823
824int
Fred Drake100814d2000-07-09 15:48:49 +0000825PyObject_SetAttr(PyObject *v, PyObject *name, PyObject *value)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000826{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000827 PyTypeObject *tp = Py_TYPE(v);
828 int err;
Marc-André Lemburge44e5072000-09-18 16:20:57 +0000829
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000830 if (!PyUnicode_Check(name)) {
831 PyErr_Format(PyExc_TypeError,
832 "attribute name must be string, not '%.200s'",
833 name->ob_type->tp_name);
834 return -1;
835 }
836 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000837
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000838 PyUnicode_InternInPlace(&name);
839 if (tp->tp_setattro != NULL) {
840 err = (*tp->tp_setattro)(v, name, value);
841 Py_DECREF(name);
842 return err;
843 }
844 if (tp->tp_setattr != NULL) {
845 char *name_str = _PyUnicode_AsString(name);
846 if (name_str == NULL)
847 return -1;
848 err = (*tp->tp_setattr)(v, name_str, value);
849 Py_DECREF(name);
850 return err;
851 }
852 Py_DECREF(name);
853 assert(name->ob_refcnt >= 1);
854 if (tp->tp_getattr == NULL && tp->tp_getattro == NULL)
855 PyErr_Format(PyExc_TypeError,
856 "'%.100s' object has no attributes "
857 "(%s .%U)",
858 tp->tp_name,
859 value==NULL ? "del" : "assign to",
860 name);
861 else
862 PyErr_Format(PyExc_TypeError,
863 "'%.100s' object has only read-only attributes "
864 "(%s .%U)",
865 tp->tp_name,
866 value==NULL ? "del" : "assign to",
867 name);
868 return -1;
Tim Peters6d6c1a32001-08-02 04:15:00 +0000869}
870
871/* Helper to get a pointer to an object's __dict__ slot, if any */
872
873PyObject **
874_PyObject_GetDictPtr(PyObject *obj)
875{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000876 Py_ssize_t dictoffset;
877 PyTypeObject *tp = Py_TYPE(obj);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000878
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000879 dictoffset = tp->tp_dictoffset;
880 if (dictoffset == 0)
881 return NULL;
882 if (dictoffset < 0) {
883 Py_ssize_t tsize;
884 size_t size;
Guido van Rossum2eb0b872002-03-01 22:24:49 +0000885
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000886 tsize = ((PyVarObject *)obj)->ob_size;
887 if (tsize < 0)
888 tsize = -tsize;
889 size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossum2eb0b872002-03-01 22:24:49 +0000890
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000891 dictoffset += (long)size;
892 assert(dictoffset > 0);
893 assert(dictoffset % SIZEOF_VOID_P == 0);
894 }
895 return (PyObject **) ((char *)obj + dictoffset);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000896}
897
Tim Peters6d6c1a32001-08-02 04:15:00 +0000898PyObject *
Raymond Hettinger1da1dbf2003-03-17 19:46:11 +0000899PyObject_SelfIter(PyObject *obj)
Raymond Hettinger01538262003-03-17 08:24:35 +0000900{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000901 Py_INCREF(obj);
902 return obj;
Raymond Hettinger01538262003-03-17 08:24:35 +0000903}
904
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +0000905/* Helper used when the __next__ method is removed from a type:
906 tp_iternext is never NULL and can be safely called without checking
907 on every iteration.
908 */
909
910PyObject *
911_PyObject_NextNotImplemented(PyObject *self)
912{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000913 PyErr_Format(PyExc_TypeError,
914 "'%.200s' object is not iterable",
915 Py_TYPE(self)->tp_name);
916 return NULL;
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +0000917}
918
Michael W. Hudson1593f502004-09-14 17:09:47 +0000919/* Generic GetAttr functions - put these in your tp_[gs]etattro slot */
920
Raymond Hettinger01538262003-03-17 08:24:35 +0000921PyObject *
Tim Peters6d6c1a32001-08-02 04:15:00 +0000922PyObject_GenericGetAttr(PyObject *obj, PyObject *name)
923{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000924 PyTypeObject *tp = Py_TYPE(obj);
925 PyObject *descr = NULL;
926 PyObject *res = NULL;
927 descrgetfunc f;
928 Py_ssize_t dictoffset;
929 PyObject **dictptr;
Tim Peters6d6c1a32001-08-02 04:15:00 +0000930
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000931 if (!PyUnicode_Check(name)){
932 PyErr_Format(PyExc_TypeError,
933 "attribute name must be string, not '%.200s'",
934 name->ob_type->tp_name);
935 return NULL;
936 }
937 else
938 Py_INCREF(name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +0000939
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000940 if (tp->tp_dict == NULL) {
941 if (PyType_Ready(tp) < 0)
942 goto done;
943 }
Tim Peters6d6c1a32001-08-02 04:15:00 +0000944
Christian Heimesa62da1d2008-01-12 19:39:10 +0000945#if 0 /* XXX this is not quite _PyType_Lookup anymore */
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000946 /* Inline _PyType_Lookup */
947 {
948 Py_ssize_t i, n;
949 PyObject *mro, *base, *dict;
Guido van Rossum056fbf42002-08-19 19:22:50 +0000950
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000951 /* Look in tp_dict of types in MRO */
952 mro = tp->tp_mro;
953 assert(mro != NULL);
954 assert(PyTuple_Check(mro));
955 n = PyTuple_GET_SIZE(mro);
956 for (i = 0; i < n; i++) {
957 base = PyTuple_GET_ITEM(mro, i);
958 assert(PyType_Check(base));
959 dict = ((PyTypeObject *)base)->tp_dict;
960 assert(dict && PyDict_Check(dict));
961 descr = PyDict_GetItem(dict, name);
962 if (descr != NULL)
963 break;
964 }
965 }
Christian Heimesa62da1d2008-01-12 19:39:10 +0000966#else
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000967 descr = _PyType_Lookup(tp, name);
Christian Heimesa62da1d2008-01-12 19:39:10 +0000968#endif
Guido van Rossum056fbf42002-08-19 19:22:50 +0000969
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000970 Py_XINCREF(descr);
Michael W. Hudsonb2c7de42003-08-15 13:07:47 +0000971
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000972 f = NULL;
973 if (descr != NULL) {
974 f = descr->ob_type->tp_descr_get;
975 if (f != NULL && PyDescr_IsData(descr)) {
976 res = f(descr, obj, (PyObject *)obj->ob_type);
977 Py_DECREF(descr);
978 goto done;
979 }
980 }
Tim Peters6d6c1a32001-08-02 04:15:00 +0000981
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000982 /* Inline _PyObject_GetDictPtr */
983 dictoffset = tp->tp_dictoffset;
984 if (dictoffset != 0) {
985 PyObject *dict;
986 if (dictoffset < 0) {
987 Py_ssize_t tsize;
988 size_t size;
Guido van Rossumc66ff442002-08-19 16:50:48 +0000989
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000990 tsize = ((PyVarObject *)obj)->ob_size;
991 if (tsize < 0)
992 tsize = -tsize;
993 size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossumc66ff442002-08-19 16:50:48 +0000994
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +0000995 dictoffset += (long)size;
996 assert(dictoffset > 0);
997 assert(dictoffset % SIZEOF_VOID_P == 0);
998 }
999 dictptr = (PyObject **) ((char *)obj + dictoffset);
1000 dict = *dictptr;
1001 if (dict != NULL) {
1002 Py_INCREF(dict);
1003 res = PyDict_GetItem(dict, name);
1004 if (res != NULL) {
1005 Py_INCREF(res);
1006 Py_XDECREF(descr);
1007 Py_DECREF(dict);
1008 goto done;
1009 }
1010 Py_DECREF(dict);
1011 }
1012 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001013
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001014 if (f != NULL) {
1015 res = f(descr, obj, (PyObject *)Py_TYPE(obj));
1016 Py_DECREF(descr);
1017 goto done;
1018 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001019
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001020 if (descr != NULL) {
1021 res = descr;
1022 /* descr was already increfed above */
1023 goto done;
1024 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001025
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001026 PyErr_Format(PyExc_AttributeError,
1027 "'%.50s' object has no attribute '%U'",
1028 tp->tp_name, name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001029 done:
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001030 Py_DECREF(name);
1031 return res;
Tim Peters6d6c1a32001-08-02 04:15:00 +00001032}
1033
1034int
1035PyObject_GenericSetAttr(PyObject *obj, PyObject *name, PyObject *value)
1036{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001037 PyTypeObject *tp = Py_TYPE(obj);
1038 PyObject *descr;
1039 descrsetfunc f;
1040 PyObject **dictptr;
1041 int res = -1;
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001042
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001043 if (!PyUnicode_Check(name)){
1044 PyErr_Format(PyExc_TypeError,
1045 "attribute name must be string, not '%.200s'",
1046 name->ob_type->tp_name);
1047 return -1;
1048 }
1049 else
1050 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001051
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001052 if (tp->tp_dict == NULL) {
1053 if (PyType_Ready(tp) < 0)
1054 goto done;
1055 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001056
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001057 descr = _PyType_Lookup(tp, name);
1058 f = NULL;
1059 if (descr != NULL) {
1060 f = descr->ob_type->tp_descr_set;
1061 if (f != NULL && PyDescr_IsData(descr)) {
1062 res = f(descr, obj, value);
1063 goto done;
1064 }
1065 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001066
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001067 dictptr = _PyObject_GetDictPtr(obj);
1068 if (dictptr != NULL) {
1069 PyObject *dict = *dictptr;
1070 if (dict == NULL && value != NULL) {
1071 dict = PyDict_New();
1072 if (dict == NULL)
1073 goto done;
1074 *dictptr = dict;
1075 }
1076 if (dict != NULL) {
1077 Py_INCREF(dict);
1078 if (value == NULL)
1079 res = PyDict_DelItem(dict, name);
1080 else
1081 res = PyDict_SetItem(dict, name, value);
1082 if (res < 0 && PyErr_ExceptionMatches(PyExc_KeyError))
1083 PyErr_SetObject(PyExc_AttributeError, name);
1084 Py_DECREF(dict);
1085 goto done;
1086 }
1087 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001088
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001089 if (f != NULL) {
1090 res = f(descr, obj, value);
1091 goto done;
1092 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001093
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001094 if (descr == NULL) {
1095 PyErr_Format(PyExc_AttributeError,
1096 "'%.100s' object has no attribute '%U'",
1097 tp->tp_name, name);
1098 goto done;
1099 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001100
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001101 PyErr_Format(PyExc_AttributeError,
1102 "'%.50s' object attribute '%U' is read-only",
1103 tp->tp_name, name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001104 done:
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001105 Py_DECREF(name);
1106 return res;
Guido van Rossum98ff96a1997-05-20 18:34:44 +00001107}
1108
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001109/* Test a value used as condition, e.g., in a for or if statement.
1110 Return -1 if an error occurred */
1111
1112int
Fred Drake100814d2000-07-09 15:48:49 +00001113PyObject_IsTrue(PyObject *v)
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001114{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001115 Py_ssize_t res;
1116 if (v == Py_True)
1117 return 1;
1118 if (v == Py_False)
1119 return 0;
1120 if (v == Py_None)
1121 return 0;
1122 else if (v->ob_type->tp_as_number != NULL &&
1123 v->ob_type->tp_as_number->nb_bool != NULL)
1124 res = (*v->ob_type->tp_as_number->nb_bool)(v);
1125 else if (v->ob_type->tp_as_mapping != NULL &&
1126 v->ob_type->tp_as_mapping->mp_length != NULL)
1127 res = (*v->ob_type->tp_as_mapping->mp_length)(v);
1128 else if (v->ob_type->tp_as_sequence != NULL &&
1129 v->ob_type->tp_as_sequence->sq_length != NULL)
1130 res = (*v->ob_type->tp_as_sequence->sq_length)(v);
1131 else
1132 return 1;
1133 /* if it is negative, it should be either -1 or -2 */
1134 return (res > 0) ? 1 : Py_SAFE_DOWNCAST(res, Py_ssize_t, int);
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001135}
1136
Tim Peters803526b2002-07-07 05:13:56 +00001137/* equivalent of 'not v'
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001138 Return -1 if an error occurred */
1139
1140int
Fred Drake100814d2000-07-09 15:48:49 +00001141PyObject_Not(PyObject *v)
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001142{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001143 int res;
1144 res = PyObject_IsTrue(v);
1145 if (res < 0)
1146 return res;
1147 return res == 0;
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001148}
1149
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001150/* Test whether an object can be called */
1151
1152int
Fred Drake100814d2000-07-09 15:48:49 +00001153PyCallable_Check(PyObject *x)
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001154{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001155 if (x == NULL)
1156 return 0;
1157 return x->ob_type->tp_call != NULL;
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001158}
1159
Georg Brandle32b4222007-03-10 22:13:27 +00001160/* ------------------------- PyObject_Dir() helpers ------------------------- */
1161
Tim Peters7eea37e2001-09-04 22:08:56 +00001162/* Helper for PyObject_Dir.
1163 Merge the __dict__ of aclass into dict, and recursively also all
1164 the __dict__s of aclass's base classes. The order of merging isn't
1165 defined, as it's expected that only the final set of dict keys is
1166 interesting.
1167 Return 0 on success, -1 on error.
1168*/
1169
1170static int
1171merge_class_dict(PyObject* dict, PyObject* aclass)
1172{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001173 PyObject *classdict;
1174 PyObject *bases;
Tim Peters7eea37e2001-09-04 22:08:56 +00001175
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001176 assert(PyDict_Check(dict));
1177 assert(aclass);
Tim Peters7eea37e2001-09-04 22:08:56 +00001178
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001179 /* Merge in the type's dict (if any). */
1180 classdict = PyObject_GetAttrString(aclass, "__dict__");
1181 if (classdict == NULL)
1182 PyErr_Clear();
1183 else {
1184 int status = PyDict_Update(dict, classdict);
1185 Py_DECREF(classdict);
1186 if (status < 0)
1187 return -1;
1188 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001189
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001190 /* Recursively merge in the base types' (if any) dicts. */
1191 bases = PyObject_GetAttrString(aclass, "__bases__");
1192 if (bases == NULL)
1193 PyErr_Clear();
1194 else {
1195 /* We have no guarantee that bases is a real tuple */
1196 Py_ssize_t i, n;
1197 n = PySequence_Size(bases); /* This better be right */
1198 if (n < 0)
1199 PyErr_Clear();
1200 else {
1201 for (i = 0; i < n; i++) {
1202 int status;
1203 PyObject *base = PySequence_GetItem(bases, i);
1204 if (base == NULL) {
1205 Py_DECREF(bases);
1206 return -1;
1207 }
1208 status = merge_class_dict(dict, base);
1209 Py_DECREF(base);
1210 if (status < 0) {
1211 Py_DECREF(bases);
1212 return -1;
1213 }
1214 }
1215 }
1216 Py_DECREF(bases);
1217 }
1218 return 0;
Tim Peters7eea37e2001-09-04 22:08:56 +00001219}
1220
Georg Brandle32b4222007-03-10 22:13:27 +00001221/* Helper for PyObject_Dir without arguments: returns the local scope. */
1222static PyObject *
Guido van Rossumad7d8d12007-04-13 01:39:34 +00001223_dir_locals(void)
Tim Peters305b5852001-09-17 02:38:46 +00001224{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001225 PyObject *names;
1226 PyObject *locals = PyEval_GetLocals();
Tim Peters305b5852001-09-17 02:38:46 +00001227
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001228 if (locals == NULL) {
1229 PyErr_SetString(PyExc_SystemError, "frame does not exist");
1230 return NULL;
1231 }
Tim Peters305b5852001-09-17 02:38:46 +00001232
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001233 names = PyMapping_Keys(locals);
1234 if (!names)
1235 return NULL;
1236 if (!PyList_Check(names)) {
1237 PyErr_Format(PyExc_TypeError,
1238 "dir(): expected keys() of locals to be a list, "
1239 "not '%.200s'", Py_TYPE(names)->tp_name);
1240 Py_DECREF(names);
1241 return NULL;
1242 }
1243 /* the locals don't need to be DECREF'd */
1244 return names;
Georg Brandle32b4222007-03-10 22:13:27 +00001245}
1246
1247/* Helper for PyObject_Dir of type objects: returns __dict__ and __bases__.
Guido van Rossum98297ee2007-11-06 21:34:58 +00001248 We deliberately don't suck up its __class__, as methods belonging to the
1249 metaclass would probably be more confusing than helpful.
Georg Brandle32b4222007-03-10 22:13:27 +00001250*/
Guido van Rossum98297ee2007-11-06 21:34:58 +00001251static PyObject *
Georg Brandle32b4222007-03-10 22:13:27 +00001252_specialized_dir_type(PyObject *obj)
1253{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001254 PyObject *result = NULL;
1255 PyObject *dict = PyDict_New();
Georg Brandle32b4222007-03-10 22:13:27 +00001256
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001257 if (dict != NULL && merge_class_dict(dict, obj) == 0)
1258 result = PyDict_Keys(dict);
Georg Brandle32b4222007-03-10 22:13:27 +00001259
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001260 Py_XDECREF(dict);
1261 return result;
Tim Peters305b5852001-09-17 02:38:46 +00001262}
1263
Georg Brandle32b4222007-03-10 22:13:27 +00001264/* Helper for PyObject_Dir of module objects: returns the module's __dict__. */
1265static PyObject *
1266_specialized_dir_module(PyObject *obj)
Tim Peters7eea37e2001-09-04 22:08:56 +00001267{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001268 PyObject *result = NULL;
1269 PyObject *dict = PyObject_GetAttrString(obj, "__dict__");
Tim Peters7eea37e2001-09-04 22:08:56 +00001270
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001271 if (dict != NULL) {
1272 if (PyDict_Check(dict))
1273 result = PyDict_Keys(dict);
1274 else {
1275 const char *name = PyModule_GetName(obj);
1276 if (name)
1277 PyErr_Format(PyExc_TypeError,
1278 "%.200s.__dict__ is not a dictionary",
1279 name);
1280 }
1281 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001282
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001283 Py_XDECREF(dict);
1284 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001285}
Tim Peters7eea37e2001-09-04 22:08:56 +00001286
Georg Brandle32b4222007-03-10 22:13:27 +00001287/* Helper for PyObject_Dir of generic objects: returns __dict__, __class__,
1288 and recursively up the __class__.__bases__ chain.
1289*/
1290static PyObject *
1291_generic_dir(PyObject *obj)
1292{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001293 PyObject *result = NULL;
1294 PyObject *dict = NULL;
1295 PyObject *itsclass = NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +00001296
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001297 /* Get __dict__ (which may or may not be a real dict...) */
1298 dict = PyObject_GetAttrString(obj, "__dict__");
1299 if (dict == NULL) {
1300 PyErr_Clear();
1301 dict = PyDict_New();
1302 }
1303 else if (!PyDict_Check(dict)) {
1304 Py_DECREF(dict);
1305 dict = PyDict_New();
1306 }
1307 else {
1308 /* Copy __dict__ to avoid mutating it. */
1309 PyObject *temp = PyDict_Copy(dict);
1310 Py_DECREF(dict);
1311 dict = temp;
1312 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001313
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001314 if (dict == NULL)
1315 goto error;
Tim Peters7eea37e2001-09-04 22:08:56 +00001316
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001317 /* Merge in attrs reachable from its class. */
1318 itsclass = PyObject_GetAttrString(obj, "__class__");
1319 if (itsclass == NULL)
1320 /* XXX(tomer): Perhaps fall back to obj->ob_type if no
1321 __class__ exists? */
1322 PyErr_Clear();
1323 else {
1324 if (merge_class_dict(dict, itsclass) != 0)
1325 goto error;
1326 }
Georg Brandle32b4222007-03-10 22:13:27 +00001327
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001328 result = PyDict_Keys(dict);
1329 /* fall through */
Georg Brandle32b4222007-03-10 22:13:27 +00001330error:
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001331 Py_XDECREF(itsclass);
1332 Py_XDECREF(dict);
1333 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001334}
1335
1336/* Helper for PyObject_Dir: object introspection.
1337 This calls one of the above specialized versions if no __dir__ method
1338 exists. */
1339static PyObject *
1340_dir_object(PyObject *obj)
1341{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001342 PyObject * result = NULL;
1343 PyObject * dirfunc = PyObject_GetAttrString((PyObject*)obj->ob_type,
1344 "__dir__");
Georg Brandle32b4222007-03-10 22:13:27 +00001345
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001346 assert(obj);
1347 if (dirfunc == NULL) {
1348 /* use default implementation */
1349 PyErr_Clear();
1350 if (PyModule_Check(obj))
1351 result = _specialized_dir_module(obj);
1352 else if (PyType_Check(obj))
1353 result = _specialized_dir_type(obj);
1354 else
1355 result = _generic_dir(obj);
1356 }
1357 else {
1358 /* use __dir__ */
1359 result = PyObject_CallFunctionObjArgs(dirfunc, obj, NULL);
1360 Py_DECREF(dirfunc);
1361 if (result == NULL)
1362 return NULL;
Georg Brandle32b4222007-03-10 22:13:27 +00001363
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001364 /* result must be a list */
1365 /* XXX(gbrandl): could also check if all items are strings */
1366 if (!PyList_Check(result)) {
1367 PyErr_Format(PyExc_TypeError,
1368 "__dir__() must return a list, not %.200s",
1369 Py_TYPE(result)->tp_name);
1370 Py_DECREF(result);
1371 result = NULL;
1372 }
1373 }
Georg Brandle32b4222007-03-10 22:13:27 +00001374
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001375 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001376}
1377
1378/* Implementation of dir() -- if obj is NULL, returns the names in the current
1379 (local) scope. Otherwise, performs introspection of the object: returns a
1380 sorted list of attribute names (supposedly) accessible from the object
1381*/
1382PyObject *
1383PyObject_Dir(PyObject *obj)
1384{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001385 PyObject * result;
Georg Brandle32b4222007-03-10 22:13:27 +00001386
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001387 if (obj == NULL)
1388 /* no object -- introspect the locals */
1389 result = _dir_locals();
1390 else
1391 /* object -- introspect the object */
1392 result = _dir_object(obj);
Georg Brandle32b4222007-03-10 22:13:27 +00001393
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001394 assert(result == NULL || PyList_Check(result));
Georg Brandle32b4222007-03-10 22:13:27 +00001395
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001396 if (result != NULL && PyList_Sort(result) != 0) {
1397 /* sorting the list failed */
1398 Py_DECREF(result);
1399 result = NULL;
1400 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00001401
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001402 return result;
Tim Peters7eea37e2001-09-04 22:08:56 +00001403}
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001404
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001405/*
1406NoObject is usable as a non-NULL undefined value, used by the macro None.
1407There is (and should be!) no way to create other objects of this type,
Guido van Rossum3f5da241990-12-20 15:06:42 +00001408so there is exactly one (which is indestructible, by the way).
Guido van Rossumba21a492001-08-16 08:17:26 +00001409(XXX This type and the type of NotImplemented below should be unified.)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001410*/
1411
Guido van Rossum0c182a11992-03-27 17:26:13 +00001412/* ARGSUSED */
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001413static PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001414none_repr(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001415{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001416 return PyUnicode_FromString("None");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001417}
1418
Barry Warsaw9bf16442001-01-23 16:24:35 +00001419/* ARGUSED */
1420static void
Tim Peters803526b2002-07-07 05:13:56 +00001421none_dealloc(PyObject* ignore)
Barry Warsaw9bf16442001-01-23 16:24:35 +00001422{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001423 /* This should never get called, but we also don't want to SEGV if
1424 * we accidentally decref None out of existence.
1425 */
1426 Py_FatalError("deallocating None");
Barry Warsaw9bf16442001-01-23 16:24:35 +00001427}
1428
1429
Guido van Rossumba21a492001-08-16 08:17:26 +00001430static PyTypeObject PyNone_Type = {
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001431 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1432 "NoneType",
1433 0,
1434 0,
1435 none_dealloc, /*tp_dealloc*/ /*never called*/
1436 0, /*tp_print*/
1437 0, /*tp_getattr*/
1438 0, /*tp_setattr*/
1439 0, /*tp_reserved*/
1440 none_repr, /*tp_repr*/
1441 0, /*tp_as_number*/
1442 0, /*tp_as_sequence*/
1443 0, /*tp_as_mapping*/
1444 0, /*tp_hash */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001445};
1446
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001447PyObject _Py_NoneStruct = {
Martin v. Löwis9f2e3462007-07-21 17:22:18 +00001448 _PyObject_EXTRA_INIT
1449 1, &PyNone_Type
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001450};
1451
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001452/* NotImplemented is an object that can be used to signal that an
1453 operation is not implemented for the given type combination. */
1454
1455static PyObject *
1456NotImplemented_repr(PyObject *op)
1457{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001458 return PyUnicode_FromString("NotImplemented");
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001459}
1460
1461static PyTypeObject PyNotImplemented_Type = {
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001462 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1463 "NotImplementedType",
1464 0,
1465 0,
1466 none_dealloc, /*tp_dealloc*/ /*never called*/
1467 0, /*tp_print*/
1468 0, /*tp_getattr*/
1469 0, /*tp_setattr*/
1470 0, /*tp_reserved*/
1471 NotImplemented_repr, /*tp_repr*/
1472 0, /*tp_as_number*/
1473 0, /*tp_as_sequence*/
1474 0, /*tp_as_mapping*/
1475 0, /*tp_hash */
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001476};
1477
1478PyObject _Py_NotImplementedStruct = {
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001479 _PyObject_EXTRA_INIT
1480 1, &PyNotImplemented_Type
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001481};
1482
Guido van Rossumba21a492001-08-16 08:17:26 +00001483void
1484_Py_ReadyTypes(void)
1485{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001486 if (PyType_Ready(&PyType_Type) < 0)
1487 Py_FatalError("Can't initialize type type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001488
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001489 if (PyType_Ready(&_PyWeakref_RefType) < 0)
1490 Py_FatalError("Can't initialize weakref type");
Fred Drake0a4dd392004-07-02 18:57:45 +00001491
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001492 if (PyType_Ready(&_PyWeakref_CallableProxyType) < 0)
1493 Py_FatalError("Can't initialize callable weakref proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001494
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001495 if (PyType_Ready(&_PyWeakref_ProxyType) < 0)
1496 Py_FatalError("Can't initialize weakref proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001497
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001498 if (PyType_Ready(&PyBool_Type) < 0)
1499 Py_FatalError("Can't initialize bool type");
Guido van Rossum77f6a652002-04-03 22:41:51 +00001500
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001501 if (PyType_Ready(&PyByteArray_Type) < 0)
1502 Py_FatalError("Can't initialize bytearray type");
Guido van Rossum4dfe8a12006-04-22 23:28:04 +00001503
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001504 if (PyType_Ready(&PyBytes_Type) < 0)
1505 Py_FatalError("Can't initialize 'str'");
Guido van Rossumcacfc072002-05-24 19:01:59 +00001506
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001507 if (PyType_Ready(&PyList_Type) < 0)
1508 Py_FatalError("Can't initialize list type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001509
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001510 if (PyType_Ready(&PyNone_Type) < 0)
1511 Py_FatalError("Can't initialize None type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001512
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001513 if (PyType_Ready(Py_Ellipsis->ob_type) < 0)
1514 Py_FatalError("Can't initialize type(Ellipsis)");
Guido van Rossum50e9fb92006-08-17 05:42:55 +00001515
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001516 if (PyType_Ready(&PyNotImplemented_Type) < 0)
1517 Py_FatalError("Can't initialize NotImplemented type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001518
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001519 if (PyType_Ready(&PyTraceBack_Type) < 0)
1520 Py_FatalError("Can't initialize traceback type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001521
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001522 if (PyType_Ready(&PySuper_Type) < 0)
1523 Py_FatalError("Can't initialize super type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001524
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001525 if (PyType_Ready(&PyBaseObject_Type) < 0)
1526 Py_FatalError("Can't initialize object type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001527
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001528 if (PyType_Ready(&PyRange_Type) < 0)
1529 Py_FatalError("Can't initialize range type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001530
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001531 if (PyType_Ready(&PyDict_Type) < 0)
1532 Py_FatalError("Can't initialize dict type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001533
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001534 if (PyType_Ready(&PySet_Type) < 0)
1535 Py_FatalError("Can't initialize set type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001536
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001537 if (PyType_Ready(&PyUnicode_Type) < 0)
1538 Py_FatalError("Can't initialize str type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001539
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001540 if (PyType_Ready(&PySlice_Type) < 0)
1541 Py_FatalError("Can't initialize slice type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001542
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001543 if (PyType_Ready(&PyStaticMethod_Type) < 0)
1544 Py_FatalError("Can't initialize static method type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001545
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001546#ifndef WITHOUT_COMPLEX
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001547 if (PyType_Ready(&PyComplex_Type) < 0)
1548 Py_FatalError("Can't initialize complex type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001549#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001550 if (PyType_Ready(&PyFloat_Type) < 0)
1551 Py_FatalError("Can't initialize float type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001552
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001553 if (PyType_Ready(&PyLong_Type) < 0)
1554 Py_FatalError("Can't initialize int type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001555
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001556 if (PyType_Ready(&PyFrozenSet_Type) < 0)
1557 Py_FatalError("Can't initialize frozenset type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001558
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001559 if (PyType_Ready(&PyProperty_Type) < 0)
1560 Py_FatalError("Can't initialize property type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001561
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001562 if (PyType_Ready(&PyMemoryView_Type) < 0)
1563 Py_FatalError("Can't initialize memoryview type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001564
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001565 if (PyType_Ready(&PyTuple_Type) < 0)
1566 Py_FatalError("Can't initialize tuple type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001567
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001568 if (PyType_Ready(&PyEnum_Type) < 0)
1569 Py_FatalError("Can't initialize enumerate type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001570
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001571 if (PyType_Ready(&PyReversed_Type) < 0)
1572 Py_FatalError("Can't initialize reversed type");
Guido van Rossum47b9ff62006-08-24 00:41:19 +00001573
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001574 if (PyType_Ready(&PyStdPrinter_Type) < 0)
1575 Py_FatalError("Can't initialize StdPrinter");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001576
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001577 if (PyType_Ready(&PyCode_Type) < 0)
1578 Py_FatalError("Can't initialize code type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001579
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001580 if (PyType_Ready(&PyFrame_Type) < 0)
1581 Py_FatalError("Can't initialize frame type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001582
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001583 if (PyType_Ready(&PyCFunction_Type) < 0)
1584 Py_FatalError("Can't initialize builtin function type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001585
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001586 if (PyType_Ready(&PyMethod_Type) < 0)
1587 Py_FatalError("Can't initialize method type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001588
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001589 if (PyType_Ready(&PyFunction_Type) < 0)
1590 Py_FatalError("Can't initialize function type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001591
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001592 if (PyType_Ready(&PyDictProxy_Type) < 0)
1593 Py_FatalError("Can't initialize dict proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001594
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001595 if (PyType_Ready(&PyGen_Type) < 0)
1596 Py_FatalError("Can't initialize generator type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001597
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001598 if (PyType_Ready(&PyGetSetDescr_Type) < 0)
1599 Py_FatalError("Can't initialize get-set descriptor type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001600
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001601 if (PyType_Ready(&PyWrapperDescr_Type) < 0)
1602 Py_FatalError("Can't initialize wrapper type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001603
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001604 if (PyType_Ready(&PyEllipsis_Type) < 0)
1605 Py_FatalError("Can't initialize ellipsis type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001606
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001607 if (PyType_Ready(&PyMemberDescr_Type) < 0)
1608 Py_FatalError("Can't initialize member descriptor type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001609
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001610 if (PyType_Ready(&PyFilter_Type) < 0)
1611 Py_FatalError("Can't initialize filter type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001612
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001613 if (PyType_Ready(&PyMap_Type) < 0)
1614 Py_FatalError("Can't initialize map type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001615
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001616 if (PyType_Ready(&PyZip_Type) < 0)
1617 Py_FatalError("Can't initialize zip type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001618}
1619
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001620
Guido van Rossum84a90321996-05-22 16:34:47 +00001621#ifdef Py_TRACE_REFS
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001622
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001623void
Fred Drake100814d2000-07-09 15:48:49 +00001624_Py_NewReference(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001625{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001626 _Py_INC_REFTOTAL;
1627 op->ob_refcnt = 1;
1628 _Py_AddToAllObjects(op, 1);
1629 _Py_INC_TPALLOCS(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001630}
1631
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001632void
Fred Drake100814d2000-07-09 15:48:49 +00001633_Py_ForgetReference(register PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001634{
Guido van Rossumbffd6832000-01-20 22:32:56 +00001635#ifdef SLOW_UNREF_CHECK
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001636 register PyObject *p;
Guido van Rossumbffd6832000-01-20 22:32:56 +00001637#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001638 if (op->ob_refcnt < 0)
1639 Py_FatalError("UNREF negative refcnt");
1640 if (op == &refchain ||
1641 op->_ob_prev->_ob_next != op || op->_ob_next->_ob_prev != op) {
1642 fprintf(stderr, "* ob\n");
1643 _PyObject_Dump(op);
1644 fprintf(stderr, "* op->_ob_prev->_ob_next\n");
1645 _PyObject_Dump(op->_ob_prev->_ob_next);
1646 fprintf(stderr, "* op->_ob_next->_ob_prev\n");
1647 _PyObject_Dump(op->_ob_next->_ob_prev);
1648 Py_FatalError("UNREF invalid object");
1649 }
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001650#ifdef SLOW_UNREF_CHECK
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001651 for (p = refchain._ob_next; p != &refchain; p = p->_ob_next) {
1652 if (p == op)
1653 break;
1654 }
1655 if (p == &refchain) /* Not found */
1656 Py_FatalError("UNREF unknown object");
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001657#endif
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001658 op->_ob_next->_ob_prev = op->_ob_prev;
1659 op->_ob_prev->_ob_next = op->_ob_next;
1660 op->_ob_next = op->_ob_prev = NULL;
1661 _Py_INC_TPFREES(op);
Guido van Rossum3f5da241990-12-20 15:06:42 +00001662}
1663
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001664void
Fred Drake100814d2000-07-09 15:48:49 +00001665_Py_Dealloc(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001666{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001667 destructor dealloc = Py_TYPE(op)->tp_dealloc;
1668 _Py_ForgetReference(op);
1669 (*dealloc)(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001670}
1671
Tim Peters269b2a62003-04-17 19:52:29 +00001672/* Print all live objects. Because PyObject_Print is called, the
1673 * interpreter must be in a healthy state.
1674 */
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001675void
Fred Drake100814d2000-07-09 15:48:49 +00001676_Py_PrintReferences(FILE *fp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001677{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001678 PyObject *op;
1679 fprintf(fp, "Remaining objects:\n");
1680 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next) {
1681 fprintf(fp, "%p [%" PY_FORMAT_SIZE_T "d] ", op, op->ob_refcnt);
1682 if (PyObject_Print(op, fp, 0) != 0)
1683 PyErr_Clear();
1684 putc('\n', fp);
1685 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001686}
1687
Tim Peters269b2a62003-04-17 19:52:29 +00001688/* Print the addresses of all live objects. Unlike _Py_PrintReferences, this
1689 * doesn't make any calls to the Python C API, so is always safe to call.
1690 */
1691void
1692_Py_PrintReferenceAddresses(FILE *fp)
1693{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001694 PyObject *op;
1695 fprintf(fp, "Remaining object addresses:\n");
1696 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next)
1697 fprintf(fp, "%p [%" PY_FORMAT_SIZE_T "d] %s\n", op,
1698 op->ob_refcnt, Py_TYPE(op)->tp_name);
Tim Peters269b2a62003-04-17 19:52:29 +00001699}
1700
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001701PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001702_Py_GetObjects(PyObject *self, PyObject *args)
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001703{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001704 int i, n;
1705 PyObject *t = NULL;
1706 PyObject *res, *op;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001707
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001708 if (!PyArg_ParseTuple(args, "i|O", &n, &t))
1709 return NULL;
1710 op = refchain._ob_next;
1711 res = PyList_New(0);
1712 if (res == NULL)
1713 return NULL;
1714 for (i = 0; (n == 0 || i < n) && op != &refchain; i++) {
1715 while (op == self || op == args || op == res || op == t ||
1716 (t != NULL && Py_TYPE(op) != (PyTypeObject *) t)) {
1717 op = op->_ob_next;
1718 if (op == &refchain)
1719 return res;
1720 }
1721 if (PyList_Append(res, op) < 0) {
1722 Py_DECREF(res);
1723 return NULL;
1724 }
1725 op = op->_ob_next;
1726 }
1727 return res;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001728}
1729
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001730#endif
Guido van Rossum97ead3f1996-01-12 01:24:09 +00001731
Guido van Rossum97ead3f1996-01-12 01:24:09 +00001732/* Hack to force loading of cobject.o */
Guido van Rossumda9c2711996-12-05 21:58:58 +00001733PyTypeObject *_Py_cobject_hack = &PyCObject_Type;
Guido van Rossum84a90321996-05-22 16:34:47 +00001734
1735
Benjamin Petersonb173f782009-05-05 22:31:58 +00001736/* Hack to force loading of pycapsule.o */
1737PyTypeObject *_PyCapsule_hack = &PyCapsule_Type;
1738
1739
Guido van Rossum84a90321996-05-22 16:34:47 +00001740/* Hack to force loading of abstract.o */
Martin v. Löwis18e16552006-02-15 17:27:45 +00001741Py_ssize_t (*_Py_abstract_hack)(PyObject *) = PyObject_Size;
Guido van Rossume09fb551997-08-05 02:04:34 +00001742
1743
Andrew M. Kuchling1582a3a2000-08-16 12:27:23 +00001744/* Python's malloc wrappers (see pymem.h) */
Guido van Rossume09fb551997-08-05 02:04:34 +00001745
Thomas Wouters334fb892000-07-25 12:56:38 +00001746void *
Fred Drake100814d2000-07-09 15:48:49 +00001747PyMem_Malloc(size_t nbytes)
Guido van Rossume09fb551997-08-05 02:04:34 +00001748{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001749 return PyMem_MALLOC(nbytes);
Guido van Rossume09fb551997-08-05 02:04:34 +00001750}
1751
Thomas Wouters334fb892000-07-25 12:56:38 +00001752void *
1753PyMem_Realloc(void *p, size_t nbytes)
Guido van Rossume09fb551997-08-05 02:04:34 +00001754{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001755 return PyMem_REALLOC(p, nbytes);
Guido van Rossume09fb551997-08-05 02:04:34 +00001756}
1757
1758void
Thomas Wouters334fb892000-07-25 12:56:38 +00001759PyMem_Free(void *p)
Guido van Rossume09fb551997-08-05 02:04:34 +00001760{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001761 PyMem_FREE(p);
Guido van Rossumb18618d2000-05-03 23:44:39 +00001762}
1763
1764
Guido van Rossum86610361998-04-10 22:32:46 +00001765/* These methods are used to control infinite recursion in repr, str, print,
1766 etc. Container objects that may recursively contain themselves,
1767 e.g. builtin dictionaries and lists, should used Py_ReprEnter() and
1768 Py_ReprLeave() to avoid infinite recursion.
1769
1770 Py_ReprEnter() returns 0 the first time it is called for a particular
1771 object and 1 every time thereafter. It returns -1 if an exception
1772 occurred. Py_ReprLeave() has no return value.
1773
1774 See dictobject.c and listobject.c for examples of use.
1775*/
1776
1777#define KEY "Py_Repr"
1778
1779int
Fred Drake100814d2000-07-09 15:48:49 +00001780Py_ReprEnter(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00001781{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001782 PyObject *dict;
1783 PyObject *list;
1784 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00001785
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001786 dict = PyThreadState_GetDict();
1787 if (dict == NULL)
1788 return 0;
1789 list = PyDict_GetItemString(dict, KEY);
1790 if (list == NULL) {
1791 list = PyList_New(0);
1792 if (list == NULL)
1793 return -1;
1794 if (PyDict_SetItemString(dict, KEY, list) < 0)
1795 return -1;
1796 Py_DECREF(list);
1797 }
1798 i = PyList_GET_SIZE(list);
1799 while (--i >= 0) {
1800 if (PyList_GET_ITEM(list, i) == obj)
1801 return 1;
1802 }
1803 PyList_Append(list, obj);
1804 return 0;
Guido van Rossum86610361998-04-10 22:32:46 +00001805}
1806
1807void
Fred Drake100814d2000-07-09 15:48:49 +00001808Py_ReprLeave(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00001809{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001810 PyObject *dict;
1811 PyObject *list;
1812 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00001813
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001814 dict = PyThreadState_GetDict();
1815 if (dict == NULL)
1816 return;
1817 list = PyDict_GetItemString(dict, KEY);
1818 if (list == NULL || !PyList_Check(list))
1819 return;
1820 i = PyList_GET_SIZE(list);
1821 /* Count backwards because we always expect obj to be list[-1] */
1822 while (--i >= 0) {
1823 if (PyList_GET_ITEM(list, i) == obj) {
1824 PyList_SetSlice(list, i, i + 1, NULL);
1825 break;
1826 }
1827 }
Guido van Rossum86610361998-04-10 22:32:46 +00001828}
Guido van Rossumd724b232000-03-13 16:01:29 +00001829
Tim Peters803526b2002-07-07 05:13:56 +00001830/* Trashcan support. */
Guido van Rossumd724b232000-03-13 16:01:29 +00001831
Tim Peters803526b2002-07-07 05:13:56 +00001832/* Current call-stack depth of tp_dealloc calls. */
Guido van Rossumd724b232000-03-13 16:01:29 +00001833int _PyTrash_delete_nesting = 0;
Guido van Rossume92e6102000-04-24 15:40:53 +00001834
Tim Peters803526b2002-07-07 05:13:56 +00001835/* List of objects that still need to be cleaned up, singly linked via their
1836 * gc headers' gc_prev pointers.
1837 */
1838PyObject *_PyTrash_delete_later = NULL;
Guido van Rossumd724b232000-03-13 16:01:29 +00001839
Tim Peters803526b2002-07-07 05:13:56 +00001840/* Add op to the _PyTrash_delete_later list. Called when the current
1841 * call-stack depth gets large. op must be a currently untracked gc'ed
1842 * object, with refcount 0. Py_DECREF must already have been called on it.
1843 */
Guido van Rossumd724b232000-03-13 16:01:29 +00001844void
Fred Drake100814d2000-07-09 15:48:49 +00001845_PyTrash_deposit_object(PyObject *op)
Guido van Rossumd724b232000-03-13 16:01:29 +00001846{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001847 assert(PyObject_IS_GC(op));
1848 assert(_Py_AS_GC(op)->gc.gc_refs == _PyGC_REFS_UNTRACKED);
1849 assert(op->ob_refcnt == 0);
1850 _Py_AS_GC(op)->gc.gc_prev = (PyGC_Head *)_PyTrash_delete_later;
1851 _PyTrash_delete_later = op;
Guido van Rossumd724b232000-03-13 16:01:29 +00001852}
1853
Tim Peters803526b2002-07-07 05:13:56 +00001854/* Dealloccate all the objects in the _PyTrash_delete_later list. Called when
1855 * the call-stack unwinds again.
1856 */
Guido van Rossumd724b232000-03-13 16:01:29 +00001857void
Fred Drake100814d2000-07-09 15:48:49 +00001858_PyTrash_destroy_chain(void)
Guido van Rossumd724b232000-03-13 16:01:29 +00001859{
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001860 while (_PyTrash_delete_later) {
1861 PyObject *op = _PyTrash_delete_later;
1862 destructor dealloc = Py_TYPE(op)->tp_dealloc;
Neil Schemenauerf589c052002-03-29 03:05:54 +00001863
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001864 _PyTrash_delete_later =
1865 (PyObject*) _Py_AS_GC(op)->gc.gc_prev;
Neil Schemenauerf589c052002-03-29 03:05:54 +00001866
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +00001867 /* Call the deallocator directly. This used to try to
1868 * fool Py_DECREF into calling it indirectly, but
1869 * Py_DECREF was already called on this object, and in
1870 * assorted non-release builds calling Py_DECREF again ends
1871 * up distorting allocation statistics.
1872 */
1873 assert(op->ob_refcnt == 0);
1874 ++_PyTrash_delete_nesting;
1875 (*dealloc)(op);
1876 --_PyTrash_delete_nesting;
1877 }
Guido van Rossumd724b232000-03-13 16:01:29 +00001878}
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001879
1880#ifdef __cplusplus
1881}
1882#endif