blob: 3bde659c3910255933b9cff79252efd20f7186a6 [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
Antoine Pitrouc47bd4a2010-07-27 22:08:27 +0000261int
262PyObject_Print(PyObject *op, FILE *fp, int flags)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000263{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000264 int ret = 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000265 if (PyErr_CheckSignals())
266 return -1;
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000267#ifdef USE_STACKCHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000268 if (PyOS_CheckStack()) {
269 PyErr_SetString(PyExc_MemoryError, "stack overflow");
270 return -1;
271 }
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000272#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000273 clearerr(fp); /* Clear any previous error condition */
274 if (op == NULL) {
275 Py_BEGIN_ALLOW_THREADS
276 fprintf(fp, "<nil>");
277 Py_END_ALLOW_THREADS
278 }
279 else {
280 if (op->ob_refcnt <= 0)
281 /* XXX(twouters) cast refcount to long until %zd is
282 universally available */
283 Py_BEGIN_ALLOW_THREADS
284 fprintf(fp, "<refcnt %ld at %p>",
285 (long)op->ob_refcnt, op);
286 Py_END_ALLOW_THREADS
287 else {
288 PyObject *s;
289 if (flags & Py_PRINT_RAW)
290 s = PyObject_Str(op);
291 else
292 s = PyObject_Repr(op);
293 if (s == NULL)
294 ret = -1;
295 else if (PyBytes_Check(s)) {
296 fwrite(PyBytes_AS_STRING(s), 1,
297 PyBytes_GET_SIZE(s), fp);
298 }
299 else if (PyUnicode_Check(s)) {
300 PyObject *t;
Victor Stinner372ac5e2010-05-17 01:26:01 +0000301 t = PyUnicode_EncodeUTF8(PyUnicode_AS_UNICODE(s),
302 PyUnicode_GET_SIZE(s),
303 "backslashreplace");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000304 if (t == NULL)
305 ret = 0;
306 else {
307 fwrite(PyBytes_AS_STRING(t), 1,
308 PyBytes_GET_SIZE(t), fp);
Victor Stinnerba6b4302010-05-17 09:33:42 +0000309 Py_DECREF(t);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000310 }
311 }
312 else {
313 PyErr_Format(PyExc_TypeError,
314 "str() or repr() returned '%.100s'",
315 s->ob_type->tp_name);
316 ret = -1;
317 }
318 Py_XDECREF(s);
319 }
320 }
321 if (ret == 0) {
322 if (ferror(fp)) {
323 PyErr_SetFromErrno(PyExc_IOError);
324 clearerr(fp);
325 ret = -1;
326 }
327 }
328 return ret;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000329}
330
Guido van Rossum38938152006-08-21 23:36:26 +0000331/* For debugging convenience. Set a breakpoint here and call it from your DLL */
332void
Thomas Woutersb2137042007-02-01 18:02:27 +0000333_Py_BreakPoint(void)
Guido van Rossum38938152006-08-21 23:36:26 +0000334{
335}
336
Neal Norwitz1a997502003-01-13 20:13:12 +0000337
Barry Warsaw9bf16442001-01-23 16:24:35 +0000338/* For debugging convenience. See Misc/gdbinit for some useful gdb hooks */
Guido van Rossum38938152006-08-21 23:36:26 +0000339void
340_PyObject_Dump(PyObject* op)
Barry Warsaw9bf16442001-01-23 16:24:35 +0000341{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000342 if (op == NULL)
343 fprintf(stderr, "NULL\n");
344 else {
Georg Brandldfd73442009-04-05 11:47:34 +0000345#ifdef WITH_THREAD
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000346 PyGILState_STATE gil;
Georg Brandldfd73442009-04-05 11:47:34 +0000347#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000348 fprintf(stderr, "object : ");
Georg Brandldfd73442009-04-05 11:47:34 +0000349#ifdef WITH_THREAD
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000350 gil = PyGILState_Ensure();
Georg Brandldfd73442009-04-05 11:47:34 +0000351#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000352 (void)PyObject_Print(op, stderr, 0);
Georg Brandldfd73442009-04-05 11:47:34 +0000353#ifdef WITH_THREAD
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000354 PyGILState_Release(gil);
Georg Brandldfd73442009-04-05 11:47:34 +0000355#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000356 /* XXX(twouters) cast refcount to long until %zd is
357 universally available */
358 fprintf(stderr, "\n"
359 "type : %s\n"
360 "refcount: %ld\n"
361 "address : %p\n",
362 Py_TYPE(op)==NULL ? "NULL" : Py_TYPE(op)->tp_name,
363 (long)op->ob_refcnt,
364 op);
365 }
Barry Warsaw9bf16442001-01-23 16:24:35 +0000366}
Barry Warsaw903138f2001-01-23 16:33:18 +0000367
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000368PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000369PyObject_Repr(PyObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000370{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000371 PyObject *res;
372 if (PyErr_CheckSignals())
373 return NULL;
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000374#ifdef USE_STACKCHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000375 if (PyOS_CheckStack()) {
376 PyErr_SetString(PyExc_MemoryError, "stack overflow");
377 return NULL;
378 }
Guido van Rossum9b00dfa1998-04-28 16:06:54 +0000379#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000380 if (v == NULL)
381 return PyUnicode_FromString("<NULL>");
382 if (Py_TYPE(v)->tp_repr == NULL)
383 return PyUnicode_FromFormat("<%s object at %p>",
384 v->ob_type->tp_name, v);
385 res = (*v->ob_type->tp_repr)(v);
386 if (res != NULL && !PyUnicode_Check(res)) {
387 PyErr_Format(PyExc_TypeError,
388 "__repr__ returned non-string (type %.200s)",
389 res->ob_type->tp_name);
390 Py_DECREF(res);
391 return NULL;
392 }
393 return res;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000394}
395
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000396PyObject *
Guido van Rossum98297ee2007-11-06 21:34:58 +0000397PyObject_Str(PyObject *v)
Guido van Rossumc6004111993-11-05 10:22:19 +0000398{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000399 PyObject *res;
400 if (PyErr_CheckSignals())
401 return NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +0000402#ifdef USE_STACKCHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000403 if (PyOS_CheckStack()) {
404 PyErr_SetString(PyExc_MemoryError, "stack overflow");
405 return NULL;
406 }
Guido van Rossum98297ee2007-11-06 21:34:58 +0000407#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000408 if (v == NULL)
409 return PyUnicode_FromString("<NULL>");
410 if (PyUnicode_CheckExact(v)) {
411 Py_INCREF(v);
412 return v;
413 }
414 if (Py_TYPE(v)->tp_str == NULL)
415 return PyObject_Repr(v);
Guido van Rossum4f288ab2001-05-01 16:53:37 +0000416
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000417 /* It is possible for a type to have a tp_str representation that loops
418 infinitely. */
419 if (Py_EnterRecursiveCall(" while getting the str of an object"))
420 return NULL;
421 res = (*Py_TYPE(v)->tp_str)(v);
422 Py_LeaveRecursiveCall();
423 if (res == NULL)
424 return NULL;
425 if (!PyUnicode_Check(res)) {
426 PyErr_Format(PyExc_TypeError,
427 "__str__ returned non-string (type %.200s)",
428 Py_TYPE(res)->tp_name);
429 Py_DECREF(res);
430 return NULL;
431 }
432 return res;
Neil Schemenauercf52c072005-08-12 17:34:58 +0000433}
434
Georg Brandl559e5d72008-06-11 18:37:52 +0000435PyObject *
436PyObject_ASCII(PyObject *v)
437{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000438 PyObject *repr, *ascii, *res;
Georg Brandl559e5d72008-06-11 18:37:52 +0000439
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000440 repr = PyObject_Repr(v);
441 if (repr == NULL)
442 return NULL;
Georg Brandl559e5d72008-06-11 18:37:52 +0000443
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000444 /* repr is guaranteed to be a PyUnicode object by PyObject_Repr */
445 ascii = PyUnicode_EncodeASCII(
446 PyUnicode_AS_UNICODE(repr),
447 PyUnicode_GET_SIZE(repr),
448 "backslashreplace");
Georg Brandl559e5d72008-06-11 18:37:52 +0000449
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000450 Py_DECREF(repr);
451 if (ascii == NULL)
452 return NULL;
Georg Brandl559e5d72008-06-11 18:37:52 +0000453
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000454 res = PyUnicode_DecodeASCII(
455 PyBytes_AS_STRING(ascii),
456 PyBytes_GET_SIZE(ascii),
457 NULL);
458
459 Py_DECREF(ascii);
460 return res;
Georg Brandl559e5d72008-06-11 18:37:52 +0000461}
Guido van Rossuma3af41d2001-01-18 22:07:06 +0000462
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000463PyObject *
464PyObject_Bytes(PyObject *v)
465{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000466 PyObject *result, *func;
467 static PyObject *bytesstring = NULL;
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000468
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000469 if (v == NULL)
470 return PyBytes_FromString("<NULL>");
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000471
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000472 if (PyBytes_CheckExact(v)) {
473 Py_INCREF(v);
474 return v;
475 }
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000476
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000477 func = _PyObject_LookupSpecial(v, "__bytes__", &bytesstring);
478 if (func != NULL) {
479 result = PyObject_CallFunctionObjArgs(func, NULL);
480 Py_DECREF(func);
481 if (result == NULL)
482 return NULL;
483 if (!PyBytes_Check(result)) {
484 PyErr_Format(PyExc_TypeError,
485 "__bytes__ returned non-bytes (type %.200s)",
486 Py_TYPE(result)->tp_name);
487 Py_DECREF(result);
488 return NULL;
489 }
490 return result;
491 }
492 else if (PyErr_Occurred())
493 return NULL;
494 return PyBytes_FromObject(v);
Benjamin Petersonc15a0732008-08-26 16:46:47 +0000495}
496
Mark Dickinsonc008a172009-02-01 13:59:22 +0000497/* For Python 3.0.1 and later, the old three-way comparison has been
498 completely removed in favour of rich comparisons. PyObject_Compare() and
499 PyObject_Cmp() are gone, and the builtin cmp function no longer exists.
Mark Dickinsone94c6792009-02-02 20:36:42 +0000500 The old tp_compare slot has been renamed to tp_reserved, and should no
Mark Dickinsonc008a172009-02-01 13:59:22 +0000501 longer be used. Use tp_richcompare instead.
Guido van Rossum98297ee2007-11-06 21:34:58 +0000502
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000503 See (*) below for practical amendments.
504
Mark Dickinsonc008a172009-02-01 13:59:22 +0000505 tp_richcompare gets called with a first argument of the appropriate type
506 and a second object of an arbitrary type. We never do any kind of
507 coercion.
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000508
Mark Dickinsonc008a172009-02-01 13:59:22 +0000509 The tp_richcompare slot should return an object, as follows:
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000510
511 NULL if an exception occurred
512 NotImplemented if the requested comparison is not implemented
513 any other false value if the requested comparison is false
514 any other true value if the requested comparison is true
515
516 The PyObject_RichCompare[Bool]() wrappers raise TypeError when they get
517 NotImplemented.
518
519 (*) Practical amendments:
520
521 - If rich comparison returns NotImplemented, == and != are decided by
522 comparing the object pointer (i.e. falling back to the base object
523 implementation).
524
Guido van Rossuma4073002002-05-31 20:03:54 +0000525*/
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000526
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000527/* Map rich comparison operators to their swapped version, e.g. LT <--> GT */
Brett Cannona5ca2e72004-09-25 01:37:24 +0000528int _Py_SwappedOp[] = {Py_GT, Py_GE, Py_EQ, Py_NE, Py_LT, Py_LE};
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +0000529
Guido van Rossum9a4e95c2006-12-19 21:35:46 +0000530static char *opstrings[] = {"<", "<=", "==", "!=", ">", ">="};
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000531
532/* Perform a rich comparison, raising TypeError when the requested comparison
533 operator is not supported. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000534static PyObject *
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000535do_richcompare(PyObject *v, PyObject *w, int op)
Guido van Rossume797ec12001-01-17 15:24:28 +0000536{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000537 richcmpfunc f;
538 PyObject *res;
539 int checked_reverse_op = 0;
Guido van Rossume797ec12001-01-17 15:24:28 +0000540
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000541 if (v->ob_type != w->ob_type &&
542 PyType_IsSubtype(w->ob_type, v->ob_type) &&
543 (f = w->ob_type->tp_richcompare) != NULL) {
544 checked_reverse_op = 1;
545 res = (*f)(w, v, _Py_SwappedOp[op]);
546 if (res != Py_NotImplemented)
547 return res;
548 Py_DECREF(res);
549 }
550 if ((f = v->ob_type->tp_richcompare) != NULL) {
551 res = (*f)(v, w, op);
552 if (res != Py_NotImplemented)
553 return res;
554 Py_DECREF(res);
555 }
556 if (!checked_reverse_op && (f = w->ob_type->tp_richcompare) != NULL) {
557 res = (*f)(w, v, _Py_SwappedOp[op]);
558 if (res != Py_NotImplemented)
559 return res;
560 Py_DECREF(res);
561 }
562 /* If neither object implements it, provide a sensible default
563 for == and !=, but raise an exception for ordering. */
564 switch (op) {
565 case Py_EQ:
566 res = (v == w) ? Py_True : Py_False;
567 break;
568 case Py_NE:
569 res = (v != w) ? Py_True : Py_False;
570 break;
571 default:
572 /* XXX Special-case None so it doesn't show as NoneType() */
573 PyErr_Format(PyExc_TypeError,
574 "unorderable types: %.100s() %s %.100s()",
575 v->ob_type->tp_name,
576 opstrings[op],
577 w->ob_type->tp_name);
578 return NULL;
579 }
580 Py_INCREF(res);
581 return res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000582}
583
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000584/* Perform a rich comparison with object result. This wraps do_richcompare()
585 with a check for NULL arguments and a recursion check. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000586
Guido van Rossume797ec12001-01-17 15:24:28 +0000587PyObject *
588PyObject_RichCompare(PyObject *v, PyObject *w, int op)
589{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000590 PyObject *res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000591
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000592 assert(Py_LT <= op && op <= Py_GE);
593 if (v == NULL || w == NULL) {
594 if (!PyErr_Occurred())
595 PyErr_BadInternalCall();
596 return NULL;
597 }
598 if (Py_EnterRecursiveCall(" in comparison"))
599 return NULL;
600 res = do_richcompare(v, w, op);
601 Py_LeaveRecursiveCall();
602 return res;
Guido van Rossume797ec12001-01-17 15:24:28 +0000603}
604
Guido van Rossum47b9ff62006-08-24 00:41:19 +0000605/* Perform a rich comparison with integer result. This wraps
606 PyObject_RichCompare(), returning -1 for error, 0 for false, 1 for true. */
Guido van Rossume797ec12001-01-17 15:24:28 +0000607int
608PyObject_RichCompareBool(PyObject *v, PyObject *w, int op)
609{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000610 PyObject *res;
611 int ok;
Guido van Rossume797ec12001-01-17 15:24:28 +0000612
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000613 /* Quick result when objects are the same.
614 Guarantees that identity implies equality. */
615 if (v == w) {
616 if (op == Py_EQ)
617 return 1;
618 else if (op == Py_NE)
619 return 0;
620 }
Mark Dickinson4a1f5932008-11-12 23:23:36 +0000621
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000622 res = PyObject_RichCompare(v, w, op);
623 if (res == NULL)
624 return -1;
625 if (PyBool_Check(res))
626 ok = (res == Py_True);
627 else
628 ok = PyObject_IsTrue(res);
629 Py_DECREF(res);
630 return ok;
Guido van Rossume797ec12001-01-17 15:24:28 +0000631}
Fred Drake13634cf2000-06-29 19:17:04 +0000632
633/* Set of hash utility functions to help maintaining the invariant that
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000634 if a==b then hash(a)==hash(b)
Fred Drake13634cf2000-06-29 19:17:04 +0000635
636 All the utility functions (_Py_Hash*()) return "-1" to signify an error.
637*/
638
Mark Dickinsondc787d22010-05-23 13:33:13 +0000639/* For numeric types, the hash of a number x is based on the reduction
640 of x modulo the prime P = 2**_PyHASH_BITS - 1. It's designed so that
641 hash(x) == hash(y) whenever x and y are numerically equal, even if
642 x and y have different types.
643
644 A quick summary of the hashing strategy:
645
646 (1) First define the 'reduction of x modulo P' for any rational
647 number x; this is a standard extension of the usual notion of
648 reduction modulo P for integers. If x == p/q (written in lowest
649 terms), the reduction is interpreted as the reduction of p times
650 the inverse of the reduction of q, all modulo P; if q is exactly
651 divisible by P then define the reduction to be infinity. So we've
652 got a well-defined map
653
654 reduce : { rational numbers } -> { 0, 1, 2, ..., P-1, infinity }.
655
656 (2) Now for a rational number x, define hash(x) by:
657
658 reduce(x) if x >= 0
659 -reduce(-x) if x < 0
660
661 If the result of the reduction is infinity (this is impossible for
662 integers, floats and Decimals) then use the predefined hash value
663 _PyHASH_INF for x >= 0, or -_PyHASH_INF for x < 0, instead.
664 _PyHASH_INF, -_PyHASH_INF and _PyHASH_NAN are also used for the
665 hashes of float and Decimal infinities and nans.
666
667 A selling point for the above strategy is that it makes it possible
668 to compute hashes of decimal and binary floating-point numbers
669 efficiently, even if the exponent of the binary or decimal number
670 is large. The key point is that
671
672 reduce(x * y) == reduce(x) * reduce(y) (modulo _PyHASH_MODULUS)
673
674 provided that {reduce(x), reduce(y)} != {0, infinity}. The reduction of a
675 binary or decimal float is never infinity, since the denominator is a power
676 of 2 (for binary) or a divisor of a power of 10 (for decimal). So we have,
677 for nonnegative x,
678
679 reduce(x * 2**e) == reduce(x) * reduce(2**e) % _PyHASH_MODULUS
680
681 reduce(x * 10**e) == reduce(x) * reduce(10**e) % _PyHASH_MODULUS
682
683 and reduce(10**e) can be computed efficiently by the usual modular
684 exponentiation algorithm. For reduce(2**e) it's even better: since
685 P is of the form 2**n-1, reduce(2**e) is 2**(e mod n), and multiplication
686 by 2**(e mod n) modulo 2**n-1 just amounts to a rotation of bits.
687
688 */
689
Fred Drake13634cf2000-06-29 19:17:04 +0000690long
Fred Drake100814d2000-07-09 15:48:49 +0000691_Py_HashDouble(double v)
Fred Drake13634cf2000-06-29 19:17:04 +0000692{
Mark Dickinsondc787d22010-05-23 13:33:13 +0000693 int e, sign;
694 double m;
695 unsigned long x, y;
Tim Peters39dce292000-08-15 03:34:48 +0000696
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000697 if (!Py_IS_FINITE(v)) {
698 if (Py_IS_INFINITY(v))
Mark Dickinsondc787d22010-05-23 13:33:13 +0000699 return v > 0 ? _PyHASH_INF : -_PyHASH_INF;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000700 else
Mark Dickinsondc787d22010-05-23 13:33:13 +0000701 return _PyHASH_NAN;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000702 }
Mark Dickinsondc787d22010-05-23 13:33:13 +0000703
704 m = frexp(v, &e);
705
706 sign = 1;
707 if (m < 0) {
708 sign = -1;
709 m = -m;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000710 }
Mark Dickinsondc787d22010-05-23 13:33:13 +0000711
712 /* process 28 bits at a time; this should work well both for binary
713 and hexadecimal floating point. */
714 x = 0;
715 while (m) {
716 x = ((x << 28) & _PyHASH_MODULUS) | x >> (_PyHASH_BITS - 28);
717 m *= 268435456.0; /* 2**28 */
718 e -= 28;
719 y = (unsigned long)m; /* pull out integer part */
720 m -= y;
721 x += y;
722 if (x >= _PyHASH_MODULUS)
723 x -= _PyHASH_MODULUS;
724 }
725
726 /* adjust for the exponent; first reduce it modulo _PyHASH_BITS */
727 e = e >= 0 ? e % _PyHASH_BITS : _PyHASH_BITS-1-((-1-e) % _PyHASH_BITS);
728 x = ((x << e) & _PyHASH_MODULUS) | x >> (_PyHASH_BITS - e);
729
730 x = x * sign;
731 if (x == (unsigned long)-1)
732 x = (unsigned long)-2;
733 return (long)x;
Fred Drake13634cf2000-06-29 19:17:04 +0000734}
735
736long
Fred Drake100814d2000-07-09 15:48:49 +0000737_Py_HashPointer(void *p)
Fred Drake13634cf2000-06-29 19:17:04 +0000738{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000739 long x;
740 size_t y = (size_t)p;
741 /* bottom 3 or 4 bits are likely to be 0; rotate y by 4 to avoid
742 excessive hash collisions for dicts and sets */
743 y = (y >> 4) | (y << (8 * SIZEOF_VOID_P - 4));
744 x = (long)y;
745 if (x == -1)
746 x = -2;
747 return x;
Fred Drake13634cf2000-06-29 19:17:04 +0000748}
749
Nick Coghland1abd252008-07-15 15:46:38 +0000750long
751PyObject_HashNotImplemented(PyObject *v)
752{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000753 PyErr_Format(PyExc_TypeError, "unhashable type: '%.200s'",
754 Py_TYPE(v)->tp_name);
755 return -1;
Nick Coghland1abd252008-07-15 15:46:38 +0000756}
Fred Drake13634cf2000-06-29 19:17:04 +0000757
Guido van Rossum9bfef441993-03-29 10:43:31 +0000758long
Fred Drake100814d2000-07-09 15:48:49 +0000759PyObject_Hash(PyObject *v)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000760{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000761 PyTypeObject *tp = Py_TYPE(v);
762 if (tp->tp_hash != NULL)
763 return (*tp->tp_hash)(v);
764 /* To keep to the general practice that inheriting
765 * solely from object in C code should work without
766 * an explicit call to PyType_Ready, we implicitly call
767 * PyType_Ready here and then check the tp_hash slot again
768 */
769 if (tp->tp_dict == NULL) {
770 if (PyType_Ready(tp) < 0)
771 return -1;
772 if (tp->tp_hash != NULL)
773 return (*tp->tp_hash)(v);
774 }
775 /* Otherwise, the object can't be hashed */
776 return PyObject_HashNotImplemented(v);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000777}
778
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000779PyObject *
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000780PyObject_GetAttrString(PyObject *v, const char *name)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000781{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000782 PyObject *w, *res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000783
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000784 if (Py_TYPE(v)->tp_getattr != NULL)
785 return (*Py_TYPE(v)->tp_getattr)(v, (char*)name);
786 w = PyUnicode_InternFromString(name);
787 if (w == NULL)
788 return NULL;
789 res = PyObject_GetAttr(v, w);
790 Py_XDECREF(w);
791 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000792}
793
794int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000795PyObject_HasAttrString(PyObject *v, const char *name)
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000796{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000797 PyObject *res = PyObject_GetAttrString(v, name);
798 if (res != NULL) {
799 Py_DECREF(res);
800 return 1;
801 }
802 PyErr_Clear();
803 return 0;
Guido van Rossumed18fdc1993-07-11 19:55:34 +0000804}
805
806int
Jeremy Hyltonaf68c872005-12-10 18:50:16 +0000807PyObject_SetAttrString(PyObject *v, const char *name, PyObject *w)
Guido van Rossum3f5da241990-12-20 15:06:42 +0000808{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000809 PyObject *s;
810 int res;
Guido van Rossumd8eb1b31996-08-09 20:52:03 +0000811
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000812 if (Py_TYPE(v)->tp_setattr != NULL)
813 return (*Py_TYPE(v)->tp_setattr)(v, (char*)name, w);
814 s = PyUnicode_InternFromString(name);
815 if (s == NULL)
816 return -1;
817 res = PyObject_SetAttr(v, s, w);
818 Py_XDECREF(s);
819 return res;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000820}
821
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000822PyObject *
Fred Drake100814d2000-07-09 15:48:49 +0000823PyObject_GetAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000824{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000825 PyTypeObject *tp = Py_TYPE(v);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000826
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000827 if (!PyUnicode_Check(name)) {
828 PyErr_Format(PyExc_TypeError,
829 "attribute name must be string, not '%.200s'",
830 name->ob_type->tp_name);
831 return NULL;
832 }
833 if (tp->tp_getattro != NULL)
834 return (*tp->tp_getattro)(v, name);
835 if (tp->tp_getattr != NULL) {
836 char *name_str = _PyUnicode_AsString(name);
837 if (name_str == NULL)
838 return NULL;
839 return (*tp->tp_getattr)(v, name_str);
840 }
841 PyErr_Format(PyExc_AttributeError,
842 "'%.50s' object has no attribute '%U'",
843 tp->tp_name, name);
844 return NULL;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000845}
846
847int
Fred Drake100814d2000-07-09 15:48:49 +0000848PyObject_HasAttr(PyObject *v, PyObject *name)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000849{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000850 PyObject *res = PyObject_GetAttr(v, name);
851 if (res != NULL) {
852 Py_DECREF(res);
853 return 1;
854 }
855 PyErr_Clear();
856 return 0;
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000857}
858
859int
Fred Drake100814d2000-07-09 15:48:49 +0000860PyObject_SetAttr(PyObject *v, PyObject *name, PyObject *value)
Guido van Rossum98ff96a1997-05-20 18:34:44 +0000861{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000862 PyTypeObject *tp = Py_TYPE(v);
863 int err;
Marc-André Lemburge44e5072000-09-18 16:20:57 +0000864
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000865 if (!PyUnicode_Check(name)) {
866 PyErr_Format(PyExc_TypeError,
867 "attribute name must be string, not '%.200s'",
868 name->ob_type->tp_name);
869 return -1;
870 }
871 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000872
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000873 PyUnicode_InternInPlace(&name);
874 if (tp->tp_setattro != NULL) {
875 err = (*tp->tp_setattro)(v, name, value);
876 Py_DECREF(name);
877 return err;
878 }
879 if (tp->tp_setattr != NULL) {
880 char *name_str = _PyUnicode_AsString(name);
881 if (name_str == NULL)
882 return -1;
883 err = (*tp->tp_setattr)(v, name_str, value);
884 Py_DECREF(name);
885 return err;
886 }
887 Py_DECREF(name);
888 assert(name->ob_refcnt >= 1);
889 if (tp->tp_getattr == NULL && tp->tp_getattro == NULL)
890 PyErr_Format(PyExc_TypeError,
891 "'%.100s' object has no attributes "
892 "(%s .%U)",
893 tp->tp_name,
894 value==NULL ? "del" : "assign to",
895 name);
896 else
897 PyErr_Format(PyExc_TypeError,
898 "'%.100s' object has only read-only attributes "
899 "(%s .%U)",
900 tp->tp_name,
901 value==NULL ? "del" : "assign to",
902 name);
903 return -1;
Tim Peters6d6c1a32001-08-02 04:15:00 +0000904}
905
906/* Helper to get a pointer to an object's __dict__ slot, if any */
907
908PyObject **
909_PyObject_GetDictPtr(PyObject *obj)
910{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000911 Py_ssize_t dictoffset;
912 PyTypeObject *tp = Py_TYPE(obj);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000913
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000914 dictoffset = tp->tp_dictoffset;
915 if (dictoffset == 0)
916 return NULL;
917 if (dictoffset < 0) {
918 Py_ssize_t tsize;
919 size_t size;
Guido van Rossum2eb0b872002-03-01 22:24:49 +0000920
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000921 tsize = ((PyVarObject *)obj)->ob_size;
922 if (tsize < 0)
923 tsize = -tsize;
924 size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossum2eb0b872002-03-01 22:24:49 +0000925
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000926 dictoffset += (long)size;
927 assert(dictoffset > 0);
928 assert(dictoffset % SIZEOF_VOID_P == 0);
929 }
930 return (PyObject **) ((char *)obj + dictoffset);
Tim Peters6d6c1a32001-08-02 04:15:00 +0000931}
932
Tim Peters6d6c1a32001-08-02 04:15:00 +0000933PyObject *
Raymond Hettinger1da1dbf2003-03-17 19:46:11 +0000934PyObject_SelfIter(PyObject *obj)
Raymond Hettinger01538262003-03-17 08:24:35 +0000935{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000936 Py_INCREF(obj);
937 return obj;
Raymond Hettinger01538262003-03-17 08:24:35 +0000938}
939
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +0000940/* Helper used when the __next__ method is removed from a type:
941 tp_iternext is never NULL and can be safely called without checking
942 on every iteration.
943 */
944
945PyObject *
946_PyObject_NextNotImplemented(PyObject *self)
947{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000948 PyErr_Format(PyExc_TypeError,
949 "'%.200s' object is not iterable",
950 Py_TYPE(self)->tp_name);
951 return NULL;
Amaury Forgeot d'Arcf343e012009-01-12 23:58:21 +0000952}
953
Michael W. Hudson1593f502004-09-14 17:09:47 +0000954/* Generic GetAttr functions - put these in your tp_[gs]etattro slot */
955
Raymond Hettinger01538262003-03-17 08:24:35 +0000956PyObject *
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +0000957_PyObject_GenericGetAttrWithDict(PyObject *obj, PyObject *name, PyObject *dict)
Tim Peters6d6c1a32001-08-02 04:15:00 +0000958{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000959 PyTypeObject *tp = Py_TYPE(obj);
960 PyObject *descr = NULL;
961 PyObject *res = NULL;
962 descrgetfunc f;
963 Py_ssize_t dictoffset;
964 PyObject **dictptr;
Tim Peters6d6c1a32001-08-02 04:15:00 +0000965
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000966 if (!PyUnicode_Check(name)){
967 PyErr_Format(PyExc_TypeError,
968 "attribute name must be string, not '%.200s'",
969 name->ob_type->tp_name);
970 return NULL;
971 }
972 else
973 Py_INCREF(name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +0000974
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000975 if (tp->tp_dict == NULL) {
976 if (PyType_Ready(tp) < 0)
977 goto done;
978 }
Tim Peters6d6c1a32001-08-02 04:15:00 +0000979
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000980 descr = _PyType_Lookup(tp, name);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000981 Py_XINCREF(descr);
Michael W. Hudsonb2c7de42003-08-15 13:07:47 +0000982
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000983 f = NULL;
984 if (descr != NULL) {
985 f = descr->ob_type->tp_descr_get;
986 if (f != NULL && PyDescr_IsData(descr)) {
987 res = f(descr, obj, (PyObject *)obj->ob_type);
988 Py_DECREF(descr);
989 goto done;
990 }
991 }
Tim Peters6d6c1a32001-08-02 04:15:00 +0000992
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +0000993 if (dict == NULL) {
994 /* Inline _PyObject_GetDictPtr */
995 dictoffset = tp->tp_dictoffset;
996 if (dictoffset != 0) {
997 if (dictoffset < 0) {
998 Py_ssize_t tsize;
999 size_t size;
Guido van Rossumc66ff442002-08-19 16:50:48 +00001000
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001001 tsize = ((PyVarObject *)obj)->ob_size;
1002 if (tsize < 0)
1003 tsize = -tsize;
1004 size = _PyObject_VAR_SIZE(tp, tsize);
Guido van Rossumc66ff442002-08-19 16:50:48 +00001005
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001006 dictoffset += (long)size;
1007 assert(dictoffset > 0);
1008 assert(dictoffset % SIZEOF_VOID_P == 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001009 }
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001010 dictptr = (PyObject **) ((char *)obj + dictoffset);
1011 dict = *dictptr;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001012 }
1013 }
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001014 if (dict != NULL) {
1015 Py_INCREF(dict);
1016 res = PyDict_GetItem(dict, name);
1017 if (res != NULL) {
1018 Py_INCREF(res);
1019 Py_XDECREF(descr);
1020 Py_DECREF(dict);
1021 goto done;
1022 }
1023 Py_DECREF(dict);
1024 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001025
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001026 if (f != NULL) {
1027 res = f(descr, obj, (PyObject *)Py_TYPE(obj));
1028 Py_DECREF(descr);
1029 goto done;
1030 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001031
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001032 if (descr != NULL) {
1033 res = descr;
1034 /* descr was already increfed above */
1035 goto done;
1036 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001037
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001038 PyErr_Format(PyExc_AttributeError,
1039 "'%.50s' object has no attribute '%U'",
1040 tp->tp_name, name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001041 done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001042 Py_DECREF(name);
1043 return res;
Tim Peters6d6c1a32001-08-02 04:15:00 +00001044}
1045
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001046PyObject *
1047PyObject_GenericGetAttr(PyObject *obj, PyObject *name)
1048{
1049 return _PyObject_GenericGetAttrWithDict(obj, name, NULL);
1050}
1051
Tim Peters6d6c1a32001-08-02 04:15:00 +00001052int
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001053_PyObject_GenericSetAttrWithDict(PyObject *obj, PyObject *name,
1054 PyObject *value, PyObject *dict)
Tim Peters6d6c1a32001-08-02 04:15:00 +00001055{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001056 PyTypeObject *tp = Py_TYPE(obj);
1057 PyObject *descr;
1058 descrsetfunc f;
1059 PyObject **dictptr;
1060 int res = -1;
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001061
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001062 if (!PyUnicode_Check(name)){
1063 PyErr_Format(PyExc_TypeError,
1064 "attribute name must be string, not '%.200s'",
1065 name->ob_type->tp_name);
1066 return -1;
1067 }
1068 else
1069 Py_INCREF(name);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001070
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001071 if (tp->tp_dict == NULL) {
1072 if (PyType_Ready(tp) < 0)
1073 goto done;
1074 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001075
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001076 descr = _PyType_Lookup(tp, name);
1077 f = NULL;
1078 if (descr != NULL) {
1079 f = descr->ob_type->tp_descr_set;
1080 if (f != NULL && PyDescr_IsData(descr)) {
1081 res = f(descr, obj, value);
1082 goto done;
1083 }
1084 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001085
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001086 if (dict == NULL) {
1087 dictptr = _PyObject_GetDictPtr(obj);
1088 if (dictptr != NULL) {
1089 dict = *dictptr;
1090 if (dict == NULL && value != NULL) {
1091 dict = PyDict_New();
1092 if (dict == NULL)
1093 goto done;
1094 *dictptr = dict;
1095 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001096 }
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001097 }
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;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001108 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001109
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001110 if (f != NULL) {
1111 res = f(descr, obj, value);
1112 goto done;
1113 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001114
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001115 if (descr == NULL) {
1116 PyErr_Format(PyExc_AttributeError,
1117 "'%.100s' object has no attribute '%U'",
1118 tp->tp_name, name);
1119 goto done;
1120 }
Tim Peters6d6c1a32001-08-02 04:15:00 +00001121
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001122 PyErr_Format(PyExc_AttributeError,
1123 "'%.50s' object attribute '%U' is read-only",
1124 tp->tp_name, name);
Guido van Rossumebca9fc2001-12-04 15:54:53 +00001125 done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001126 Py_DECREF(name);
1127 return res;
Guido van Rossum98ff96a1997-05-20 18:34:44 +00001128}
1129
Antoine Pitrou1a9a9d52010-08-28 18:17:03 +00001130int
1131PyObject_GenericSetAttr(PyObject *obj, PyObject *name, PyObject *value)
1132{
1133 return _PyObject_GenericSetAttrWithDict(obj, name, value, NULL);
1134}
1135
1136
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001137/* Test a value used as condition, e.g., in a for or if statement.
1138 Return -1 if an error occurred */
1139
1140int
Fred Drake100814d2000-07-09 15:48:49 +00001141PyObject_IsTrue(PyObject *v)
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001142{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001143 Py_ssize_t res;
1144 if (v == Py_True)
1145 return 1;
1146 if (v == Py_False)
1147 return 0;
1148 if (v == Py_None)
1149 return 0;
1150 else if (v->ob_type->tp_as_number != NULL &&
1151 v->ob_type->tp_as_number->nb_bool != NULL)
1152 res = (*v->ob_type->tp_as_number->nb_bool)(v);
1153 else if (v->ob_type->tp_as_mapping != NULL &&
1154 v->ob_type->tp_as_mapping->mp_length != NULL)
1155 res = (*v->ob_type->tp_as_mapping->mp_length)(v);
1156 else if (v->ob_type->tp_as_sequence != NULL &&
1157 v->ob_type->tp_as_sequence->sq_length != NULL)
1158 res = (*v->ob_type->tp_as_sequence->sq_length)(v);
1159 else
1160 return 1;
1161 /* if it is negative, it should be either -1 or -2 */
1162 return (res > 0) ? 1 : Py_SAFE_DOWNCAST(res, Py_ssize_t, int);
Guido van Rossum6ac258d1993-05-12 08:24:20 +00001163}
1164
Tim Peters803526b2002-07-07 05:13:56 +00001165/* equivalent of 'not v'
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001166 Return -1 if an error occurred */
1167
1168int
Fred Drake100814d2000-07-09 15:48:49 +00001169PyObject_Not(PyObject *v)
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001170{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001171 int res;
1172 res = PyObject_IsTrue(v);
1173 if (res < 0)
1174 return res;
1175 return res == 0;
Guido van Rossumc3d3f961998-04-09 17:53:59 +00001176}
1177
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001178/* Test whether an object can be called */
1179
1180int
Fred Drake100814d2000-07-09 15:48:49 +00001181PyCallable_Check(PyObject *x)
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001182{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001183 if (x == NULL)
1184 return 0;
1185 return x->ob_type->tp_call != NULL;
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001186}
1187
Georg Brandle32b4222007-03-10 22:13:27 +00001188/* ------------------------- PyObject_Dir() helpers ------------------------- */
1189
Tim Peters7eea37e2001-09-04 22:08:56 +00001190/* Helper for PyObject_Dir.
1191 Merge the __dict__ of aclass into dict, and recursively also all
1192 the __dict__s of aclass's base classes. The order of merging isn't
1193 defined, as it's expected that only the final set of dict keys is
1194 interesting.
1195 Return 0 on success, -1 on error.
1196*/
1197
1198static int
1199merge_class_dict(PyObject* dict, PyObject* aclass)
1200{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001201 PyObject *classdict;
1202 PyObject *bases;
Tim Peters7eea37e2001-09-04 22:08:56 +00001203
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001204 assert(PyDict_Check(dict));
1205 assert(aclass);
Tim Peters7eea37e2001-09-04 22:08:56 +00001206
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001207 /* Merge in the type's dict (if any). */
1208 classdict = PyObject_GetAttrString(aclass, "__dict__");
1209 if (classdict == NULL)
1210 PyErr_Clear();
1211 else {
1212 int status = PyDict_Update(dict, classdict);
1213 Py_DECREF(classdict);
1214 if (status < 0)
1215 return -1;
1216 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001217
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001218 /* Recursively merge in the base types' (if any) dicts. */
1219 bases = PyObject_GetAttrString(aclass, "__bases__");
1220 if (bases == NULL)
1221 PyErr_Clear();
1222 else {
1223 /* We have no guarantee that bases is a real tuple */
1224 Py_ssize_t i, n;
1225 n = PySequence_Size(bases); /* This better be right */
1226 if (n < 0)
1227 PyErr_Clear();
1228 else {
1229 for (i = 0; i < n; i++) {
1230 int status;
1231 PyObject *base = PySequence_GetItem(bases, i);
1232 if (base == NULL) {
1233 Py_DECREF(bases);
1234 return -1;
1235 }
1236 status = merge_class_dict(dict, base);
1237 Py_DECREF(base);
1238 if (status < 0) {
1239 Py_DECREF(bases);
1240 return -1;
1241 }
1242 }
1243 }
1244 Py_DECREF(bases);
1245 }
1246 return 0;
Tim Peters7eea37e2001-09-04 22:08:56 +00001247}
1248
Georg Brandle32b4222007-03-10 22:13:27 +00001249/* Helper for PyObject_Dir without arguments: returns the local scope. */
1250static PyObject *
Guido van Rossumad7d8d12007-04-13 01:39:34 +00001251_dir_locals(void)
Tim Peters305b5852001-09-17 02:38:46 +00001252{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001253 PyObject *names;
1254 PyObject *locals = PyEval_GetLocals();
Tim Peters305b5852001-09-17 02:38:46 +00001255
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001256 if (locals == NULL) {
1257 PyErr_SetString(PyExc_SystemError, "frame does not exist");
1258 return NULL;
1259 }
Tim Peters305b5852001-09-17 02:38:46 +00001260
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001261 names = PyMapping_Keys(locals);
1262 if (!names)
1263 return NULL;
1264 if (!PyList_Check(names)) {
1265 PyErr_Format(PyExc_TypeError,
1266 "dir(): expected keys() of locals to be a list, "
1267 "not '%.200s'", Py_TYPE(names)->tp_name);
1268 Py_DECREF(names);
1269 return NULL;
1270 }
1271 /* the locals don't need to be DECREF'd */
1272 return names;
Georg Brandle32b4222007-03-10 22:13:27 +00001273}
1274
1275/* Helper for PyObject_Dir of type objects: returns __dict__ and __bases__.
Guido van Rossum98297ee2007-11-06 21:34:58 +00001276 We deliberately don't suck up its __class__, as methods belonging to the
1277 metaclass would probably be more confusing than helpful.
Georg Brandle32b4222007-03-10 22:13:27 +00001278*/
Guido van Rossum98297ee2007-11-06 21:34:58 +00001279static PyObject *
Georg Brandle32b4222007-03-10 22:13:27 +00001280_specialized_dir_type(PyObject *obj)
1281{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001282 PyObject *result = NULL;
1283 PyObject *dict = PyDict_New();
Georg Brandle32b4222007-03-10 22:13:27 +00001284
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001285 if (dict != NULL && merge_class_dict(dict, obj) == 0)
1286 result = PyDict_Keys(dict);
Georg Brandle32b4222007-03-10 22:13:27 +00001287
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001288 Py_XDECREF(dict);
1289 return result;
Tim Peters305b5852001-09-17 02:38:46 +00001290}
1291
Georg Brandle32b4222007-03-10 22:13:27 +00001292/* Helper for PyObject_Dir of module objects: returns the module's __dict__. */
1293static PyObject *
1294_specialized_dir_module(PyObject *obj)
Tim Peters7eea37e2001-09-04 22:08:56 +00001295{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001296 PyObject *result = NULL;
1297 PyObject *dict = PyObject_GetAttrString(obj, "__dict__");
Tim Peters7eea37e2001-09-04 22:08:56 +00001298
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001299 if (dict != NULL) {
1300 if (PyDict_Check(dict))
1301 result = PyDict_Keys(dict);
1302 else {
1303 const char *name = PyModule_GetName(obj);
1304 if (name)
1305 PyErr_Format(PyExc_TypeError,
1306 "%.200s.__dict__ is not a dictionary",
1307 name);
1308 }
1309 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001310
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001311 Py_XDECREF(dict);
1312 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001313}
Tim Peters7eea37e2001-09-04 22:08:56 +00001314
Georg Brandle32b4222007-03-10 22:13:27 +00001315/* Helper for PyObject_Dir of generic objects: returns __dict__, __class__,
1316 and recursively up the __class__.__bases__ chain.
1317*/
1318static PyObject *
1319_generic_dir(PyObject *obj)
1320{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001321 PyObject *result = NULL;
1322 PyObject *dict = NULL;
1323 PyObject *itsclass = NULL;
Guido van Rossum98297ee2007-11-06 21:34:58 +00001324
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001325 /* Get __dict__ (which may or may not be a real dict...) */
1326 dict = PyObject_GetAttrString(obj, "__dict__");
1327 if (dict == NULL) {
1328 PyErr_Clear();
1329 dict = PyDict_New();
1330 }
1331 else if (!PyDict_Check(dict)) {
1332 Py_DECREF(dict);
1333 dict = PyDict_New();
1334 }
1335 else {
1336 /* Copy __dict__ to avoid mutating it. */
1337 PyObject *temp = PyDict_Copy(dict);
1338 Py_DECREF(dict);
1339 dict = temp;
1340 }
Tim Peters7eea37e2001-09-04 22:08:56 +00001341
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001342 if (dict == NULL)
1343 goto error;
Tim Peters7eea37e2001-09-04 22:08:56 +00001344
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001345 /* Merge in attrs reachable from its class. */
1346 itsclass = PyObject_GetAttrString(obj, "__class__");
1347 if (itsclass == NULL)
1348 /* XXX(tomer): Perhaps fall back to obj->ob_type if no
1349 __class__ exists? */
1350 PyErr_Clear();
1351 else {
1352 if (merge_class_dict(dict, itsclass) != 0)
1353 goto error;
1354 }
Georg Brandle32b4222007-03-10 22:13:27 +00001355
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001356 result = PyDict_Keys(dict);
1357 /* fall through */
Georg Brandle32b4222007-03-10 22:13:27 +00001358error:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001359 Py_XDECREF(itsclass);
1360 Py_XDECREF(dict);
1361 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001362}
1363
1364/* Helper for PyObject_Dir: object introspection.
1365 This calls one of the above specialized versions if no __dir__ method
1366 exists. */
1367static PyObject *
1368_dir_object(PyObject *obj)
1369{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001370 PyObject * result = NULL;
1371 PyObject * dirfunc = PyObject_GetAttrString((PyObject*)obj->ob_type,
1372 "__dir__");
Georg Brandle32b4222007-03-10 22:13:27 +00001373
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001374 assert(obj);
1375 if (dirfunc == NULL) {
1376 /* use default implementation */
1377 PyErr_Clear();
1378 if (PyModule_Check(obj))
1379 result = _specialized_dir_module(obj);
1380 else if (PyType_Check(obj))
1381 result = _specialized_dir_type(obj);
1382 else
1383 result = _generic_dir(obj);
1384 }
1385 else {
1386 /* use __dir__ */
1387 result = PyObject_CallFunctionObjArgs(dirfunc, obj, NULL);
1388 Py_DECREF(dirfunc);
1389 if (result == NULL)
1390 return NULL;
Georg Brandle32b4222007-03-10 22:13:27 +00001391
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001392 /* result must be a list */
1393 /* XXX(gbrandl): could also check if all items are strings */
1394 if (!PyList_Check(result)) {
1395 PyErr_Format(PyExc_TypeError,
1396 "__dir__() must return a list, not %.200s",
1397 Py_TYPE(result)->tp_name);
1398 Py_DECREF(result);
1399 result = NULL;
1400 }
1401 }
Georg Brandle32b4222007-03-10 22:13:27 +00001402
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001403 return result;
Georg Brandle32b4222007-03-10 22:13:27 +00001404}
1405
1406/* Implementation of dir() -- if obj is NULL, returns the names in the current
1407 (local) scope. Otherwise, performs introspection of the object: returns a
1408 sorted list of attribute names (supposedly) accessible from the object
1409*/
1410PyObject *
1411PyObject_Dir(PyObject *obj)
1412{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001413 PyObject * result;
Georg Brandle32b4222007-03-10 22:13:27 +00001414
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001415 if (obj == NULL)
1416 /* no object -- introspect the locals */
1417 result = _dir_locals();
1418 else
1419 /* object -- introspect the object */
1420 result = _dir_object(obj);
Georg Brandle32b4222007-03-10 22:13:27 +00001421
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001422 assert(result == NULL || PyList_Check(result));
Georg Brandle32b4222007-03-10 22:13:27 +00001423
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001424 if (result != NULL && PyList_Sort(result) != 0) {
1425 /* sorting the list failed */
1426 Py_DECREF(result);
1427 result = NULL;
1428 }
Guido van Rossum98297ee2007-11-06 21:34:58 +00001429
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001430 return result;
Tim Peters7eea37e2001-09-04 22:08:56 +00001431}
Guido van Rossum49b11fe1995-01-26 00:38:22 +00001432
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001433/*
1434NoObject is usable as a non-NULL undefined value, used by the macro None.
1435There is (and should be!) no way to create other objects of this type,
Guido van Rossum3f5da241990-12-20 15:06:42 +00001436so there is exactly one (which is indestructible, by the way).
Guido van Rossumba21a492001-08-16 08:17:26 +00001437(XXX This type and the type of NotImplemented below should be unified.)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001438*/
1439
Guido van Rossum0c182a11992-03-27 17:26:13 +00001440/* ARGSUSED */
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001441static PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001442none_repr(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001443{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001444 return PyUnicode_FromString("None");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001445}
1446
Barry Warsaw9bf16442001-01-23 16:24:35 +00001447/* ARGUSED */
1448static void
Tim Peters803526b2002-07-07 05:13:56 +00001449none_dealloc(PyObject* ignore)
Barry Warsaw9bf16442001-01-23 16:24:35 +00001450{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001451 /* This should never get called, but we also don't want to SEGV if
1452 * we accidentally decref None out of existence.
1453 */
1454 Py_FatalError("deallocating None");
Barry Warsaw9bf16442001-01-23 16:24:35 +00001455}
1456
1457
Guido van Rossumba21a492001-08-16 08:17:26 +00001458static PyTypeObject PyNone_Type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001459 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1460 "NoneType",
1461 0,
1462 0,
1463 none_dealloc, /*tp_dealloc*/ /*never called*/
1464 0, /*tp_print*/
1465 0, /*tp_getattr*/
1466 0, /*tp_setattr*/
1467 0, /*tp_reserved*/
1468 none_repr, /*tp_repr*/
1469 0, /*tp_as_number*/
1470 0, /*tp_as_sequence*/
1471 0, /*tp_as_mapping*/
1472 0, /*tp_hash */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001473};
1474
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001475PyObject _Py_NoneStruct = {
Martin v. Löwis9f2e3462007-07-21 17:22:18 +00001476 _PyObject_EXTRA_INIT
1477 1, &PyNone_Type
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001478};
1479
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001480/* NotImplemented is an object that can be used to signal that an
1481 operation is not implemented for the given type combination. */
1482
1483static PyObject *
1484NotImplemented_repr(PyObject *op)
1485{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001486 return PyUnicode_FromString("NotImplemented");
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001487}
1488
1489static PyTypeObject PyNotImplemented_Type = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001490 PyVarObject_HEAD_INIT(&PyType_Type, 0)
1491 "NotImplementedType",
1492 0,
1493 0,
1494 none_dealloc, /*tp_dealloc*/ /*never called*/
1495 0, /*tp_print*/
1496 0, /*tp_getattr*/
1497 0, /*tp_setattr*/
1498 0, /*tp_reserved*/
1499 NotImplemented_repr, /*tp_repr*/
1500 0, /*tp_as_number*/
1501 0, /*tp_as_sequence*/
1502 0, /*tp_as_mapping*/
1503 0, /*tp_hash */
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001504};
1505
1506PyObject _Py_NotImplementedStruct = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001507 _PyObject_EXTRA_INIT
1508 1, &PyNotImplemented_Type
Neil Schemenauer5ed85ec2001-01-04 01:48:10 +00001509};
1510
Guido van Rossumba21a492001-08-16 08:17:26 +00001511void
1512_Py_ReadyTypes(void)
1513{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001514 if (PyType_Ready(&PyType_Type) < 0)
1515 Py_FatalError("Can't initialize type type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001516
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001517 if (PyType_Ready(&_PyWeakref_RefType) < 0)
1518 Py_FatalError("Can't initialize weakref type");
Fred Drake0a4dd392004-07-02 18:57:45 +00001519
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001520 if (PyType_Ready(&_PyWeakref_CallableProxyType) < 0)
1521 Py_FatalError("Can't initialize callable weakref proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001522
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001523 if (PyType_Ready(&_PyWeakref_ProxyType) < 0)
1524 Py_FatalError("Can't initialize weakref proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001525
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001526 if (PyType_Ready(&PyBool_Type) < 0)
1527 Py_FatalError("Can't initialize bool type");
Guido van Rossum77f6a652002-04-03 22:41:51 +00001528
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001529 if (PyType_Ready(&PyByteArray_Type) < 0)
1530 Py_FatalError("Can't initialize bytearray type");
Guido van Rossum4dfe8a12006-04-22 23:28:04 +00001531
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001532 if (PyType_Ready(&PyBytes_Type) < 0)
1533 Py_FatalError("Can't initialize 'str'");
Guido van Rossumcacfc072002-05-24 19:01:59 +00001534
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001535 if (PyType_Ready(&PyList_Type) < 0)
1536 Py_FatalError("Can't initialize list type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001537
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001538 if (PyType_Ready(&PyNone_Type) < 0)
1539 Py_FatalError("Can't initialize None type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001540
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001541 if (PyType_Ready(Py_Ellipsis->ob_type) < 0)
1542 Py_FatalError("Can't initialize type(Ellipsis)");
Guido van Rossum50e9fb92006-08-17 05:42:55 +00001543
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001544 if (PyType_Ready(&PyNotImplemented_Type) < 0)
1545 Py_FatalError("Can't initialize NotImplemented type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001546
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001547 if (PyType_Ready(&PyTraceBack_Type) < 0)
1548 Py_FatalError("Can't initialize traceback type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001549
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001550 if (PyType_Ready(&PySuper_Type) < 0)
1551 Py_FatalError("Can't initialize super type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001552
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001553 if (PyType_Ready(&PyBaseObject_Type) < 0)
1554 Py_FatalError("Can't initialize object type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001555
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001556 if (PyType_Ready(&PyRange_Type) < 0)
1557 Py_FatalError("Can't initialize range type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001558
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001559 if (PyType_Ready(&PyDict_Type) < 0)
1560 Py_FatalError("Can't initialize dict type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001561
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001562 if (PyType_Ready(&PySet_Type) < 0)
1563 Py_FatalError("Can't initialize set type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001564
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001565 if (PyType_Ready(&PyUnicode_Type) < 0)
1566 Py_FatalError("Can't initialize str type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001567
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001568 if (PyType_Ready(&PySlice_Type) < 0)
1569 Py_FatalError("Can't initialize slice type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001570
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001571 if (PyType_Ready(&PyStaticMethod_Type) < 0)
1572 Py_FatalError("Can't initialize static method type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001573
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001574 if (PyType_Ready(&PyComplex_Type) < 0)
1575 Py_FatalError("Can't initialize complex type");
Skip Montanaroba1e0f42009-10-18 14:25:35 +00001576
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001577 if (PyType_Ready(&PyFloat_Type) < 0)
1578 Py_FatalError("Can't initialize float type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001579
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001580 if (PyType_Ready(&PyLong_Type) < 0)
1581 Py_FatalError("Can't initialize int type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001582
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001583 if (PyType_Ready(&PyFrozenSet_Type) < 0)
1584 Py_FatalError("Can't initialize frozenset type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001585
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001586 if (PyType_Ready(&PyProperty_Type) < 0)
1587 Py_FatalError("Can't initialize property type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001588
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001589 if (PyType_Ready(&PyMemoryView_Type) < 0)
1590 Py_FatalError("Can't initialize memoryview type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001591
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001592 if (PyType_Ready(&PyTuple_Type) < 0)
1593 Py_FatalError("Can't initialize tuple type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001594
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001595 if (PyType_Ready(&PyEnum_Type) < 0)
1596 Py_FatalError("Can't initialize enumerate type");
Benjamin Petersonae937c02009-04-18 20:54:08 +00001597
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001598 if (PyType_Ready(&PyReversed_Type) < 0)
1599 Py_FatalError("Can't initialize reversed type");
Guido van Rossum47b9ff62006-08-24 00:41:19 +00001600
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001601 if (PyType_Ready(&PyStdPrinter_Type) < 0)
1602 Py_FatalError("Can't initialize StdPrinter");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001603
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001604 if (PyType_Ready(&PyCode_Type) < 0)
1605 Py_FatalError("Can't initialize code type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001606
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001607 if (PyType_Ready(&PyFrame_Type) < 0)
1608 Py_FatalError("Can't initialize frame type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001609
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001610 if (PyType_Ready(&PyCFunction_Type) < 0)
1611 Py_FatalError("Can't initialize builtin function type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001612
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001613 if (PyType_Ready(&PyMethod_Type) < 0)
1614 Py_FatalError("Can't initialize method type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001615
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001616 if (PyType_Ready(&PyFunction_Type) < 0)
1617 Py_FatalError("Can't initialize function type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001618
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001619 if (PyType_Ready(&PyDictProxy_Type) < 0)
1620 Py_FatalError("Can't initialize dict proxy type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001621
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001622 if (PyType_Ready(&PyGen_Type) < 0)
1623 Py_FatalError("Can't initialize generator type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001624
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001625 if (PyType_Ready(&PyGetSetDescr_Type) < 0)
1626 Py_FatalError("Can't initialize get-set descriptor type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001627
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001628 if (PyType_Ready(&PyWrapperDescr_Type) < 0)
1629 Py_FatalError("Can't initialize wrapper type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001630
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001631 if (PyType_Ready(&PyEllipsis_Type) < 0)
1632 Py_FatalError("Can't initialize ellipsis type");
Benjamin Petersonfd838e62009-04-20 02:09:13 +00001633
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001634 if (PyType_Ready(&PyMemberDescr_Type) < 0)
1635 Py_FatalError("Can't initialize member descriptor type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001636
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001637 if (PyType_Ready(&PyFilter_Type) < 0)
1638 Py_FatalError("Can't initialize filter type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001639
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001640 if (PyType_Ready(&PyMap_Type) < 0)
1641 Py_FatalError("Can't initialize map type");
Benjamin Peterson8bc5b682009-05-09 18:10:51 +00001642
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001643 if (PyType_Ready(&PyZip_Type) < 0)
1644 Py_FatalError("Can't initialize zip type");
Guido van Rossumba21a492001-08-16 08:17:26 +00001645}
1646
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001647
Guido van Rossum84a90321996-05-22 16:34:47 +00001648#ifdef Py_TRACE_REFS
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001649
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001650void
Fred Drake100814d2000-07-09 15:48:49 +00001651_Py_NewReference(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001652{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001653 _Py_INC_REFTOTAL;
1654 op->ob_refcnt = 1;
1655 _Py_AddToAllObjects(op, 1);
1656 _Py_INC_TPALLOCS(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001657}
1658
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001659void
Fred Drake100814d2000-07-09 15:48:49 +00001660_Py_ForgetReference(register PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001661{
Guido van Rossumbffd6832000-01-20 22:32:56 +00001662#ifdef SLOW_UNREF_CHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001663 register PyObject *p;
Guido van Rossumbffd6832000-01-20 22:32:56 +00001664#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001665 if (op->ob_refcnt < 0)
1666 Py_FatalError("UNREF negative refcnt");
1667 if (op == &refchain ||
1668 op->_ob_prev->_ob_next != op || op->_ob_next->_ob_prev != op) {
1669 fprintf(stderr, "* ob\n");
1670 _PyObject_Dump(op);
1671 fprintf(stderr, "* op->_ob_prev->_ob_next\n");
1672 _PyObject_Dump(op->_ob_prev->_ob_next);
1673 fprintf(stderr, "* op->_ob_next->_ob_prev\n");
1674 _PyObject_Dump(op->_ob_next->_ob_prev);
1675 Py_FatalError("UNREF invalid object");
1676 }
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001677#ifdef SLOW_UNREF_CHECK
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001678 for (p = refchain._ob_next; p != &refchain; p = p->_ob_next) {
1679 if (p == op)
1680 break;
1681 }
1682 if (p == &refchain) /* Not found */
1683 Py_FatalError("UNREF unknown object");
Guido van Rossum2e8f6141992-09-03 20:32:55 +00001684#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001685 op->_ob_next->_ob_prev = op->_ob_prev;
1686 op->_ob_prev->_ob_next = op->_ob_next;
1687 op->_ob_next = op->_ob_prev = NULL;
1688 _Py_INC_TPFREES(op);
Guido van Rossum3f5da241990-12-20 15:06:42 +00001689}
1690
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001691void
Fred Drake100814d2000-07-09 15:48:49 +00001692_Py_Dealloc(PyObject *op)
Guido van Rossum3f5da241990-12-20 15:06:42 +00001693{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001694 destructor dealloc = Py_TYPE(op)->tp_dealloc;
1695 _Py_ForgetReference(op);
1696 (*dealloc)(op);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001697}
1698
Tim Peters269b2a62003-04-17 19:52:29 +00001699/* Print all live objects. Because PyObject_Print is called, the
1700 * interpreter must be in a healthy state.
1701 */
Guido van Rossumaacdc9d1996-08-12 21:32:12 +00001702void
Fred Drake100814d2000-07-09 15:48:49 +00001703_Py_PrintReferences(FILE *fp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001704{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001705 PyObject *op;
1706 fprintf(fp, "Remaining objects:\n");
1707 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next) {
1708 fprintf(fp, "%p [%" PY_FORMAT_SIZE_T "d] ", op, op->ob_refcnt);
1709 if (PyObject_Print(op, fp, 0) != 0)
1710 PyErr_Clear();
1711 putc('\n', fp);
1712 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001713}
1714
Tim Peters269b2a62003-04-17 19:52:29 +00001715/* Print the addresses of all live objects. Unlike _Py_PrintReferences, this
1716 * doesn't make any calls to the Python C API, so is always safe to call.
1717 */
1718void
1719_Py_PrintReferenceAddresses(FILE *fp)
1720{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001721 PyObject *op;
1722 fprintf(fp, "Remaining object addresses:\n");
1723 for (op = refchain._ob_next; op != &refchain; op = op->_ob_next)
1724 fprintf(fp, "%p [%" PY_FORMAT_SIZE_T "d] %s\n", op,
1725 op->ob_refcnt, Py_TYPE(op)->tp_name);
Tim Peters269b2a62003-04-17 19:52:29 +00001726}
1727
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001728PyObject *
Fred Drake100814d2000-07-09 15:48:49 +00001729_Py_GetObjects(PyObject *self, PyObject *args)
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001730{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001731 int i, n;
1732 PyObject *t = NULL;
1733 PyObject *res, *op;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001734
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001735 if (!PyArg_ParseTuple(args, "i|O", &n, &t))
1736 return NULL;
1737 op = refchain._ob_next;
1738 res = PyList_New(0);
1739 if (res == NULL)
1740 return NULL;
1741 for (i = 0; (n == 0 || i < n) && op != &refchain; i++) {
1742 while (op == self || op == args || op == res || op == t ||
1743 (t != NULL && Py_TYPE(op) != (PyTypeObject *) t)) {
1744 op = op->_ob_next;
1745 if (op == &refchain)
1746 return res;
1747 }
1748 if (PyList_Append(res, op) < 0) {
1749 Py_DECREF(res);
1750 return NULL;
1751 }
1752 op = op->_ob_next;
1753 }
1754 return res;
Sjoerd Mullender6ec3c651995-08-29 09:18:14 +00001755}
1756
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001757#endif
Guido van Rossum97ead3f1996-01-12 01:24:09 +00001758
Guido van Rossum84a90321996-05-22 16:34:47 +00001759
Benjamin Petersonb173f782009-05-05 22:31:58 +00001760/* Hack to force loading of pycapsule.o */
1761PyTypeObject *_PyCapsule_hack = &PyCapsule_Type;
1762
1763
Guido van Rossum84a90321996-05-22 16:34:47 +00001764/* Hack to force loading of abstract.o */
Martin v. Löwis18e16552006-02-15 17:27:45 +00001765Py_ssize_t (*_Py_abstract_hack)(PyObject *) = PyObject_Size;
Guido van Rossume09fb551997-08-05 02:04:34 +00001766
1767
Andrew M. Kuchling1582a3a2000-08-16 12:27:23 +00001768/* Python's malloc wrappers (see pymem.h) */
Guido van Rossume09fb551997-08-05 02:04:34 +00001769
Thomas Wouters334fb892000-07-25 12:56:38 +00001770void *
Fred Drake100814d2000-07-09 15:48:49 +00001771PyMem_Malloc(size_t nbytes)
Guido van Rossume09fb551997-08-05 02:04:34 +00001772{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001773 return PyMem_MALLOC(nbytes);
Guido van Rossume09fb551997-08-05 02:04:34 +00001774}
1775
Thomas Wouters334fb892000-07-25 12:56:38 +00001776void *
1777PyMem_Realloc(void *p, size_t nbytes)
Guido van Rossume09fb551997-08-05 02:04:34 +00001778{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001779 return PyMem_REALLOC(p, nbytes);
Guido van Rossume09fb551997-08-05 02:04:34 +00001780}
1781
1782void
Thomas Wouters334fb892000-07-25 12:56:38 +00001783PyMem_Free(void *p)
Guido van Rossume09fb551997-08-05 02:04:34 +00001784{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001785 PyMem_FREE(p);
Guido van Rossumb18618d2000-05-03 23:44:39 +00001786}
1787
1788
Guido van Rossum86610361998-04-10 22:32:46 +00001789/* These methods are used to control infinite recursion in repr, str, print,
1790 etc. Container objects that may recursively contain themselves,
1791 e.g. builtin dictionaries and lists, should used Py_ReprEnter() and
1792 Py_ReprLeave() to avoid infinite recursion.
1793
1794 Py_ReprEnter() returns 0 the first time it is called for a particular
1795 object and 1 every time thereafter. It returns -1 if an exception
1796 occurred. Py_ReprLeave() has no return value.
1797
1798 See dictobject.c and listobject.c for examples of use.
1799*/
1800
1801#define KEY "Py_Repr"
1802
1803int
Fred Drake100814d2000-07-09 15:48:49 +00001804Py_ReprEnter(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00001805{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001806 PyObject *dict;
1807 PyObject *list;
1808 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00001809
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001810 dict = PyThreadState_GetDict();
1811 if (dict == NULL)
1812 return 0;
1813 list = PyDict_GetItemString(dict, KEY);
1814 if (list == NULL) {
1815 list = PyList_New(0);
1816 if (list == NULL)
1817 return -1;
1818 if (PyDict_SetItemString(dict, KEY, list) < 0)
1819 return -1;
1820 Py_DECREF(list);
1821 }
1822 i = PyList_GET_SIZE(list);
1823 while (--i >= 0) {
1824 if (PyList_GET_ITEM(list, i) == obj)
1825 return 1;
1826 }
1827 PyList_Append(list, obj);
1828 return 0;
Guido van Rossum86610361998-04-10 22:32:46 +00001829}
1830
1831void
Fred Drake100814d2000-07-09 15:48:49 +00001832Py_ReprLeave(PyObject *obj)
Guido van Rossum86610361998-04-10 22:32:46 +00001833{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001834 PyObject *dict;
1835 PyObject *list;
1836 Py_ssize_t i;
Guido van Rossum86610361998-04-10 22:32:46 +00001837
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001838 dict = PyThreadState_GetDict();
1839 if (dict == NULL)
1840 return;
1841 list = PyDict_GetItemString(dict, KEY);
1842 if (list == NULL || !PyList_Check(list))
1843 return;
1844 i = PyList_GET_SIZE(list);
1845 /* Count backwards because we always expect obj to be list[-1] */
1846 while (--i >= 0) {
1847 if (PyList_GET_ITEM(list, i) == obj) {
1848 PyList_SetSlice(list, i, i + 1, NULL);
1849 break;
1850 }
1851 }
Guido van Rossum86610361998-04-10 22:32:46 +00001852}
Guido van Rossumd724b232000-03-13 16:01:29 +00001853
Tim Peters803526b2002-07-07 05:13:56 +00001854/* Trashcan support. */
Guido van Rossumd724b232000-03-13 16:01:29 +00001855
Tim Peters803526b2002-07-07 05:13:56 +00001856/* Current call-stack depth of tp_dealloc calls. */
Guido van Rossumd724b232000-03-13 16:01:29 +00001857int _PyTrash_delete_nesting = 0;
Guido van Rossume92e6102000-04-24 15:40:53 +00001858
Tim Peters803526b2002-07-07 05:13:56 +00001859/* List of objects that still need to be cleaned up, singly linked via their
1860 * gc headers' gc_prev pointers.
1861 */
1862PyObject *_PyTrash_delete_later = NULL;
Guido van Rossumd724b232000-03-13 16:01:29 +00001863
Tim Peters803526b2002-07-07 05:13:56 +00001864/* Add op to the _PyTrash_delete_later list. Called when the current
1865 * call-stack depth gets large. op must be a currently untracked gc'ed
1866 * object, with refcount 0. Py_DECREF must already have been called on it.
1867 */
Guido van Rossumd724b232000-03-13 16:01:29 +00001868void
Fred Drake100814d2000-07-09 15:48:49 +00001869_PyTrash_deposit_object(PyObject *op)
Guido van Rossumd724b232000-03-13 16:01:29 +00001870{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001871 assert(PyObject_IS_GC(op));
1872 assert(_Py_AS_GC(op)->gc.gc_refs == _PyGC_REFS_UNTRACKED);
1873 assert(op->ob_refcnt == 0);
1874 _Py_AS_GC(op)->gc.gc_prev = (PyGC_Head *)_PyTrash_delete_later;
1875 _PyTrash_delete_later = op;
Guido van Rossumd724b232000-03-13 16:01:29 +00001876}
1877
Tim Peters803526b2002-07-07 05:13:56 +00001878/* Dealloccate all the objects in the _PyTrash_delete_later list. Called when
1879 * the call-stack unwinds again.
1880 */
Guido van Rossumd724b232000-03-13 16:01:29 +00001881void
Fred Drake100814d2000-07-09 15:48:49 +00001882_PyTrash_destroy_chain(void)
Guido van Rossumd724b232000-03-13 16:01:29 +00001883{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001884 while (_PyTrash_delete_later) {
1885 PyObject *op = _PyTrash_delete_later;
1886 destructor dealloc = Py_TYPE(op)->tp_dealloc;
Neil Schemenauerf589c052002-03-29 03:05:54 +00001887
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001888 _PyTrash_delete_later =
1889 (PyObject*) _Py_AS_GC(op)->gc.gc_prev;
Neil Schemenauerf589c052002-03-29 03:05:54 +00001890
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00001891 /* Call the deallocator directly. This used to try to
1892 * fool Py_DECREF into calling it indirectly, but
1893 * Py_DECREF was already called on this object, and in
1894 * assorted non-release builds calling Py_DECREF again ends
1895 * up distorting allocation statistics.
1896 */
1897 assert(op->ob_refcnt == 0);
1898 ++_PyTrash_delete_nesting;
1899 (*dealloc)(op);
1900 --_PyTrash_delete_nesting;
1901 }
Guido van Rossumd724b232000-03-13 16:01:29 +00001902}
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001903
1904#ifdef __cplusplus
1905}
1906#endif