X-Git-Url: http://git.hcoop.net/bpt/guile.git/blobdiff_plain/2500356c67755723d802538e8938b30019f64163..a50eda40dfca0461d7ad6f013fa55d2c14f1d2c6:/libguile/error.c diff --git a/libguile/error.c b/libguile/error.c dissimilarity index 74% index 88e6fc030..89345c2b7 100644 --- a/libguile/error.c +++ b/libguile/error.c @@ -1,341 +1,314 @@ -/* Copyright (C) 1995,1996,1997,1998, 2000 Free Software Foundation, Inc. - * - * This program is free software; you can redistribute it and/or modify - * it under the terms of the GNU General Public License as published by - * the Free Software Foundation; either version 2, or (at your option) - * any later version. - * - * This program is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with this software; see the file COPYING. If not, write to - * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, - * Boston, MA 02111-1307 USA - * - * As a special exception, the Free Software Foundation gives permission - * for additional uses of the text contained in its release of GUILE. - * - * The exception is that, if you link the GUILE library with other files - * to produce an executable, this does not by itself cause the - * resulting executable to be covered by the GNU General Public License. - * Your use of that executable is in no way restricted on account of - * linking the GUILE library code into it. - * - * This exception does not however invalidate any other reasons why - * the executable file might be covered by the GNU General Public License. - * - * This exception applies only to the code released by the - * Free Software Foundation under the name GUILE. If you copy - * code from other Free Software Foundation releases into a copy of - * GUILE, as the General Public License permits, the exception does - * not apply to the code that you add in this way. To avoid misleading - * anyone as to the status of such modified files, you must delete - * this exception notice from them. - * - * If you write modifications of your own for GUILE, it is your choice - * whether to permit this exception to apply to your modifications. - * If you do not wish that, delete this exception notice. */ - -/* Software engineering face-lift by Greg J. Badros, 11-Dec-1999, - gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */ - - - -#include - -#include "libguile/_scm.h" -#include "libguile/pairs.h" -#include "libguile/strings.h" -#include "libguile/throw.h" - -#include "libguile/validate.h" -#include "libguile/error.h" - -#ifdef HAVE_STRING_H -#include -#endif -#ifdef HAVE_UNISTD_H -#include -#endif - - - -/* {Errors and Exceptional Conditions} - */ - - -extern int errno; - -/* All errors should pass through here. */ -void -scm_error (SCM key, const char *subr, const char *message, SCM args, SCM rest) -{ - SCM arg_list; - if (scm_gc_heap_lock) - { - /* The error occured during GC --- abort */ - fprintf (stderr, "Error in %s during GC: %s\n", - subr ? subr : "unknown function", - message ? message : ""); - abort (); - } - arg_list = scm_listify (subr ? scm_makfrom0str (subr) : SCM_BOOL_F, - message ? scm_makfrom0str (message) : SCM_BOOL_F, - args, - rest, - SCM_UNDEFINED); - scm_ithrow (key, arg_list, 1); - - /* No return, but just in case: */ - { - const char msg[] = "guile:scm_error:scm_ithrow returned!\n"; - - write (2, msg, (sizeof msg) - 1); - } - exit (1); -} - -/* Scheme interface to scm_error. */ -SCM_DEFINE (scm_error_scm, "scm-error", 5, 0, 0, - (SCM key, SCM subr, SCM message, SCM args, SCM rest), - "Raise an error with key @var{key}. @var{subr} can be a string naming\n" - "the procedure associated with the error, or @code{#f}. @var{message}\n" - "is the error message string, possibly containing @code{~S} and @code{~A}\n" - "escapes. When an error is reported, these are replaced by formating the\n" - "corresponding members of @var{args}: @code{~A} (was @code{%s}) formats using @code{display}\n" - "and @code(~S) (was @code{%S}) formats using @code{write}. @var{data} is a\n" - "list or @code{#f} depending on @var{key}: if @var{key} is\n" - "@code{system-error} then it should be a list\n" - "containing the Unix @code{errno} value; If @var{key} is @code{signal} then\n" - "it should be a list containing the Unix signal number; otherwise it\n" - "will usually be @code{#f}.") -#define FUNC_NAME s_scm_error_scm -{ - char *szSubr; - char *szMessage; - SCM_VALIDATE_SYMBOL (1,key); - SCM_VALIDATE_NULLORROSTRING_COPY (2,subr,szSubr); - SCM_VALIDATE_NULLORROSTRING_COPY (3,message,szMessage); - SCM_COERCE_SUBSTR (message); - - scm_error (key, szSubr, szMessage, args, rest); - /* not reached. */ -} -#undef FUNC_NAME - -SCM_DEFINE (scm_strerror, "strerror", 1, 0, 0, - (SCM err), - "Returns the Unix error message corresponding to @var{err}, an integer.") -#define FUNC_NAME s_scm_strerror -{ - SCM_VALIDATE_INUM (1,err); - return scm_makfrom0str (strerror (SCM_INUM (err))); -} -#undef FUNC_NAME - -SCM_SYMBOL (scm_system_error_key, "system-error"); -void -scm_syserror (const char *subr) -{ - int save_errno = errno; - - scm_error (scm_system_error_key, - subr, - "~A", - scm_cons (scm_makfrom0str (strerror (save_errno)), SCM_EOL), - scm_cons (SCM_MAKINUM (save_errno), SCM_EOL)); -} - -void -scm_syserror_msg (const char *subr, const char *message, SCM args, int eno) -{ - scm_error (scm_system_error_key, - subr, - message, - args, - scm_cons (SCM_MAKINUM (eno), SCM_EOL)); -} - - -#if (SCM_DEBUG_DEPRECATED == 0) - -/* scm_sysmissing is no longer used in libguile. it can probably be - removed after a release or two. there's a comment in NEWS about it - (2000-01-09). */ -void -scm_sysmissing (const char *subr) -{ -#ifdef ENOSYS - scm_error (scm_system_error_key, - subr, - "~A", - scm_cons (scm_makfrom0str (strerror (ENOSYS)), SCM_EOL), - scm_cons (SCM_MAKINUM (ENOSYS), SCM_EOL)); -#else - scm_error (scm_system_error_key, - subr, - "Missing function", - SCM_BOOL_F, - scm_cons (SCM_MAKINUM (0), SCM_EOL)); -#endif -} - -#endif /* SCM_DEBUG_DEPRECATED == 0 */ - - -SCM_SYMBOL (scm_num_overflow_key, "numerical-overflow"); -void -scm_num_overflow (const char *subr) -{ - scm_error (scm_num_overflow_key, - subr, - "Numerical overflow", - SCM_BOOL_F, - SCM_BOOL_F); -} - -SCM_SYMBOL (scm_out_of_range_key, "out-of-range"); -void -scm_out_of_range (const char *subr, SCM bad_value) -{ - scm_error (scm_out_of_range_key, - subr, - "Argument out of range: ~S", - SCM_LIST1(bad_value), - SCM_BOOL_F); -} - -void -scm_out_of_range_pos (const char *subr, SCM bad_value, SCM pos) -{ - scm_error (scm_out_of_range_key, - subr, - "Argument ~S out of range: ~S", - SCM_LIST2(pos,bad_value), - SCM_BOOL_F); -} - - -SCM_SYMBOL (scm_args_number_key, "wrong-number-of-args"); -void -scm_wrong_num_args (SCM proc) -{ - scm_error (scm_args_number_key, - NULL, - "Wrong number of arguments to ~A", - SCM_LIST1(proc), - SCM_BOOL_F); -} - -SCM_SYMBOL (scm_arg_type_key, "wrong-type-arg"); -void -scm_wrong_type_arg (const char *subr, int pos, SCM bad_value) -{ - scm_error (scm_arg_type_key, - subr, - (pos == 0) ? "Wrong type argument: ~S" - : "Wrong type argument in position ~A: ~S", - (pos == 0) ? SCM_LIST1(bad_value) - : SCM_LIST2(SCM_MAKINUM(pos), bad_value), - SCM_BOOL_F); -} - -void -scm_wrong_type_arg_msg (const char *subr, int pos, SCM bad_value, const char *szMessage) -{ - SCM msg = scm_makfrom0str(szMessage); - if (pos == 0) { - scm_error (scm_arg_type_key, - subr, "Wrong type argument (expecting ~A): ~S", - SCM_LIST2(msg,bad_value), - SCM_BOOL_F); - } else { - scm_error (scm_arg_type_key, - subr, - "Wrong type argument in position ~A (expecting ~A): ~S", - SCM_LIST3(SCM_MAKINUM(pos),msg,bad_value), - SCM_BOOL_F); - } -} - - -SCM_SYMBOL (scm_memory_alloc_key, "memory-allocation-error"); -void -scm_memory_error (const char *subr) -{ - scm_error (scm_memory_alloc_key, - subr, - "Memory allocation error", - SCM_BOOL_F, - SCM_BOOL_F); -} - -SCM_SYMBOL (scm_misc_error_key, "misc-error"); -void -scm_misc_error (const char *subr, const char *message, SCM args) -{ - scm_error (scm_misc_error_key, subr, message, args, SCM_BOOL_F); -} - -/* implements the SCM_ASSERT interface. */ -SCM -scm_wta (SCM arg, const char *pos, const char *s_subr) -{ - if (!s_subr || !*s_subr) - s_subr = NULL; - if ((~0x1fL) & (long) pos) - { - /* error string supplied. */ - scm_misc_error (s_subr, pos, SCM_LIST1 (arg)); - } - else - { - /* numerical error code. */ - int error = (long) pos; - - switch (error) - { - case SCM_ARGn: - scm_wrong_type_arg (s_subr, 0, arg); - case SCM_ARG1: - scm_wrong_type_arg (s_subr, 1, arg); - case SCM_ARG2: - scm_wrong_type_arg (s_subr, 2, arg); - case SCM_ARG3: - scm_wrong_type_arg (s_subr, 3, arg); - case SCM_ARG4: - scm_wrong_type_arg (s_subr, 4, arg); - case SCM_ARG5: - scm_wrong_type_arg (s_subr, 5, arg); - case SCM_ARG6: - scm_wrong_type_arg (s_subr, 6, arg); - case SCM_ARG7: - scm_wrong_type_arg (s_subr, 7, arg); - case SCM_WNA: - scm_wrong_num_args (arg); - case SCM_OUTOFRANGE: - scm_out_of_range (s_subr, arg); - default: - /* this shouldn't happen. */ - scm_misc_error (s_subr, "Unknown error", SCM_EOL); - } - } - return SCM_UNSPECIFIED; -} - -void -scm_init_error () -{ -#include "libguile/cpp_err_symbols.c" -#include "libguile/error.x" -} - - -/* - Local Variables: - c-file-style: "gnu" - End: -*/ +/* Copyright (C) 1995-1998, 2000, 2001, 2004, 2006, 2010, 2012-2014 + * Free Software Foundation, Inc. + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public License + * as published by the Free Software Foundation; either version 3 of + * the License, or (at your option) any later version. + * + * This library is distributed in the hope that it will be useful, but + * WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA + * 02110-1301 USA + */ + + + + +#ifdef HAVE_CONFIG_H +# include +#endif + +#include +#include +#include + +#include "libguile/_scm.h" +#include "libguile/dynwind.h" +#include "libguile/pairs.h" +#include "libguile/strings.h" +#include "libguile/throw.h" + +#include "libguile/validate.h" +#include "libguile/error.h" + +#ifdef HAVE_STRING_H +#include +#endif +#include + +/* For Windows... */ +#ifdef HAVE_IO_H +#include +#endif + + +/* {Errors and Exceptional Conditions} + */ + + +/* Scheme interface to scm_error_scm. */ +void +scm_error (SCM key, const char *subr, const char *message, SCM args, SCM rest) +{ + scm_error_scm + (key, + (subr == NULL) ? SCM_BOOL_F : scm_from_locale_string (subr), + (message == NULL) ? SCM_BOOL_F : scm_from_locale_string (message), + args, rest); +} + +/* All errors should pass through here. */ +SCM_DEFINE (scm_error_scm, "scm-error", 5, 0, 0, + (SCM key, SCM subr, SCM message, SCM args, SCM data), + "Raise an error with key @var{key}. @var{subr} can be a string\n" + "naming the procedure associated with the error, or @code{#f}.\n" + "@var{message} is the error message string, possibly containing\n" + "@code{~S} and @code{~A} escapes. When an error is reported,\n" + "these are replaced by formatting the corresponding members of\n" + "@var{args}: @code{~A} (was @code{%s} in older versions of\n" + "Guile) formats using @code{display} and @code{~S} (was\n" + "@code{%S}) formats using @code{write}. @var{data} is a list or\n" + "@code{#f} depending on @var{key}: if @var{key} is\n" + "@code{system-error} then it should be a list containing the\n" + "Unix @code{errno} value; If @var{key} is @code{signal} then it\n" + "should be a list containing the Unix signal number; If\n" + "@var{key} is @code{out-of-range}, @code{wrong-type-arg},\n" + "or @code{keyword-argument-error}, " + "it is a list containing the bad value; otherwise\n" + "it will usually be @code{#f}.") +#define FUNC_NAME s_scm_error_scm +{ + if (scm_gc_running_p) + { + /* The error occured during GC --- abort */ + fprintf (stderr, "Guile: error during GC.\n"), + abort (); + } + + scm_ithrow (key, scm_list_4 (subr, message, args, data), 1); + + /* No return, but just in case: */ + fprintf (stderr, "Guile scm_ithrow returned!\n"); + exit (EXIT_FAILURE); +} +#undef FUNC_NAME + +/* strerror may not be thread safe, for instance in glibc (version 2.3.2) an + error number not among the known values results in a string like "Unknown + error 9999" formed in a static buffer, which will be overwritten by a + similar call in another thread. A test program running two threads with + different unknown error numbers can trip this fairly quickly. + + Some systems don't do what glibc does, instead just giving a single + "Unknown error" for unrecognised numbers. It doesn't seem worth trying + to tell if that's the case, a mutex is reasonably fast, and strerror + isn't needed very often. + + strerror_r (when available) could be used, it might be a touch faster + than a frame and a mutex, though there's probably not much + difference. */ + +SCM_DEFINE (scm_strerror, "strerror", 1, 0, 0, + (SCM err), + "Return the Unix error message corresponding to @var{err}, which\n" + "must be an integer value.") +#define FUNC_NAME s_scm_strerror +{ + SCM ret; + int errnum = scm_to_int (err); /* Must be done outside of the + critical section below, to avoid a + deadlock on errors. */ + scm_dynwind_begin (0); + scm_i_dynwind_pthread_mutex_lock (&scm_i_misc_mutex); + + ret = scm_from_locale_string (strerror (errnum)); + + scm_dynwind_end (); + return ret; +} +#undef FUNC_NAME + +SCM_GLOBAL_SYMBOL (scm_system_error_key, "system-error"); +void +scm_syserror (const char *subr) +{ + SCM err = scm_from_int (errno); + + /* It could be that we're getting here because the syscall was + interrupted by a signal. In that case a signal handler might have + been queued to run. The signal handler probably throws an + exception. + + If we don't try to run the signal handler now, it will run later, + which would result in two exceptions being thrown: this syserror, + and then at some later time the exception thrown by the async + signal handler. + + The problem is that we don't know if handling the signal caused an + async to be queued. By this time scmsigs.c:take_signal will have + written a byte on the fd, but we don't know if the signal-handling + thread has read it off and queued an async. + + Ideally we need some API like scm_i_ensure_signals_delivered() to + catch up signal delivery. Barring that, we just cross our digits + and pray; it could be that we handle the signal in time, and just + throw once, or it could be that we miss the deadline and throw + twice. + */ +#ifdef EINTR + if (scm_to_int (err) == EINTR) + SCM_ASYNC_TICK; +#endif + + scm_error (scm_system_error_key, + subr, + "~A", + scm_cons (scm_strerror (err), SCM_EOL), + scm_cons (err, SCM_EOL)); +} + +void +scm_syserror_msg (const char *subr, const char *message, SCM args, int eno) +{ + /* See above note about the EINTR signal handling race. */ +#ifdef EINTR + if (eno == EINTR) + SCM_ASYNC_TICK; +#endif + scm_error (scm_system_error_key, + subr, + message, + args, + scm_cons (scm_from_int (eno), SCM_EOL)); +} + +SCM_GLOBAL_SYMBOL (scm_num_overflow_key, "numerical-overflow"); +void +scm_num_overflow (const char *subr) +{ + scm_error (scm_num_overflow_key, + subr, + "Numerical overflow", + SCM_BOOL_F, + SCM_BOOL_F); +} + +SCM_GLOBAL_SYMBOL (scm_out_of_range_key, "out-of-range"); +void +scm_out_of_range (const char *subr, SCM bad_value) +{ + scm_error (scm_out_of_range_key, + subr, + "Value out of range: ~S", + scm_list_1 (bad_value), + scm_list_1 (bad_value)); +} + +void +scm_out_of_range_pos (const char *subr, SCM bad_value, SCM pos) +{ + scm_error (scm_out_of_range_key, + subr, + "Argument ~A out of range: ~S", + scm_list_2 (pos, bad_value), + scm_list_1 (bad_value)); +} + + +SCM_GLOBAL_SYMBOL (scm_args_number_key, "wrong-number-of-args"); +void +scm_wrong_num_args (SCM proc) +{ + scm_error (scm_args_number_key, + NULL, + "Wrong number of arguments to ~A", + scm_list_1 (proc), + SCM_BOOL_F); +} + + +void +scm_error_num_args_subr (const char *subr) +{ + scm_error (scm_args_number_key, + NULL, + "Wrong number of arguments to ~A", + scm_list_1 (scm_from_locale_string (subr)), + SCM_BOOL_F); +} + + +SCM_GLOBAL_SYMBOL (scm_arg_type_key, "wrong-type-arg"); +void +scm_wrong_type_arg (const char *subr, int pos, SCM bad_value) +{ + scm_error (scm_arg_type_key, + subr, + (pos == 0) ? "Wrong type: ~S" + : "Wrong type argument in position ~A: ~S", + (pos == 0) ? scm_list_1 (bad_value) + : scm_list_2 (scm_from_int (pos), bad_value), + scm_list_1 (bad_value)); +} + +void +scm_i_wrong_type_arg_symbol (SCM symbol, int pos, SCM bad_value) +{ + scm_error_scm (scm_arg_type_key, + scm_symbol_to_string (symbol), + (pos == 0) ? scm_from_locale_string ("Wrong type: ~S") + : scm_from_locale_string ("Wrong type argument in position ~A: ~S"), + (pos == 0) ? scm_list_1 (bad_value) + : scm_list_2 (scm_from_int (pos), bad_value), + scm_list_1 (bad_value)); + scm_remember_upto_here_2 (symbol, bad_value); +} + +void +scm_wrong_type_arg_msg (const char *subr, int pos, SCM bad_value, const char *szMessage) +{ + SCM msg = scm_from_locale_string (szMessage); + if (pos == 0) + { + scm_error (scm_arg_type_key, + subr, "Wrong type (expecting ~A): ~S", + scm_list_2 (msg, bad_value), + scm_list_1 (bad_value)); + } + else + { + scm_error (scm_arg_type_key, + subr, + "Wrong type argument in position ~A (expecting ~A): ~S", + scm_list_3 (scm_from_int (pos), msg, bad_value), + scm_list_1 (bad_value)); + } +} + + +SCM_GLOBAL_SYMBOL (scm_misc_error_key, "misc-error"); +void +scm_misc_error (const char *subr, const char *message, SCM args) +{ + scm_error (scm_misc_error_key, subr, message, args, SCM_BOOL_F); +} + +void +scm_init_error () +{ +#include "libguile/cpp-E.c" +#include "libguile/error.x" +} + + +/* + Local Variables: + c-file-style: "gnu" + End: +*/