X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e6692e68ddfe1ef3234cacab53edb44277ae4405..a810e06af15688fb21253ff4b2ccf5ffc23cf8d0:/include/xbt/error.h diff --git a/include/xbt/error.h b/include/xbt/error.h index d35289a615..c42728c01b 100644 --- a/include/xbt/error.h +++ b/include/xbt/error.h @@ -15,17 +15,20 @@ #include "xbt/misc.h" /* BEGIN_DECL */ #include "xbt/log.h" -#ifdef HAVE_EXECINFO_H -#include /* to print the backtrace */ -#endif - BEGIN_DECL() -void xbt_abort(void) _XBT_GNUC_NORETURN; - -/**\brief Error types - \ingroup XBT_error -*/ +/** @addtogroup XBT_error + * + * This is how the errors get reported in the SimGrid toolkit. This mechanism is not + * as powerful as exceptions, but since we're using C, there is not much we can do. + * + * @{*/ + +/** @name 1. Type definition and basic operations + * + * @{ + */ +/** \brief Error types */ typedef enum { no_error=0, /**< succes */ mismatch_error=1, /**< The provided ID does not match */ @@ -45,26 +48,52 @@ typedef enum { remote_unknown_error } xbt_error_t; -const char *xbt_error_name(xbt_error_t errcode); + const char *xbt_error_name(xbt_error_t errcode); + void xbt_abort(void) _XBT_GNUC_NORETURN; + void xbt_die(const char *msg) _XBT_GNUC_NORETURN; + +/** @} */ + +/** @name 2. TRY macro family + * + * Those functions are used to launch a function call and react automatically + * to its return value. They expect such a variable to be declared in the scope: + * \verbatim xbt_error_t errcode;\endverbatim + * @{ + */ -#define TRY(a) do { \ - if ((errcode=a) != no_error) { \ +/** @brief return the error code if != no_error + * @hideinitializer + */ +#define TRY(action) do { \ + if ((errcode=action) != no_error) { \ fprintf (stderr, "%s:%d: '%s' error raising...\n", \ __FILE__,__LINE__, \ - xbt_error_name(errcode)); \ + xbt_error_name(errcode)); \ return errcode; \ } } while (0) -#define TRYCATCH(a,b) if ((errcode=a) != no_error && errcode !=b) return errcode -#define TRYFAIL(a) do { \ - if ((errcode=a) != no_error) { \ +/** @brief return the error code if != no_error and != \a catched + * @hideinitializer + */ +#define TRYCATCH(action,catched) if ((errcode=action) != no_error && errcode !=catched) return errcode + +/** @brief xbt_abort if the error code != no_error + * @hideinitializer + */ +#define TRYFAIL(action) do { \ + if ((errcode=action) != no_error) { \ fprintf(stderr,"%s:%d: Got '%s' error !\n", \ __FILE__,__LINE__, \ - xbt_error_name(errcode)); \ + xbt_error_name(errcode)); \ fflush(stdout); \ - xbt_abort(); \ + xbt_abort(); \ } } while(0) + +/** @brief return the error code if != \a expected_error (no_error not ok) + * @hideinitializer + */ #define TRYEXPECT(action,expected_error) do { \ errcode=action; \ if (errcode != expected_error) { \ @@ -75,74 +104,47 @@ const char *xbt_error_name(xbt_error_t errcode); } \ } while(0) -/* FIXME TRYCLEAN should be avoided for readability */ -#define TRYCLEAN(action,cleanup) do { \ - if ((errcode=action) != no_error) { \ - cleanup; \ - return errcode; \ - } \ -} while(0) - -#if 0 /* FIXME: We don't use backtrace. Drop it? */ -#define _XBT_ERR_PRE do { \ - void *_gs_array[30]; \ - size_t _gs_size= backtrace (_gs_array, 30); \ - char **_gs_strings= backtrace_symbols (_gs_array, _gs_size); \ - size_t _gs_i; - -#define _XBT_ERR_POST(code) \ - fprintf(stderr,"Backtrace follows\n"); \ - for (_gs_i = 0; _gs_i < _gs_size; _gs_i++) \ - fprintf (stderr," %s\n", _gs_strings[_gs_i]); \ - return code; \ -} while (0) +/** @}*/ -#else /* if 0 */ #define _XBT_ERR_PRE do { -#define _XBT_ERR_POST(code) \ +#define _XBT_ERR_POST(code) \ return code; \ } while (0) -#endif + -#define RAISE0(code,fmt) _XBT_ERR_PRE \ - fprintf(stderr,"%s:%d:%s: " fmt "\n", \ - __FILE__,__LINE__,__FUNCTION__); \ - _XBT_ERR_POST(code) -#define RAISE1(code,fmt,a1) _XBT_ERR_PRE \ - fprintf(stderr,"%s:%d:%s: " fmt "\n", \ - __FILE__,__LINE__,__FUNCTION__,a1); \ - _XBT_ERR_POST(code) -#define RAISE2(code,fmt,a1,a2) _XBT_ERR_PRE \ - fprintf(stderr,"%s:%d:%s: " fmt "\n", \ - __FILE__,__LINE__,__FUNCTION__,a1,a2); \ - _XBT_ERR_POST(code) -#define RAISE3(code,fmt,a1,a2,a3) _XBT_ERR_PRE \ - fprintf(stderr,"%s:%d:%s: " fmt "\n", \ - __FILE__,__LINE__,__FUNCTION__,a1,a2,a3); \ - _XBT_ERR_POST(code) -#define RAISE4(code,fmt,a1,a2,a3,a4) _XBT_ERR_PRE \ - fprintf(stderr,"%s:%d:%s: " fmt "\n", \ - __FILE__,__LINE__,__FUNCTION__,a1,a2,a3,a4); \ - _XBT_ERR_POST(code) -#define RAISE5(code,fmt,a1,a2,a3,a4,a5) _XBT_ERR_PRE \ - fprintf(stderr,"%s:%d:%s: " fmt "\n", \ - __FILE__,__LINE__,__FUNCTION__,a1,a2,a3,a4,a5); \ - _XBT_ERR_POST(code) -#define RAISE6(code,fmt,a1,a2,a3,a4,a5,a6) _XBT_ERR_PRE \ - fprintf(stderr,"%s:%d:%s: " fmt "\n", \ - __FILE__,__LINE__,__FUNCTION__,a1,a2,a3,a4,a5,a6); \ - _XBT_ERR_POST(code) - -/* #define RAISE_MALLOC RAISE0(malloc_error,"Malloc error") */ -#define RAISE_IMPOSSIBLE RAISE0(unknown_error,"The Impossible did happen") -#define RAISE_UNIMPLEMENTED RAISE1(unknown_error,"Function %s unimplemented",__FUNCTION__) +/** @name 3. RAISE macro family + * + * Return a error code, doing some logs on stderr. + * + * @todo This should use the logging features, not stderr + * + * @{ + */ +/** @hideinitializer */ +#define RAISE0(code,fmt) _XBT_ERR_PRE ERROR0(fmt); _XBT_ERR_POST(code) +/** @hideinitializer */ +#define RAISE1(code,fmt,a1) _XBT_ERR_PRE ERROR1(fmt,a1); _XBT_ERR_POST(code) +/** @hideinitializer */ +#define RAISE2(code,fmt,a1,a2) _XBT_ERR_PRE ERROR2(fmt,a1,a2); _XBT_ERR_POST(code) +/** @hideinitializer */ +#define RAISE3(code,fmt,a1,a2,a3) _XBT_ERR_PRE ERROR3(fmt,a1,a2,a3); _XBT_ERR_POST(code) +/** @hideinitializer */ +#define RAISE4(code,fmt,a1,a2,a3,a4) _XBT_ERR_PRE ERROR4(fmt,a1,a2,a3,a4); _XBT_ERR_POST(code) +/** @hideinitializer */ +#define RAISE5(code,fmt,a1,a2,a3,a4,a5) _XBT_ERR_PRE ERROR5(fmt,a1,a2,a3,a4,a5); _XBT_ERR_POST(code) +/** @hideinitializer */ +#define RAISE6(code,fmt,a1,a2,a3,a4,a5,a6) _XBT_ERR_PRE ERROR6(fmt,a1,a2,a3,a4,a5,a6); _XBT_ERR_POST(code) + +/** @} */ /** - * \name Asserts - * \ingroup XBT_error - * asserts and stuff + * \name 4. assert macro familly + * + * Those are the GRAS version of the good ol' assert macro. You can pass them a format message and + * arguments, just as if it where a printf. It is converted to a CRITICALn logging request. + * + * @{ */ -/*@{*/ #ifdef NDEBUG #define xbt_assert(cond) #define xbt_assert0(cond,msg) @@ -153,26 +155,40 @@ const char *xbt_error_name(xbt_error_t errcode); #define xbt_assert5(cond,msg,a,b,c,d,e) #define xbt_assert6(cond,msg,a,b,c,d,e,f) #else +/** @brief The condition which failed will be displayed. + @hideinitializer */ #define xbt_assert(cond) if (!(cond)) { CRITICAL1("Assertion %s failed", #cond); xbt_abort(); } +/** @hideinitializer */ #define xbt_assert0(cond,msg) if (!(cond)) { CRITICAL0(msg); xbt_abort(); } +/** @hideinitializer */ #define xbt_assert1(cond,msg,a) if (!(cond)) { CRITICAL1(msg,a); xbt_abort(); } +/** @hideinitializer */ #define xbt_assert2(cond,msg,a,b) if (!(cond)) { CRITICAL2(msg,a,b); xbt_abort(); } +/** @hideinitializer */ #define xbt_assert3(cond,msg,a,b,c) if (!(cond)) { CRITICAL3(msg,a,b,c); xbt_abort(); } +/** @hideinitializer */ #define xbt_assert4(cond,msg,a,b,c,d) if (!(cond)) { CRITICAL4(msg,a,b,c,d); xbt_abort(); } +/** @hideinitializer */ #define xbt_assert5(cond,msg,a,b,c,d,e) if (!(cond)) { CRITICAL5(msg,a,b,c,d,e); xbt_abort(); } +/** @hideinitializer */ #define xbt_assert6(cond,msg,a,b,c,d,e,f) if (!(cond)) { CRITICAL6(msg,a,b,c,d,e,f); xbt_abort(); } #endif -/*@}*/ -/** - * \brief How to abort with an error message - * \ingroup XBT_error +/** @} */ + +/** @name 5. Useful predefined errors + * + * @{ */ -void xbt_die(const char *msg) _XBT_GNUC_NORETURN; +#define RAISE_IMPOSSIBLE RAISE0(unknown_error,"The Impossible did happen") +#define RAISE_UNIMPLEMENTED RAISE1(unknown_error,"Function %s unimplemented",__FUNCTION__) #define DIE_IMPOSSIBLE xbt_assert0(0,"The Impossible did happen (yet again)") #define xbt_assert_error(a) xbt_assert1(errcode == (a), "Error %s unexpected",xbt_error_name(errcode)) +/** @} */ +/** @} */ + END_DECL() #endif /* XBT_ERROR_H */