blob: 025b75a70b2708b8495f3fba3cf99b200fec5bc1 [file] [log] [blame]
Georg Brandl8ec7f652007-08-15 14:28:01 +00001.. highlightlang:: c
2
3
4.. _exceptionhandling:
5
6******************
7Exception Handling
8******************
9
10The functions described in this chapter will let you handle and raise Python
11exceptions. It is important to understand some of the basics of Python
Sandro Tosi98ed08f2012-01-14 16:42:02 +010012exception handling. It works somewhat like the Unix :c:data:`errno` variable:
Georg Brandl8ec7f652007-08-15 14:28:01 +000013there is a global indicator (per thread) of the last error that occurred. Most
14functions don't clear this on success, but will set it to indicate the cause of
15the 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
Sandro Tosi98ed08f2012-01-14 16:42:02 +010017integer (exception: the :c:func:`PyArg_\*` functions return ``1`` for success and
Georg Brandl8ec7f652007-08-15 14:28:01 +000018``0`` for failure).
19
20When a function must fail because some function it called failed, it generally
21doesn't set the error indicator; the function it called already set it. It is
22responsible for either handling the error and clearing the exception or
23returning after cleaning up any resources it holds (such as object references or
24memory allocations); it should *not* continue normally if it is not prepared to
25handle the error. If returning due to an error, it is important to indicate to
26the caller that an error has been set. If the error is not handled or carefully
27propagated, additional calls into the Python/C API may not behave as intended
28and may fail in mysterious ways.
29
30.. index::
31 single: exc_type (in module sys)
32 single: exc_value (in module sys)
33 single: exc_traceback (in module sys)
34
35The error indicator consists of three Python objects corresponding to the
36Python variables ``sys.exc_type``, ``sys.exc_value`` and ``sys.exc_traceback``.
37API functions exist to interact with the error indicator in various ways. There
38is a separate error indicator for each thread.
39
Georg Brandlb19be572007-12-29 10:57:00 +000040.. XXX Order of these should be more thoughtful.
41 Either alphabetical or some kind of structure.
Georg Brandl8ec7f652007-08-15 14:28:01 +000042
43
Sandro Tosi98ed08f2012-01-14 16:42:02 +010044.. c:function:: void PyErr_PrintEx(int set_sys_last_vars)
Georg Brandl8ec7f652007-08-15 14:28:01 +000045
46 Print a standard traceback to ``sys.stderr`` and clear the error indicator.
47 Call this function only when the error indicator is set. (Otherwise it will
48 cause a fatal error!)
49
Georg Brandl3ceebd22009-02-05 11:23:47 +000050 If *set_sys_last_vars* is nonzero, the variables :data:`sys.last_type`,
51 :data:`sys.last_value` and :data:`sys.last_traceback` will be set to the
52 type, value and traceback of the printed exception, respectively.
53
54
Sandro Tosi98ed08f2012-01-14 16:42:02 +010055.. c:function:: void PyErr_Print()
Georg Brandl3ceebd22009-02-05 11:23:47 +000056
57 Alias for ``PyErr_PrintEx(1)``.
58
Georg Brandl8ec7f652007-08-15 14:28:01 +000059
Sandro Tosi98ed08f2012-01-14 16:42:02 +010060.. c:function:: PyObject* PyErr_Occurred()
Georg Brandl8ec7f652007-08-15 14:28:01 +000061
62 Test whether the error indicator is set. If set, return the exception *type*
Sandro Tosi98ed08f2012-01-14 16:42:02 +010063 (the first argument to the last call to one of the :c:func:`PyErr_Set\*`
64 functions or to :c:func:`PyErr_Restore`). If not set, return *NULL*. You do not
65 own a reference to the return value, so you do not need to :c:func:`Py_DECREF`
Georg Brandl8ec7f652007-08-15 14:28:01 +000066 it.
67
68 .. note::
69
70 Do not compare the return value to a specific exception; use
Sandro Tosi98ed08f2012-01-14 16:42:02 +010071 :c:func:`PyErr_ExceptionMatches` instead, shown below. (The comparison could
Georg Brandl8ec7f652007-08-15 14:28:01 +000072 easily fail since the exception may be an instance instead of a class, in the
73 case of a class exception, or it may the a subclass of the expected exception.)
74
75
Sandro Tosi98ed08f2012-01-14 16:42:02 +010076.. c:function:: int PyErr_ExceptionMatches(PyObject *exc)
Georg Brandl8ec7f652007-08-15 14:28:01 +000077
78 Equivalent to ``PyErr_GivenExceptionMatches(PyErr_Occurred(), exc)``. This
79 should only be called when an exception is actually set; a memory access
80 violation will occur if no exception has been raised.
81
82
Sandro Tosi98ed08f2012-01-14 16:42:02 +010083.. c:function:: int PyErr_GivenExceptionMatches(PyObject *given, PyObject *exc)
Georg Brandl8ec7f652007-08-15 14:28:01 +000084
Benjamin Peterson80b59052008-12-28 21:16:07 +000085 Return true if the *given* exception matches the exception in *exc*. If
86 *exc* is a class object, this also returns true when *given* is an instance
87 of a subclass. If *exc* is a tuple, all exceptions in the tuple (and
88 recursively in subtuples) are searched for a match.
Georg Brandl8ec7f652007-08-15 14:28:01 +000089
90
Sandro Tosi98ed08f2012-01-14 16:42:02 +010091.. c:function:: void PyErr_NormalizeException(PyObject**exc, PyObject**val, PyObject**tb)
Georg Brandl8ec7f652007-08-15 14:28:01 +000092
Sandro Tosi98ed08f2012-01-14 16:42:02 +010093 Under certain circumstances, the values returned by :c:func:`PyErr_Fetch` below
Georg Brandl8ec7f652007-08-15 14:28:01 +000094 can be "unnormalized", meaning that ``*exc`` is a class object but ``*val`` is
95 not an instance of the same class. This function can be used to instantiate
96 the class in that case. If the values are already normalized, nothing happens.
97 The delayed normalization is implemented to improve performance.
98
99
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100100.. c:function:: void PyErr_Clear()
Georg Brandl8ec7f652007-08-15 14:28:01 +0000101
102 Clear the error indicator. If the error indicator is not set, there is no
103 effect.
104
105
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100106.. c:function:: void PyErr_Fetch(PyObject **ptype, PyObject **pvalue, PyObject **ptraceback)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000107
108 Retrieve the error indicator into three variables whose addresses are passed.
109 If the error indicator is not set, set all three variables to *NULL*. If it is
110 set, it will be cleared and you own a reference to each object retrieved. The
111 value and traceback object may be *NULL* even when the type object is not.
112
113 .. note::
114
115 This function is normally only used by code that needs to handle exceptions or
116 by code that needs to save and restore the error indicator temporarily.
117
118
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100119.. c:function:: void PyErr_Restore(PyObject *type, PyObject *value, PyObject *traceback)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000120
121 Set the error indicator from the three objects. If the error indicator is
122 already set, it is cleared first. If the objects are *NULL*, the error
123 indicator is cleared. Do not pass a *NULL* type and non-*NULL* value or
124 traceback. The exception type should be a class. Do not pass an invalid
125 exception type or value. (Violating these rules will cause subtle problems
126 later.) This call takes away a reference to each object: you must own a
127 reference to each object before the call and after the call you no longer own
128 these references. (If you don't understand this, don't use this function. I
129 warned you.)
130
131 .. note::
132
133 This function is normally only used by code that needs to save and restore the
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100134 error indicator temporarily; use :c:func:`PyErr_Fetch` to save the current
Georg Brandl8ec7f652007-08-15 14:28:01 +0000135 exception state.
136
137
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100138.. c:function:: void PyErr_SetString(PyObject *type, const char *message)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000139
140 This is the most common way to set the error indicator. The first argument
141 specifies the exception type; it is normally one of the standard exceptions,
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100142 e.g. :c:data:`PyExc_RuntimeError`. You need not increment its reference count.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000143 The second argument is an error message; it is converted to a string object.
144
145
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100146.. c:function:: void PyErr_SetObject(PyObject *type, PyObject *value)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000147
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100148 This function is similar to :c:func:`PyErr_SetString` but lets you specify an
Georg Brandl8ec7f652007-08-15 14:28:01 +0000149 arbitrary Python object for the "value" of the exception.
150
151
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100152.. c:function:: PyObject* PyErr_Format(PyObject *exception, const char *format, ...)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000153
Antoine Pitroua8bfed52010-11-27 21:01:36 +0000154 This function sets the error indicator and returns *NULL*. *exception*
155 should be a Python exception class. The *format* and subsequent
156 parameters help format the error message; they have the same meaning and
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100157 values as in :c:func:`PyString_FromFormat`.
Mark Dickinson82864d12009-11-15 16:18:58 +0000158
Georg Brandl8ec7f652007-08-15 14:28:01 +0000159
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100160.. c:function:: void PyErr_SetNone(PyObject *type)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000161
162 This is a shorthand for ``PyErr_SetObject(type, Py_None)``.
163
164
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100165.. c:function:: int PyErr_BadArgument()
Georg Brandl8ec7f652007-08-15 14:28:01 +0000166
167 This is a shorthand for ``PyErr_SetString(PyExc_TypeError, message)``, where
168 *message* indicates that a built-in operation was invoked with an illegal
169 argument. It is mostly for internal use.
170
171
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100172.. c:function:: PyObject* PyErr_NoMemory()
Georg Brandl8ec7f652007-08-15 14:28:01 +0000173
174 This is a shorthand for ``PyErr_SetNone(PyExc_MemoryError)``; it returns *NULL*
175 so an object allocation function can write ``return PyErr_NoMemory();`` when it
176 runs out of memory.
177
178
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100179.. c:function:: PyObject* PyErr_SetFromErrno(PyObject *type)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000180
181 .. index:: single: strerror()
182
183 This is a convenience function to raise an exception when a C library function
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100184 has returned an error and set the C variable :c:data:`errno`. It constructs a
185 tuple object whose first item is the integer :c:data:`errno` value and whose
186 second item is the corresponding error message (gotten from :c:func:`strerror`),
Georg Brandl8ec7f652007-08-15 14:28:01 +0000187 and then calls ``PyErr_SetObject(type, object)``. On Unix, when the
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100188 :c:data:`errno` value is :const:`EINTR`, indicating an interrupted system call,
189 this calls :c:func:`PyErr_CheckSignals`, and if that set the error indicator,
Georg Brandl8ec7f652007-08-15 14:28:01 +0000190 leaves it set to that. The function always returns *NULL*, so a wrapper
191 function around a system call can write ``return PyErr_SetFromErrno(type);``
192 when the system call returns an error.
193
194
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100195.. c:function:: PyObject* PyErr_SetFromErrnoWithFilename(PyObject *type, const char *filename)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000196
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100197 Similar to :c:func:`PyErr_SetFromErrno`, with the additional behavior that if
Georg Brandl8ec7f652007-08-15 14:28:01 +0000198 *filename* is not *NULL*, it is passed to the constructor of *type* as a third
199 parameter. In the case of exceptions such as :exc:`IOError` and :exc:`OSError`,
200 this is used to define the :attr:`filename` attribute of the exception instance.
201
202
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100203.. c:function:: PyObject* PyErr_SetFromWindowsErr(int ierr)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000204
205 This is a convenience function to raise :exc:`WindowsError`. If called with
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100206 *ierr* of :c:data:`0`, the error code returned by a call to :c:func:`GetLastError`
207 is used instead. It calls the Win32 function :c:func:`FormatMessage` to retrieve
208 the Windows description of error code given by *ierr* or :c:func:`GetLastError`,
Georg Brandl8ec7f652007-08-15 14:28:01 +0000209 then it constructs a tuple object whose first item is the *ierr* value and whose
210 second item is the corresponding error message (gotten from
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100211 :c:func:`FormatMessage`), and then calls ``PyErr_SetObject(PyExc_WindowsError,
Georg Brandl8ec7f652007-08-15 14:28:01 +0000212 object)``. This function always returns *NULL*. Availability: Windows.
213
214
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100215.. c:function:: PyObject* PyErr_SetExcFromWindowsErr(PyObject *type, int ierr)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000216
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100217 Similar to :c:func:`PyErr_SetFromWindowsErr`, with an additional parameter
Georg Brandl8ec7f652007-08-15 14:28:01 +0000218 specifying the exception type to be raised. Availability: Windows.
219
220 .. versionadded:: 2.3
221
222
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100223.. c:function:: PyObject* PyErr_SetFromWindowsErrWithFilename(int ierr, const char *filename)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000224
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100225 Similar to :c:func:`PyErr_SetFromWindowsErr`, with the additional behavior that
Georg Brandl8ec7f652007-08-15 14:28:01 +0000226 if *filename* is not *NULL*, it is passed to the constructor of
227 :exc:`WindowsError` as a third parameter. Availability: Windows.
228
229
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100230.. c:function:: PyObject* PyErr_SetExcFromWindowsErrWithFilename(PyObject *type, int ierr, char *filename)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000231
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100232 Similar to :c:func:`PyErr_SetFromWindowsErrWithFilename`, with an additional
Georg Brandl8ec7f652007-08-15 14:28:01 +0000233 parameter specifying the exception type to be raised. Availability: Windows.
234
235 .. versionadded:: 2.3
236
237
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100238.. c:function:: void PyErr_BadInternalCall()
Georg Brandl8ec7f652007-08-15 14:28:01 +0000239
Benjamin Peterson0ef803f2009-01-31 16:52:03 +0000240 This is a shorthand for ``PyErr_SetString(PyExc_SystemError, message)``,
241 where *message* indicates that an internal operation (e.g. a Python/C API
242 function) was invoked with an illegal argument. It is mostly for internal
243 use.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000244
245
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100246.. c:function:: int PyErr_WarnEx(PyObject *category, char *message, int stacklevel)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000247
248 Issue a warning message. The *category* argument is a warning category (see
249 below) or *NULL*; the *message* argument is a message string. *stacklevel* is a
250 positive number giving a number of stack frames; the warning will be issued from
251 the currently executing line of code in that stack frame. A *stacklevel* of 1
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100252 is the function calling :c:func:`PyErr_WarnEx`, 2 is the function above that,
Georg Brandl8ec7f652007-08-15 14:28:01 +0000253 and so forth.
254
255 This function normally prints a warning message to *sys.stderr*; however, it is
256 also possible that the user has specified that warnings are to be turned into
257 errors, and in that case this will raise an exception. It is also possible that
258 the function raises an exception because of a problem with the warning machinery
259 (the implementation imports the :mod:`warnings` module to do the heavy lifting).
260 The return value is ``0`` if no exception is raised, or ``-1`` if an exception
261 is raised. (It is not possible to determine whether a warning message is
262 actually printed, nor what the reason is for the exception; this is
263 intentional.) If an exception is raised, the caller should do its normal
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100264 exception handling (for example, :c:func:`Py_DECREF` owned references and return
Georg Brandl8ec7f652007-08-15 14:28:01 +0000265 an error value).
266
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100267 Warning categories must be subclasses of :c:data:`Warning`; the default warning
268 category is :c:data:`RuntimeWarning`. The standard Python warning categories are
Georg Brandl8ec7f652007-08-15 14:28:01 +0000269 available as global variables whose names are ``PyExc_`` followed by the Python
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100270 exception name. These have the type :c:type:`PyObject\*`; they are all class
271 objects. Their names are :c:data:`PyExc_Warning`, :c:data:`PyExc_UserWarning`,
272 :c:data:`PyExc_UnicodeWarning`, :c:data:`PyExc_DeprecationWarning`,
273 :c:data:`PyExc_SyntaxWarning`, :c:data:`PyExc_RuntimeWarning`, and
274 :c:data:`PyExc_FutureWarning`. :c:data:`PyExc_Warning` is a subclass of
275 :c:data:`PyExc_Exception`; the other warning categories are subclasses of
276 :c:data:`PyExc_Warning`.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000277
278 For information about warning control, see the documentation for the
279 :mod:`warnings` module and the :option:`-W` option in the command line
280 documentation. There is no C API for warning control.
281
282
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100283.. c:function:: int PyErr_Warn(PyObject *category, char *message)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000284
285 Issue a warning message. The *category* argument is a warning category (see
286 below) or *NULL*; the *message* argument is a message string. The warning will
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100287 appear to be issued from the function calling :c:func:`PyErr_Warn`, equivalent to
288 calling :c:func:`PyErr_WarnEx` with a *stacklevel* of 1.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000289
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100290 Deprecated; use :c:func:`PyErr_WarnEx` instead.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000291
292
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100293.. c:function:: int PyErr_WarnExplicit(PyObject *category, const char *message, const char *filename, int lineno, const char *module, PyObject *registry)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000294
295 Issue a warning message with explicit control over all warning attributes. This
296 is a straightforward wrapper around the Python function
297 :func:`warnings.warn_explicit`, see there for more information. The *module*
298 and *registry* arguments may be set to *NULL* to get the default effect
299 described there.
300
301
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100302.. c:function:: int PyErr_WarnPy3k(char *message, int stacklevel)
Benjamin Petersona692c4d2008-04-27 02:28:02 +0000303
304 Issue a :exc:`DeprecationWarning` with the given *message* and *stacklevel*
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100305 if the :c:data:`Py_Py3kWarningFlag` flag is enabled.
Benjamin Petersona692c4d2008-04-27 02:28:02 +0000306
307 .. versionadded:: 2.6
308
309
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100310.. c:function:: int PyErr_CheckSignals()
Georg Brandl8ec7f652007-08-15 14:28:01 +0000311
312 .. index::
313 module: signal
314 single: SIGINT
315 single: KeyboardInterrupt (built-in exception)
316
317 This function interacts with Python's signal handling. It checks whether a
318 signal has been sent to the processes and if so, invokes the corresponding
319 signal handler. If the :mod:`signal` module is supported, this can invoke a
320 signal handler written in Python. In all cases, the default effect for
321 :const:`SIGINT` is to raise the :exc:`KeyboardInterrupt` exception. If an
322 exception is raised the error indicator is set and the function returns ``-1``;
323 otherwise the function returns ``0``. The error indicator may or may not be
324 cleared if it was previously set.
325
326
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100327.. c:function:: void PyErr_SetInterrupt()
Georg Brandl8ec7f652007-08-15 14:28:01 +0000328
329 .. index::
330 single: SIGINT
331 single: KeyboardInterrupt (built-in exception)
332
333 This function simulates the effect of a :const:`SIGINT` signal arriving --- the
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100334 next time :c:func:`PyErr_CheckSignals` is called, :exc:`KeyboardInterrupt` will
Georg Brandl8ec7f652007-08-15 14:28:01 +0000335 be raised. It may be called without holding the interpreter lock.
336
337 .. % XXX This was described as obsolete, but is used in
338 .. % thread.interrupt_main() (used from IDLE), so it's still needed.
339
340
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100341.. c:function:: int PySignal_SetWakeupFd(int fd)
Guido van Rossum02de8972007-12-19 19:41:06 +0000342
343 This utility function specifies a file descriptor to which a ``'\0'`` byte will
344 be written whenever a signal is received. It returns the previous such file
345 descriptor. The value ``-1`` disables the feature; this is the initial state.
346 This is equivalent to :func:`signal.set_wakeup_fd` in Python, but without any
347 error checking. *fd* should be a valid file descriptor. The function should
348 only be called from the main thread.
349
Victor Stinner059061a2011-04-18 16:34:31 +0200350 .. versionadded:: 2.6
351
Guido van Rossum02de8972007-12-19 19:41:06 +0000352
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100353.. c:function:: PyObject* PyErr_NewException(char *name, PyObject *base, PyObject *dict)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000354
Georg Brandlfbe84d92011-07-13 15:59:24 +0200355 This utility function creates and returns a new exception class. The *name*
Georg Brandl8ec7f652007-08-15 14:28:01 +0000356 argument must be the name of the new exception, a C string of the form
Georg Brandlfbe84d92011-07-13 15:59:24 +0200357 ``module.classname``. The *base* and *dict* arguments are normally *NULL*.
358 This creates a class object derived from :exc:`Exception` (accessible in C as
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100359 :c:data:`PyExc_Exception`).
Georg Brandl8ec7f652007-08-15 14:28:01 +0000360
361 The :attr:`__module__` attribute of the new class is set to the first part (up
362 to the last dot) of the *name* argument, and the class name is set to the last
363 part (after the last dot). The *base* argument can be used to specify alternate
364 base classes; it can either be only one class or a tuple of classes. The *dict*
365 argument can be used to specify a dictionary of class variables and methods.
366
367
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100368.. c:function:: PyObject* PyErr_NewExceptionWithDoc(char *name, char *doc, PyObject *base, PyObject *dict)
Georg Brandl740cdc32009-12-28 08:34:58 +0000369
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100370 Same as :c:func:`PyErr_NewException`, except that the new exception class can
Georg Brandl740cdc32009-12-28 08:34:58 +0000371 easily be given a docstring: If *doc* is non-*NULL*, it will be used as the
372 docstring for the exception class.
373
374 .. versionadded:: 2.7
375
376
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100377.. c:function:: void PyErr_WriteUnraisable(PyObject *obj)
Georg Brandl8ec7f652007-08-15 14:28:01 +0000378
379 This utility function prints a warning message to ``sys.stderr`` when an
380 exception has been set but it is impossible for the interpreter to actually
381 raise the exception. It is used, for example, when an exception occurs in an
382 :meth:`__del__` method.
383
384 The function is called with a single argument *obj* that identifies the context
385 in which the unraisable exception occurred. The repr of *obj* will be printed in
386 the warning message.
387
388
Georg Brandlb7276502010-11-26 08:28:05 +0000389.. _unicodeexceptions:
390
391Unicode Exception Objects
392=========================
393
394The following functions are used to create and modify Unicode exceptions from C.
395
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100396.. c:function:: PyObject* PyUnicodeDecodeError_Create(const char *encoding, const char *object, Py_ssize_t length, Py_ssize_t start, Py_ssize_t end, const char *reason)
Georg Brandlb7276502010-11-26 08:28:05 +0000397
398 Create a :class:`UnicodeDecodeError` object with the attributes *encoding*,
399 *object*, *length*, *start*, *end* and *reason*.
400
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100401.. c:function:: PyObject* PyUnicodeEncodeError_Create(const char *encoding, const Py_UNICODE *object, Py_ssize_t length, Py_ssize_t start, Py_ssize_t end, const char *reason)
Georg Brandlb7276502010-11-26 08:28:05 +0000402
403 Create a :class:`UnicodeEncodeError` object with the attributes *encoding*,
404 *object*, *length*, *start*, *end* and *reason*.
405
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100406.. c:function:: PyObject* PyUnicodeTranslateError_Create(const Py_UNICODE *object, Py_ssize_t length, Py_ssize_t start, Py_ssize_t end, const char *reason)
Georg Brandlb7276502010-11-26 08:28:05 +0000407
408 Create a :class:`UnicodeTranslateError` object with the attributes *object*,
409 *length*, *start*, *end* and *reason*.
410
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100411.. c:function:: PyObject* PyUnicodeDecodeError_GetEncoding(PyObject *exc)
Georg Brandlb7276502010-11-26 08:28:05 +0000412 PyObject* PyUnicodeEncodeError_GetEncoding(PyObject *exc)
413
414 Return the *encoding* attribute of the given exception object.
415
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100416.. c:function:: PyObject* PyUnicodeDecodeError_GetObject(PyObject *exc)
Georg Brandlb7276502010-11-26 08:28:05 +0000417 PyObject* PyUnicodeEncodeError_GetObject(PyObject *exc)
418 PyObject* PyUnicodeTranslateError_GetObject(PyObject *exc)
419
420 Return the *object* attribute of the given exception object.
421
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100422.. c:function:: int PyUnicodeDecodeError_GetStart(PyObject *exc, Py_ssize_t *start)
Georg Brandlb7276502010-11-26 08:28:05 +0000423 int PyUnicodeEncodeError_GetStart(PyObject *exc, Py_ssize_t *start)
424 int PyUnicodeTranslateError_GetStart(PyObject *exc, Py_ssize_t *start)
425
426 Get the *start* attribute of the given exception object and place it into
427 *\*start*. *start* must not be *NULL*. Return ``0`` on success, ``-1`` on
428 failure.
429
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100430.. c:function:: int PyUnicodeDecodeError_SetStart(PyObject *exc, Py_ssize_t start)
Georg Brandlb7276502010-11-26 08:28:05 +0000431 int PyUnicodeEncodeError_SetStart(PyObject *exc, Py_ssize_t start)
432 int PyUnicodeTranslateError_SetStart(PyObject *exc, Py_ssize_t start)
433
434 Set the *start* attribute of the given exception object to *start*. Return
435 ``0`` on success, ``-1`` on failure.
436
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100437.. c:function:: int PyUnicodeDecodeError_GetEnd(PyObject *exc, Py_ssize_t *end)
Georg Brandlb7276502010-11-26 08:28:05 +0000438 int PyUnicodeEncodeError_GetEnd(PyObject *exc, Py_ssize_t *end)
439 int PyUnicodeTranslateError_GetEnd(PyObject *exc, Py_ssize_t *end)
440
441 Get the *end* attribute of the given exception object and place it into
442 *\*end*. *end* must not be *NULL*. Return ``0`` on success, ``-1`` on
443 failure.
444
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100445.. c:function:: int PyUnicodeDecodeError_SetEnd(PyObject *exc, Py_ssize_t end)
Georg Brandlb7276502010-11-26 08:28:05 +0000446 int PyUnicodeEncodeError_SetEnd(PyObject *exc, Py_ssize_t end)
447 int PyUnicodeTranslateError_SetEnd(PyObject *exc, Py_ssize_t end)
448
449 Set the *end* attribute of the given exception object to *end*. Return ``0``
450 on success, ``-1`` on failure.
451
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100452.. c:function:: PyObject* PyUnicodeDecodeError_GetReason(PyObject *exc)
Georg Brandlb7276502010-11-26 08:28:05 +0000453 PyObject* PyUnicodeEncodeError_GetReason(PyObject *exc)
454 PyObject* PyUnicodeTranslateError_GetReason(PyObject *exc)
455
456 Return the *reason* attribute of the given exception object.
457
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100458.. c:function:: int PyUnicodeDecodeError_SetReason(PyObject *exc, const char *reason)
Georg Brandlb7276502010-11-26 08:28:05 +0000459 int PyUnicodeEncodeError_SetReason(PyObject *exc, const char *reason)
460 int PyUnicodeTranslateError_SetReason(PyObject *exc, const char *reason)
461
462 Set the *reason* attribute of the given exception object to *reason*. Return
463 ``0`` on success, ``-1`` on failure.
464
465
Georg Brandl0d4bfec2010-03-07 21:32:06 +0000466Recursion Control
467=================
468
469These two functions provide a way to perform safe recursive calls at the C
470level, both in the core and in extension modules. They are needed if the
471recursive code does not necessarily invoke Python code (which tracks its
472recursion depth automatically).
473
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100474.. c:function:: int Py_EnterRecursiveCall(char *where)
Georg Brandl0d4bfec2010-03-07 21:32:06 +0000475
476 Marks a point where a recursive C-level call is about to be performed.
477
Ezio Melotti1e87da12011-10-19 10:39:35 +0300478 If :const:`USE_STACKCHECK` is defined, this function checks if the OS
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100479 stack overflowed using :c:func:`PyOS_CheckStack`. In this is the case, it
Georg Brandl0d4bfec2010-03-07 21:32:06 +0000480 sets a :exc:`MemoryError` and returns a nonzero value.
481
482 The function then checks if the recursion limit is reached. If this is the
483 case, a :exc:`RuntimeError` is set and a nonzero value is returned.
484 Otherwise, zero is returned.
485
486 *where* should be a string such as ``" in instance check"`` to be
487 concatenated to the :exc:`RuntimeError` message caused by the recursion depth
488 limit.
489
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100490.. c:function:: void Py_LeaveRecursiveCall()
Georg Brandl0d4bfec2010-03-07 21:32:06 +0000491
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100492 Ends a :c:func:`Py_EnterRecursiveCall`. Must be called once for each
493 *successful* invocation of :c:func:`Py_EnterRecursiveCall`.
Georg Brandl0d4bfec2010-03-07 21:32:06 +0000494
495
Georg Brandl8ec7f652007-08-15 14:28:01 +0000496.. _standardexceptions:
497
498Standard Exceptions
499===================
500
501All standard Python exceptions are available as global variables whose names are
502``PyExc_`` followed by the Python exception name. These have the type
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100503:c:type:`PyObject\*`; they are all class objects. For completeness, here are all
Georg Brandl8ec7f652007-08-15 14:28:01 +0000504the variables:
505
Sandro Tosi98ed08f2012-01-14 16:42:02 +0100506+-------------------------------------+----------------------------+----------+
507| C Name | Python Name | Notes |
508+=====================================+============================+==========+
509| :c:data:`PyExc_BaseException` | :exc:`BaseException` | (1), (4) |
510+-------------------------------------+----------------------------+----------+
511| :c:data:`PyExc_Exception` | :exc:`Exception` | \(1) |
512+-------------------------------------+----------------------------+----------+
513| :c:data:`PyExc_StandardError` | :exc:`StandardError` | \(1) |
514+-------------------------------------+----------------------------+----------+
515| :c:data:`PyExc_ArithmeticError` | :exc:`ArithmeticError` | \(1) |
516+-------------------------------------+----------------------------+----------+
517| :c:data:`PyExc_LookupError` | :exc:`LookupError` | \(1) |
518+-------------------------------------+----------------------------+----------+
519| :c:data:`PyExc_AssertionError` | :exc:`AssertionError` | |
520+-------------------------------------+----------------------------+----------+
521| :c:data:`PyExc_AttributeError` | :exc:`AttributeError` | |
522+-------------------------------------+----------------------------+----------+
523| :c:data:`PyExc_EOFError` | :exc:`EOFError` | |
524+-------------------------------------+----------------------------+----------+
525| :c:data:`PyExc_EnvironmentError` | :exc:`EnvironmentError` | \(1) |
526+-------------------------------------+----------------------------+----------+
527| :c:data:`PyExc_FloatingPointError` | :exc:`FloatingPointError` | |
528+-------------------------------------+----------------------------+----------+
529| :c:data:`PyExc_IOError` | :exc:`IOError` | |
530+-------------------------------------+----------------------------+----------+
531| :c:data:`PyExc_ImportError` | :exc:`ImportError` | |
532+-------------------------------------+----------------------------+----------+
533| :c:data:`PyExc_IndexError` | :exc:`IndexError` | |
534+-------------------------------------+----------------------------+----------+
535| :c:data:`PyExc_KeyError` | :exc:`KeyError` | |
536+-------------------------------------+----------------------------+----------+
537| :c:data:`PyExc_KeyboardInterrupt` | :exc:`KeyboardInterrupt` | |
538+-------------------------------------+----------------------------+----------+
539| :c:data:`PyExc_MemoryError` | :exc:`MemoryError` | |
540+-------------------------------------+----------------------------+----------+
541| :c:data:`PyExc_NameError` | :exc:`NameError` | |
542+-------------------------------------+----------------------------+----------+
543| :c:data:`PyExc_NotImplementedError` | :exc:`NotImplementedError` | |
544+-------------------------------------+----------------------------+----------+
545| :c:data:`PyExc_OSError` | :exc:`OSError` | |
546+-------------------------------------+----------------------------+----------+
547| :c:data:`PyExc_OverflowError` | :exc:`OverflowError` | |
548+-------------------------------------+----------------------------+----------+
549| :c:data:`PyExc_ReferenceError` | :exc:`ReferenceError` | \(2) |
550+-------------------------------------+----------------------------+----------+
551| :c:data:`PyExc_RuntimeError` | :exc:`RuntimeError` | |
552+-------------------------------------+----------------------------+----------+
553| :c:data:`PyExc_SyntaxError` | :exc:`SyntaxError` | |
554+-------------------------------------+----------------------------+----------+
555| :c:data:`PyExc_SystemError` | :exc:`SystemError` | |
556+-------------------------------------+----------------------------+----------+
557| :c:data:`PyExc_SystemExit` | :exc:`SystemExit` | |
558+-------------------------------------+----------------------------+----------+
559| :c:data:`PyExc_TypeError` | :exc:`TypeError` | |
560+-------------------------------------+----------------------------+----------+
561| :c:data:`PyExc_ValueError` | :exc:`ValueError` | |
562+-------------------------------------+----------------------------+----------+
563| :c:data:`PyExc_WindowsError` | :exc:`WindowsError` | \(3) |
564+-------------------------------------+----------------------------+----------+
565| :c:data:`PyExc_ZeroDivisionError` | :exc:`ZeroDivisionError` | |
566+-------------------------------------+----------------------------+----------+
Georg Brandl8ec7f652007-08-15 14:28:01 +0000567
568.. index::
569 single: PyExc_BaseException
570 single: PyExc_Exception
571 single: PyExc_StandardError
572 single: PyExc_ArithmeticError
573 single: PyExc_LookupError
574 single: PyExc_AssertionError
575 single: PyExc_AttributeError
576 single: PyExc_EOFError
577 single: PyExc_EnvironmentError
578 single: PyExc_FloatingPointError
579 single: PyExc_IOError
580 single: PyExc_ImportError
581 single: PyExc_IndexError
582 single: PyExc_KeyError
583 single: PyExc_KeyboardInterrupt
584 single: PyExc_MemoryError
585 single: PyExc_NameError
586 single: PyExc_NotImplementedError
587 single: PyExc_OSError
588 single: PyExc_OverflowError
589 single: PyExc_ReferenceError
590 single: PyExc_RuntimeError
591 single: PyExc_SyntaxError
592 single: PyExc_SystemError
593 single: PyExc_SystemExit
594 single: PyExc_TypeError
595 single: PyExc_ValueError
596 single: PyExc_WindowsError
597 single: PyExc_ZeroDivisionError
598
599Notes:
600
601(1)
602 This is a base class for other standard exceptions.
603
604(2)
605 This is the same as :exc:`weakref.ReferenceError`.
606
607(3)
608 Only defined on Windows; protect code that uses this by testing that the
609 preprocessor macro ``MS_WINDOWS`` is defined.
610
611(4)
612 .. versionadded:: 2.5
613
614
Georg Brandl26826612011-02-25 11:19:59 +0000615String Exceptions
616=================
Georg Brandl8ec7f652007-08-15 14:28:01 +0000617
Georg Brandl26826612011-02-25 11:19:59 +0000618.. versionchanged:: 2.6
619 All exceptions to be raised or caught must be derived from :exc:`BaseException`.
620 Trying to raise a string exception now raises :exc:`TypeError`.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000621