X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/12c0f182635ed71b370d608b5b9a614153765cd4..034696853c320dc71bd73cd98de6b740d9359c8e:/include/xbt/ex.h diff --git a/include/xbt/ex.h b/include/xbt/ex.h index d1e6f5c02f..a72f16b120 100644 --- a/include/xbt/ex.h +++ b/include/xbt/ex.h @@ -1,6 +1,8 @@ /* ex - Exception Handling */ -/* Copyright (c) 2005-2010 The SimGrid team */ +/* Copyright (c) 2005-2014. The SimGrid Team. + * All rights reserved. */ + /* Copyright (c) 2002-2004 Ralf S. Engelschall */ /* Copyright (c) 2002-2004 The OSSP Project */ /* Copyright (c) 2002-2004 Cable & Wireless */ @@ -140,7 +142,7 @@ __ex_mctx_struct} __ex_mctx_t; * * Any exception thrown directly from the TRIED_BLOCK block or from called * subroutines is caught. Cleanups which must be done after this block - * (whenever an exception arised or not) should be placed into the optionnal + * (whenever an exception arose or not) should be placed into the optionnal * CLEANUP_BLOCK. The code dealing with the exceptions when they arise should * be placed into the (mandatory) CATCH_BLOCK. * @@ -262,7 +264,7 @@ typedef enum { thread_error, /**< error while [un]locking */ host_error, /**< host failed */ tracing_error, /**< error during the simulation tracing */ - io_error, /**< disk or file error */ + io_error, /**< disk or file error */ vm_error /**< vm error */ } xbt_errcat_t; @@ -448,11 +450,7 @@ XBT_PUBLIC( void )__xbt_ex_terminate_default(xbt_ex_t * e); #define THROW_UNIMPLEMENTED \ THROWF(unknown_error, 0, "Function %s unimplemented",_XBT_FUNCTION) -#ifndef NDEBUG -# define DIE_IMPOSSIBLE xbt_assert(0,"The Impossible Did Happen (yet again)") -#else -# define DIE_IMPOSSIBLE exit(1); -#endif +#define DIE_IMPOSSIBLE xbt_die("The Impossible Did Happen (yet again)") /** @brief re-throwing of an already caught exception (ie, pass it to the upper catch block) * @hideinitializer @@ -473,6 +471,8 @@ XBT_PUBLIC( void )__xbt_ex_terminate_default(xbt_ex_t * e); /** @brief Exception destructor */ XBT_PUBLIC(void) xbt_ex_free(xbt_ex_t e); +/** @brief The display made by an exception that is not catched */ +XBT_PUBLIC(void) xbt_ex_display(xbt_ex_t * e); /** @brief Shows a backtrace of the current location */ XBT_PUBLIC(void) xbt_backtrace_display_current(void);