*/
XBT_PUBLIC const char* xbt_ex_catname(xbt_errcat_t cat);
-typedef struct xbt_ex xbt_ex_t;
-
/** Helper function used to throw exceptions in C */
XBT_ATTRIB_NORETURN XBT_PUBLIC void _xbt_throw(char* message, xbt_errcat_t errcat, int value, const char* file,
int line, const char* func);
*/
#define DIE_IMPOSSIBLE xbt_die("The Impossible Did Happen (yet again)")
-/** Display an exception */
-XBT_PUBLIC void xbt_ex_display(xbt_ex_t* e);
-
SG_END_DECL()
/** @} */