Kill unused function xbt_ex_display().

diff --git a/ChangeLog b/ChangeLog
index 99d68e9..6700246 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -24,6 +24,7 @@ XBT:
    - xbt_os_thread_set_extra_data()
    - xbt_os_thread_self()
    - xbt_os_thread_self_name()
    - xbt_os_thread_set_extra_data()
    - xbt_os_thread_self()
    - xbt_os_thread_self_name()

+ - Drop xbt_ex_display(), use simgrid::xbt::log_exception() instead.

 
 Fixed bugs:
  - #261: Document the parameters of parallel execution's constructor
 
 Fixed bugs:
  - #261: Document the parameters of parallel execution's constructor

diff --git a/include/xbt/ex.h b/include/xbt/ex.h
index 3b5e166..0ba034c 100644 (file)
--- a/include/xbt/ex.h
+++ b/include/xbt/ex.h
@@ -87,9 +87,6 @@ XBT_ATTRIB_NORETURN void xbt_throw_unimplemented(const char* file, int line, con
  */
 #define DIE_IMPOSSIBLE xbt_die("The Impossible Did Happen (yet again)")
 
  */
 #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()
 
 /** @} */
 SG_END_DECL()
 
 /** @} */

diff --git a/src/xbt/exception.cpp b/src/xbt/exception.cpp
index 48c4dfa..efb2c60 100644 (file)
--- a/src/xbt/exception.cpp
+++ b/src/xbt/exception.cpp
@@ -29,12 +29,6 @@ void _xbt_throw(char* message, xbt_errcat_t errcat, int value, const char* file,
   throw e;
 }
 
   throw e;
 }
 

-/** @brief shows an exception content and the associated stack if available */
-void xbt_ex_display(xbt_ex_t* e)
-{
-  simgrid::xbt::log_exception(xbt_log_priority_critical, "UNCAUGHT EXCEPTION", *e);
-}
-

 /** @brief returns a short name for the given exception category */
 const char* xbt_ex_catname(xbt_errcat_t cat)
 {
 /** @brief returns a short name for the given exception category */
 const char* xbt_ex_catname(xbt_errcat_t cat)
 {