Commit | Line | Data |
---|---|---|
93003b16 | 1 | /* Copyright (C) 1995,1996,1997,1998,2000,2001, 2004, 2006, 2010 Free Software Foundation, Inc. |
0f2d19dd | 2 | * |
73be1d9e | 3 | * This library is free software; you can redistribute it and/or |
53befeb7 NJ |
4 | * modify it under the terms of the GNU Lesser General Public License |
5 | * as published by the Free Software Foundation; either version 3 of | |
6 | * the License, or (at your option) any later version. | |
0f2d19dd | 7 | * |
53befeb7 NJ |
8 | * This library is distributed in the hope that it will be useful, but |
9 | * WITHOUT ANY WARRANTY; without even the implied warranty of | |
73be1d9e MV |
10 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
11 | * Lesser General Public License for more details. | |
0f2d19dd | 12 | * |
73be1d9e MV |
13 | * You should have received a copy of the GNU Lesser General Public |
14 | * License along with this library; if not, write to the Free Software | |
53befeb7 NJ |
15 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA |
16 | * 02110-1301 USA | |
73be1d9e | 17 | */ |
1bbd0b84 | 18 | |
1bbd0b84 | 19 | |
0f2d19dd JB |
20 | \f |
21 | ||
dbb605f5 | 22 | #ifdef HAVE_CONFIG_H |
4600886f RB |
23 | # include <config.h> |
24 | #endif | |
25 | ||
93003b16 | 26 | #include <stdlib.h> |
0f2d19dd | 27 | #include <stdio.h> |
e6e2e95a | 28 | #include <errno.h> |
bd9e24b3 | 29 | |
a0599745 | 30 | #include "libguile/_scm.h" |
4af3c6f1 | 31 | #include "libguile/dynwind.h" |
a0599745 MD |
32 | #include "libguile/pairs.h" |
33 | #include "libguile/strings.h" | |
34 | #include "libguile/throw.h" | |
20e6290e | 35 | |
a0599745 MD |
36 | #include "libguile/validate.h" |
37 | #include "libguile/error.h" | |
0f2d19dd | 38 | |
bd9e24b3 GH |
39 | #ifdef HAVE_STRING_H |
40 | #include <string.h> | |
41 | #endif | |
95b88819 GH |
42 | #ifdef HAVE_UNISTD_H |
43 | #include <unistd.h> | |
44 | #endif | |
7beabedb MG |
45 | |
46 | /* For Windows... */ | |
47 | #ifdef HAVE_IO_H | |
48 | #include <io.h> | |
49 | #endif | |
0f2d19dd JB |
50 | \f |
51 | ||
0f2d19dd JB |
52 | /* {Errors and Exceptional Conditions} |
53 | */ | |
54 | ||
0f2d19dd | 55 | |
24d1f171 | 56 | /* Scheme interface to scm_error_scm. */ |
7cb1d4d3 | 57 | void |
1bbd0b84 | 58 | scm_error (SCM key, const char *subr, const char *message, SCM args, SCM rest) |
7cb1d4d3 | 59 | { |
24d1f171 MV |
60 | scm_error_scm |
61 | (key, | |
62 | (subr == NULL) ? SCM_BOOL_F : scm_from_locale_string (subr), | |
63 | (message == NULL) ? SCM_BOOL_F : scm_from_locale_string (message), | |
64 | args, rest); | |
7cb1d4d3 | 65 | } |
0f2d19dd | 66 | |
24d1f171 | 67 | /* All errors should pass through here. */ |
3b3b36dd | 68 | SCM_DEFINE (scm_error_scm, "scm-error", 5, 0, 0, |
1e6808ea MG |
69 | (SCM key, SCM subr, SCM message, SCM args, SCM data), |
70 | "Raise an error with key @var{key}. @var{subr} can be a string\n" | |
71 | "naming the procedure associated with the error, or @code{#f}.\n" | |
72 | "@var{message} is the error message string, possibly containing\n" | |
73 | "@code{~S} and @code{~A} escapes. When an error is reported,\n" | |
74 | "these are replaced by formatting the corresponding members of\n" | |
75 | "@var{args}: @code{~A} (was @code{%s} in older versions of\n" | |
76 | "Guile) formats using @code{display} and @code{~S} (was\n" | |
77 | "@code{%S}) formats using @code{write}. @var{data} is a list or\n" | |
78 | "@code{#f} depending on @var{key}: if @var{key} is\n" | |
79 | "@code{system-error} then it should be a list containing the\n" | |
80 | "Unix @code{errno} value; If @var{key} is @code{signal} then it\n" | |
cdd8c091 MV |
81 | "should be a list containing the Unix signal number; If\n" |
82 | "@var{key} is @code{out-of-range} or @code{wrong-type-arg},\n" | |
83 | "it is a list containing the bad value; otherwise\n" | |
1e6808ea | 84 | "it will usually be @code{#f}.") |
1bbd0b84 | 85 | #define FUNC_NAME s_scm_error_scm |
c37e0e55 | 86 | { |
24d1f171 | 87 | if (scm_gc_running_p) |
a6d9e5ab | 88 | { |
24d1f171 MV |
89 | /* The error occured during GC --- abort */ |
90 | fprintf (stderr, "Guile: error during GC.\n"), | |
91 | abort (); | |
a6d9e5ab | 92 | } |
89958ad0 | 93 | |
24d1f171 MV |
94 | scm_ithrow (key, scm_list_4 (subr, message, args, data), 1); |
95 | ||
96 | /* No return, but just in case: */ | |
97 | fprintf (stderr, "Guile scm_ithrow returned!\n"); | |
93003b16 | 98 | exit (EXIT_FAILURE); |
c37e0e55 | 99 | } |
1bbd0b84 | 100 | #undef FUNC_NAME |
c37e0e55 | 101 | |
b4e15479 SJ |
102 | #ifdef __MINGW32__ |
103 | # include "win32-socket.h" | |
104 | # define SCM_I_STRERROR(err) \ | |
105 | ((err >= WSABASEERR) ? scm_i_socket_strerror (err) : strerror (err)) | |
106 | # define SCM_I_ERRNO() \ | |
107 | (errno ? errno : scm_i_socket_errno ()) | |
108 | #else | |
109 | # define SCM_I_STRERROR(err) strerror (err) | |
110 | # define SCM_I_ERRNO() errno | |
111 | #endif /* __MINGW32__ */ | |
112 | ||
4af3c6f1 KR |
113 | /* strerror may not be thread safe, for instance in glibc (version 2.3.2) an |
114 | error number not among the known values results in a string like "Unknown | |
115 | error 9999" formed in a static buffer, which will be overwritten by a | |
116 | similar call in another thread. A test program running two threads with | |
117 | different unknown error numbers can trip this fairly quickly. | |
118 | ||
119 | Some systems don't do what glibc does, instead just giving a single | |
120 | "Unknown error" for unrecognised numbers. It doesn't seem worth trying | |
121 | to tell if that's the case, a mutex is reasonably fast, and strerror | |
122 | isn't needed very often. | |
123 | ||
124 | strerror_r (when available) could be used, it might be a touch faster | |
125 | than a frame and a mutex, though there's probably not much | |
126 | difference. */ | |
127 | ||
a1ec6916 | 128 | SCM_DEFINE (scm_strerror, "strerror", 1, 0, 0, |
1bbd0b84 | 129 | (SCM err), |
1e6808ea MG |
130 | "Return the Unix error message corresponding to @var{err}, which\n" |
131 | "must be an integer value.") | |
1bbd0b84 | 132 | #define FUNC_NAME s_scm_strerror |
efb997f5 | 133 | { |
4af3c6f1 | 134 | SCM ret; |
661ae7ab MV |
135 | scm_dynwind_begin (0); |
136 | scm_i_dynwind_pthread_mutex_lock (&scm_i_misc_mutex); | |
4af3c6f1 | 137 | |
468e87a7 | 138 | ret = scm_from_locale_string (SCM_I_STRERROR (scm_to_int (err))); |
4af3c6f1 | 139 | |
661ae7ab | 140 | scm_dynwind_end (); |
4af3c6f1 | 141 | return ret; |
efb997f5 | 142 | } |
1bbd0b84 | 143 | #undef FUNC_NAME |
efb997f5 | 144 | |
a7f54aed | 145 | SCM_GLOBAL_SYMBOL (scm_system_error_key, "system-error"); |
52859adf | 146 | void |
1bbd0b84 | 147 | scm_syserror (const char *subr) |
52859adf | 148 | { |
4af3c6f1 | 149 | SCM err = scm_from_int (SCM_I_ERRNO ()); |
01f61221 | 150 | scm_error (scm_system_error_key, |
52859adf | 151 | subr, |
70d63753 | 152 | "~A", |
4af3c6f1 KR |
153 | scm_cons (scm_strerror (err), SCM_EOL), |
154 | scm_cons (err, SCM_EOL)); | |
52859adf GH |
155 | } |
156 | ||
157 | void | |
1bbd0b84 | 158 | scm_syserror_msg (const char *subr, const char *message, SCM args, int eno) |
52859adf | 159 | { |
01f61221 | 160 | scm_error (scm_system_error_key, |
52859adf GH |
161 | subr, |
162 | message, | |
163 | args, | |
7888309b | 164 | scm_cons (scm_from_int (eno), SCM_EOL)); |
52859adf GH |
165 | } |
166 | ||
a7f54aed | 167 | SCM_GLOBAL_SYMBOL (scm_num_overflow_key, "numerical-overflow"); |
52859adf | 168 | void |
1bbd0b84 | 169 | scm_num_overflow (const char *subr) |
52859adf | 170 | { |
01f61221 | 171 | scm_error (scm_num_overflow_key, |
52859adf GH |
172 | subr, |
173 | "Numerical overflow", | |
174 | SCM_BOOL_F, | |
175 | SCM_BOOL_F); | |
176 | } | |
177 | ||
a7f54aed | 178 | SCM_GLOBAL_SYMBOL (scm_out_of_range_key, "out-of-range"); |
52859adf | 179 | void |
1bbd0b84 | 180 | scm_out_of_range (const char *subr, SCM bad_value) |
52859adf | 181 | { |
01f61221 | 182 | scm_error (scm_out_of_range_key, |
52859adf | 183 | subr, |
cdd8c091 | 184 | "Value out of range: ~S", |
1afff620 | 185 | scm_list_1 (bad_value), |
cdd8c091 | 186 | scm_list_1 (bad_value)); |
52859adf | 187 | } |
f5bf2977 | 188 | |
1e76143f GB |
189 | void |
190 | scm_out_of_range_pos (const char *subr, SCM bad_value, SCM pos) | |
191 | { | |
192 | scm_error (scm_out_of_range_key, | |
193 | subr, | |
cdd8c091 | 194 | "Argument ~A out of range: ~S", |
34d19ef6 | 195 | scm_list_2 (pos, bad_value), |
cdd8c091 | 196 | scm_list_1 (bad_value)); |
1e76143f GB |
197 | } |
198 | ||
199 | ||
a7f54aed | 200 | SCM_GLOBAL_SYMBOL (scm_args_number_key, "wrong-number-of-args"); |
0f2d19dd | 201 | void |
1bbd0b84 | 202 | scm_wrong_num_args (SCM proc) |
f5bf2977 | 203 | { |
01f61221 | 204 | scm_error (scm_args_number_key, |
f5bf2977 | 205 | NULL, |
70d63753 | 206 | "Wrong number of arguments to ~A", |
1afff620 | 207 | scm_list_1 (proc), |
f5bf2977 GH |
208 | SCM_BOOL_F); |
209 | } | |
210 | ||
9f40cd87 DH |
211 | |
212 | void | |
213 | scm_error_num_args_subr (const char *subr) | |
214 | { | |
215 | scm_error (scm_args_number_key, | |
216 | NULL, | |
217 | "Wrong number of arguments to ~A", | |
468e87a7 | 218 | scm_list_1 (scm_from_locale_string (subr)), |
9f40cd87 DH |
219 | SCM_BOOL_F); |
220 | } | |
221 | ||
222 | ||
a7f54aed | 223 | SCM_GLOBAL_SYMBOL (scm_arg_type_key, "wrong-type-arg"); |
f5bf2977 | 224 | void |
1bbd0b84 | 225 | scm_wrong_type_arg (const char *subr, int pos, SCM bad_value) |
f5bf2977 | 226 | { |
01f61221 | 227 | scm_error (scm_arg_type_key, |
f5bf2977 | 228 | subr, |
83e1ab6d | 229 | (pos == 0) ? "Wrong type: ~S" |
70d63753 | 230 | : "Wrong type argument in position ~A: ~S", |
1afff620 | 231 | (pos == 0) ? scm_list_1 (bad_value) |
e11e83f3 | 232 | : scm_list_2 (scm_from_int (pos), bad_value), |
cdd8c091 | 233 | scm_list_1 (bad_value)); |
f5bf2977 GH |
234 | } |
235 | ||
0193377d MG |
236 | void |
237 | scm_i_wrong_type_arg_symbol (SCM symbol, int pos, SCM bad_value) | |
238 | { | |
239 | scm_error_scm (scm_arg_type_key, | |
240 | scm_symbol_to_string (symbol), | |
241 | (pos == 0) ? scm_from_locale_string ("Wrong type: ~S") | |
242 | : scm_from_locale_string ("Wrong type argument in position ~A: ~S"), | |
243 | (pos == 0) ? scm_list_1 (bad_value) | |
244 | : scm_list_2 (scm_from_int (pos), bad_value), | |
245 | scm_list_1 (bad_value)); | |
246 | scm_remember_upto_here_2 (symbol, bad_value); | |
247 | } | |
248 | ||
b6791b2e GB |
249 | void |
250 | scm_wrong_type_arg_msg (const char *subr, int pos, SCM bad_value, const char *szMessage) | |
251 | { | |
468e87a7 | 252 | SCM msg = scm_from_locale_string (szMessage); |
cdd8c091 MV |
253 | if (pos == 0) |
254 | { | |
255 | scm_error (scm_arg_type_key, | |
256 | subr, "Wrong type (expecting ~A): ~S", | |
257 | scm_list_2 (msg, bad_value), | |
258 | scm_list_1 (bad_value)); | |
259 | } | |
260 | else | |
261 | { | |
262 | scm_error (scm_arg_type_key, | |
263 | subr, | |
264 | "Wrong type argument in position ~A (expecting ~A): ~S", | |
265 | scm_list_3 (scm_from_int (pos), msg, bad_value), | |
266 | scm_list_1 (bad_value)); | |
267 | } | |
b6791b2e GB |
268 | } |
269 | ||
270 | ||
a7f54aed | 271 | SCM_GLOBAL_SYMBOL (scm_memory_alloc_key, "memory-allocation-error"); |
f5bf2977 | 272 | void |
1bbd0b84 | 273 | scm_memory_error (const char *subr) |
f5bf2977 | 274 | { |
468e87a7 MV |
275 | fprintf (stderr, "FATAL: memory error in %s\n", subr); |
276 | abort (); | |
f5bf2977 GH |
277 | } |
278 | ||
a7f54aed | 279 | SCM_GLOBAL_SYMBOL (scm_misc_error_key, "misc-error"); |
523f5266 | 280 | void |
1bbd0b84 | 281 | scm_misc_error (const char *subr, const char *message, SCM args) |
523f5266 GH |
282 | { |
283 | scm_error (scm_misc_error_key, subr, message, args, SCM_BOOL_F); | |
284 | } | |
285 | ||
0f2d19dd JB |
286 | void |
287 | scm_init_error () | |
0f2d19dd | 288 | { |
648da032 | 289 | #include "libguile/cpp-E.c" |
a0599745 | 290 | #include "libguile/error.x" |
0f2d19dd JB |
291 | } |
292 | ||
89e00824 ML |
293 | |
294 | /* | |
295 | Local Variables: | |
296 | c-file-style: "gnu" | |
297 | End: | |
298 | */ |