blob: 6f2f134d4407d359c24dddb9c138a1d359c0e354 [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001/***********************************************************
Guido van Rossum6d023c91995-01-04 19:12:13 +00002Copyright 1991-1995 by Stichting Mathematisch Centrum, Amsterdam,
3The Netherlands.
Guido van Rossumf70e43a1991-02-19 12:39:46 +00004
5 All Rights Reserved
6
7Permission to use, copy, modify, and distribute this software and its
8documentation for any purpose and without fee is hereby granted,
9provided that the above copyright notice appear in all copies and that
10both that copyright notice and this permission notice appear in
11supporting documentation, and that the names of Stichting Mathematisch
12Centrum or CWI not be used in advertising or publicity pertaining to
13distribution of the software without specific, written prior permission.
14
15STICHTING MATHEMATISCH CENTRUM DISCLAIMS ALL WARRANTIES WITH REGARD TO
16THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
17FITNESS, IN NO EVENT SHALL STICHTING MATHEMATISCH CENTRUM BE LIABLE
18FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
19WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
20ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
21OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
22
23******************************************************************/
24
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000025/* Error handling -- see also run.c */
26
27/* New error handling interface.
28
29 The following problem exists (existed): methods of built-in modules
30 are called with 'self' and 'args' arguments, but without a context
31 argument, so they have no way to raise a specific exception.
32 The same is true for the object implementations: no context argument.
33 The old convention was to set 'errno' and to return NULL.
34 The caller (usually call_function() in eval.c) detects the NULL
35 return value and then calls puterrno(ctx) to turn the errno value
36 into a true exception. Problems with this approach are:
37 - it used standard errno values to indicate Python-specific errors,
Guido van Rossum3f5da241990-12-20 15:06:42 +000038 but this means that when such an error code is reported by a system
39 call (e.g., in module posix), the user gets a confusing message
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000040 - errno is a global variable, which makes extensions to a multi-
41 threading environment difficult; e.g., in IRIX, multi-threaded
Guido van Rossum3f5da241990-12-20 15:06:42 +000042 programs must use the function oserror() instead of looking in errno
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000043 - there is no portable way to add new error numbers for specic
44 situations -- the value space for errno is reserved to the OS, yet
45 the way to turn module-specific errors into a module-specific
46 exception requires module-specific values for errno
47 - there is no way to add a more situation-specific message to an
48 error.
49
50 The new interface solves all these problems. To return an error, a
Guido van Rossum3f5da241990-12-20 15:06:42 +000051 built-in function calls err_set(exception), err_setval(exception,
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000052 value) or err_setstr(exception, string), and returns NULL. These
53 functions save the value for later use by puterrno(). To adapt this
54 scheme to a multi-threaded environment, only the implementation of
55 err_setval() has to be changed.
56*/
57
Guido van Rossum3f5da241990-12-20 15:06:42 +000058#include "allobjects.h"
Guido van Rossum6989e541994-09-29 09:39:39 +000059#include "traceback.h"
Guido van Rossum3f5da241990-12-20 15:06:42 +000060
Guido van Rossumf22120a1990-12-20 23:05:40 +000061#include <errno.h>
Guido van Rossumf22120a1990-12-20 23:05:40 +000062
Guido van Rossume9fbc091995-02-18 14:52:19 +000063#ifdef __CFM68K__
64#pragma lib_export on
65#endif
66
Jack Jansen8fd2d941994-12-14 12:54:54 +000067#ifdef macintosh
Guido van Rossume9fbc091995-02-18 14:52:19 +000068/* Replace strerror with a Mac specific routine.
69 XXX PROBLEM: some positive errors have a meaning for MacOS,
70 but some library routines set Unix error numbers...
Jack Jansen8fd2d941994-12-14 12:54:54 +000071*/
Guido van Rossum53e8d441995-03-09 12:11:31 +000072extern char *PyMac_StrError PROTO((int));
Jack Jansen5ef86d51995-01-19 12:16:44 +000073#undef strerror
Guido van Rossume9fbc091995-02-18 14:52:19 +000074#define strerror PyMac_StrError
75#endif /* macintosh */
76
Guido van Rossum53e8d441995-03-09 12:11:31 +000077#ifndef __STDC__
Guido van Rossumf5401bd1990-11-02 17:50:28 +000078extern char *strerror PROTO((int));
Guido van Rossum53e8d441995-03-09 12:11:31 +000079#endif
Guido van Rossumf5401bd1990-11-02 17:50:28 +000080
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000081/* Last exception stored by err_setval() */
82
83static object *last_exception;
84static object *last_exc_val;
85
86void
Guido van Rossum1ae940a1995-01-02 19:04:15 +000087err_restore(exception, value, traceback)
88 object *exception;
89 object *value;
90 object *traceback;
91{
92 err_clear();
93
94 last_exception = exception;
95 last_exc_val = value;
96 (void) tb_store(traceback);
97 XDECREF(traceback);
98}
99
100void
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000101err_setval(exception, value)
102 object *exception;
103 object *value;
104{
Guido van Rossum3f5da241990-12-20 15:06:42 +0000105 XINCREF(exception);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000106 XINCREF(value);
Guido van Rossum1ae940a1995-01-02 19:04:15 +0000107 err_restore(exception, value, (object *)NULL);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000108}
109
110void
111err_set(exception)
112 object *exception;
113{
114 err_setval(exception, (object *)NULL);
115}
116
117void
118err_setstr(exception, string)
119 object *exception;
120 char *string;
121{
122 object *value = newstringobject(string);
123 err_setval(exception, value);
Guido van Rossum3f5da241990-12-20 15:06:42 +0000124 XDECREF(value);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000125}
126
Guido van Rossum3a241811994-08-29 12:14:12 +0000127
128object *
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000129err_occurred()
130{
Guido van Rossum3a241811994-08-29 12:14:12 +0000131 return last_exception;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000132}
133
134void
Guido van Rossum1ae940a1995-01-02 19:04:15 +0000135err_fetch(p_exc, p_val, p_tb)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000136 object **p_exc;
137 object **p_val;
Guido van Rossum1ae940a1995-01-02 19:04:15 +0000138 object **p_tb;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000139{
140 *p_exc = last_exception;
141 last_exception = NULL;
142 *p_val = last_exc_val;
143 last_exc_val = NULL;
Guido van Rossum1ae940a1995-01-02 19:04:15 +0000144 *p_tb = tb_fetch();
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000145}
146
147void
148err_clear()
149{
Guido van Rossum6989e541994-09-29 09:39:39 +0000150 object *tb;
Guido van Rossum3f5da241990-12-20 15:06:42 +0000151 XDECREF(last_exception);
152 last_exception = NULL;
153 XDECREF(last_exc_val);
154 last_exc_val = NULL;
Guido van Rossum6989e541994-09-29 09:39:39 +0000155 /* Also clear interpreter stack trace */
156 tb = tb_fetch();
157 XDECREF(tb);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000158}
Guido van Rossum7d310eb1990-10-14 20:00:05 +0000159
160/* Convenience functions to set a type error exception and return 0 */
161
162int
163err_badarg()
164{
Guido van Rossumf1ac4031990-11-09 15:05:53 +0000165 err_setstr(TypeError, "illegal argument type for built-in operation");
Guido van Rossum7d310eb1990-10-14 20:00:05 +0000166 return 0;
167}
168
169object *
170err_nomem()
171{
Guido van Rossum3f5da241990-12-20 15:06:42 +0000172 err_set(MemoryError);
Guido van Rossum7d310eb1990-10-14 20:00:05 +0000173 return NULL;
174}
175
176object *
177err_errno(exc)
178 object *exc;
179{
Guido van Rossum5063bab1991-10-20 20:14:56 +0000180 object *v;
Guido van Rossum3a241811994-08-29 12:14:12 +0000181 int i = errno;
Guido van Rossume9fbc091995-02-18 14:52:19 +0000182#ifdef EINTR
Guido van Rossum3a241811994-08-29 12:14:12 +0000183 if (i == EINTR && sigcheck())
Guido van Rossum5063bab1991-10-20 20:14:56 +0000184 return NULL;
Guido van Rossume9fbc091995-02-18 14:52:19 +0000185#endif
Guido van Rossum3a241811994-08-29 12:14:12 +0000186 v = mkvalue("(is)", i, strerror(i));
Guido van Rossum7d310eb1990-10-14 20:00:05 +0000187 if (v != NULL) {
Guido van Rossume5372401993-03-16 12:15:04 +0000188 err_setval(exc, v);
189 DECREF(v);
Guido van Rossum7d310eb1990-10-14 20:00:05 +0000190 }
Guido van Rossum7d310eb1990-10-14 20:00:05 +0000191 return NULL;
192}
Guido van Rossum683a0721990-10-21 22:09:12 +0000193
194void
195err_badcall()
196{
197 err_setstr(SystemError, "bad argument to internal function");
198}