Mercurial > cpython-lru_cache-weakref
annotate Python/errors.c @ 1252:c4cd0d9d8281 legacy-trunk
* Changed many files to use mkvalue() instead of newtupleobject().
* Fixcprt.py: added [-y file] option, do only files younger than file.
* modsupport.[ch]: added vmkvalue().
* intobject.c: use mkvalue().
* stringobject.c: added "formatstring"; renamed string* to string_*;
ceval.c: call formatstring for string % value.
* longobject.c: close memory leak in divmod.
* parsetok.c: set result node to NULL when returning an error.
| author | Guido van Rossum <guido@python.org> |
|---|---|
| date | Tue, 16 Mar 1993 12:15:04 +0000 |
| parents | 0cd197947d81 |
| children | cd397266dc1c |
| rev | line source |
|---|---|
| 145 | 1 /*********************************************************** |
|
1252
c4cd0d9d8281
* Changed many files to use mkvalue() instead of newtupleobject().
Guido van Rossum <guido@python.org>
parents:
795
diff
changeset
|
2 Copyright 1991, 1992, 1993 by Stichting Mathematisch Centrum, |
|
c4cd0d9d8281
* Changed many files to use mkvalue() instead of newtupleobject().
Guido van Rossum <guido@python.org>
parents:
795
diff
changeset
|
3 Amsterdam, The Netherlands. |
| 145 | 4 |
| 5 All Rights Reserved | |
| 6 | |
| 7 Permission to use, copy, modify, and distribute this software and its | |
| 8 documentation for any purpose and without fee is hereby granted, | |
| 9 provided that the above copyright notice appear in all copies and that | |
| 10 both that copyright notice and this permission notice appear in | |
| 11 supporting documentation, and that the names of Stichting Mathematisch | |
| 12 Centrum or CWI not be used in advertising or publicity pertaining to | |
| 13 distribution of the software without specific, written prior permission. | |
| 14 | |
| 15 STICHTING MATHEMATISCH CENTRUM DISCLAIMS ALL WARRANTIES WITH REGARD TO | |
| 16 THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND | |
| 17 FITNESS, IN NO EVENT SHALL STICHTING MATHEMATISCH CENTRUM BE LIABLE | |
| 18 FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES | |
| 19 WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN | |
| 20 ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT | |
| 21 OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. | |
| 22 | |
| 23 ******************************************************************/ | |
| 24 | |
| 6 | 25 /* 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, | |
| 86 | 38 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 | |
| 6 | 40 - errno is a global variable, which makes extensions to a multi- |
| 41 threading environment difficult; e.g., in IRIX, multi-threaded | |
| 86 | 42 programs must use the function oserror() instead of looking in errno |
| 6 | 43 - 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 | |
| 86 | 51 built-in function calls err_set(exception), err_setval(exception, |
| 6 | 52 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 | |
|
90
5cb843bc87fc
Changed include of <errno.h>
Guido van Rossum <guido@python.org>
parents:
86
diff
changeset
|
58 #include "allobjects.h" |
|
1252
c4cd0d9d8281
* Changed many files to use mkvalue() instead of newtupleobject().
Guido van Rossum <guido@python.org>
parents:
795
diff
changeset
|
59 #include "modsupport.h" |
| 6 | 60 |
|
90
5cb843bc87fc
Changed include of <errno.h>
Guido van Rossum <guido@python.org>
parents:
86
diff
changeset
|
61 #include <errno.h> |
|
5cb843bc87fc
Changed include of <errno.h>
Guido van Rossum <guido@python.org>
parents:
86
diff
changeset
|
62 #ifndef errno |
|
5cb843bc87fc
Changed include of <errno.h>
Guido van Rossum <guido@python.org>
parents:
86
diff
changeset
|
63 extern int errno; |
|
5cb843bc87fc
Changed include of <errno.h>
Guido van Rossum <guido@python.org>
parents:
86
diff
changeset
|
64 #endif |
| 86 | 65 |
| 66 #include "errcode.h" | |
| 6 | 67 |
|
59
433f52d1d958
Added prototype for strerror.
Guido van Rossum <guido@python.org>
parents:
37
diff
changeset
|
68 extern char *strerror PROTO((int)); |
|
433f52d1d958
Added prototype for strerror.
Guido van Rossum <guido@python.org>
parents:
37
diff
changeset
|
69 |
| 6 | 70 /* Last exception stored by err_setval() */ |
| 71 | |
| 72 static object *last_exception; | |
| 73 static object *last_exc_val; | |
| 74 | |
| 75 void | |
| 76 err_setval(exception, value) | |
| 77 object *exception; | |
| 78 object *value; | |
| 79 { | |
| 86 | 80 XDECREF(last_exception); |
| 81 XINCREF(exception); | |
| 6 | 82 last_exception = exception; |
| 83 | |
| 86 | 84 XDECREF(last_exc_val); |
| 85 XINCREF(value); | |
| 6 | 86 last_exc_val = value; |
| 87 } | |
| 88 | |
| 89 void | |
| 90 err_set(exception) | |
| 91 object *exception; | |
| 92 { | |
| 93 err_setval(exception, (object *)NULL); | |
| 94 } | |
| 95 | |
| 96 void | |
| 97 err_setstr(exception, string) | |
| 98 object *exception; | |
| 99 char *string; | |
| 100 { | |
| 101 object *value = newstringobject(string); | |
| 102 err_setval(exception, value); | |
| 86 | 103 XDECREF(value); |
| 6 | 104 } |
| 105 | |
| 106 int | |
| 107 err_occurred() | |
| 108 { | |
| 109 return last_exception != NULL; | |
| 110 } | |
| 111 | |
| 112 void | |
| 113 err_get(p_exc, p_val) | |
| 114 object **p_exc; | |
| 115 object **p_val; | |
| 116 { | |
| 117 *p_exc = last_exception; | |
| 118 last_exception = NULL; | |
| 119 *p_val = last_exc_val; | |
| 120 last_exc_val = NULL; | |
| 121 } | |
| 122 | |
| 123 void | |
| 124 err_clear() | |
| 125 { | |
| 86 | 126 XDECREF(last_exception); |
| 127 last_exception = NULL; | |
| 128 XDECREF(last_exc_val); | |
| 129 last_exc_val = NULL; | |
| 6 | 130 } |
|
9
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
131 |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
132 /* Convenience functions to set a type error exception and return 0 */ |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
133 |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
134 int |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
135 err_badarg() |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
136 { |
|
66
46cb14aec10a
Reformulated err_badarg error message.
Guido van Rossum <guido@python.org>
parents:
59
diff
changeset
|
137 err_setstr(TypeError, "illegal argument type for built-in operation"); |
|
9
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
138 return 0; |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
139 } |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
140 |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
141 object * |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
142 err_nomem() |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
143 { |
| 86 | 144 err_set(MemoryError); |
|
9
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
145 return NULL; |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
146 } |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
147 |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
148 object * |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
149 err_errno(exc) |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
150 object *exc; |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
151 { |
|
390
172aa2c3e734
Check for EINTR and turn it into KeyboardInterrupt
Guido van Rossum <guido@python.org>
parents:
145
diff
changeset
|
152 object *v; |
|
172aa2c3e734
Check for EINTR and turn it into KeyboardInterrupt
Guido van Rossum <guido@python.org>
parents:
145
diff
changeset
|
153 if (errno == EINTR && intrcheck()) { |
|
172aa2c3e734
Check for EINTR and turn it into KeyboardInterrupt
Guido van Rossum <guido@python.org>
parents:
145
diff
changeset
|
154 err_set(KeyboardInterrupt); |
|
172aa2c3e734
Check for EINTR and turn it into KeyboardInterrupt
Guido van Rossum <guido@python.org>
parents:
145
diff
changeset
|
155 return NULL; |
|
172aa2c3e734
Check for EINTR and turn it into KeyboardInterrupt
Guido van Rossum <guido@python.org>
parents:
145
diff
changeset
|
156 } |
|
1252
c4cd0d9d8281
* Changed many files to use mkvalue() instead of newtupleobject().
Guido van Rossum <guido@python.org>
parents:
795
diff
changeset
|
157 v = mkvalue("(is)", errno, strerror(errno)); |
|
9
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
158 if (v != NULL) { |
|
1252
c4cd0d9d8281
* Changed many files to use mkvalue() instead of newtupleobject().
Guido van Rossum <guido@python.org>
parents:
795
diff
changeset
|
159 err_setval(exc, v); |
|
c4cd0d9d8281
* Changed many files to use mkvalue() instead of newtupleobject().
Guido van Rossum <guido@python.org>
parents:
795
diff
changeset
|
160 DECREF(v); |
|
9
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
161 } |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
162 return NULL; |
|
33701db4ea55
Adde dconvenience functions.
Guido van Rossum <guido@python.org>
parents:
6
diff
changeset
|
163 } |
| 22 | 164 |
| 165 void | |
| 166 err_badcall() | |
| 167 { | |
| 168 err_setstr(SystemError, "bad argument to internal function"); | |
| 169 } | |
| 86 | 170 |
| 171 /* Set the error appropriate to the given input error code (see errcode.h) */ | |
| 172 | |
| 173 void | |
| 174 err_input(err) | |
| 175 int err; | |
| 176 { | |
| 177 switch (err) { | |
| 178 case E_DONE: | |
| 179 case E_OK: | |
| 180 break; | |
| 181 case E_SYNTAX: | |
| 484 | 182 err_setstr(SyntaxError, "invalid syntax"); |
| 86 | 183 break; |
| 184 case E_TOKEN: | |
| 484 | 185 err_setstr(SyntaxError, "invalid token"); |
| 86 | 186 break; |
| 187 case E_INTR: | |
| 188 err_set(KeyboardInterrupt); | |
| 189 break; | |
| 190 case E_NOMEM: | |
| 191 err_nomem(); | |
| 192 break; | |
| 193 case E_EOF: | |
|
660
d3770b1da611
EOF in source is a SyntaxError, not an EOFError.
Guido van Rossum <guido@python.org>
parents:
507
diff
changeset
|
194 err_setstr(SyntaxError, "unexpected EOF while parsing"); |
| 86 | 195 break; |
| 196 default: | |
| 484 | 197 err_setstr(SystemError, "unknown parsing error"); |
| 86 | 198 break; |
| 199 } | |
| 200 } |