X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fae10815035e4d0d150ff5fdbb7aa8fe25448c57..9d7dca1d2de1e6d67027e4ba33fefe1eb09550e3:/include/xbt/exception.hpp?ds=sidebyside diff --git a/include/xbt/exception.hpp b/include/xbt/exception.hpp index e0807e3353..4391ffec6d 100644 --- a/include/xbt/exception.hpp +++ b/include/xbt/exception.hpp @@ -17,11 +17,29 @@ #include // xbt_procname #include // xbt_getpid +/** @addtogroup XBT_ex + * @brief Exceptions support + */ + namespace simgrid { namespace xbt { +/** A backtrace + * + * This is used (among other things) in exceptions to store the associated + * backtrace. + * + * @ingroup XBT_ex + */ typedef std::vector Backtrace; +/** The location of where an exception has been throwed + * + * This is a tuple (__FILE__, __LINE__, __func__) and can be created with + * @ref XBT_THROW_POINT. + * + * @ingroup XBT_ex + */ struct ThrowPoint { ThrowPoint() {} ThrowPoint(const char* file, int line, const char* function) : @@ -31,7 +49,22 @@ struct ThrowPoint { const char* function = nullptr; }; -/** A polymorphic mixin class for adding context to an exception */ +/** Create a ThrowPoint with (__FILE__, __LINE__, __func__) */ +#define XBT_THROW_POINT ::simgrid::xbt::ThrowPoint(__FILE__, __LINE__, __func__) + +/** A base class for exceptions with context + * + * This is a base class for exceptions which store additional contextual + * infomations about them: backtrace, throw point, simulated process name + * and PID, etc. + * + * You are not expected to inherit from it. Instead of you use should + * @ref XBT_THROW an exception which will throw a subclass of your original + * exception with those additional features. + * + * However, you can try `dynamic_cast` an exception to this type in order to + * get contextual information about the exception. + */ XBT_PUBLIC_CLASS WithContextException { public: WithContextException() : @@ -65,11 +98,15 @@ private: ThrowPoint throwpoint_; }; -/** Internal class used to mixin the two classes */ +/** Internal class used to mixin an exception E with WithContextException */ template class WithContext : public E, public WithContextException { public: + + static_assert(!std::is_base_of::value, + "Trying to appli WithContext twice"); + WithContext(E exception) : E(std::move(exception)) {} WithContext(E exception, ThrowPoint throwpoint, Backtrace backtrace) : @@ -84,37 +121,21 @@ public: ~WithContext() override {} }; -/** Throw a given exception a context +/** Throw a C++ exception with some context * - * @param exception exception to throw - * @param backtrace backtrace to attach + * @param e Exception to throw + * @ingroup XBT_ex */ -template -[[noreturn]] inline -typename std::enable_if< !std::is_base_of::value >::type -throwWithContext( - E exception, - // Thanks to the default argument, we are taking the backtrace in the caller: - Backtrace backtrace = simgrid::xbt::backtrace()) -{ - throw WithContext(std::move(exception), std::move(backtrace)); -} - -template -[[noreturn]] inline -typename std::enable_if< !std::is_base_of::value >::type -throwWithContext( - E exception, - ThrowPoint throwpoint, - // Thanks to the default argument, we are taking the backtrace in the caller: - Backtrace backtrace = simgrid::xbt::backtrace()) -{ - throw WithContext(std::move(exception), throwpoint, std::move(backtrace)); -} - -#define XBT_THROW_POINT ::simgrid::xbt::ThrowPoint(__FILE__, __LINE__, __func__) #define XBT_THROW(e) \ - ::simgrid::xbt::throwWithContext(std::move(e), XBT_THROW_POINT) + throw WithContext(std::move(exception), throwpoint, simgrid::xbt::backtrace()) + +/** Throw a C++ exception with a context and a nexted exception/cause + * + * @param e Exception to throw + * @ingroup XBT_ex + */ +#define XBT_THROW_NESTED(e) \ + std::throw_with_nested(WithContext(std::move(exception), throwpoint, simgrid::xbt::backtrace())) } }