blob: 7907a8e566a35aa2b5d071f976e64a2f6146852d [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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +000092 PyTypeObject *tp;
Sjoerd Mullendera9c3c221993-10-11 12:54:31 +000093
Antoine Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +0000114 PyTypeObject *tp;
115 PyObject *result;
116 PyObject *v;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +0000117
Antoine Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +0000194 char buf[300];
Tim Peters7c321a82002-07-09 02:57:01 +0000195
Antoine Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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 Pitrouf95a1b32010-05-09 15:52:27 +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;
Victor Stinner372ac5e2010-05-17 01:26:01 +0000306 t = PyUnicode_EncodeUTF8(PyUnicode_AS_UNICODE(s),
307 PyUnicode_GET_SIZE(s),
308 "backslashreplace");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000309 if (t == NULL)
310 ret = 0;
311 else {
312 fwrite(PyBytes_AS_STRING(t), 1,
313 PyBytes_GET_SIZE(t), fp);
Victor Stinnerba6b4302010-05-17 09:33:42 +0000314 Py_DECREF(t);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000315 }
316 }
317 else {
318 PyErr_Format(PyExc_TypeError,
319 "str() or repr() returned '%.100s'",
320 s->ob_type->tp_name);
321 ret = -1;
322 }
323 Py_XDECREF(s);
324 }
325 }
326 if (ret == 0) {
327 if (ferror(fp)) {
328 PyErr_SetFromErrno(PyExc_IOError);
329 clearerr(fp);
330 ret = -1;
331 }
332 }
333 return ret;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000334}
335
Neal Norwitz1a997502003-01-13 20:13:12 +0000336int
337PyObject_Print(PyObject *op, FILE *fp, int flags)
338{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000339 return internal_print(op, fp, flags, 0);
Neal Norwitz1a997502003-01-13 20:13:12 +0000340}
341
Guido van Rossum38938152006-08-21 23:36:26 +0000342/* For debugging convenience. Set a breakpoint here and call it from your DLL */
343void
Thomas Woutersb2137042007-02-01 18:02:27 +0000344_Py_BreakPoint(void)
Guido van Rossum38938152006-08-21 23:36:26 +0000345{
346}
347
Neal Norwitz1a997502003-01-13 20:13:12 +0000348
Barry Warsaw9bf16442001-01-23 16:24:35 +0000349/* For debugging convenience. See Misc/gdbinit for some useful gdb hooks */
Guido van Rossum38938152006-08-21 23:36:26 +0000350void
351_PyObject_Dump(PyObject* op)
Barry Warsaw9bf16442001-01-23 16:24:35 +0000352{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000353 if (op == NULL)
354 fprintf(stderr, "NULL\n");
355 else {
Georg Brandldfd73442009-04-05 11:47:34 +0000356#ifdef WITH_THREAD
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000357 PyGILState_STATE gil;
Georg Brandldfd73442009-04-05 11:47:34 +0000358#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000359 fprintf(stderr, "object : ");
Georg Brandldfd73442009-04-05 11:47:34 +0000360#ifdef WITH_THREAD
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000361 gil = PyGILState_Ensure();
Georg Brandldfd73442009-04-05 11:47:34 +0000362#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000363 (void)PyObject_Print(op, stderr, 0);
Georg Brandldfd73442009-04-05 11:47:34 +0000364#ifdef WITH_THREAD
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000365 PyGILState_Release(gil);
Georg Brandldfd73442009-04-05 11:47:34 +0000366#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000367 /* XXX(twouters) cast refcount to long until %zd is
368 universally available */
369 fprintf(stderr, "\n"
370 "type : %s\n"
371 "refcount: %ld\n"
372 "address : %p\n",
373 Py_TYPE(op)==NULL ? "NULL" : Py_TYPE(op)->tp_name,
374 (long)op->ob_refcnt,
375 op);
376 }
Barry Warsaw9bf16442001-01-23 16:24:35 +0000377}
Barry Warsaw903138f2001-01-23 16:33:18 +0000378
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000379PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000380PyObject_Repr(PyObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000381{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000382 PyObject *res;
383 if (PyErr_CheckSignals())
384 return NULL;
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000385#ifdef USE_STACKCHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000386 if (PyOS_CheckStack()) {
387 PyErr_SetString(PyExc_MemoryError, "stack overflow");
388 return NULL;
389 }
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000390#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000391 if (v == NULL)
392 return PyUnicode_FromString("<NULL>");
393 if (Py_TYPE(v)->tp_repr == NULL)
394 return PyUnicode_FromFormat("<%s object at %p>",
395 v->ob_type->tp_name, v);
396 res = (*v->ob_type->tp_repr)(v);
397 if (res != NULL && !PyUnicode_Check(res)) {
398 PyErr_Format(PyExc_TypeError,
399 "__repr__ returned non-string (type %.200s)",
400 res->ob_type->tp_name);
401 Py_DECREF(res);
402 return NULL;
403 }
404 return res;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000405}
406
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000407PyObject *
Guido van Rossum98297ee2007-11-06 21:34:58 +0000408PyObject_Str(PyObject *v)
Guido van Rossumc6004111993-11-05 10:22:19 +0000409{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000410 PyObject *res;
411 if (PyErr_CheckSignals())
412 return NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000413#ifdef USE_STACKCHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000414 if (PyOS_CheckStack()) {
415 PyErr_SetString(PyExc_MemoryError, "stack overflow");
416 return NULL;
417 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000418#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000419 if (v == NULL)
420 return PyUnicode_FromString("<NULL>");
421 if (PyUnicode_CheckExact(v)) {
422 Py_INCREF(v);
423 return v;
424 }
425 if (Py_TYPE(v)->tp_str == NULL)
426 return PyObject_Repr(v);
Guido van Rossum4f288ab2001-05-01 16:53:37 +0000427
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000428 /* It is possible for a type to have a tp_str representation that loops
429 infinitely. */
430 if (Py_EnterRecursiveCall(" while getting the str of an object"))
431 return NULL;
432 res = (*Py_TYPE(v)->tp_str)(v);
433 Py_LeaveRecursiveCall();
434 if (res == NULL)
435 return NULL;
436 if (!PyUnicode_Check(res)) {
437 PyErr_Format(PyExc_TypeError,
438 "__str__ returned non-string (type %.200s)",
439 Py_TYPE(res)->tp_name);
440 Py_DECREF(res);
441 return NULL;
442 }
443 return res;
Neil Schemenauercf52c072005-08-12 17:34:58 +0000444}
445
Georg Brandl559e5d72008-06-11 18:37:52 +0000446PyObject *
447PyObject_ASCII(PyObject *v)
448{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000449 PyObject *repr, *ascii, *res;
Georg Brandl559e5d72008-06-11 18:37:52 +0000450
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000451 repr = PyObject_Repr(v);
452 if (repr == NULL)
453 return NULL;
Georg Brandl559e5d72008-06-11 18:37:52 +0000454
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000455 /* repr is guaranteed to be a PyUnicode object by PyObject_Repr */
456 ascii = PyUnicode_EncodeASCII(
457 PyUnicode_AS_UNICODE(repr),
458 PyUnicode_GET_SIZE(repr),
459 "backslashreplace");
Georg Brandl559e5d72008-06-11 18:37:52 +0000460
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000461 Py_DECREF(repr);
462 if (ascii == NULL)
463 return NULL;
Georg Brandl559e5d72008-06-11 18:37:52 +0000464
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000465 res = PyUnicode_DecodeASCII(
466 PyBytes_AS_STRING(ascii),
467 PyBytes_GET_SIZE(ascii),
468 NULL);
469
470 Py_DECREF(ascii);
471 return res;
Georg Brandl559e5d72008-06-11 18:37:52 +0000472}
Guido van Rossuma3af41d2001-01-18 22:07:06 +0000473
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000474PyObject *
475PyObject_Bytes(PyObject *v)
476{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000477 PyObject *result, *func;
478 static PyObject *bytesstring = NULL;
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000479
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000480 if (v == NULL)
481 return PyBytes_FromString("<NULL>");
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000482
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000483 if (PyBytes_CheckExact(v)) {
484 Py_INCREF(v);
485 return v;
486 }
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000487
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000488 func = _PyObject_LookupSpecial(v, "__bytes__", &bytesstring);
489 if (func != NULL) {
490 result = PyObject_CallFunctionObjArgs(func, NULL);
491 Py_DECREF(func);
492 if (result == NULL)
493 return NULL;
494 if (!PyBytes_Check(result)) {
495 PyErr_Format(PyExc_TypeError,
496 "__bytes__ returned non-bytes (type %.200s)",
497 Py_TYPE(result)->tp_name);
498 Py_DECREF(result);
499 return NULL;
500 }
501 return result;
502 }
503 else if (PyErr_Occurred())
504 return NULL;
505 return PyBytes_FromObject(v);
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000506}
507
Mark Dickinsonc008a172009-02-01 13:59:22 +0000508/* For Python 3.0.1 and later, the old three-way comparison has been
509 completely removed in favour of rich comparisons. PyObject_Compare() and
510 PyObject_Cmp() are gone, and the builtin cmp function no longer exists.
Mark Dickinsone94c6792009-02-02 20:36:42 +0000511 The old tp_compare slot has been renamed to tp_reserved, and should no
Mark Dickinsonc008a172009-02-01 13:59:22 +0000512 longer be used. Use tp_richcompare instead.
Guido van Rossum98297ee2007-11-06 21:34:58 +0000513
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000514 See (*) below for practical amendments.
515
Mark Dickinsonc008a172009-02-01 13:59:22 +0000516 tp_richcompare gets called with a first argument of the appropriate type
517 and a second object of an arbitrary type. We never do any kind of
518 coercion.
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000519
Mark Dickinsonc008a172009-02-01 13:59:22 +0000520 The tp_richcompare slot should return an object, as follows:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000521
522 NULL if an exception occurred
523 NotImplemented if the requested comparison is not implemented
524 any other false value if the requested comparison is false
525 any other true value if the requested comparison is true
526
527 The PyObject_RichCompare[Bool]() wrappers raise TypeError when they get
528 NotImplemented.
529
530 (*) Practical amendments:
531
532 - If rich comparison returns NotImplemented, == and != are decided by
533 comparing the object pointer (i.e. falling back to the base object
534 implementation).
535
Guido van Rossuma4073002002-05-31 20:03:54 +0000536*/
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000537
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000538/* Map rich comparison operators to their swapped version, e.g. LT <--> GT */
Brett Cannona5ca2e72004-09-25 01:37:24 +0000539int _Py_SwappedOp[] = {Py_GT, Py_GE, Py_EQ, Py_NE, Py_LT, Py_LE};
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +0000540
Guido van Rossum9a4e95c2006-12-19 21:35:46 +0000541static char *opstrings[] = {"<", "<=", "==", "!=", ">", ">="};
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000542
543/* Perform a rich comparison, raising TypeError when the requested comparison
544 operator is not supported. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000545static PyObject *
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000546do_richcompare(PyObject *v, PyObject *w, int op)
Guido van Rossume797ec12001-01-17 15:24:28 +0000547{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000548 richcmpfunc f;
549 PyObject *res;
550 int checked_reverse_op = 0;
Guido van Rossume797ec12001-01-17 15:24:28 +0000551
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000552 if (v->ob_type != w->ob_type &&
553 PyType_IsSubtype(w->ob_type, v->ob_type) &&
554 (f = w->ob_type->tp_richcompare) != NULL) {
555 checked_reverse_op = 1;
556 res = (*f)(w, v, _Py_SwappedOp[op]);
557 if (res != Py_NotImplemented)
558 return res;
559 Py_DECREF(res);
560 }
561 if ((f = v->ob_type->tp_richcompare) != NULL) {
562 res = (*f)(v, w, op);
563 if (res != Py_NotImplemented)
564 return res;
565 Py_DECREF(res);
566 }
567 if (!checked_reverse_op && (f = w->ob_type->tp_richcompare) != NULL) {
568 res = (*f)(w, v, _Py_SwappedOp[op]);
569 if (res != Py_NotImplemented)
570 return res;
571 Py_DECREF(res);
572 }
573 /* If neither object implements it, provide a sensible default
574 for == and !=, but raise an exception for ordering. */
575 switch (op) {
576 case Py_EQ:
577 res = (v == w) ? Py_True : Py_False;
578 break;
579 case Py_NE:
580 res = (v != w) ? Py_True : Py_False;
581 break;
582 default:
583 /* XXX Special-case None so it doesn't show as NoneType() */
584 PyErr_Format(PyExc_TypeError,
585 "unorderable types: %.100s() %s %.100s()",
586 v->ob_type->tp_name,
587 opstrings[op],
588 w->ob_type->tp_name);
589 return NULL;
590 }
591 Py_INCREF(res);
592 return res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000593}
594
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000595/* Perform a rich comparison with object result. This wraps do_richcompare()
596 with a check for NULL arguments and a recursion check. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000597
Guido van Rossume797ec12001-01-17 15:24:28 +0000598PyObject *
599PyObject_RichCompare(PyObject *v, PyObject *w, int op)
600{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000601 PyObject *res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000602
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000603 assert(Py_LT <= op && op <= Py_GE);
604 if (v == NULL || w == NULL) {
605 if (!PyErr_Occurred())
606 PyErr_BadInternalCall();
607 return NULL;
608 }
609 if (Py_EnterRecursiveCall(" in comparison"))
610 return NULL;
611 res = do_richcompare(v, w, op);
612 Py_LeaveRecursiveCall();
613 return res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000614}
615
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000616/* Perform a rich comparison with integer result. This wraps
617 PyObject_RichCompare(), returning -1 for error, 0 for false, 1 for true. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000618int
619PyObject_RichCompareBool(PyObject *v, PyObject *w, int op)
620{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000621 PyObject *res;
622 int ok;
Guido van Rossume797ec12001-01-17 15:24:28 +0000623
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000624 /* Quick result when objects are the same.
625 Guarantees that identity implies equality. */
626 if (v == w) {
627 if (op == Py_EQ)
628 return 1;
629 else if (op == Py_NE)
630 return 0;
631 }
Mark Dickinson4a1f5932008-11-12 23:23:36 +0000632
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000633 res = PyObject_RichCompare(v, w, op);
634 if (res == NULL)
635 return -1;
636 if (PyBool_Check(res))
637 ok = (res == Py_True);
638 else
639 ok = PyObject_IsTrue(res);
640 Py_DECREF(res);
641 return ok;
Guido van Rossume797ec12001-01-17 15:24:28 +0000642}
Fred Drake13634cf2000-06-29 19:17:04 +0000643
644/* Set of hash utility functions to help maintaining the invariant that
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000645 if a==b then hash(a)==hash(b)
Fred Drake13634cf2000-06-29 19:17:04 +0000646
647 All the utility functions (_Py_Hash*()) return "-1" to signify an error.
648*/
649
650long
Fred Drake100814d2000-07-09 15:48:49 +0000651_Py_HashDouble(double v)
Fred Drake13634cf2000-06-29 19:17:04 +0000652{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000653 double intpart, fractpart;
654 int expo;
655 long hipart;
656 long x; /* the final hash value */
657 /* This is designed so that Python numbers of different types
658 * that compare equal hash to the same value; otherwise comparisons
659 * of mapping keys will turn out weird.
660 */
Tim Peters39dce292000-08-15 03:34:48 +0000661
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000662 if (!Py_IS_FINITE(v)) {
663 if (Py_IS_INFINITY(v))
664 return v < 0 ? -271828 : 314159;
665 else
666 return 0;
667 }
668 fractpart = modf(v, &intpart);
669 if (fractpart == 0.0) {
670 /* This must return the same hash as an equal int or long. */
671 if (intpart > LONG_MAX/2 || -intpart > LONG_MAX/2) {
672 /* Convert to long and use its hash. */
673 PyObject *plong; /* converted to Python long */
674 plong = PyLong_FromDouble(v);
675 if (plong == NULL)
676 return -1;
677 x = PyObject_Hash(plong);
678 Py_DECREF(plong);
679 return x;
680 }
681 /* Fits in a C long == a Python int, so is its own hash. */
682 x = (long)intpart;
683 if (x == -1)
684 x = -2;
685 return x;
686 }
687 /* The fractional part is non-zero, so we don't have to worry about
688 * making this match the hash of some other type.
689 * Use frexp to get at the bits in the double.
690 * Since the VAX D double format has 56 mantissa bits, which is the
691 * most of any double format in use, each of these parts may have as
692 * many as (but no more than) 56 significant bits.
693 * So, assuming sizeof(long) >= 4, each part can be broken into two
694 * longs; frexp and multiplication are used to do that.
695 * Also, since the Cray double format has 15 exponent bits, which is
696 * the most of any double format in use, shifting the exponent field
697 * left by 15 won't overflow a long (again assuming sizeof(long) >= 4).
698 */
699 v = frexp(v, &expo);
700 v *= 2147483648.0; /* 2**31 */
701 hipart = (long)v; /* take the top 32 bits */
702 v = (v - (double)hipart) * 2147483648.0; /* get the next 32 bits */
703 x = hipart + (long)v + (expo << 15);
704 if (x == -1)
705 x = -2;
706 return x;
Fred Drake13634cf2000-06-29 19:17:04 +0000707}
708
709long
Fred Drake100814d2000-07-09 15:48:49 +0000710_Py_HashPointer(void *p)
Fred Drake13634cf2000-06-29 19:17:04 +0000711{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000712 long x;
713 size_t y = (size_t)p;
714 /* bottom 3 or 4 bits are likely to be 0; rotate y by 4 to avoid
715 excessive hash collisions for dicts and sets */
716 y = (y >> 4) | (y << (8 * SIZEOF_VOID_P - 4));
717 x = (long)y;
718 if (x == -1)
719 x = -2;
720 return x;
Fred Drake13634cf2000-06-29 19:17:04 +0000721}
722
Nick Coghland1abd252008-07-15 15:46:38 +0000723long
724PyObject_HashNotImplemented(PyObject *v)
725{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000726 PyErr_Format(PyExc_TypeError, "unhashable type: '%.200s'",
727 Py_TYPE(v)->tp_name);
728 return -1;
Nick Coghland1abd252008-07-15 15:46:38 +0000729}
Fred Drake13634cf2000-06-29 19:17:04 +0000730
Guido van Rossum9bfef441993-03-29 10:43:31 +0000731long
Fred Drake100814d2000-07-09 15:48:49 +0000732PyObject_Hash(PyObject *v)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000733{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000734 PyTypeObject *tp = Py_TYPE(v);
735 if (tp->tp_hash != NULL)
736 return (*tp->tp_hash)(v);
737 /* To keep to the general practice that inheriting
738 * solely from object in C code should work without
739 * an explicit call to PyType_Ready, we implicitly call
740 * PyType_Ready here and then check the tp_hash slot again
741 */
742 if (tp->tp_dict == NULL) {
743 if (PyType_Ready(tp) < 0)
744 return -1;
745 if (tp->tp_hash != NULL)
746 return (*tp->tp_hash)(v);
747 }
748 /* Otherwise, the object can't be hashed */
749 return PyObject_HashNotImplemented(v);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000750}
751
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000752PyObject *
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000753PyObject_GetAttrString(PyObject *v, const char *name)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000754{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000755 PyObject *w, *res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000756
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000757 if (Py_TYPE(v)->tp_getattr != NULL)
758 return (*Py_TYPE(v)->tp_getattr)(v, (char*)name);
759 w = PyUnicode_InternFromString(name);
760 if (w == NULL)
761 return NULL;
762 res = PyObject_GetAttr(v, w);
763 Py_XDECREF(w);
764 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000765}
766
767int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000768PyObject_HasAttrString(PyObject *v, const char *name)
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000769{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000770 PyObject *res = PyObject_GetAttrString(v, name);
771 if (res != NULL) {
772 Py_DECREF(res);
773 return 1;
774 }
775 PyErr_Clear();
776 return 0;
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000777}
778
779int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000780PyObject_SetAttrString(PyObject *v, const char *name, PyObject *w)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000781{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000782 PyObject *s;
783 int res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000784
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000785 if (Py_TYPE(v)->tp_setattr != NULL)
786 return (*Py_TYPE(v)->tp_setattr)(v, (char*)name, w);
787 s = PyUnicode_InternFromString(name);
788 if (s == NULL)
789 return -1;
790 res = PyObject_SetAttr(v, s, w);
791 Py_XDECREF(s);
792 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000793}
794
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000795PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000796PyObject_GetAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000797{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000798 PyTypeObject *tp = Py_TYPE(v);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000799
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000800 if (!PyUnicode_Check(name)) {
801 PyErr_Format(PyExc_TypeError,
802 "attribute name must be string, not '%.200s'",
803 name->ob_type->tp_name);
804 return NULL;
805 }
806 if (tp->tp_getattro != NULL)
807 return (*tp->tp_getattro)(v, name);
808 if (tp->tp_getattr != NULL) {
809 char *name_str = _PyUnicode_AsString(name);
810 if (name_str == NULL)
811 return NULL;
812 return (*tp->tp_getattr)(v, name_str);
813 }
814 PyErr_Format(PyExc_AttributeError,
815 "'%.50s' object has no attribute '%U'",
816 tp->tp_name, name);
817 return NULL;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000818}
819
820int
Fred Drake100814d2000-07-09 15:48:49 +0000821PyObject_HasAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000822{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000823 PyObject *res = PyObject_GetAttr(v, name);
824 if (res != NULL) {
825 Py_DECREF(res);
826 return 1;
827 }
828 PyErr_Clear();
829 return 0;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000830}
831
832int
Fred Drake100814d2000-07-09 15:48:49 +0000833PyObject_SetAttr(PyObject *v, PyObject *name, PyObject *value)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000834{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000835 PyTypeObject *tp = Py_TYPE(v);
836 int err;
Marc-André Lemburge44e5072000-09-18 16:20:57 +0000837
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000838 if (!PyUnicode_Check(name)) {
839 PyErr_Format(PyExc_TypeError,
840 "attribute name must be string, not '%.200s'",
841 name->ob_type->tp_name);
842 return -1;
843 }
844 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000845
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000846 PyUnicode_InternInPlace(&name);
847 if (tp->tp_setattro != NULL) {
848 err = (*tp->tp_setattro)(v, name, value);
849 Py_DECREF(name);
850 return err;
851 }
852 if (tp->tp_setattr != NULL) {
853 char *name_str = _PyUnicode_AsString(name);
854 if (name_str == NULL)
855 return -1;
856 err = (*tp->tp_setattr)(v, name_str, value);
857 Py_DECREF(name);
858 return err;
859 }
860 Py_DECREF(name);
861 assert(name->ob_refcnt >= 1);
862 if (tp->tp_getattr == NULL && tp->tp_getattro == NULL)
863 PyErr_Format(PyExc_TypeError,
864 "'%.100s' object has no attributes "
865 "(%s .%U)",
866 tp->tp_name,
867 value==NULL ? "del" : "assign to",
868 name);
869 else
870 PyErr_Format(PyExc_TypeError,
871 "'%.100s' object has only read-only attributes "
872 "(%s .%U)",
873 tp->tp_name,
874 value==NULL ? "del" : "assign to",
875 name);
876 return -1;
Tim Peters6d6c1a32001-08-02 04:15:00 +0000877}
878
879/* Helper to get a pointer to an object's __dict__ slot, if any */
880
881PyObject **
882_PyObject_GetDictPtr(PyObject *obj)
883{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000884 Py_ssize_t dictoffset;
885 PyTypeObject *tp = Py_TYPE(obj);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000886
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000887 dictoffset = tp->tp_dictoffset;
888 if (dictoffset == 0)
889 return NULL;
890 if (dictoffset < 0) {
891 Py_ssize_t tsize;
892 size_t size;
Guido van Rossum2eb0b872002-03-01 22:24:49 +0000893
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000894 tsize = ((PyVarObject *)obj)->ob_size;
895 if (tsize < 0)
896 tsize = -tsize;
897 size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossum2eb0b872002-03-01 22:24:49 +0000898
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000899 dictoffset += (long)size;
900 assert(dictoffset > 0);
901 assert(dictoffset % SIZEOF_VOID_P == 0);
902 }
903 return (PyObject **) ((char *)obj + dictoffset);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000904}
905
Tim Peters6d6c1a32001-08-02 04:15:00 +0000906PyObject *
Raymond Hettinger1da1dbf2003-03-17 19:46:11 +0000907PyObject_SelfIter(PyObject *obj)
Raymond Hettinger01538262003-03-17 08:24:35 +0000908{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000909 Py_INCREF(obj);
910 return obj;
Raymond Hettinger01538262003-03-17 08:24:35 +0000911}
912
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +0000913/* Helper used when the __next__ method is removed from a type:
914 tp_iternext is never NULL and can be safely called without checking
915 on every iteration.
916 */
917
918PyObject *
919_PyObject_NextNotImplemented(PyObject *self)
920{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000921 PyErr_Format(PyExc_TypeError,
922 "'%.200s' object is not iterable",
923 Py_TYPE(self)->tp_name);
924 return NULL;
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +0000925}
926
Michael W. Hudson1593f502004-09-14 17:09:47 +0000927/* Generic GetAttr functions - put these in your tp_[gs]etattro slot */
928
Raymond Hettinger01538262003-03-17 08:24:35 +0000929PyObject *
Tim Peters6d6c1a32001-08-02 04:15:00 +0000930PyObject_GenericGetAttr(PyObject *obj, PyObject *name)
931{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000932 PyTypeObject *tp = Py_TYPE(obj);
933 PyObject *descr = NULL;
934 PyObject *res = NULL;
935 descrgetfunc f;
936 Py_ssize_t dictoffset;
937 PyObject **dictptr;
Tim Peters6d6c1a32001-08-02 04:15:00 +0000938
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000939 if (!PyUnicode_Check(name)){
940 PyErr_Format(PyExc_TypeError,
941 "attribute name must be string, not '%.200s'",
942 name->ob_type->tp_name);
943 return NULL;
944 }
945 else
946 Py_INCREF(name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +0000947
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000948 if (tp->tp_dict == NULL) {
949 if (PyType_Ready(tp) < 0)
950 goto done;
951 }
Tim Peters6d6c1a32001-08-02 04:15:00 +0000952
Christian Heimesa62da1d2008-01-12 19:39:10 +0000953#if 0 /* XXX this is not quite _PyType_Lookup anymore */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000954 /* Inline _PyType_Lookup */
955 {
956 Py_ssize_t i, n;
957 PyObject *mro, *base, *dict;
Guido van Rossum056fbf42002-08-19 19:22:50 +0000958
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000959 /* Look in tp_dict of types in MRO */
960 mro = tp->tp_mro;
961 assert(mro != NULL);
962 assert(PyTuple_Check(mro));
963 n = PyTuple_GET_SIZE(mro);
964 for (i = 0; i < n; i++) {
965 base = PyTuple_GET_ITEM(mro, i);
966 assert(PyType_Check(base));
967 dict = ((PyTypeObject *)base)->tp_dict;
968 assert(dict && PyDict_Check(dict));
969 descr = PyDict_GetItem(dict, name);
970 if (descr != NULL)
971 break;
972 }
973 }
Christian Heimesa62da1d2008-01-12 19:39:10 +0000974#else
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000975 descr = _PyType_Lookup(tp, name);
Christian Heimesa62da1d2008-01-12 19:39:10 +0000976#endif
Guido van Rossum056fbf42002-08-19 19:22:50 +0000977
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000978 Py_XINCREF(descr);
Michael W. Hudsonb2c7de42003-08-15 13:07:47 +0000979
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000980 f = NULL;
981 if (descr != NULL) {
982 f = descr->ob_type->tp_descr_get;
983 if (f != NULL && PyDescr_IsData(descr)) {
984 res = f(descr, obj, (PyObject *)obj->ob_type);
985 Py_DECREF(descr);
986 goto done;
987 }
988 }
Tim Peters6d6c1a32001-08-02 04:15:00 +0000989
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000990 /* Inline _PyObject_GetDictPtr */
991 dictoffset = tp->tp_dictoffset;
992 if (dictoffset != 0) {
993 PyObject *dict;
994 if (dictoffset < 0) {
995 Py_ssize_t tsize;
996 size_t size;
Guido van Rossumc66ff442002-08-19 16:50:48 +0000997
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000998 tsize = ((PyVarObject *)obj)->ob_size;
999 if (tsize < 0)
1000 tsize = -tsize;
1001 size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossumc66ff442002-08-19 16:50:48 +00001002
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001003 dictoffset += (long)size;
1004 assert(dictoffset > 0);
1005 assert(dictoffset % SIZEOF_VOID_P == 0);
1006 }
1007 dictptr = (PyObject **) ((char *)obj + dictoffset);
1008 dict = *dictptr;
1009 if (dict != NULL) {
1010 Py_INCREF(dict);
1011 res = PyDict_GetItem(dict, name);
1012 if (res != NULL) {
1013 Py_INCREF(res);
1014 Py_XDECREF(descr);
1015 Py_DECREF(dict);
1016 goto done;
1017 }
1018 Py_DECREF(dict);
1019 }
1020 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001021
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001022 if (f != NULL) {
1023 res = f(descr, obj, (PyObject *)Py_TYPE(obj));
1024 Py_DECREF(descr);
1025 goto done;
1026 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001027
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001028 if (descr != NULL) {
1029 res = descr;
1030 /* descr was already increfed above */
1031 goto done;
1032 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001033
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001034 PyErr_Format(PyExc_AttributeError,
1035 "'%.50s' object has no attribute '%U'",
1036 tp->tp_name, name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001037 done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001038 Py_DECREF(name);
1039 return res;
Tim Peters6d6c1a32001-08-02 04:15:00 +00001040}
1041
1042int
1043PyObject_GenericSetAttr(PyObject *obj, PyObject *name, PyObject *value)
1044{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001045 PyTypeObject *tp = Py_TYPE(obj);
1046 PyObject *descr;
1047 descrsetfunc f;
1048 PyObject **dictptr;
1049 int res = -1;
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001050
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001051 if (!PyUnicode_Check(name)){
1052 PyErr_Format(PyExc_TypeError,
1053 "attribute name must be string, not '%.200s'",
1054 name->ob_type->tp_name);
1055 return -1;
1056 }
1057 else
1058 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001059
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001060 if (tp->tp_dict == NULL) {
1061 if (PyType_Ready(tp) < 0)
1062 goto done;
1063 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001064
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001065 descr = _PyType_Lookup(tp, name);
1066 f = NULL;
1067 if (descr != NULL) {
1068 f = descr->ob_type->tp_descr_set;
1069 if (f != NULL && PyDescr_IsData(descr)) {
1070 res = f(descr, obj, value);
1071 goto done;
1072 }
1073 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001074
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001075 dictptr = _PyObject_GetDictPtr(obj);
1076 if (dictptr != NULL) {
1077 PyObject *dict = *dictptr;
1078 if (dict == NULL && value != NULL) {
1079 dict = PyDict_New();
1080 if (dict == NULL)
1081 goto done;
1082 *dictptr = dict;
1083 }
1084 if (dict != NULL) {
1085 Py_INCREF(dict);
1086 if (value == NULL)
1087 res = PyDict_DelItem(dict, name);
1088 else
1089 res = PyDict_SetItem(dict, name, value);
1090 if (res < 0 && PyErr_ExceptionMatches(PyExc_KeyError))
1091 PyErr_SetObject(PyExc_AttributeError, name);
1092 Py_DECREF(dict);
1093 goto done;
1094 }
1095 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001096
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001097 if (f != NULL) {
1098 res = f(descr, obj, value);
1099 goto done;
1100 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001101
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001102 if (descr == NULL) {
1103 PyErr_Format(PyExc_AttributeError,
1104 "'%.100s' object has no attribute '%U'",
1105 tp->tp_name, name);
1106 goto done;
1107 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001108
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001109 PyErr_Format(PyExc_AttributeError,
1110 "'%.50s' object attribute '%U' is read-only",
1111 tp->tp_name, name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001112 done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001113 Py_DECREF(name);
1114 return res;
Guido van Rossum98ff96a1997-05-20 18:34:44 +00001115}
1116
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001117/* Test a value used as condition, e.g., in a for or if statement.
1118 Return -1 if an error occurred */
1119
1120int
Fred Drake100814d2000-07-09 15:48:49 +00001121PyObject_IsTrue(PyObject *v)
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001122{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001123 Py_ssize_t res;
1124 if (v == Py_True)
1125 return 1;
1126 if (v == Py_False)
1127 return 0;
1128 if (v == Py_None)
1129 return 0;
1130 else if (v->ob_type->tp_as_number != NULL &&
1131 v->ob_type->tp_as_number->nb_bool != NULL)
1132 res = (*v->ob_type->tp_as_number->nb_bool)(v);
1133 else if (v->ob_type->tp_as_mapping != NULL &&
1134 v->ob_type->tp_as_mapping->mp_length != NULL)
1135 res = (*v->ob_type->tp_as_mapping->mp_length)(v);
1136 else if (v->ob_type->tp_as_sequence != NULL &&
1137 v->ob_type->tp_as_sequence->sq_length != NULL)
1138 res = (*v->ob_type->tp_as_sequence->sq_length)(v);
1139 else
1140 return 1;
1141 /* if it is negative, it should be either -1 or -2 */
1142 return (res > 0) ? 1 : Py_SAFE_DOWNCAST(res, Py_ssize_t, int);
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001143}
1144
Tim Peters803526b2002-07-07 05:13:56 +00001145/* equivalent of 'not v'
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001146 Return -1 if an error occurred */
1147
1148int
Fred Drake100814d2000-07-09 15:48:49 +00001149PyObject_Not(PyObject *v)
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001150{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001151 int res;
1152 res = PyObject_IsTrue(v);
1153 if (res < 0)
1154 return res;
1155 return res == 0;
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001156}
1157
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001158/* Test whether an object can be called */
1159
1160int
Fred Drake100814d2000-07-09 15:48:49 +00001161PyCallable_Check(PyObject *x)
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001162{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001163 if (x == NULL)
1164 return 0;
1165 return x->ob_type->tp_call != NULL;
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001166}
1167
Georg Brandle32b4222007-03-10 22:13:27 +00001168/* ------------------------- PyObject_Dir() helpers ------------------------- */
1169
Tim Peters7eea37e2001-09-04 22:08:56 +00001170/* Helper for PyObject_Dir.
1171 Merge the __dict__ of aclass into dict, and recursively also all
1172 the __dict__s of aclass's base classes. The order of merging isn't
1173 defined, as it's expected that only the final set of dict keys is
1174 interesting.
1175 Return 0 on success, -1 on error.
1176*/
1177
1178static int
1179merge_class_dict(PyObject* dict, PyObject* aclass)
1180{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001181 PyObject *classdict;
1182 PyObject *bases;
Tim Peters7eea37e2001-09-04 22:08:56 +00001183
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001184 assert(PyDict_Check(dict));
1185 assert(aclass);
Tim Peters7eea37e2001-09-04 22:08:56 +00001186
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001187 /* Merge in the type's dict (if any). */
1188 classdict = PyObject_GetAttrString(aclass, "__dict__");
1189 if (classdict == NULL)
1190 PyErr_Clear();
1191 else {
1192 int status = PyDict_Update(dict, classdict);
1193 Py_DECREF(classdict);
1194 if (status < 0)
1195 return -1;
1196 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001197
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001198 /* Recursively merge in the base types' (if any) dicts. */
1199 bases = PyObject_GetAttrString(aclass, "__bases__");
1200 if (bases == NULL)
1201 PyErr_Clear();
1202 else {
1203 /* We have no guarantee that bases is a real tuple */
1204 Py_ssize_t i, n;
1205 n = PySequence_Size(bases); /* This better be right */
1206 if (n < 0)
1207 PyErr_Clear();
1208 else {
1209 for (i = 0; i < n; i++) {
1210 int status;
1211 PyObject *base = PySequence_GetItem(bases, i);
1212 if (base == NULL) {
1213 Py_DECREF(bases);
1214 return -1;
1215 }
1216 status = merge_class_dict(dict, base);
1217 Py_DECREF(base);
1218 if (status < 0) {
1219 Py_DECREF(bases);
1220 return -1;
1221 }
1222 }
1223 }
1224 Py_DECREF(bases);
1225 }
1226 return 0;
Tim Peters7eea37e2001-09-04 22:08:56 +00001227}
1228
Georg Brandle32b4222007-03-10 22:13:27 +00001229/* Helper for PyObject_Dir without arguments: returns the local scope. */
1230static PyObject *
Guido van Rossumad7d8d12007-04-13 01:39:34 +00001231_dir_locals(void)
Tim Peters305b5852001-09-17 02:38:46 +00001232{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001233 PyObject *names;
1234 PyObject *locals = PyEval_GetLocals();
Tim Peters305b5852001-09-17 02:38:46 +00001235
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001236 if (locals == NULL) {
1237 PyErr_SetString(PyExc_SystemError, "frame does not exist");
1238 return NULL;
1239 }
Tim Peters305b5852001-09-17 02:38:46 +00001240
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001241 names = PyMapping_Keys(locals);
1242 if (!names)
1243 return NULL;
1244 if (!PyList_Check(names)) {
1245 PyErr_Format(PyExc_TypeError,
1246 "dir(): expected keys() of locals to be a list, "
1247 "not '%.200s'", Py_TYPE(names)->tp_name);
1248 Py_DECREF(names);
1249 return NULL;
1250 }
1251 /* the locals don't need to be DECREF'd */
1252 return names;
Georg Brandle32b4222007-03-10 22:13:27 +00001253}
1254
1255/* Helper for PyObject_Dir of type objects: returns __dict__ and __bases__.
Guido van Rossum98297ee2007-11-06 21:34:58 +00001256 We deliberately don't suck up its __class__, as methods belonging to the
1257 metaclass would probably be more confusing than helpful.
Georg Brandle32b4222007-03-10 22:13:27 +00001258*/
Guido van Rossum98297ee2007-11-06 21:34:58 +00001259static PyObject *
Georg Brandle32b4222007-03-10 22:13:27 +00001260_specialized_dir_type(PyObject *obj)
1261{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001262 PyObject *result = NULL;
1263 PyObject *dict = PyDict_New();
Georg Brandle32b4222007-03-10 22:13:27 +00001264
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001265 if (dict != NULL && merge_class_dict(dict, obj) == 0)
1266 result = PyDict_Keys(dict);
Georg Brandle32b4222007-03-10 22:13:27 +00001267
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001268 Py_XDECREF(dict);
1269 return result;
Tim Peters305b5852001-09-17 02:38:46 +00001270}
1271
Georg Brandle32b4222007-03-10 22:13:27 +00001272/* Helper for PyObject_Dir of module objects: returns the module's __dict__. */
1273static PyObject *
1274_specialized_dir_module(PyObject *obj)
Tim Peters7eea37e2001-09-04 22:08:56 +00001275{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001276 PyObject *result = NULL;
1277 PyObject *dict = PyObject_GetAttrString(obj, "__dict__");
Tim Peters7eea37e2001-09-04 22:08:56 +00001278
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001279 if (dict != NULL) {
1280 if (PyDict_Check(dict))
1281 result = PyDict_Keys(dict);
1282 else {
1283 const char *name = PyModule_GetName(obj);
1284 if (name)
1285 PyErr_Format(PyExc_TypeError,
1286 "%.200s.__dict__ is not a dictionary",
1287 name);
1288 }
1289 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001290
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001291 Py_XDECREF(dict);
1292 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001293}
Tim Peters7eea37e2001-09-04 22:08:56 +00001294
Georg Brandle32b4222007-03-10 22:13:27 +00001295/* Helper for PyObject_Dir of generic objects: returns __dict__, __class__,
1296 and recursively up the __class__.__bases__ chain.
1297*/
1298static PyObject *
1299_generic_dir(PyObject *obj)
1300{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001301 PyObject *result = NULL;
1302 PyObject *dict = NULL;
1303 PyObject *itsclass = NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +00001304
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001305 /* Get __dict__ (which may or may not be a real dict...) */
1306 dict = PyObject_GetAttrString(obj, "__dict__");
1307 if (dict == NULL) {
1308 PyErr_Clear();
1309 dict = PyDict_New();
1310 }
1311 else if (!PyDict_Check(dict)) {
1312 Py_DECREF(dict);
1313 dict = PyDict_New();
1314 }
1315 else {
1316 /* Copy __dict__ to avoid mutating it. */
1317 PyObject *temp = PyDict_Copy(dict);
1318 Py_DECREF(dict);
1319 dict = temp;
1320 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001321
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001322 if (dict == NULL)
1323 goto error;
Tim Peters7eea37e2001-09-04 22:08:56 +00001324
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001325 /* Merge in attrs reachable from its class. */
1326 itsclass = PyObject_GetAttrString(obj, "__class__");
1327 if (itsclass == NULL)
1328 /* XXX(tomer): Perhaps fall back to obj->ob_type if no
1329 __class__ exists? */
1330 PyErr_Clear();
1331 else {
1332 if (merge_class_dict(dict, itsclass) != 0)
1333 goto error;
1334 }
Georg Brandle32b4222007-03-10 22:13:27 +00001335
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001336 result = PyDict_Keys(dict);
1337 /* fall through */
Georg Brandle32b4222007-03-10 22:13:27 +00001338error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001339 Py_XDECREF(itsclass);
1340 Py_XDECREF(dict);
1341 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001342}
1343
1344/* Helper for PyObject_Dir: object introspection.
1345 This calls one of the above specialized versions if no __dir__ method
1346 exists. */
1347static PyObject *
1348_dir_object(PyObject *obj)
1349{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001350 PyObject * result = NULL;
1351 PyObject * dirfunc = PyObject_GetAttrString((PyObject*)obj->ob_type,
1352 "__dir__");
Georg Brandle32b4222007-03-10 22:13:27 +00001353
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001354 assert(obj);
1355 if (dirfunc == NULL) {
1356 /* use default implementation */
1357 PyErr_Clear();
1358 if (PyModule_Check(obj))
1359 result = _specialized_dir_module(obj);
1360 else if (PyType_Check(obj))
1361 result = _specialized_dir_type(obj);
1362 else
1363 result = _generic_dir(obj);
1364 }
1365 else {
1366 /* use __dir__ */
1367 result = PyObject_CallFunctionObjArgs(dirfunc, obj, NULL);
1368 Py_DECREF(dirfunc);
1369 if (result == NULL)
1370 return NULL;
Georg Brandle32b4222007-03-10 22:13:27 +00001371
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001372 /* result must be a list */
1373 /* XXX(gbrandl): could also check if all items are strings */
1374 if (!PyList_Check(result)) {
1375 PyErr_Format(PyExc_TypeError,
1376 "__dir__() must return a list, not %.200s",
1377 Py_TYPE(result)->tp_name);
1378 Py_DECREF(result);
1379 result = NULL;
1380 }
1381 }
Georg Brandle32b4222007-03-10 22:13:27 +00001382
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001383 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001384}
1385
1386/* Implementation of dir() -- if obj is NULL, returns the names in the current
1387 (local) scope. Otherwise, performs introspection of the object: returns a
1388 sorted list of attribute names (supposedly) accessible from the object
1389*/
1390PyObject *
1391PyObject_Dir(PyObject *obj)
1392{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001393 PyObject * result;
Georg Brandle32b4222007-03-10 22:13:27 +00001394
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001395 if (obj == NULL)
1396 /* no object -- introspect the locals */
1397 result = _dir_locals();
1398 else
1399 /* object -- introspect the object */
1400 result = _dir_object(obj);
Georg Brandle32b4222007-03-10 22:13:27 +00001401
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001402 assert(result == NULL || PyList_Check(result));
Georg Brandle32b4222007-03-10 22:13:27 +00001403
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001404 if (result != NULL && PyList_Sort(result) != 0) {
1405 /* sorting the list failed */
1406 Py_DECREF(result);
1407 result = NULL;
1408 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00001409
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001410 return result;
Tim Peters7eea37e2001-09-04 22:08:56 +00001411}
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001412
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001413/*
1414NoObject is usable as a non-NULL undefined value, used by the macro None.
1415There is (and should be!) no way to create other objects of this type,
Guido van Rossum3f5da241990-12-20 15:06:42 +00001416so there is exactly one (which is indestructible, by the way).
Guido van Rossumba21a492001-08-16 08:17:26 +00001417(XXX This type and the type of NotImplemented below should be unified.)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001418*/
1419
Guido van Rossum0c182a11992-03-27 17:26:13 +00001420/* ARGSUSED */
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001421static PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001422none_repr(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001423{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001424 return PyUnicode_FromString("None");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001425}
1426
Barry Warsaw9bf16442001-01-23 16:24:35 +00001427/* ARGUSED */
1428static void
Tim Peters803526b2002-07-07 05:13:56 +00001429none_dealloc(PyObject* ignore)
Barry Warsaw9bf16442001-01-23 16:24:35 +00001430{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001431 /* This should never get called, but we also don't want to SEGV if
1432 * we accidentally decref None out of existence.
1433 */
1434 Py_FatalError("deallocating None");
Barry Warsaw9bf16442001-01-23 16:24:35 +00001435}
1436
1437
Guido van Rossumba21a492001-08-16 08:17:26 +00001438static PyTypeObject PyNone_Type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001439 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1440 "NoneType",
1441 0,
1442 0,
1443 none_dealloc, /*tp_dealloc*/ /*never called*/
1444 0, /*tp_print*/
1445 0, /*tp_getattr*/
1446 0, /*tp_setattr*/
1447 0, /*tp_reserved*/
1448 none_repr, /*tp_repr*/
1449 0, /*tp_as_number*/
1450 0, /*tp_as_sequence*/
1451 0, /*tp_as_mapping*/
1452 0, /*tp_hash */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001453};
1454
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001455PyObject _Py_NoneStruct = {
Martin v. Löwis9f2e3462007-07-21 17:22:18 +00001456 _PyObject_EXTRA_INIT
1457 1, &PyNone_Type
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001458};
1459
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001460/* NotImplemented is an object that can be used to signal that an
1461 operation is not implemented for the given type combination. */
1462
1463static PyObject *
1464NotImplemented_repr(PyObject *op)
1465{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001466 return PyUnicode_FromString("NotImplemented");
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001467}
1468
1469static PyTypeObject PyNotImplemented_Type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001470 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1471 "NotImplementedType",
1472 0,
1473 0,
1474 none_dealloc, /*tp_dealloc*/ /*never called*/
1475 0, /*tp_print*/
1476 0, /*tp_getattr*/
1477 0, /*tp_setattr*/
1478 0, /*tp_reserved*/
1479 NotImplemented_repr, /*tp_repr*/
1480 0, /*tp_as_number*/
1481 0, /*tp_as_sequence*/
1482 0, /*tp_as_mapping*/
1483 0, /*tp_hash */
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001484};
1485
1486PyObject _Py_NotImplementedStruct = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001487 _PyObject_EXTRA_INIT
1488 1, &PyNotImplemented_Type
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001489};
1490
Guido van Rossumba21a492001-08-16 08:17:26 +00001491void
1492_Py_ReadyTypes(void)
1493{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001494 if (PyType_Ready(&PyType_Type) < 0)
1495 Py_FatalError("Can't initialize type type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001496
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001497 if (PyType_Ready(&_PyWeakref_RefType) < 0)
1498 Py_FatalError("Can't initialize weakref type");
Fred Drake0a4dd392004-07-02 18:57:45 +00001499
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001500 if (PyType_Ready(&_PyWeakref_CallableProxyType) < 0)
1501 Py_FatalError("Can't initialize callable weakref proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001502
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001503 if (PyType_Ready(&_PyWeakref_ProxyType) < 0)
1504 Py_FatalError("Can't initialize weakref proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001505
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001506 if (PyType_Ready(&PyBool_Type) < 0)
1507 Py_FatalError("Can't initialize bool type");
Guido van Rossum77f6a652002-04-03 22:41:51 +00001508
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001509 if (PyType_Ready(&PyByteArray_Type) < 0)
1510 Py_FatalError("Can't initialize bytearray type");
Guido van Rossum4dfe8a12006-04-22 23:28:04 +00001511
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001512 if (PyType_Ready(&PyBytes_Type) < 0)
1513 Py_FatalError("Can't initialize 'str'");
Guido van Rossumcacfc072002-05-24 19:01:59 +00001514
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001515 if (PyType_Ready(&PyList_Type) < 0)
1516 Py_FatalError("Can't initialize list type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001517
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001518 if (PyType_Ready(&PyNone_Type) < 0)
1519 Py_FatalError("Can't initialize None type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001520
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001521 if (PyType_Ready(Py_Ellipsis->ob_type) < 0)
1522 Py_FatalError("Can't initialize type(Ellipsis)");
Guido van Rossum50e9fb92006-08-17 05:42:55 +00001523
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001524 if (PyType_Ready(&PyNotImplemented_Type) < 0)
1525 Py_FatalError("Can't initialize NotImplemented type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001526
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001527 if (PyType_Ready(&PyTraceBack_Type) < 0)
1528 Py_FatalError("Can't initialize traceback type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001529
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001530 if (PyType_Ready(&PySuper_Type) < 0)
1531 Py_FatalError("Can't initialize super type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001532
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001533 if (PyType_Ready(&PyBaseObject_Type) < 0)
1534 Py_FatalError("Can't initialize object type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001535
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001536 if (PyType_Ready(&PyRange_Type) < 0)
1537 Py_FatalError("Can't initialize range type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001538
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001539 if (PyType_Ready(&PyDict_Type) < 0)
1540 Py_FatalError("Can't initialize dict type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001541
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001542 if (PyType_Ready(&PySet_Type) < 0)
1543 Py_FatalError("Can't initialize set type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001544
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001545 if (PyType_Ready(&PyUnicode_Type) < 0)
1546 Py_FatalError("Can't initialize str type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001547
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001548 if (PyType_Ready(&PySlice_Type) < 0)
1549 Py_FatalError("Can't initialize slice type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001550
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001551 if (PyType_Ready(&PyStaticMethod_Type) < 0)
1552 Py_FatalError("Can't initialize static method type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001553
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001554 if (PyType_Ready(&PyComplex_Type) < 0)
1555 Py_FatalError("Can't initialize complex type");
Skip Montanaroba1e0f42009-10-18 14:25:35 +00001556
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001557 if (PyType_Ready(&PyFloat_Type) < 0)
1558 Py_FatalError("Can't initialize float type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001559
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001560 if (PyType_Ready(&PyLong_Type) < 0)
1561 Py_FatalError("Can't initialize int type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001562
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001563 if (PyType_Ready(&PyFrozenSet_Type) < 0)
1564 Py_FatalError("Can't initialize frozenset type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001565
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001566 if (PyType_Ready(&PyProperty_Type) < 0)
1567 Py_FatalError("Can't initialize property type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001568
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001569 if (PyType_Ready(&PyMemoryView_Type) < 0)
1570 Py_FatalError("Can't initialize memoryview type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001571
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001572 if (PyType_Ready(&PyTuple_Type) < 0)
1573 Py_FatalError("Can't initialize tuple type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001574
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001575 if (PyType_Ready(&PyEnum_Type) < 0)
1576 Py_FatalError("Can't initialize enumerate type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001577
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001578 if (PyType_Ready(&PyReversed_Type) < 0)
1579 Py_FatalError("Can't initialize reversed type");
Guido van Rossum47b9ff62006-08-24 00:41:19 +00001580
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001581 if (PyType_Ready(&PyStdPrinter_Type) < 0)
1582 Py_FatalError("Can't initialize StdPrinter");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001583
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001584 if (PyType_Ready(&PyCode_Type) < 0)
1585 Py_FatalError("Can't initialize code type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001586
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001587 if (PyType_Ready(&PyFrame_Type) < 0)
1588 Py_FatalError("Can't initialize frame type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001589
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001590 if (PyType_Ready(&PyCFunction_Type) < 0)
1591 Py_FatalError("Can't initialize builtin function type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001592
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001593 if (PyType_Ready(&PyMethod_Type) < 0)
1594 Py_FatalError("Can't initialize method type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001595
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001596 if (PyType_Ready(&PyFunction_Type) < 0)
1597 Py_FatalError("Can't initialize function type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001598
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001599 if (PyType_Ready(&PyDictProxy_Type) < 0)
1600 Py_FatalError("Can't initialize dict proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001601
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001602 if (PyType_Ready(&PyGen_Type) < 0)
1603 Py_FatalError("Can't initialize generator type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001604
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001605 if (PyType_Ready(&PyGetSetDescr_Type) < 0)
1606 Py_FatalError("Can't initialize get-set descriptor type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001607
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001608 if (PyType_Ready(&PyWrapperDescr_Type) < 0)
1609 Py_FatalError("Can't initialize wrapper type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001610
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001611 if (PyType_Ready(&PyEllipsis_Type) < 0)
1612 Py_FatalError("Can't initialize ellipsis type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001613
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001614 if (PyType_Ready(&PyMemberDescr_Type) < 0)
1615 Py_FatalError("Can't initialize member descriptor type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001616
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001617 if (PyType_Ready(&PyFilter_Type) < 0)
1618 Py_FatalError("Can't initialize filter type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001619
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001620 if (PyType_Ready(&PyMap_Type) < 0)
1621 Py_FatalError("Can't initialize map type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001622
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001623 if (PyType_Ready(&PyZip_Type) < 0)
1624 Py_FatalError("Can't initialize zip type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001625}
1626
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001627
Guido van Rossum84a90321996-05-22 16:34:47 +00001628#ifdef Py_TRACE_REFS
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001629
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001630void
Fred Drake100814d2000-07-09 15:48:49 +00001631_Py_NewReference(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001632{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001633 _Py_INC_REFTOTAL;
1634 op->ob_refcnt = 1;
1635 _Py_AddToAllObjects(op, 1);
1636 _Py_INC_TPALLOCS(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001637}
1638
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001639void
Fred Drake100814d2000-07-09 15:48:49 +00001640_Py_ForgetReference(register PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001641{
Guido van Rossumbffd6832000-01-20 22:32:56 +00001642#ifdef SLOW_UNREF_CHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001643 register PyObject *p;
Guido van Rossumbffd6832000-01-20 22:32:56 +00001644#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001645 if (op->ob_refcnt < 0)
1646 Py_FatalError("UNREF negative refcnt");
1647 if (op == &refchain ||
1648 op->_ob_prev->_ob_next != op || op->_ob_next->_ob_prev != op) {
1649 fprintf(stderr, "* ob\n");
1650 _PyObject_Dump(op);
1651 fprintf(stderr, "* op->_ob_prev->_ob_next\n");
1652 _PyObject_Dump(op->_ob_prev->_ob_next);
1653 fprintf(stderr, "* op->_ob_next->_ob_prev\n");
1654 _PyObject_Dump(op->_ob_next->_ob_prev);
1655 Py_FatalError("UNREF invalid object");
1656 }
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001657#ifdef SLOW_UNREF_CHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001658 for (p = refchain._ob_next; p != &refchain; p = p->_ob_next) {
1659 if (p == op)
1660 break;
1661 }
1662 if (p == &refchain) /* Not found */
1663 Py_FatalError("UNREF unknown object");
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001664#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001665 op->_ob_next->_ob_prev = op->_ob_prev;
1666 op->_ob_prev->_ob_next = op->_ob_next;
1667 op->_ob_next = op->_ob_prev = NULL;
1668 _Py_INC_TPFREES(op);
Guido van Rossum3f5da241990-12-20 15:06:42 +00001669}
1670
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001671void
Fred Drake100814d2000-07-09 15:48:49 +00001672_Py_Dealloc(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001673{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001674 destructor dealloc = Py_TYPE(op)->tp_dealloc;
1675 _Py_ForgetReference(op);
1676 (*dealloc)(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001677}
1678
Tim Peters269b2a62003-04-17 19:52:29 +00001679/* Print all live objects. Because PyObject_Print is called, the
1680 * interpreter must be in a healthy state.
1681 */
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001682void
Fred Drake100814d2000-07-09 15:48:49 +00001683_Py_PrintReferences(FILE *fp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001684{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001685 PyObject *op;
1686 fprintf(fp, "Remaining objects:\n");
1687 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next) {
1688 fprintf(fp, "%p [%" PY_FORMAT_SIZE_T "d] ", op, op->ob_refcnt);
1689 if (PyObject_Print(op, fp, 0) != 0)
1690 PyErr_Clear();
1691 putc('\n', fp);
1692 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001693}
1694
Tim Peters269b2a62003-04-17 19:52:29 +00001695/* Print the addresses of all live objects. Unlike _Py_PrintReferences, this
1696 * doesn't make any calls to the Python C API, so is always safe to call.
1697 */
1698void
1699_Py_PrintReferenceAddresses(FILE *fp)
1700{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001701 PyObject *op;
1702 fprintf(fp, "Remaining object addresses:\n");
1703 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next)
1704 fprintf(fp, "%p [%" PY_FORMAT_SIZE_T "d] %s\n", op,
1705 op->ob_refcnt, Py_TYPE(op)->tp_name);
Tim Peters269b2a62003-04-17 19:52:29 +00001706}
1707
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001708PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001709_Py_GetObjects(PyObject *self, PyObject *args)
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001710{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001711 int i, n;
1712 PyObject *t = NULL;
1713 PyObject *res, *op;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001714
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001715 if (!PyArg_ParseTuple(args, "i|O", &n, &t))
1716 return NULL;
1717 op = refchain._ob_next;
1718 res = PyList_New(0);
1719 if (res == NULL)
1720 return NULL;
1721 for (i = 0; (n == 0 || i < n) && op != &refchain; i++) {
1722 while (op == self || op == args || op == res || op == t ||
1723 (t != NULL && Py_TYPE(op) != (PyTypeObject *) t)) {
1724 op = op->_ob_next;
1725 if (op == &refchain)
1726 return res;
1727 }
1728 if (PyList_Append(res, op) < 0) {
1729 Py_DECREF(res);
1730 return NULL;
1731 }
1732 op = op->_ob_next;
1733 }
1734 return res;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001735}
1736
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001737#endif
Guido van Rossum97ead3f1996-01-12 01:24:09 +00001738
Guido van Rossum84a90321996-05-22 16:34:47 +00001739
Benjamin Petersonb173f782009-05-05 22:31:58 +00001740/* Hack to force loading of pycapsule.o */
1741PyTypeObject *_PyCapsule_hack = &PyCapsule_Type;
1742
1743
Guido van Rossum84a90321996-05-22 16:34:47 +00001744/* Hack to force loading of abstract.o */
Martin v. Löwis18e16552006-02-15 17:27:45 +00001745Py_ssize_t (*_Py_abstract_hack)(PyObject *) = PyObject_Size;
Guido van Rossume09fb551997-08-05 02:04:34 +00001746
1747
Andrew M. Kuchling1582a3a2000-08-16 12:27:23 +00001748/* Python's malloc wrappers (see pymem.h) */
Guido van Rossume09fb551997-08-05 02:04:34 +00001749
Thomas Wouters334fb892000-07-25 12:56:38 +00001750void *
Fred Drake100814d2000-07-09 15:48:49 +00001751PyMem_Malloc(size_t nbytes)
Guido van Rossume09fb551997-08-05 02:04:34 +00001752{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001753 return PyMem_MALLOC(nbytes);
Guido van Rossume09fb551997-08-05 02:04:34 +00001754}
1755
Thomas Wouters334fb892000-07-25 12:56:38 +00001756void *
1757PyMem_Realloc(void *p, size_t nbytes)
Guido van Rossume09fb551997-08-05 02:04:34 +00001758{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001759 return PyMem_REALLOC(p, nbytes);
Guido van Rossume09fb551997-08-05 02:04:34 +00001760}
1761
1762void
Thomas Wouters334fb892000-07-25 12:56:38 +00001763PyMem_Free(void *p)
Guido van Rossume09fb551997-08-05 02:04:34 +00001764{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001765 PyMem_FREE(p);
Guido van Rossumb18618d2000-05-03 23:44:39 +00001766}
1767
1768
Guido van Rossum86610361998-04-10 22:32:46 +00001769/* These methods are used to control infinite recursion in repr, str, print,
1770 etc. Container objects that may recursively contain themselves,
1771 e.g. builtin dictionaries and lists, should used Py_ReprEnter() and
1772 Py_ReprLeave() to avoid infinite recursion.
1773
1774 Py_ReprEnter() returns 0 the first time it is called for a particular
1775 object and 1 every time thereafter. It returns -1 if an exception
1776 occurred. Py_ReprLeave() has no return value.
1777
1778 See dictobject.c and listobject.c for examples of use.
1779*/
1780
1781#define KEY "Py_Repr"
1782
1783int
Fred Drake100814d2000-07-09 15:48:49 +00001784Py_ReprEnter(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00001785{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001786 PyObject *dict;
1787 PyObject *list;
1788 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00001789
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001790 dict = PyThreadState_GetDict();
1791 if (dict == NULL)
1792 return 0;
1793 list = PyDict_GetItemString(dict, KEY);
1794 if (list == NULL) {
1795 list = PyList_New(0);
1796 if (list == NULL)
1797 return -1;
1798 if (PyDict_SetItemString(dict, KEY, list) < 0)
1799 return -1;
1800 Py_DECREF(list);
1801 }
1802 i = PyList_GET_SIZE(list);
1803 while (--i >= 0) {
1804 if (PyList_GET_ITEM(list, i) == obj)
1805 return 1;
1806 }
1807 PyList_Append(list, obj);
1808 return 0;
Guido van Rossum86610361998-04-10 22:32:46 +00001809}
1810
1811void
Fred Drake100814d2000-07-09 15:48:49 +00001812Py_ReprLeave(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00001813{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001814 PyObject *dict;
1815 PyObject *list;
1816 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00001817
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001818 dict = PyThreadState_GetDict();
1819 if (dict == NULL)
1820 return;
1821 list = PyDict_GetItemString(dict, KEY);
1822 if (list == NULL || !PyList_Check(list))
1823 return;
1824 i = PyList_GET_SIZE(list);
1825 /* Count backwards because we always expect obj to be list[-1] */
1826 while (--i >= 0) {
1827 if (PyList_GET_ITEM(list, i) == obj) {
1828 PyList_SetSlice(list, i, i + 1, NULL);
1829 break;
1830 }
1831 }
Guido van Rossum86610361998-04-10 22:32:46 +00001832}
Guido van Rossumd724b232000-03-13 16:01:29 +00001833
Tim Peters803526b2002-07-07 05:13:56 +00001834/* Trashcan support. */
Guido van Rossumd724b232000-03-13 16:01:29 +00001835
Tim Peters803526b2002-07-07 05:13:56 +00001836/* Current call-stack depth of tp_dealloc calls. */
Guido van Rossumd724b232000-03-13 16:01:29 +00001837int _PyTrash_delete_nesting = 0;
Guido van Rossume92e6102000-04-24 15:40:53 +00001838
Tim Peters803526b2002-07-07 05:13:56 +00001839/* List of objects that still need to be cleaned up, singly linked via their
1840 * gc headers' gc_prev pointers.
1841 */
1842PyObject *_PyTrash_delete_later = NULL;
Guido van Rossumd724b232000-03-13 16:01:29 +00001843
Tim Peters803526b2002-07-07 05:13:56 +00001844/* Add op to the _PyTrash_delete_later list. Called when the current
1845 * call-stack depth gets large. op must be a currently untracked gc'ed
1846 * object, with refcount 0. Py_DECREF must already have been called on it.
1847 */
Guido van Rossumd724b232000-03-13 16:01:29 +00001848void
Fred Drake100814d2000-07-09 15:48:49 +00001849_PyTrash_deposit_object(PyObject *op)
Guido van Rossumd724b232000-03-13 16:01:29 +00001850{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001851 assert(PyObject_IS_GC(op));
1852 assert(_Py_AS_GC(op)->gc.gc_refs == _PyGC_REFS_UNTRACKED);
1853 assert(op->ob_refcnt == 0);
1854 _Py_AS_GC(op)->gc.gc_prev = (PyGC_Head *)_PyTrash_delete_later;
1855 _PyTrash_delete_later = op;
Guido van Rossumd724b232000-03-13 16:01:29 +00001856}
1857
Tim Peters803526b2002-07-07 05:13:56 +00001858/* Dealloccate all the objects in the _PyTrash_delete_later list. Called when
1859 * the call-stack unwinds again.
1860 */
Guido van Rossumd724b232000-03-13 16:01:29 +00001861void
Fred Drake100814d2000-07-09 15:48:49 +00001862_PyTrash_destroy_chain(void)
Guido van Rossumd724b232000-03-13 16:01:29 +00001863{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001864 while (_PyTrash_delete_later) {
1865 PyObject *op = _PyTrash_delete_later;
1866 destructor dealloc = Py_TYPE(op)->tp_dealloc;
Neil Schemenauerf589c052002-03-29 03:05:54 +00001867
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001868 _PyTrash_delete_later =
1869 (PyObject*) _Py_AS_GC(op)->gc.gc_prev;
Neil Schemenauerf589c052002-03-29 03:05:54 +00001870
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001871 /* Call the deallocator directly. This used to try to
1872 * fool Py_DECREF into calling it indirectly, but
1873 * Py_DECREF was already called on this object, and in
1874 * assorted non-release builds calling Py_DECREF again ends
1875 * up distorting allocation statistics.
1876 */
1877 assert(op->ob_refcnt == 0);
1878 ++_PyTrash_delete_nesting;
1879 (*dealloc)(op);
1880 --_PyTrash_delete_nesting;
1881 }
Guido van Rossumd724b232000-03-13 16:01:29 +00001882}
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001883
1884#ifdef __cplusplus
1885}
1886#endif