blob: 76d018f7f1392fc7e9908349018e687ba41ea752 [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
Mark Dickinsondc787d22010-05-23 13:33:13 +0000650/* For numeric types, the hash of a number x is based on the reduction
651 of x modulo the prime P = 2**_PyHASH_BITS - 1. It's designed so that
652 hash(x) == hash(y) whenever x and y are numerically equal, even if
653 x and y have different types.
654
655 A quick summary of the hashing strategy:
656
657 (1) First define the 'reduction of x modulo P' for any rational
658 number x; this is a standard extension of the usual notion of
659 reduction modulo P for integers. If x == p/q (written in lowest
660 terms), the reduction is interpreted as the reduction of p times
661 the inverse of the reduction of q, all modulo P; if q is exactly
662 divisible by P then define the reduction to be infinity. So we've
663 got a well-defined map
664
665 reduce : { rational numbers } -> { 0, 1, 2, ..., P-1, infinity }.
666
667 (2) Now for a rational number x, define hash(x) by:
668
669 reduce(x) if x >= 0
670 -reduce(-x) if x < 0
671
672 If the result of the reduction is infinity (this is impossible for
673 integers, floats and Decimals) then use the predefined hash value
674 _PyHASH_INF for x >= 0, or -_PyHASH_INF for x < 0, instead.
675 _PyHASH_INF, -_PyHASH_INF and _PyHASH_NAN are also used for the
676 hashes of float and Decimal infinities and nans.
677
678 A selling point for the above strategy is that it makes it possible
679 to compute hashes of decimal and binary floating-point numbers
680 efficiently, even if the exponent of the binary or decimal number
681 is large. The key point is that
682
683 reduce(x * y) == reduce(x) * reduce(y) (modulo _PyHASH_MODULUS)
684
685 provided that {reduce(x), reduce(y)} != {0, infinity}. The reduction of a
686 binary or decimal float is never infinity, since the denominator is a power
687 of 2 (for binary) or a divisor of a power of 10 (for decimal). So we have,
688 for nonnegative x,
689
690 reduce(x * 2**e) == reduce(x) * reduce(2**e) % _PyHASH_MODULUS
691
692 reduce(x * 10**e) == reduce(x) * reduce(10**e) % _PyHASH_MODULUS
693
694 and reduce(10**e) can be computed efficiently by the usual modular
695 exponentiation algorithm. For reduce(2**e) it's even better: since
696 P is of the form 2**n-1, reduce(2**e) is 2**(e mod n), and multiplication
697 by 2**(e mod n) modulo 2**n-1 just amounts to a rotation of bits.
698
699 */
700
Fred Drake13634cf2000-06-29 19:17:04 +0000701long
Fred Drake100814d2000-07-09 15:48:49 +0000702_Py_HashDouble(double v)
Fred Drake13634cf2000-06-29 19:17:04 +0000703{
Mark Dickinsondc787d22010-05-23 13:33:13 +0000704 int e, sign;
705 double m;
706 unsigned long x, y;
Tim Peters39dce292000-08-15 03:34:48 +0000707
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000708 if (!Py_IS_FINITE(v)) {
709 if (Py_IS_INFINITY(v))
Mark Dickinsondc787d22010-05-23 13:33:13 +0000710 return v > 0 ? _PyHASH_INF : -_PyHASH_INF;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000711 else
Mark Dickinsondc787d22010-05-23 13:33:13 +0000712 return _PyHASH_NAN;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000713 }
Mark Dickinsondc787d22010-05-23 13:33:13 +0000714
715 m = frexp(v, &e);
716
717 sign = 1;
718 if (m < 0) {
719 sign = -1;
720 m = -m;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000721 }
Mark Dickinsondc787d22010-05-23 13:33:13 +0000722
723 /* process 28 bits at a time; this should work well both for binary
724 and hexadecimal floating point. */
725 x = 0;
726 while (m) {
727 x = ((x << 28) & _PyHASH_MODULUS) | x >> (_PyHASH_BITS - 28);
728 m *= 268435456.0; /* 2**28 */
729 e -= 28;
730 y = (unsigned long)m; /* pull out integer part */
731 m -= y;
732 x += y;
733 if (x >= _PyHASH_MODULUS)
734 x -= _PyHASH_MODULUS;
735 }
736
737 /* adjust for the exponent; first reduce it modulo _PyHASH_BITS */
738 e = e >= 0 ? e % _PyHASH_BITS : _PyHASH_BITS-1-((-1-e) % _PyHASH_BITS);
739 x = ((x << e) & _PyHASH_MODULUS) | x >> (_PyHASH_BITS - e);
740
741 x = x * sign;
742 if (x == (unsigned long)-1)
743 x = (unsigned long)-2;
744 return (long)x;
Fred Drake13634cf2000-06-29 19:17:04 +0000745}
746
747long
Fred Drake100814d2000-07-09 15:48:49 +0000748_Py_HashPointer(void *p)
Fred Drake13634cf2000-06-29 19:17:04 +0000749{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000750 long x;
751 size_t y = (size_t)p;
752 /* bottom 3 or 4 bits are likely to be 0; rotate y by 4 to avoid
753 excessive hash collisions for dicts and sets */
754 y = (y >> 4) | (y << (8 * SIZEOF_VOID_P - 4));
755 x = (long)y;
756 if (x == -1)
757 x = -2;
758 return x;
Fred Drake13634cf2000-06-29 19:17:04 +0000759}
760
Nick Coghland1abd252008-07-15 15:46:38 +0000761long
762PyObject_HashNotImplemented(PyObject *v)
763{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000764 PyErr_Format(PyExc_TypeError, "unhashable type: '%.200s'",
765 Py_TYPE(v)->tp_name);
766 return -1;
Nick Coghland1abd252008-07-15 15:46:38 +0000767}
Fred Drake13634cf2000-06-29 19:17:04 +0000768
Guido van Rossum9bfef441993-03-29 10:43:31 +0000769long
Fred Drake100814d2000-07-09 15:48:49 +0000770PyObject_Hash(PyObject *v)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000771{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000772 PyTypeObject *tp = Py_TYPE(v);
773 if (tp->tp_hash != NULL)
774 return (*tp->tp_hash)(v);
775 /* To keep to the general practice that inheriting
776 * solely from object in C code should work without
777 * an explicit call to PyType_Ready, we implicitly call
778 * PyType_Ready here and then check the tp_hash slot again
779 */
780 if (tp->tp_dict == NULL) {
781 if (PyType_Ready(tp) < 0)
782 return -1;
783 if (tp->tp_hash != NULL)
784 return (*tp->tp_hash)(v);
785 }
786 /* Otherwise, the object can't be hashed */
787 return PyObject_HashNotImplemented(v);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000788}
789
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000790PyObject *
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000791PyObject_GetAttrString(PyObject *v, const char *name)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000792{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000793 PyObject *w, *res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000794
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000795 if (Py_TYPE(v)->tp_getattr != NULL)
796 return (*Py_TYPE(v)->tp_getattr)(v, (char*)name);
797 w = PyUnicode_InternFromString(name);
798 if (w == NULL)
799 return NULL;
800 res = PyObject_GetAttr(v, w);
801 Py_XDECREF(w);
802 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000803}
804
805int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000806PyObject_HasAttrString(PyObject *v, const char *name)
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000807{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000808 PyObject *res = PyObject_GetAttrString(v, name);
809 if (res != NULL) {
810 Py_DECREF(res);
811 return 1;
812 }
813 PyErr_Clear();
814 return 0;
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000815}
816
817int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000818PyObject_SetAttrString(PyObject *v, const char *name, PyObject *w)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000819{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000820 PyObject *s;
821 int res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000822
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000823 if (Py_TYPE(v)->tp_setattr != NULL)
824 return (*Py_TYPE(v)->tp_setattr)(v, (char*)name, w);
825 s = PyUnicode_InternFromString(name);
826 if (s == NULL)
827 return -1;
828 res = PyObject_SetAttr(v, s, w);
829 Py_XDECREF(s);
830 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000831}
832
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000833PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000834PyObject_GetAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000835{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000836 PyTypeObject *tp = Py_TYPE(v);
Tim Peters6d6c1a32001-08-02 04:15:00 +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 NULL;
843 }
844 if (tp->tp_getattro != NULL)
845 return (*tp->tp_getattro)(v, name);
846 if (tp->tp_getattr != NULL) {
847 char *name_str = _PyUnicode_AsString(name);
848 if (name_str == NULL)
849 return NULL;
850 return (*tp->tp_getattr)(v, name_str);
851 }
852 PyErr_Format(PyExc_AttributeError,
853 "'%.50s' object has no attribute '%U'",
854 tp->tp_name, name);
855 return NULL;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000856}
857
858int
Fred Drake100814d2000-07-09 15:48:49 +0000859PyObject_HasAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000860{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000861 PyObject *res = PyObject_GetAttr(v, name);
862 if (res != NULL) {
863 Py_DECREF(res);
864 return 1;
865 }
866 PyErr_Clear();
867 return 0;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000868}
869
870int
Fred Drake100814d2000-07-09 15:48:49 +0000871PyObject_SetAttr(PyObject *v, PyObject *name, PyObject *value)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000872{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000873 PyTypeObject *tp = Py_TYPE(v);
874 int err;
Marc-André Lemburge44e5072000-09-18 16:20:57 +0000875
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000876 if (!PyUnicode_Check(name)) {
877 PyErr_Format(PyExc_TypeError,
878 "attribute name must be string, not '%.200s'",
879 name->ob_type->tp_name);
880 return -1;
881 }
882 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000883
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000884 PyUnicode_InternInPlace(&name);
885 if (tp->tp_setattro != NULL) {
886 err = (*tp->tp_setattro)(v, name, value);
887 Py_DECREF(name);
888 return err;
889 }
890 if (tp->tp_setattr != NULL) {
891 char *name_str = _PyUnicode_AsString(name);
892 if (name_str == NULL)
893 return -1;
894 err = (*tp->tp_setattr)(v, name_str, value);
895 Py_DECREF(name);
896 return err;
897 }
898 Py_DECREF(name);
899 assert(name->ob_refcnt >= 1);
900 if (tp->tp_getattr == NULL && tp->tp_getattro == NULL)
901 PyErr_Format(PyExc_TypeError,
902 "'%.100s' object has no attributes "
903 "(%s .%U)",
904 tp->tp_name,
905 value==NULL ? "del" : "assign to",
906 name);
907 else
908 PyErr_Format(PyExc_TypeError,
909 "'%.100s' object has only read-only attributes "
910 "(%s .%U)",
911 tp->tp_name,
912 value==NULL ? "del" : "assign to",
913 name);
914 return -1;
Tim Peters6d6c1a32001-08-02 04:15:00 +0000915}
916
917/* Helper to get a pointer to an object's __dict__ slot, if any */
918
919PyObject **
920_PyObject_GetDictPtr(PyObject *obj)
921{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000922 Py_ssize_t dictoffset;
923 PyTypeObject *tp = Py_TYPE(obj);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000924
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000925 dictoffset = tp->tp_dictoffset;
926 if (dictoffset == 0)
927 return NULL;
928 if (dictoffset < 0) {
929 Py_ssize_t tsize;
930 size_t size;
Guido van Rossum2eb0b872002-03-01 22:24:49 +0000931
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000932 tsize = ((PyVarObject *)obj)->ob_size;
933 if (tsize < 0)
934 tsize = -tsize;
935 size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossum2eb0b872002-03-01 22:24:49 +0000936
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000937 dictoffset += (long)size;
938 assert(dictoffset > 0);
939 assert(dictoffset % SIZEOF_VOID_P == 0);
940 }
941 return (PyObject **) ((char *)obj + dictoffset);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000942}
943
Tim Peters6d6c1a32001-08-02 04:15:00 +0000944PyObject *
Raymond Hettinger1da1dbf2003-03-17 19:46:11 +0000945PyObject_SelfIter(PyObject *obj)
Raymond Hettinger01538262003-03-17 08:24:35 +0000946{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000947 Py_INCREF(obj);
948 return obj;
Raymond Hettinger01538262003-03-17 08:24:35 +0000949}
950
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +0000951/* Helper used when the __next__ method is removed from a type:
952 tp_iternext is never NULL and can be safely called without checking
953 on every iteration.
954 */
955
956PyObject *
957_PyObject_NextNotImplemented(PyObject *self)
958{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000959 PyErr_Format(PyExc_TypeError,
960 "'%.200s' object is not iterable",
961 Py_TYPE(self)->tp_name);
962 return NULL;
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +0000963}
964
Michael W. Hudson1593f502004-09-14 17:09:47 +0000965/* Generic GetAttr functions - put these in your tp_[gs]etattro slot */
966
Raymond Hettinger01538262003-03-17 08:24:35 +0000967PyObject *
Tim Peters6d6c1a32001-08-02 04:15:00 +0000968PyObject_GenericGetAttr(PyObject *obj, PyObject *name)
969{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000970 PyTypeObject *tp = Py_TYPE(obj);
971 PyObject *descr = NULL;
972 PyObject *res = NULL;
973 descrgetfunc f;
974 Py_ssize_t dictoffset;
975 PyObject **dictptr;
Tim Peters6d6c1a32001-08-02 04:15:00 +0000976
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000977 if (!PyUnicode_Check(name)){
978 PyErr_Format(PyExc_TypeError,
979 "attribute name must be string, not '%.200s'",
980 name->ob_type->tp_name);
981 return NULL;
982 }
983 else
984 Py_INCREF(name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +0000985
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000986 if (tp->tp_dict == NULL) {
987 if (PyType_Ready(tp) < 0)
988 goto done;
989 }
Tim Peters6d6c1a32001-08-02 04:15:00 +0000990
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000991 descr = _PyType_Lookup(tp, name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000992 Py_XINCREF(descr);
Michael W. Hudsonb2c7de42003-08-15 13:07:47 +0000993
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000994 f = NULL;
995 if (descr != NULL) {
996 f = descr->ob_type->tp_descr_get;
997 if (f != NULL && PyDescr_IsData(descr)) {
998 res = f(descr, obj, (PyObject *)obj->ob_type);
999 Py_DECREF(descr);
1000 goto done;
1001 }
1002 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001003
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001004 /* Inline _PyObject_GetDictPtr */
1005 dictoffset = tp->tp_dictoffset;
1006 if (dictoffset != 0) {
1007 PyObject *dict;
1008 if (dictoffset < 0) {
1009 Py_ssize_t tsize;
1010 size_t size;
Guido van Rossumc66ff442002-08-19 16:50:48 +00001011
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001012 tsize = ((PyVarObject *)obj)->ob_size;
1013 if (tsize < 0)
1014 tsize = -tsize;
1015 size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossumc66ff442002-08-19 16:50:48 +00001016
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001017 dictoffset += (long)size;
1018 assert(dictoffset > 0);
1019 assert(dictoffset % SIZEOF_VOID_P == 0);
1020 }
1021 dictptr = (PyObject **) ((char *)obj + dictoffset);
1022 dict = *dictptr;
1023 if (dict != NULL) {
1024 Py_INCREF(dict);
1025 res = PyDict_GetItem(dict, name);
1026 if (res != NULL) {
1027 Py_INCREF(res);
1028 Py_XDECREF(descr);
1029 Py_DECREF(dict);
1030 goto done;
1031 }
1032 Py_DECREF(dict);
1033 }
1034 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001035
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001036 if (f != NULL) {
1037 res = f(descr, obj, (PyObject *)Py_TYPE(obj));
1038 Py_DECREF(descr);
1039 goto done;
1040 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001041
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001042 if (descr != NULL) {
1043 res = descr;
1044 /* descr was already increfed above */
1045 goto done;
1046 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001047
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001048 PyErr_Format(PyExc_AttributeError,
1049 "'%.50s' object has no attribute '%U'",
1050 tp->tp_name, name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001051 done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001052 Py_DECREF(name);
1053 return res;
Tim Peters6d6c1a32001-08-02 04:15:00 +00001054}
1055
1056int
1057PyObject_GenericSetAttr(PyObject *obj, PyObject *name, PyObject *value)
1058{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001059 PyTypeObject *tp = Py_TYPE(obj);
1060 PyObject *descr;
1061 descrsetfunc f;
1062 PyObject **dictptr;
1063 int res = -1;
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001064
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001065 if (!PyUnicode_Check(name)){
1066 PyErr_Format(PyExc_TypeError,
1067 "attribute name must be string, not '%.200s'",
1068 name->ob_type->tp_name);
1069 return -1;
1070 }
1071 else
1072 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001073
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001074 if (tp->tp_dict == NULL) {
1075 if (PyType_Ready(tp) < 0)
1076 goto done;
1077 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001078
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001079 descr = _PyType_Lookup(tp, name);
1080 f = NULL;
1081 if (descr != NULL) {
1082 f = descr->ob_type->tp_descr_set;
1083 if (f != NULL && PyDescr_IsData(descr)) {
1084 res = f(descr, obj, value);
1085 goto done;
1086 }
1087 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001088
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001089 dictptr = _PyObject_GetDictPtr(obj);
1090 if (dictptr != NULL) {
1091 PyObject *dict = *dictptr;
1092 if (dict == NULL && value != NULL) {
1093 dict = PyDict_New();
1094 if (dict == NULL)
1095 goto done;
1096 *dictptr = dict;
1097 }
1098 if (dict != NULL) {
1099 Py_INCREF(dict);
1100 if (value == NULL)
1101 res = PyDict_DelItem(dict, name);
1102 else
1103 res = PyDict_SetItem(dict, name, value);
1104 if (res < 0 && PyErr_ExceptionMatches(PyExc_KeyError))
1105 PyErr_SetObject(PyExc_AttributeError, name);
1106 Py_DECREF(dict);
1107 goto done;
1108 }
1109 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001110
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001111 if (f != NULL) {
1112 res = f(descr, obj, value);
1113 goto done;
1114 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001115
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001116 if (descr == NULL) {
1117 PyErr_Format(PyExc_AttributeError,
1118 "'%.100s' object has no attribute '%U'",
1119 tp->tp_name, name);
1120 goto done;
1121 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001122
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001123 PyErr_Format(PyExc_AttributeError,
1124 "'%.50s' object attribute '%U' is read-only",
1125 tp->tp_name, name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001126 done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001127 Py_DECREF(name);
1128 return res;
Guido van Rossum98ff96a1997-05-20 18:34:44 +00001129}
1130
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001131/* Test a value used as condition, e.g., in a for or if statement.
1132 Return -1 if an error occurred */
1133
1134int
Fred Drake100814d2000-07-09 15:48:49 +00001135PyObject_IsTrue(PyObject *v)
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001136{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001137 Py_ssize_t res;
1138 if (v == Py_True)
1139 return 1;
1140 if (v == Py_False)
1141 return 0;
1142 if (v == Py_None)
1143 return 0;
1144 else if (v->ob_type->tp_as_number != NULL &&
1145 v->ob_type->tp_as_number->nb_bool != NULL)
1146 res = (*v->ob_type->tp_as_number->nb_bool)(v);
1147 else if (v->ob_type->tp_as_mapping != NULL &&
1148 v->ob_type->tp_as_mapping->mp_length != NULL)
1149 res = (*v->ob_type->tp_as_mapping->mp_length)(v);
1150 else if (v->ob_type->tp_as_sequence != NULL &&
1151 v->ob_type->tp_as_sequence->sq_length != NULL)
1152 res = (*v->ob_type->tp_as_sequence->sq_length)(v);
1153 else
1154 return 1;
1155 /* if it is negative, it should be either -1 or -2 */
1156 return (res > 0) ? 1 : Py_SAFE_DOWNCAST(res, Py_ssize_t, int);
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001157}
1158
Tim Peters803526b2002-07-07 05:13:56 +00001159/* equivalent of 'not v'
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001160 Return -1 if an error occurred */
1161
1162int
Fred Drake100814d2000-07-09 15:48:49 +00001163PyObject_Not(PyObject *v)
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001164{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001165 int res;
1166 res = PyObject_IsTrue(v);
1167 if (res < 0)
1168 return res;
1169 return res == 0;
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001170}
1171
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001172/* Test whether an object can be called */
1173
1174int
Fred Drake100814d2000-07-09 15:48:49 +00001175PyCallable_Check(PyObject *x)
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001176{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001177 if (x == NULL)
1178 return 0;
1179 return x->ob_type->tp_call != NULL;
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001180}
1181
Georg Brandle32b4222007-03-10 22:13:27 +00001182/* ------------------------- PyObject_Dir() helpers ------------------------- */
1183
Tim Peters7eea37e2001-09-04 22:08:56 +00001184/* Helper for PyObject_Dir.
1185 Merge the __dict__ of aclass into dict, and recursively also all
1186 the __dict__s of aclass's base classes. The order of merging isn't
1187 defined, as it's expected that only the final set of dict keys is
1188 interesting.
1189 Return 0 on success, -1 on error.
1190*/
1191
1192static int
1193merge_class_dict(PyObject* dict, PyObject* aclass)
1194{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001195 PyObject *classdict;
1196 PyObject *bases;
Tim Peters7eea37e2001-09-04 22:08:56 +00001197
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001198 assert(PyDict_Check(dict));
1199 assert(aclass);
Tim Peters7eea37e2001-09-04 22:08:56 +00001200
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001201 /* Merge in the type's dict (if any). */
1202 classdict = PyObject_GetAttrString(aclass, "__dict__");
1203 if (classdict == NULL)
1204 PyErr_Clear();
1205 else {
1206 int status = PyDict_Update(dict, classdict);
1207 Py_DECREF(classdict);
1208 if (status < 0)
1209 return -1;
1210 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001211
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001212 /* Recursively merge in the base types' (if any) dicts. */
1213 bases = PyObject_GetAttrString(aclass, "__bases__");
1214 if (bases == NULL)
1215 PyErr_Clear();
1216 else {
1217 /* We have no guarantee that bases is a real tuple */
1218 Py_ssize_t i, n;
1219 n = PySequence_Size(bases); /* This better be right */
1220 if (n < 0)
1221 PyErr_Clear();
1222 else {
1223 for (i = 0; i < n; i++) {
1224 int status;
1225 PyObject *base = PySequence_GetItem(bases, i);
1226 if (base == NULL) {
1227 Py_DECREF(bases);
1228 return -1;
1229 }
1230 status = merge_class_dict(dict, base);
1231 Py_DECREF(base);
1232 if (status < 0) {
1233 Py_DECREF(bases);
1234 return -1;
1235 }
1236 }
1237 }
1238 Py_DECREF(bases);
1239 }
1240 return 0;
Tim Peters7eea37e2001-09-04 22:08:56 +00001241}
1242
Georg Brandle32b4222007-03-10 22:13:27 +00001243/* Helper for PyObject_Dir without arguments: returns the local scope. */
1244static PyObject *
Guido van Rossumad7d8d12007-04-13 01:39:34 +00001245_dir_locals(void)
Tim Peters305b5852001-09-17 02:38:46 +00001246{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001247 PyObject *names;
1248 PyObject *locals = PyEval_GetLocals();
Tim Peters305b5852001-09-17 02:38:46 +00001249
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001250 if (locals == NULL) {
1251 PyErr_SetString(PyExc_SystemError, "frame does not exist");
1252 return NULL;
1253 }
Tim Peters305b5852001-09-17 02:38:46 +00001254
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001255 names = PyMapping_Keys(locals);
1256 if (!names)
1257 return NULL;
1258 if (!PyList_Check(names)) {
1259 PyErr_Format(PyExc_TypeError,
1260 "dir(): expected keys() of locals to be a list, "
1261 "not '%.200s'", Py_TYPE(names)->tp_name);
1262 Py_DECREF(names);
1263 return NULL;
1264 }
1265 /* the locals don't need to be DECREF'd */
1266 return names;
Georg Brandle32b4222007-03-10 22:13:27 +00001267}
1268
1269/* Helper for PyObject_Dir of type objects: returns __dict__ and __bases__.
Guido van Rossum98297ee2007-11-06 21:34:58 +00001270 We deliberately don't suck up its __class__, as methods belonging to the
1271 metaclass would probably be more confusing than helpful.
Georg Brandle32b4222007-03-10 22:13:27 +00001272*/
Guido van Rossum98297ee2007-11-06 21:34:58 +00001273static PyObject *
Georg Brandle32b4222007-03-10 22:13:27 +00001274_specialized_dir_type(PyObject *obj)
1275{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001276 PyObject *result = NULL;
1277 PyObject *dict = PyDict_New();
Georg Brandle32b4222007-03-10 22:13:27 +00001278
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001279 if (dict != NULL && merge_class_dict(dict, obj) == 0)
1280 result = PyDict_Keys(dict);
Georg Brandle32b4222007-03-10 22:13:27 +00001281
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001282 Py_XDECREF(dict);
1283 return result;
Tim Peters305b5852001-09-17 02:38:46 +00001284}
1285
Georg Brandle32b4222007-03-10 22:13:27 +00001286/* Helper for PyObject_Dir of module objects: returns the module's __dict__. */
1287static PyObject *
1288_specialized_dir_module(PyObject *obj)
Tim Peters7eea37e2001-09-04 22:08:56 +00001289{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001290 PyObject *result = NULL;
1291 PyObject *dict = PyObject_GetAttrString(obj, "__dict__");
Tim Peters7eea37e2001-09-04 22:08:56 +00001292
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001293 if (dict != NULL) {
1294 if (PyDict_Check(dict))
1295 result = PyDict_Keys(dict);
1296 else {
1297 const char *name = PyModule_GetName(obj);
1298 if (name)
1299 PyErr_Format(PyExc_TypeError,
1300 "%.200s.__dict__ is not a dictionary",
1301 name);
1302 }
1303 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001304
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001305 Py_XDECREF(dict);
1306 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001307}
Tim Peters7eea37e2001-09-04 22:08:56 +00001308
Georg Brandle32b4222007-03-10 22:13:27 +00001309/* Helper for PyObject_Dir of generic objects: returns __dict__, __class__,
1310 and recursively up the __class__.__bases__ chain.
1311*/
1312static PyObject *
1313_generic_dir(PyObject *obj)
1314{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001315 PyObject *result = NULL;
1316 PyObject *dict = NULL;
1317 PyObject *itsclass = NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +00001318
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001319 /* Get __dict__ (which may or may not be a real dict...) */
1320 dict = PyObject_GetAttrString(obj, "__dict__");
1321 if (dict == NULL) {
1322 PyErr_Clear();
1323 dict = PyDict_New();
1324 }
1325 else if (!PyDict_Check(dict)) {
1326 Py_DECREF(dict);
1327 dict = PyDict_New();
1328 }
1329 else {
1330 /* Copy __dict__ to avoid mutating it. */
1331 PyObject *temp = PyDict_Copy(dict);
1332 Py_DECREF(dict);
1333 dict = temp;
1334 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001335
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001336 if (dict == NULL)
1337 goto error;
Tim Peters7eea37e2001-09-04 22:08:56 +00001338
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001339 /* Merge in attrs reachable from its class. */
1340 itsclass = PyObject_GetAttrString(obj, "__class__");
1341 if (itsclass == NULL)
1342 /* XXX(tomer): Perhaps fall back to obj->ob_type if no
1343 __class__ exists? */
1344 PyErr_Clear();
1345 else {
1346 if (merge_class_dict(dict, itsclass) != 0)
1347 goto error;
1348 }
Georg Brandle32b4222007-03-10 22:13:27 +00001349
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001350 result = PyDict_Keys(dict);
1351 /* fall through */
Georg Brandle32b4222007-03-10 22:13:27 +00001352error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001353 Py_XDECREF(itsclass);
1354 Py_XDECREF(dict);
1355 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001356}
1357
1358/* Helper for PyObject_Dir: object introspection.
1359 This calls one of the above specialized versions if no __dir__ method
1360 exists. */
1361static PyObject *
1362_dir_object(PyObject *obj)
1363{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001364 PyObject * result = NULL;
1365 PyObject * dirfunc = PyObject_GetAttrString((PyObject*)obj->ob_type,
1366 "__dir__");
Georg Brandle32b4222007-03-10 22:13:27 +00001367
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001368 assert(obj);
1369 if (dirfunc == NULL) {
1370 /* use default implementation */
1371 PyErr_Clear();
1372 if (PyModule_Check(obj))
1373 result = _specialized_dir_module(obj);
1374 else if (PyType_Check(obj))
1375 result = _specialized_dir_type(obj);
1376 else
1377 result = _generic_dir(obj);
1378 }
1379 else {
1380 /* use __dir__ */
1381 result = PyObject_CallFunctionObjArgs(dirfunc, obj, NULL);
1382 Py_DECREF(dirfunc);
1383 if (result == NULL)
1384 return NULL;
Georg Brandle32b4222007-03-10 22:13:27 +00001385
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001386 /* result must be a list */
1387 /* XXX(gbrandl): could also check if all items are strings */
1388 if (!PyList_Check(result)) {
1389 PyErr_Format(PyExc_TypeError,
1390 "__dir__() must return a list, not %.200s",
1391 Py_TYPE(result)->tp_name);
1392 Py_DECREF(result);
1393 result = NULL;
1394 }
1395 }
Georg Brandle32b4222007-03-10 22:13:27 +00001396
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001397 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001398}
1399
1400/* Implementation of dir() -- if obj is NULL, returns the names in the current
1401 (local) scope. Otherwise, performs introspection of the object: returns a
1402 sorted list of attribute names (supposedly) accessible from the object
1403*/
1404PyObject *
1405PyObject_Dir(PyObject *obj)
1406{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001407 PyObject * result;
Georg Brandle32b4222007-03-10 22:13:27 +00001408
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001409 if (obj == NULL)
1410 /* no object -- introspect the locals */
1411 result = _dir_locals();
1412 else
1413 /* object -- introspect the object */
1414 result = _dir_object(obj);
Georg Brandle32b4222007-03-10 22:13:27 +00001415
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001416 assert(result == NULL || PyList_Check(result));
Georg Brandle32b4222007-03-10 22:13:27 +00001417
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001418 if (result != NULL && PyList_Sort(result) != 0) {
1419 /* sorting the list failed */
1420 Py_DECREF(result);
1421 result = NULL;
1422 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00001423
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001424 return result;
Tim Peters7eea37e2001-09-04 22:08:56 +00001425}
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001426
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001427/*
1428NoObject is usable as a non-NULL undefined value, used by the macro None.
1429There is (and should be!) no way to create other objects of this type,
Guido van Rossum3f5da241990-12-20 15:06:42 +00001430so there is exactly one (which is indestructible, by the way).
Guido van Rossumba21a492001-08-16 08:17:26 +00001431(XXX This type and the type of NotImplemented below should be unified.)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001432*/
1433
Guido van Rossum0c182a11992-03-27 17:26:13 +00001434/* ARGSUSED */
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001435static PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001436none_repr(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001437{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001438 return PyUnicode_FromString("None");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001439}
1440
Barry Warsaw9bf16442001-01-23 16:24:35 +00001441/* ARGUSED */
1442static void
Tim Peters803526b2002-07-07 05:13:56 +00001443none_dealloc(PyObject* ignore)
Barry Warsaw9bf16442001-01-23 16:24:35 +00001444{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001445 /* This should never get called, but we also don't want to SEGV if
1446 * we accidentally decref None out of existence.
1447 */
1448 Py_FatalError("deallocating None");
Barry Warsaw9bf16442001-01-23 16:24:35 +00001449}
1450
1451
Guido van Rossumba21a492001-08-16 08:17:26 +00001452static PyTypeObject PyNone_Type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001453 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1454 "NoneType",
1455 0,
1456 0,
1457 none_dealloc, /*tp_dealloc*/ /*never called*/
1458 0, /*tp_print*/
1459 0, /*tp_getattr*/
1460 0, /*tp_setattr*/
1461 0, /*tp_reserved*/
1462 none_repr, /*tp_repr*/
1463 0, /*tp_as_number*/
1464 0, /*tp_as_sequence*/
1465 0, /*tp_as_mapping*/
1466 0, /*tp_hash */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001467};
1468
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001469PyObject _Py_NoneStruct = {
Martin v. Löwis9f2e3462007-07-21 17:22:18 +00001470 _PyObject_EXTRA_INIT
1471 1, &PyNone_Type
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001472};
1473
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001474/* NotImplemented is an object that can be used to signal that an
1475 operation is not implemented for the given type combination. */
1476
1477static PyObject *
1478NotImplemented_repr(PyObject *op)
1479{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001480 return PyUnicode_FromString("NotImplemented");
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001481}
1482
1483static PyTypeObject PyNotImplemented_Type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001484 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1485 "NotImplementedType",
1486 0,
1487 0,
1488 none_dealloc, /*tp_dealloc*/ /*never called*/
1489 0, /*tp_print*/
1490 0, /*tp_getattr*/
1491 0, /*tp_setattr*/
1492 0, /*tp_reserved*/
1493 NotImplemented_repr, /*tp_repr*/
1494 0, /*tp_as_number*/
1495 0, /*tp_as_sequence*/
1496 0, /*tp_as_mapping*/
1497 0, /*tp_hash */
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001498};
1499
1500PyObject _Py_NotImplementedStruct = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001501 _PyObject_EXTRA_INIT
1502 1, &PyNotImplemented_Type
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001503};
1504
Guido van Rossumba21a492001-08-16 08:17:26 +00001505void
1506_Py_ReadyTypes(void)
1507{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001508 if (PyType_Ready(&PyType_Type) < 0)
1509 Py_FatalError("Can't initialize type type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001510
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001511 if (PyType_Ready(&_PyWeakref_RefType) < 0)
1512 Py_FatalError("Can't initialize weakref type");
Fred Drake0a4dd392004-07-02 18:57:45 +00001513
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001514 if (PyType_Ready(&_PyWeakref_CallableProxyType) < 0)
1515 Py_FatalError("Can't initialize callable weakref proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001516
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001517 if (PyType_Ready(&_PyWeakref_ProxyType) < 0)
1518 Py_FatalError("Can't initialize weakref proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001519
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001520 if (PyType_Ready(&PyBool_Type) < 0)
1521 Py_FatalError("Can't initialize bool type");
Guido van Rossum77f6a652002-04-03 22:41:51 +00001522
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001523 if (PyType_Ready(&PyByteArray_Type) < 0)
1524 Py_FatalError("Can't initialize bytearray type");
Guido van Rossum4dfe8a12006-04-22 23:28:04 +00001525
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001526 if (PyType_Ready(&PyBytes_Type) < 0)
1527 Py_FatalError("Can't initialize 'str'");
Guido van Rossumcacfc072002-05-24 19:01:59 +00001528
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001529 if (PyType_Ready(&PyList_Type) < 0)
1530 Py_FatalError("Can't initialize list type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001531
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001532 if (PyType_Ready(&PyNone_Type) < 0)
1533 Py_FatalError("Can't initialize None type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001534
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001535 if (PyType_Ready(Py_Ellipsis->ob_type) < 0)
1536 Py_FatalError("Can't initialize type(Ellipsis)");
Guido van Rossum50e9fb92006-08-17 05:42:55 +00001537
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001538 if (PyType_Ready(&PyNotImplemented_Type) < 0)
1539 Py_FatalError("Can't initialize NotImplemented type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001540
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001541 if (PyType_Ready(&PyTraceBack_Type) < 0)
1542 Py_FatalError("Can't initialize traceback type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001543
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001544 if (PyType_Ready(&PySuper_Type) < 0)
1545 Py_FatalError("Can't initialize super type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001546
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001547 if (PyType_Ready(&PyBaseObject_Type) < 0)
1548 Py_FatalError("Can't initialize object type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001549
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001550 if (PyType_Ready(&PyRange_Type) < 0)
1551 Py_FatalError("Can't initialize range type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001552
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001553 if (PyType_Ready(&PyDict_Type) < 0)
1554 Py_FatalError("Can't initialize dict type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001555
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001556 if (PyType_Ready(&PySet_Type) < 0)
1557 Py_FatalError("Can't initialize set type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001558
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001559 if (PyType_Ready(&PyUnicode_Type) < 0)
1560 Py_FatalError("Can't initialize str type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001561
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001562 if (PyType_Ready(&PySlice_Type) < 0)
1563 Py_FatalError("Can't initialize slice type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001564
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001565 if (PyType_Ready(&PyStaticMethod_Type) < 0)
1566 Py_FatalError("Can't initialize static method type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001567
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001568 if (PyType_Ready(&PyComplex_Type) < 0)
1569 Py_FatalError("Can't initialize complex type");
Skip Montanaroba1e0f42009-10-18 14:25:35 +00001570
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001571 if (PyType_Ready(&PyFloat_Type) < 0)
1572 Py_FatalError("Can't initialize float type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001573
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001574 if (PyType_Ready(&PyLong_Type) < 0)
1575 Py_FatalError("Can't initialize int type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001576
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001577 if (PyType_Ready(&PyFrozenSet_Type) < 0)
1578 Py_FatalError("Can't initialize frozenset type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001579
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001580 if (PyType_Ready(&PyProperty_Type) < 0)
1581 Py_FatalError("Can't initialize property type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001582
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001583 if (PyType_Ready(&PyMemoryView_Type) < 0)
1584 Py_FatalError("Can't initialize memoryview type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001585
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001586 if (PyType_Ready(&PyTuple_Type) < 0)
1587 Py_FatalError("Can't initialize tuple type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001588
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001589 if (PyType_Ready(&PyEnum_Type) < 0)
1590 Py_FatalError("Can't initialize enumerate type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001591
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001592 if (PyType_Ready(&PyReversed_Type) < 0)
1593 Py_FatalError("Can't initialize reversed type");
Guido van Rossum47b9ff62006-08-24 00:41:19 +00001594
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001595 if (PyType_Ready(&PyStdPrinter_Type) < 0)
1596 Py_FatalError("Can't initialize StdPrinter");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001597
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001598 if (PyType_Ready(&PyCode_Type) < 0)
1599 Py_FatalError("Can't initialize code type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001600
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001601 if (PyType_Ready(&PyFrame_Type) < 0)
1602 Py_FatalError("Can't initialize frame type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001603
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001604 if (PyType_Ready(&PyCFunction_Type) < 0)
1605 Py_FatalError("Can't initialize builtin function type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001606
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001607 if (PyType_Ready(&PyMethod_Type) < 0)
1608 Py_FatalError("Can't initialize method type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001609
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001610 if (PyType_Ready(&PyFunction_Type) < 0)
1611 Py_FatalError("Can't initialize function type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001612
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001613 if (PyType_Ready(&PyDictProxy_Type) < 0)
1614 Py_FatalError("Can't initialize dict proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001615
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001616 if (PyType_Ready(&PyGen_Type) < 0)
1617 Py_FatalError("Can't initialize generator type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001618
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001619 if (PyType_Ready(&PyGetSetDescr_Type) < 0)
1620 Py_FatalError("Can't initialize get-set descriptor type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001621
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001622 if (PyType_Ready(&PyWrapperDescr_Type) < 0)
1623 Py_FatalError("Can't initialize wrapper type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001624
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001625 if (PyType_Ready(&PyEllipsis_Type) < 0)
1626 Py_FatalError("Can't initialize ellipsis type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001627
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001628 if (PyType_Ready(&PyMemberDescr_Type) < 0)
1629 Py_FatalError("Can't initialize member descriptor type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001630
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001631 if (PyType_Ready(&PyFilter_Type) < 0)
1632 Py_FatalError("Can't initialize filter type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001633
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001634 if (PyType_Ready(&PyMap_Type) < 0)
1635 Py_FatalError("Can't initialize map type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001636
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001637 if (PyType_Ready(&PyZip_Type) < 0)
1638 Py_FatalError("Can't initialize zip type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001639}
1640
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001641
Guido van Rossum84a90321996-05-22 16:34:47 +00001642#ifdef Py_TRACE_REFS
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001643
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001644void
Fred Drake100814d2000-07-09 15:48:49 +00001645_Py_NewReference(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001646{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001647 _Py_INC_REFTOTAL;
1648 op->ob_refcnt = 1;
1649 _Py_AddToAllObjects(op, 1);
1650 _Py_INC_TPALLOCS(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001651}
1652
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001653void
Fred Drake100814d2000-07-09 15:48:49 +00001654_Py_ForgetReference(register PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001655{
Guido van Rossumbffd6832000-01-20 22:32:56 +00001656#ifdef SLOW_UNREF_CHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001657 register PyObject *p;
Guido van Rossumbffd6832000-01-20 22:32:56 +00001658#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001659 if (op->ob_refcnt < 0)
1660 Py_FatalError("UNREF negative refcnt");
1661 if (op == &refchain ||
1662 op->_ob_prev->_ob_next != op || op->_ob_next->_ob_prev != op) {
1663 fprintf(stderr, "* ob\n");
1664 _PyObject_Dump(op);
1665 fprintf(stderr, "* op->_ob_prev->_ob_next\n");
1666 _PyObject_Dump(op->_ob_prev->_ob_next);
1667 fprintf(stderr, "* op->_ob_next->_ob_prev\n");
1668 _PyObject_Dump(op->_ob_next->_ob_prev);
1669 Py_FatalError("UNREF invalid object");
1670 }
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001671#ifdef SLOW_UNREF_CHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001672 for (p = refchain._ob_next; p != &refchain; p = p->_ob_next) {
1673 if (p == op)
1674 break;
1675 }
1676 if (p == &refchain) /* Not found */
1677 Py_FatalError("UNREF unknown object");
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001678#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001679 op->_ob_next->_ob_prev = op->_ob_prev;
1680 op->_ob_prev->_ob_next = op->_ob_next;
1681 op->_ob_next = op->_ob_prev = NULL;
1682 _Py_INC_TPFREES(op);
Guido van Rossum3f5da241990-12-20 15:06:42 +00001683}
1684
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001685void
Fred Drake100814d2000-07-09 15:48:49 +00001686_Py_Dealloc(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001687{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001688 destructor dealloc = Py_TYPE(op)->tp_dealloc;
1689 _Py_ForgetReference(op);
1690 (*dealloc)(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001691}
1692
Tim Peters269b2a62003-04-17 19:52:29 +00001693/* Print all live objects. Because PyObject_Print is called, the
1694 * interpreter must be in a healthy state.
1695 */
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001696void
Fred Drake100814d2000-07-09 15:48:49 +00001697_Py_PrintReferences(FILE *fp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001698{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001699 PyObject *op;
1700 fprintf(fp, "Remaining objects:\n");
1701 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next) {
1702 fprintf(fp, "%p [%" PY_FORMAT_SIZE_T "d] ", op, op->ob_refcnt);
1703 if (PyObject_Print(op, fp, 0) != 0)
1704 PyErr_Clear();
1705 putc('\n', fp);
1706 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001707}
1708
Tim Peters269b2a62003-04-17 19:52:29 +00001709/* Print the addresses of all live objects. Unlike _Py_PrintReferences, this
1710 * doesn't make any calls to the Python C API, so is always safe to call.
1711 */
1712void
1713_Py_PrintReferenceAddresses(FILE *fp)
1714{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001715 PyObject *op;
1716 fprintf(fp, "Remaining object addresses:\n");
1717 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next)
1718 fprintf(fp, "%p [%" PY_FORMAT_SIZE_T "d] %s\n", op,
1719 op->ob_refcnt, Py_TYPE(op)->tp_name);
Tim Peters269b2a62003-04-17 19:52:29 +00001720}
1721
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001722PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001723_Py_GetObjects(PyObject *self, PyObject *args)
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001724{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001725 int i, n;
1726 PyObject *t = NULL;
1727 PyObject *res, *op;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001728
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001729 if (!PyArg_ParseTuple(args, "i|O", &n, &t))
1730 return NULL;
1731 op = refchain._ob_next;
1732 res = PyList_New(0);
1733 if (res == NULL)
1734 return NULL;
1735 for (i = 0; (n == 0 || i < n) && op != &refchain; i++) {
1736 while (op == self || op == args || op == res || op == t ||
1737 (t != NULL && Py_TYPE(op) != (PyTypeObject *) t)) {
1738 op = op->_ob_next;
1739 if (op == &refchain)
1740 return res;
1741 }
1742 if (PyList_Append(res, op) < 0) {
1743 Py_DECREF(res);
1744 return NULL;
1745 }
1746 op = op->_ob_next;
1747 }
1748 return res;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001749}
1750
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001751#endif
Guido van Rossum97ead3f1996-01-12 01:24:09 +00001752
Guido van Rossum84a90321996-05-22 16:34:47 +00001753
Benjamin Petersonb173f782009-05-05 22:31:58 +00001754/* Hack to force loading of pycapsule.o */
1755PyTypeObject *_PyCapsule_hack = &PyCapsule_Type;
1756
1757
Guido van Rossum84a90321996-05-22 16:34:47 +00001758/* Hack to force loading of abstract.o */
Martin v. Löwis18e16552006-02-15 17:27:45 +00001759Py_ssize_t (*_Py_abstract_hack)(PyObject *) = PyObject_Size;
Guido van Rossume09fb551997-08-05 02:04:34 +00001760
1761
Andrew M. Kuchling1582a3a2000-08-16 12:27:23 +00001762/* Python's malloc wrappers (see pymem.h) */
Guido van Rossume09fb551997-08-05 02:04:34 +00001763
Thomas Wouters334fb892000-07-25 12:56:38 +00001764void *
Fred Drake100814d2000-07-09 15:48:49 +00001765PyMem_Malloc(size_t nbytes)
Guido van Rossume09fb551997-08-05 02:04:34 +00001766{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001767 return PyMem_MALLOC(nbytes);
Guido van Rossume09fb551997-08-05 02:04:34 +00001768}
1769
Thomas Wouters334fb892000-07-25 12:56:38 +00001770void *
1771PyMem_Realloc(void *p, size_t nbytes)
Guido van Rossume09fb551997-08-05 02:04:34 +00001772{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001773 return PyMem_REALLOC(p, nbytes);
Guido van Rossume09fb551997-08-05 02:04:34 +00001774}
1775
1776void
Thomas Wouters334fb892000-07-25 12:56:38 +00001777PyMem_Free(void *p)
Guido van Rossume09fb551997-08-05 02:04:34 +00001778{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001779 PyMem_FREE(p);
Guido van Rossumb18618d2000-05-03 23:44:39 +00001780}
1781
1782
Guido van Rossum86610361998-04-10 22:32:46 +00001783/* These methods are used to control infinite recursion in repr, str, print,
1784 etc. Container objects that may recursively contain themselves,
1785 e.g. builtin dictionaries and lists, should used Py_ReprEnter() and
1786 Py_ReprLeave() to avoid infinite recursion.
1787
1788 Py_ReprEnter() returns 0 the first time it is called for a particular
1789 object and 1 every time thereafter. It returns -1 if an exception
1790 occurred. Py_ReprLeave() has no return value.
1791
1792 See dictobject.c and listobject.c for examples of use.
1793*/
1794
1795#define KEY "Py_Repr"
1796
1797int
Fred Drake100814d2000-07-09 15:48:49 +00001798Py_ReprEnter(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00001799{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001800 PyObject *dict;
1801 PyObject *list;
1802 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00001803
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001804 dict = PyThreadState_GetDict();
1805 if (dict == NULL)
1806 return 0;
1807 list = PyDict_GetItemString(dict, KEY);
1808 if (list == NULL) {
1809 list = PyList_New(0);
1810 if (list == NULL)
1811 return -1;
1812 if (PyDict_SetItemString(dict, KEY, list) < 0)
1813 return -1;
1814 Py_DECREF(list);
1815 }
1816 i = PyList_GET_SIZE(list);
1817 while (--i >= 0) {
1818 if (PyList_GET_ITEM(list, i) == obj)
1819 return 1;
1820 }
1821 PyList_Append(list, obj);
1822 return 0;
Guido van Rossum86610361998-04-10 22:32:46 +00001823}
1824
1825void
Fred Drake100814d2000-07-09 15:48:49 +00001826Py_ReprLeave(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00001827{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001828 PyObject *dict;
1829 PyObject *list;
1830 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00001831
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001832 dict = PyThreadState_GetDict();
1833 if (dict == NULL)
1834 return;
1835 list = PyDict_GetItemString(dict, KEY);
1836 if (list == NULL || !PyList_Check(list))
1837 return;
1838 i = PyList_GET_SIZE(list);
1839 /* Count backwards because we always expect obj to be list[-1] */
1840 while (--i >= 0) {
1841 if (PyList_GET_ITEM(list, i) == obj) {
1842 PyList_SetSlice(list, i, i + 1, NULL);
1843 break;
1844 }
1845 }
Guido van Rossum86610361998-04-10 22:32:46 +00001846}
Guido van Rossumd724b232000-03-13 16:01:29 +00001847
Tim Peters803526b2002-07-07 05:13:56 +00001848/* Trashcan support. */
Guido van Rossumd724b232000-03-13 16:01:29 +00001849
Tim Peters803526b2002-07-07 05:13:56 +00001850/* Current call-stack depth of tp_dealloc calls. */
Guido van Rossumd724b232000-03-13 16:01:29 +00001851int _PyTrash_delete_nesting = 0;
Guido van Rossume92e6102000-04-24 15:40:53 +00001852
Tim Peters803526b2002-07-07 05:13:56 +00001853/* List of objects that still need to be cleaned up, singly linked via their
1854 * gc headers' gc_prev pointers.
1855 */
1856PyObject *_PyTrash_delete_later = NULL;
Guido van Rossumd724b232000-03-13 16:01:29 +00001857
Tim Peters803526b2002-07-07 05:13:56 +00001858/* Add op to the _PyTrash_delete_later list. Called when the current
1859 * call-stack depth gets large. op must be a currently untracked gc'ed
1860 * object, with refcount 0. Py_DECREF must already have been called on it.
1861 */
Guido van Rossumd724b232000-03-13 16:01:29 +00001862void
Fred Drake100814d2000-07-09 15:48:49 +00001863_PyTrash_deposit_object(PyObject *op)
Guido van Rossumd724b232000-03-13 16:01:29 +00001864{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001865 assert(PyObject_IS_GC(op));
1866 assert(_Py_AS_GC(op)->gc.gc_refs == _PyGC_REFS_UNTRACKED);
1867 assert(op->ob_refcnt == 0);
1868 _Py_AS_GC(op)->gc.gc_prev = (PyGC_Head *)_PyTrash_delete_later;
1869 _PyTrash_delete_later = op;
Guido van Rossumd724b232000-03-13 16:01:29 +00001870}
1871
Tim Peters803526b2002-07-07 05:13:56 +00001872/* Dealloccate all the objects in the _PyTrash_delete_later list. Called when
1873 * the call-stack unwinds again.
1874 */
Guido van Rossumd724b232000-03-13 16:01:29 +00001875void
Fred Drake100814d2000-07-09 15:48:49 +00001876_PyTrash_destroy_chain(void)
Guido van Rossumd724b232000-03-13 16:01:29 +00001877{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001878 while (_PyTrash_delete_later) {
1879 PyObject *op = _PyTrash_delete_later;
1880 destructor dealloc = Py_TYPE(op)->tp_dealloc;
Neil Schemenauerf589c052002-03-29 03:05:54 +00001881
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001882 _PyTrash_delete_later =
1883 (PyObject*) _Py_AS_GC(op)->gc.gc_prev;
Neil Schemenauerf589c052002-03-29 03:05:54 +00001884
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001885 /* Call the deallocator directly. This used to try to
1886 * fool Py_DECREF into calling it indirectly, but
1887 * Py_DECREF was already called on this object, and in
1888 * assorted non-release builds calling Py_DECREF again ends
1889 * up distorting allocation statistics.
1890 */
1891 assert(op->ob_refcnt == 0);
1892 ++_PyTrash_delete_nesting;
1893 (*dealloc)(op);
1894 --_PyTrash_delete_nesting;
1895 }
Guido van Rossumd724b232000-03-13 16:01:29 +00001896}
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001897
1898#ifdef __cplusplus
1899}
1900#endif