Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 1 | .. highlightlang:: c |
| 2 | |
| 3 | |
| 4 | .. _exceptionhandling: |
| 5 | |
| 6 | ****************** |
| 7 | Exception Handling |
| 8 | ****************** |
| 9 | |
| 10 | The functions described in this chapter will let you handle and raise Python |
| 11 | exceptions. It is important to understand some of the basics of Python |
| 12 | exception handling. It works somewhat like the Unix :cdata:`errno` variable: |
| 13 | there is a global indicator (per thread) of the last error that occurred. Most |
| 14 | functions don't clear this on success, but will set it to indicate the cause of |
| 15 | the error on failure. Most functions also return an error indicator, usually |
| 16 | *NULL* if they are supposed to return a pointer, or ``-1`` if they return an |
| 17 | integer (exception: the :cfunc:`PyArg_\*` functions return ``1`` for success and |
| 18 | ``0`` for failure). |
| 19 | |
| 20 | When a function must fail because some function it called failed, it generally |
| 21 | doesn't set the error indicator; the function it called already set it. It is |
| 22 | responsible for either handling the error and clearing the exception or |
| 23 | returning after cleaning up any resources it holds (such as object references or |
| 24 | memory allocations); it should *not* continue normally if it is not prepared to |
| 25 | handle the error. If returning due to an error, it is important to indicate to |
| 26 | the caller that an error has been set. If the error is not handled or carefully |
| 27 | propagated, additional calls into the Python/C API may not behave as intended |
| 28 | and may fail in mysterious ways. |
| 29 | |
| 30 | The error indicator consists of three Python objects corresponding to the result |
| 31 | of ``sys.exc_info()``. API functions exist to interact with the error indicator |
| 32 | in various ways. There is a separate error indicator for each thread. |
| 33 | |
Christian Heimes | 5b5e81c | 2007-12-31 16:14:33 +0000 | [diff] [blame] | 34 | .. XXX Order of these should be more thoughtful. |
| 35 | Either alphabetical or some kind of structure. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 36 | |
| 37 | |
Georg Brandl | 115fb35 | 2009-02-05 10:56:37 +0000 | [diff] [blame] | 38 | .. cfunction:: void PyErr_PrintEx(int set_sys_last_vars) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 39 | |
| 40 | Print a standard traceback to ``sys.stderr`` and clear the error indicator. |
| 41 | Call this function only when the error indicator is set. (Otherwise it will |
| 42 | cause a fatal error!) |
| 43 | |
Georg Brandl | 115fb35 | 2009-02-05 10:56:37 +0000 | [diff] [blame] | 44 | If *set_sys_last_vars* is nonzero, the variables :data:`sys.last_type`, |
| 45 | :data:`sys.last_value` and :data:`sys.last_traceback` will be set to the |
| 46 | type, value and traceback of the printed exception, respectively. |
| 47 | |
| 48 | |
| 49 | .. cfunction:: void PyErr_Print() |
| 50 | |
| 51 | Alias for ``PyErr_PrintEx(1)``. |
| 52 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 53 | |
| 54 | .. cfunction:: PyObject* PyErr_Occurred() |
| 55 | |
| 56 | Test whether the error indicator is set. If set, return the exception *type* |
| 57 | (the first argument to the last call to one of the :cfunc:`PyErr_Set\*` |
| 58 | functions or to :cfunc:`PyErr_Restore`). If not set, return *NULL*. You do not |
| 59 | own a reference to the return value, so you do not need to :cfunc:`Py_DECREF` |
| 60 | it. |
| 61 | |
| 62 | .. note:: |
| 63 | |
| 64 | Do not compare the return value to a specific exception; use |
| 65 | :cfunc:`PyErr_ExceptionMatches` instead, shown below. (The comparison could |
| 66 | easily fail since the exception may be an instance instead of a class, in the |
| 67 | case of a class exception, or it may the a subclass of the expected exception.) |
| 68 | |
| 69 | |
| 70 | .. cfunction:: int PyErr_ExceptionMatches(PyObject *exc) |
| 71 | |
| 72 | Equivalent to ``PyErr_GivenExceptionMatches(PyErr_Occurred(), exc)``. This |
| 73 | should only be called when an exception is actually set; a memory access |
| 74 | violation will occur if no exception has been raised. |
| 75 | |
| 76 | |
| 77 | .. cfunction:: int PyErr_GivenExceptionMatches(PyObject *given, PyObject *exc) |
| 78 | |
Benjamin Peterson | da10d3b | 2009-01-01 00:23:30 +0000 | [diff] [blame] | 79 | Return true if the *given* exception matches the exception in *exc*. If |
| 80 | *exc* is a class object, this also returns true when *given* is an instance |
| 81 | of a subclass. If *exc* is a tuple, all exceptions in the tuple (and |
| 82 | recursively in subtuples) are searched for a match. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 83 | |
| 84 | |
| 85 | .. cfunction:: void PyErr_NormalizeException(PyObject**exc, PyObject**val, PyObject**tb) |
| 86 | |
| 87 | Under certain circumstances, the values returned by :cfunc:`PyErr_Fetch` below |
| 88 | can be "unnormalized", meaning that ``*exc`` is a class object but ``*val`` is |
| 89 | not an instance of the same class. This function can be used to instantiate |
| 90 | the class in that case. If the values are already normalized, nothing happens. |
| 91 | The delayed normalization is implemented to improve performance. |
| 92 | |
| 93 | |
| 94 | .. cfunction:: void PyErr_Clear() |
| 95 | |
| 96 | Clear the error indicator. If the error indicator is not set, there is no |
| 97 | effect. |
| 98 | |
| 99 | |
| 100 | .. cfunction:: void PyErr_Fetch(PyObject **ptype, PyObject **pvalue, PyObject **ptraceback) |
| 101 | |
| 102 | Retrieve the error indicator into three variables whose addresses are passed. |
| 103 | If the error indicator is not set, set all three variables to *NULL*. If it is |
| 104 | set, it will be cleared and you own a reference to each object retrieved. The |
| 105 | value and traceback object may be *NULL* even when the type object is not. |
| 106 | |
| 107 | .. note:: |
| 108 | |
| 109 | This function is normally only used by code that needs to handle exceptions or |
| 110 | by code that needs to save and restore the error indicator temporarily. |
| 111 | |
| 112 | |
| 113 | .. cfunction:: void PyErr_Restore(PyObject *type, PyObject *value, PyObject *traceback) |
| 114 | |
| 115 | Set the error indicator from the three objects. If the error indicator is |
| 116 | already set, it is cleared first. If the objects are *NULL*, the error |
| 117 | indicator is cleared. Do not pass a *NULL* type and non-*NULL* value or |
| 118 | traceback. The exception type should be a class. Do not pass an invalid |
| 119 | exception type or value. (Violating these rules will cause subtle problems |
| 120 | later.) This call takes away a reference to each object: you must own a |
| 121 | reference to each object before the call and after the call you no longer own |
| 122 | these references. (If you don't understand this, don't use this function. I |
| 123 | warned you.) |
| 124 | |
| 125 | .. note:: |
| 126 | |
| 127 | This function is normally only used by code that needs to save and restore the |
| 128 | error indicator temporarily; use :cfunc:`PyErr_Fetch` to save the current |
| 129 | exception state. |
| 130 | |
| 131 | |
| 132 | .. cfunction:: void PyErr_SetString(PyObject *type, const char *message) |
| 133 | |
| 134 | This is the most common way to set the error indicator. The first argument |
| 135 | specifies the exception type; it is normally one of the standard exceptions, |
| 136 | e.g. :cdata:`PyExc_RuntimeError`. You need not increment its reference count. |
| 137 | The second argument is an error message; it is converted to a string object. |
| 138 | |
| 139 | |
| 140 | .. cfunction:: void PyErr_SetObject(PyObject *type, PyObject *value) |
| 141 | |
| 142 | This function is similar to :cfunc:`PyErr_SetString` but lets you specify an |
| 143 | arbitrary Python object for the "value" of the exception. |
| 144 | |
| 145 | |
| 146 | .. cfunction:: PyObject* PyErr_Format(PyObject *exception, const char *format, ...) |
| 147 | |
| 148 | This function sets the error indicator and returns *NULL*. *exception* should be |
| 149 | a Python exception (class, not an instance). *format* should be a string, |
| 150 | containing format codes, similar to :cfunc:`printf`. The ``width.precision`` |
| 151 | before a format code is parsed, but the width part is ignored. |
| 152 | |
| 153 | .. % This should be exactly the same as the table in PyString_FromFormat. |
| 154 | .. % One should just refer to the other. |
| 155 | .. % The descriptions for %zd and %zu are wrong, but the truth is complicated |
| 156 | .. % because not all compilers support the %z width modifier -- we fake it |
| 157 | .. % when necessary via interpolating PY_FORMAT_SIZE_T. |
Mark Dickinson | 6ce4a9a | 2009-11-16 17:00:11 +0000 | [diff] [blame] | 158 | .. % Similar comments apply to the %ll width modifier and |
| 159 | .. % PY_FORMAT_LONG_LONG. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 160 | |
| 161 | +-------------------+---------------+--------------------------------+ |
| 162 | | Format Characters | Type | Comment | |
| 163 | +===================+===============+================================+ |
| 164 | | :attr:`%%` | *n/a* | The literal % character. | |
| 165 | +-------------------+---------------+--------------------------------+ |
| 166 | | :attr:`%c` | int | A single character, | |
| 167 | | | | represented as an C int. | |
| 168 | +-------------------+---------------+--------------------------------+ |
| 169 | | :attr:`%d` | int | Exactly equivalent to | |
| 170 | | | | ``printf("%d")``. | |
| 171 | +-------------------+---------------+--------------------------------+ |
| 172 | | :attr:`%u` | unsigned int | Exactly equivalent to | |
| 173 | | | | ``printf("%u")``. | |
| 174 | +-------------------+---------------+--------------------------------+ |
| 175 | | :attr:`%ld` | long | Exactly equivalent to | |
| 176 | | | | ``printf("%ld")``. | |
| 177 | +-------------------+---------------+--------------------------------+ |
| 178 | | :attr:`%lu` | unsigned long | Exactly equivalent to | |
| 179 | | | | ``printf("%lu")``. | |
| 180 | +-------------------+---------------+--------------------------------+ |
Mark Dickinson | 6ce4a9a | 2009-11-16 17:00:11 +0000 | [diff] [blame] | 181 | | :attr:`%lld` | long long | Exactly equivalent to | |
| 182 | | | | ``printf("%lld")``. | |
| 183 | +-------------------+---------------+--------------------------------+ |
| 184 | | :attr:`%llu` | unsigned | Exactly equivalent to | |
| 185 | | | long long | ``printf("%llu")``. | |
| 186 | +-------------------+---------------+--------------------------------+ |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 187 | | :attr:`%zd` | Py_ssize_t | Exactly equivalent to | |
| 188 | | | | ``printf("%zd")``. | |
| 189 | +-------------------+---------------+--------------------------------+ |
| 190 | | :attr:`%zu` | size_t | Exactly equivalent to | |
| 191 | | | | ``printf("%zu")``. | |
| 192 | +-------------------+---------------+--------------------------------+ |
| 193 | | :attr:`%i` | int | Exactly equivalent to | |
| 194 | | | | ``printf("%i")``. | |
| 195 | +-------------------+---------------+--------------------------------+ |
| 196 | | :attr:`%x` | int | Exactly equivalent to | |
| 197 | | | | ``printf("%x")``. | |
| 198 | +-------------------+---------------+--------------------------------+ |
| 199 | | :attr:`%s` | char\* | A null-terminated C character | |
| 200 | | | | array. | |
| 201 | +-------------------+---------------+--------------------------------+ |
| 202 | | :attr:`%p` | void\* | The hex representation of a C | |
| 203 | | | | pointer. Mostly equivalent to | |
| 204 | | | | ``printf("%p")`` except that | |
| 205 | | | | it is guaranteed to start with | |
| 206 | | | | the literal ``0x`` regardless | |
| 207 | | | | of what the platform's | |
| 208 | | | | ``printf`` yields. | |
| 209 | +-------------------+---------------+--------------------------------+ |
| 210 | |
| 211 | An unrecognized format character causes all the rest of the format string to be |
| 212 | copied as-is to the result string, and any extra arguments discarded. |
| 213 | |
Mark Dickinson | 6ce4a9a | 2009-11-16 17:00:11 +0000 | [diff] [blame] | 214 | .. note:: |
| 215 | |
| 216 | The `"%lld"` and `"%llu"` format specifiers are only available |
Georg Brandl | ef871f6 | 2010-03-12 10:06:40 +0000 | [diff] [blame] | 217 | when :const:`HAVE_LONG_LONG` is defined. |
Mark Dickinson | 6ce4a9a | 2009-11-16 17:00:11 +0000 | [diff] [blame] | 218 | |
| 219 | .. versionchanged:: 3.2 |
| 220 | Support for `"%lld"` and `"%llu"` added. |
| 221 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 222 | |
| 223 | .. cfunction:: void PyErr_SetNone(PyObject *type) |
| 224 | |
| 225 | This is a shorthand for ``PyErr_SetObject(type, Py_None)``. |
| 226 | |
| 227 | |
| 228 | .. cfunction:: int PyErr_BadArgument() |
| 229 | |
| 230 | This is a shorthand for ``PyErr_SetString(PyExc_TypeError, message)``, where |
| 231 | *message* indicates that a built-in operation was invoked with an illegal |
| 232 | argument. It is mostly for internal use. |
| 233 | |
| 234 | |
| 235 | .. cfunction:: PyObject* PyErr_NoMemory() |
| 236 | |
| 237 | This is a shorthand for ``PyErr_SetNone(PyExc_MemoryError)``; it returns *NULL* |
| 238 | so an object allocation function can write ``return PyErr_NoMemory();`` when it |
| 239 | runs out of memory. |
| 240 | |
| 241 | |
| 242 | .. cfunction:: PyObject* PyErr_SetFromErrno(PyObject *type) |
| 243 | |
| 244 | .. index:: single: strerror() |
| 245 | |
| 246 | This is a convenience function to raise an exception when a C library function |
| 247 | has returned an error and set the C variable :cdata:`errno`. It constructs a |
| 248 | tuple object whose first item is the integer :cdata:`errno` value and whose |
| 249 | second item is the corresponding error message (gotten from :cfunc:`strerror`), |
| 250 | and then calls ``PyErr_SetObject(type, object)``. On Unix, when the |
| 251 | :cdata:`errno` value is :const:`EINTR`, indicating an interrupted system call, |
| 252 | this calls :cfunc:`PyErr_CheckSignals`, and if that set the error indicator, |
| 253 | leaves it set to that. The function always returns *NULL*, so a wrapper |
| 254 | function around a system call can write ``return PyErr_SetFromErrno(type);`` |
| 255 | when the system call returns an error. |
| 256 | |
| 257 | |
| 258 | .. cfunction:: PyObject* PyErr_SetFromErrnoWithFilename(PyObject *type, const char *filename) |
| 259 | |
| 260 | Similar to :cfunc:`PyErr_SetFromErrno`, with the additional behavior that if |
| 261 | *filename* is not *NULL*, it is passed to the constructor of *type* as a third |
| 262 | parameter. In the case of exceptions such as :exc:`IOError` and :exc:`OSError`, |
| 263 | this is used to define the :attr:`filename` attribute of the exception instance. |
| 264 | |
| 265 | |
| 266 | .. cfunction:: PyObject* PyErr_SetFromWindowsErr(int ierr) |
| 267 | |
| 268 | This is a convenience function to raise :exc:`WindowsError`. If called with |
| 269 | *ierr* of :cdata:`0`, the error code returned by a call to :cfunc:`GetLastError` |
| 270 | is used instead. It calls the Win32 function :cfunc:`FormatMessage` to retrieve |
| 271 | the Windows description of error code given by *ierr* or :cfunc:`GetLastError`, |
| 272 | then it constructs a tuple object whose first item is the *ierr* value and whose |
| 273 | second item is the corresponding error message (gotten from |
| 274 | :cfunc:`FormatMessage`), and then calls ``PyErr_SetObject(PyExc_WindowsError, |
| 275 | object)``. This function always returns *NULL*. Availability: Windows. |
| 276 | |
| 277 | |
| 278 | .. cfunction:: PyObject* PyErr_SetExcFromWindowsErr(PyObject *type, int ierr) |
| 279 | |
| 280 | Similar to :cfunc:`PyErr_SetFromWindowsErr`, with an additional parameter |
| 281 | specifying the exception type to be raised. Availability: Windows. |
| 282 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 283 | |
| 284 | .. cfunction:: PyObject* PyErr_SetFromWindowsErrWithFilename(int ierr, const char *filename) |
| 285 | |
| 286 | Similar to :cfunc:`PyErr_SetFromWindowsErr`, with the additional behavior that |
| 287 | if *filename* is not *NULL*, it is passed to the constructor of |
| 288 | :exc:`WindowsError` as a third parameter. Availability: Windows. |
| 289 | |
| 290 | |
| 291 | .. cfunction:: PyObject* PyErr_SetExcFromWindowsErrWithFilename(PyObject *type, int ierr, char *filename) |
| 292 | |
| 293 | Similar to :cfunc:`PyErr_SetFromWindowsErrWithFilename`, with an additional |
| 294 | parameter specifying the exception type to be raised. Availability: Windows. |
| 295 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 296 | |
| 297 | .. cfunction:: void PyErr_BadInternalCall() |
| 298 | |
Benjamin Peterson | 5c6d787 | 2009-02-06 02:40:07 +0000 | [diff] [blame] | 299 | This is a shorthand for ``PyErr_SetString(PyExc_SystemError, message)``, |
| 300 | where *message* indicates that an internal operation (e.g. a Python/C API |
| 301 | function) was invoked with an illegal argument. It is mostly for internal |
| 302 | use. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 303 | |
| 304 | |
| 305 | .. cfunction:: int PyErr_WarnEx(PyObject *category, char *message, int stacklevel) |
| 306 | |
| 307 | Issue a warning message. The *category* argument is a warning category (see |
| 308 | below) or *NULL*; the *message* argument is a message string. *stacklevel* is a |
| 309 | positive number giving a number of stack frames; the warning will be issued from |
| 310 | the currently executing line of code in that stack frame. A *stacklevel* of 1 |
| 311 | is the function calling :cfunc:`PyErr_WarnEx`, 2 is the function above that, |
| 312 | and so forth. |
| 313 | |
| 314 | This function normally prints a warning message to *sys.stderr*; however, it is |
| 315 | also possible that the user has specified that warnings are to be turned into |
| 316 | errors, and in that case this will raise an exception. It is also possible that |
| 317 | the function raises an exception because of a problem with the warning machinery |
| 318 | (the implementation imports the :mod:`warnings` module to do the heavy lifting). |
| 319 | The return value is ``0`` if no exception is raised, or ``-1`` if an exception |
| 320 | is raised. (It is not possible to determine whether a warning message is |
| 321 | actually printed, nor what the reason is for the exception; this is |
| 322 | intentional.) If an exception is raised, the caller should do its normal |
| 323 | exception handling (for example, :cfunc:`Py_DECREF` owned references and return |
| 324 | an error value). |
| 325 | |
| 326 | Warning categories must be subclasses of :cdata:`Warning`; the default warning |
| 327 | category is :cdata:`RuntimeWarning`. The standard Python warning categories are |
| 328 | available as global variables whose names are ``PyExc_`` followed by the Python |
| 329 | exception name. These have the type :ctype:`PyObject\*`; they are all class |
| 330 | objects. Their names are :cdata:`PyExc_Warning`, :cdata:`PyExc_UserWarning`, |
| 331 | :cdata:`PyExc_UnicodeWarning`, :cdata:`PyExc_DeprecationWarning`, |
| 332 | :cdata:`PyExc_SyntaxWarning`, :cdata:`PyExc_RuntimeWarning`, and |
| 333 | :cdata:`PyExc_FutureWarning`. :cdata:`PyExc_Warning` is a subclass of |
| 334 | :cdata:`PyExc_Exception`; the other warning categories are subclasses of |
| 335 | :cdata:`PyExc_Warning`. |
| 336 | |
| 337 | For information about warning control, see the documentation for the |
| 338 | :mod:`warnings` module and the :option:`-W` option in the command line |
| 339 | documentation. There is no C API for warning control. |
| 340 | |
| 341 | |
| 342 | .. cfunction:: int PyErr_WarnExplicit(PyObject *category, const char *message, const char *filename, int lineno, const char *module, PyObject *registry) |
| 343 | |
| 344 | Issue a warning message with explicit control over all warning attributes. This |
| 345 | is a straightforward wrapper around the Python function |
| 346 | :func:`warnings.warn_explicit`, see there for more information. The *module* |
| 347 | and *registry* arguments may be set to *NULL* to get the default effect |
| 348 | described there. |
| 349 | |
| 350 | |
| 351 | .. cfunction:: int PyErr_CheckSignals() |
| 352 | |
| 353 | .. index:: |
| 354 | module: signal |
| 355 | single: SIGINT |
| 356 | single: KeyboardInterrupt (built-in exception) |
| 357 | |
| 358 | This function interacts with Python's signal handling. It checks whether a |
| 359 | signal has been sent to the processes and if so, invokes the corresponding |
| 360 | signal handler. If the :mod:`signal` module is supported, this can invoke a |
| 361 | signal handler written in Python. In all cases, the default effect for |
| 362 | :const:`SIGINT` is to raise the :exc:`KeyboardInterrupt` exception. If an |
| 363 | exception is raised the error indicator is set and the function returns ``-1``; |
| 364 | otherwise the function returns ``0``. The error indicator may or may not be |
| 365 | cleared if it was previously set. |
| 366 | |
| 367 | |
| 368 | .. cfunction:: void PyErr_SetInterrupt() |
| 369 | |
| 370 | .. index:: |
| 371 | single: SIGINT |
| 372 | single: KeyboardInterrupt (built-in exception) |
| 373 | |
| 374 | This function simulates the effect of a :const:`SIGINT` signal arriving --- the |
| 375 | next time :cfunc:`PyErr_CheckSignals` is called, :exc:`KeyboardInterrupt` will |
| 376 | be raised. It may be called without holding the interpreter lock. |
| 377 | |
| 378 | .. % XXX This was described as obsolete, but is used in |
Georg Brandl | 2067bfd | 2008-05-25 13:05:15 +0000 | [diff] [blame] | 379 | .. % _thread.interrupt_main() (used from IDLE), so it's still needed. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 380 | |
| 381 | |
Christian Heimes | 5fb7c2a | 2007-12-24 08:52:31 +0000 | [diff] [blame] | 382 | .. cfunction:: int PySignal_SetWakeupFd(int fd) |
| 383 | |
| 384 | This utility function specifies a file descriptor to which a ``'\0'`` byte will |
| 385 | be written whenever a signal is received. It returns the previous such file |
| 386 | descriptor. The value ``-1`` disables the feature; this is the initial state. |
| 387 | This is equivalent to :func:`signal.set_wakeup_fd` in Python, but without any |
| 388 | error checking. *fd* should be a valid file descriptor. The function should |
| 389 | only be called from the main thread. |
| 390 | |
| 391 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 392 | .. cfunction:: PyObject* PyErr_NewException(char *name, PyObject *base, PyObject *dict) |
| 393 | |
| 394 | This utility function creates and returns a new exception object. The *name* |
| 395 | argument must be the name of the new exception, a C string of the form |
| 396 | ``module.class``. The *base* and *dict* arguments are normally *NULL*. This |
| 397 | creates a class object derived from :exc:`Exception` (accessible in C as |
| 398 | :cdata:`PyExc_Exception`). |
| 399 | |
| 400 | The :attr:`__module__` attribute of the new class is set to the first part (up |
| 401 | to the last dot) of the *name* argument, and the class name is set to the last |
| 402 | part (after the last dot). The *base* argument can be used to specify alternate |
| 403 | base classes; it can either be only one class or a tuple of classes. The *dict* |
| 404 | argument can be used to specify a dictionary of class variables and methods. |
| 405 | |
| 406 | |
Georg Brandl | 1e28a27 | 2009-12-28 08:41:01 +0000 | [diff] [blame] | 407 | .. cfunction:: PyObject* PyErr_NewExceptionWithDoc(char *name, char *doc, PyObject *base, PyObject *dict) |
| 408 | |
| 409 | Same as :cfunc:`PyErr_NewException`, except that the new exception class can |
| 410 | easily be given a docstring: If *doc* is non-*NULL*, it will be used as the |
| 411 | docstring for the exception class. |
| 412 | |
| 413 | .. versionadded:: 3.2 |
| 414 | |
| 415 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 416 | .. cfunction:: void PyErr_WriteUnraisable(PyObject *obj) |
| 417 | |
| 418 | This utility function prints a warning message to ``sys.stderr`` when an |
| 419 | exception has been set but it is impossible for the interpreter to actually |
| 420 | raise the exception. It is used, for example, when an exception occurs in an |
| 421 | :meth:`__del__` method. |
| 422 | |
| 423 | The function is called with a single argument *obj* that identifies the context |
| 424 | in which the unraisable exception occurred. The repr of *obj* will be printed in |
| 425 | the warning message. |
| 426 | |
| 427 | |
Georg Brandl | ab6f2f6 | 2009-03-31 04:16:10 +0000 | [diff] [blame] | 428 | Exception Objects |
| 429 | ================= |
| 430 | |
| 431 | .. cfunction:: PyObject* PyException_GetTraceback(PyObject *ex) |
| 432 | |
| 433 | Return the traceback associated with the exception as a new reference, as |
| 434 | accessible from Python through :attr:`__traceback__`. If there is no |
| 435 | traceback associated, this returns *NULL*. |
| 436 | |
| 437 | |
| 438 | .. cfunction:: int PyException_SetTraceback(PyObject *ex, PyObject *tb) |
| 439 | |
| 440 | Set the traceback associated with the exception to *tb*. Use ``Py_None`` to |
| 441 | clear it. |
| 442 | |
| 443 | |
| 444 | .. cfunction:: PyObject* PyException_GetContext(PyObject *ex) |
| 445 | |
| 446 | Return the context (another exception instance during whose handling *ex* was |
| 447 | raised) associated with the exception as a new reference, as accessible from |
| 448 | Python through :attr:`__context__`. If there is no context associated, this |
| 449 | returns *NULL*. |
| 450 | |
| 451 | |
| 452 | .. cfunction:: void PyException_SetContext(PyObject *ex, PyObject *ctx) |
| 453 | |
| 454 | Set the context associated with the exception to *ctx*. Use *NULL* to clear |
| 455 | it. There is no type check to make sure that *ctx* is an exception instance. |
| 456 | This steals a reference to *ctx*. |
| 457 | |
| 458 | |
| 459 | .. cfunction:: PyObject* PyException_GetCause(PyObject *ex) |
| 460 | |
| 461 | Return the cause (another exception instance set by ``raise ... from ...``) |
| 462 | associated with the exception as a new reference, as accessible from Python |
| 463 | through :attr:`__cause__`. If there is no cause associated, this returns |
| 464 | *NULL*. |
| 465 | |
| 466 | |
| 467 | .. cfunction:: void PyException_SetCause(PyObject *ex, PyObject *ctx) |
| 468 | |
| 469 | Set the cause associated with the exception to *ctx*. Use *NULL* to clear |
| 470 | it. There is no type check to make sure that *ctx* is an exception instance. |
| 471 | This steals a reference to *ctx*. |
| 472 | |
| 473 | |
Georg Brandl | 93dc9eb | 2010-03-14 10:56:14 +0000 | [diff] [blame] | 474 | Recursion Control |
| 475 | ================= |
| 476 | |
| 477 | These two functions provide a way to perform safe recursive calls at the C |
| 478 | level, both in the core and in extension modules. They are needed if the |
| 479 | recursive code does not necessarily invoke Python code (which tracks its |
| 480 | recursion depth automatically). |
| 481 | |
| 482 | .. cfunction:: int Py_EnterRecursiveCall(char *where) |
| 483 | |
| 484 | Marks a point where a recursive C-level call is about to be performed. |
| 485 | |
| 486 | If :const:`USE_STACKCHECK` is defined, this function checks if the the OS |
| 487 | stack overflowed using :cfunc:`PyOS_CheckStack`. In this is the case, it |
| 488 | sets a :exc:`MemoryError` and returns a nonzero value. |
| 489 | |
| 490 | The function then checks if the recursion limit is reached. If this is the |
| 491 | case, a :exc:`RuntimeError` is set and a nonzero value is returned. |
| 492 | Otherwise, zero is returned. |
| 493 | |
| 494 | *where* should be a string such as ``" in instance check"`` to be |
| 495 | concatenated to the :exc:`RuntimeError` message caused by the recursion depth |
| 496 | limit. |
| 497 | |
| 498 | .. cfunction:: void Py_LeaveRecursiveCall() |
| 499 | |
| 500 | Ends a :cfunc:`Py_EnterRecursiveCall`. Must be called once for each |
| 501 | *successful* invocation of :cfunc:`Py_EnterRecursiveCall`. |
| 502 | |
| 503 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 504 | .. _standardexceptions: |
| 505 | |
| 506 | Standard Exceptions |
| 507 | =================== |
| 508 | |
| 509 | All standard Python exceptions are available as global variables whose names are |
| 510 | ``PyExc_`` followed by the Python exception name. These have the type |
| 511 | :ctype:`PyObject\*`; they are all class objects. For completeness, here are all |
| 512 | the variables: |
| 513 | |
| 514 | +------------------------------------+----------------------------+----------+ |
| 515 | | C Name | Python Name | Notes | |
| 516 | +====================================+============================+==========+ |
Georg Brandl | 321976b | 2007-09-01 12:33:24 +0000 | [diff] [blame] | 517 | | :cdata:`PyExc_BaseException` | :exc:`BaseException` | \(1) | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 518 | +------------------------------------+----------------------------+----------+ |
| 519 | | :cdata:`PyExc_Exception` | :exc:`Exception` | \(1) | |
| 520 | +------------------------------------+----------------------------+----------+ |
| 521 | | :cdata:`PyExc_ArithmeticError` | :exc:`ArithmeticError` | \(1) | |
| 522 | +------------------------------------+----------------------------+----------+ |
| 523 | | :cdata:`PyExc_LookupError` | :exc:`LookupError` | \(1) | |
| 524 | +------------------------------------+----------------------------+----------+ |
| 525 | | :cdata:`PyExc_AssertionError` | :exc:`AssertionError` | | |
| 526 | +------------------------------------+----------------------------+----------+ |
| 527 | | :cdata:`PyExc_AttributeError` | :exc:`AttributeError` | | |
| 528 | +------------------------------------+----------------------------+----------+ |
| 529 | | :cdata:`PyExc_EOFError` | :exc:`EOFError` | | |
| 530 | +------------------------------------+----------------------------+----------+ |
| 531 | | :cdata:`PyExc_EnvironmentError` | :exc:`EnvironmentError` | \(1) | |
| 532 | +------------------------------------+----------------------------+----------+ |
| 533 | | :cdata:`PyExc_FloatingPointError` | :exc:`FloatingPointError` | | |
| 534 | +------------------------------------+----------------------------+----------+ |
| 535 | | :cdata:`PyExc_IOError` | :exc:`IOError` | | |
| 536 | +------------------------------------+----------------------------+----------+ |
| 537 | | :cdata:`PyExc_ImportError` | :exc:`ImportError` | | |
| 538 | +------------------------------------+----------------------------+----------+ |
| 539 | | :cdata:`PyExc_IndexError` | :exc:`IndexError` | | |
| 540 | +------------------------------------+----------------------------+----------+ |
| 541 | | :cdata:`PyExc_KeyError` | :exc:`KeyError` | | |
| 542 | +------------------------------------+----------------------------+----------+ |
| 543 | | :cdata:`PyExc_KeyboardInterrupt` | :exc:`KeyboardInterrupt` | | |
| 544 | +------------------------------------+----------------------------+----------+ |
| 545 | | :cdata:`PyExc_MemoryError` | :exc:`MemoryError` | | |
| 546 | +------------------------------------+----------------------------+----------+ |
| 547 | | :cdata:`PyExc_NameError` | :exc:`NameError` | | |
| 548 | +------------------------------------+----------------------------+----------+ |
| 549 | | :cdata:`PyExc_NotImplementedError` | :exc:`NotImplementedError` | | |
| 550 | +------------------------------------+----------------------------+----------+ |
| 551 | | :cdata:`PyExc_OSError` | :exc:`OSError` | | |
| 552 | +------------------------------------+----------------------------+----------+ |
| 553 | | :cdata:`PyExc_OverflowError` | :exc:`OverflowError` | | |
| 554 | +------------------------------------+----------------------------+----------+ |
| 555 | | :cdata:`PyExc_ReferenceError` | :exc:`ReferenceError` | \(2) | |
| 556 | +------------------------------------+----------------------------+----------+ |
| 557 | | :cdata:`PyExc_RuntimeError` | :exc:`RuntimeError` | | |
| 558 | +------------------------------------+----------------------------+----------+ |
| 559 | | :cdata:`PyExc_SyntaxError` | :exc:`SyntaxError` | | |
| 560 | +------------------------------------+----------------------------+----------+ |
| 561 | | :cdata:`PyExc_SystemError` | :exc:`SystemError` | | |
| 562 | +------------------------------------+----------------------------+----------+ |
| 563 | | :cdata:`PyExc_SystemExit` | :exc:`SystemExit` | | |
| 564 | +------------------------------------+----------------------------+----------+ |
| 565 | | :cdata:`PyExc_TypeError` | :exc:`TypeError` | | |
| 566 | +------------------------------------+----------------------------+----------+ |
| 567 | | :cdata:`PyExc_ValueError` | :exc:`ValueError` | | |
| 568 | +------------------------------------+----------------------------+----------+ |
| 569 | | :cdata:`PyExc_WindowsError` | :exc:`WindowsError` | \(3) | |
| 570 | +------------------------------------+----------------------------+----------+ |
| 571 | | :cdata:`PyExc_ZeroDivisionError` | :exc:`ZeroDivisionError` | | |
| 572 | +------------------------------------+----------------------------+----------+ |
| 573 | |
| 574 | .. index:: |
| 575 | single: PyExc_BaseException |
| 576 | single: PyExc_Exception |
| 577 | single: PyExc_ArithmeticError |
| 578 | single: PyExc_LookupError |
| 579 | single: PyExc_AssertionError |
| 580 | single: PyExc_AttributeError |
| 581 | single: PyExc_EOFError |
| 582 | single: PyExc_EnvironmentError |
| 583 | single: PyExc_FloatingPointError |
| 584 | single: PyExc_IOError |
| 585 | single: PyExc_ImportError |
| 586 | single: PyExc_IndexError |
| 587 | single: PyExc_KeyError |
| 588 | single: PyExc_KeyboardInterrupt |
| 589 | single: PyExc_MemoryError |
| 590 | single: PyExc_NameError |
| 591 | single: PyExc_NotImplementedError |
| 592 | single: PyExc_OSError |
| 593 | single: PyExc_OverflowError |
| 594 | single: PyExc_ReferenceError |
| 595 | single: PyExc_RuntimeError |
| 596 | single: PyExc_SyntaxError |
| 597 | single: PyExc_SystemError |
| 598 | single: PyExc_SystemExit |
| 599 | single: PyExc_TypeError |
| 600 | single: PyExc_ValueError |
| 601 | single: PyExc_WindowsError |
| 602 | single: PyExc_ZeroDivisionError |
| 603 | |
| 604 | Notes: |
| 605 | |
| 606 | (1) |
| 607 | This is a base class for other standard exceptions. |
| 608 | |
| 609 | (2) |
| 610 | This is the same as :exc:`weakref.ReferenceError`. |
| 611 | |
| 612 | (3) |
| 613 | Only defined on Windows; protect code that uses this by testing that the |
| 614 | preprocessor macro ``MS_WINDOWS`` is defined. |