mirror of
https://github.com/XRPLF/rippled.git
synced 2025-11-05 03:35:51 +00:00
1d42c4f6de
Per XLS-0095, we are taking steps to rename ripple(d) to xrpl(d). This change specifically removes all copyright notices referencing Ripple, XRPLF, and certain affiliated contributors upon mutual agreement, so the notice in the LICENSE.md file applies throughout. Copyright notices referencing external contributions remain as-is. Duplicate verbiage is also removed.
58 lines
1.2 KiB
C++
58 lines
1.2 KiB
C++
#ifndef XRPL_BASICS_CONTRACT_H_INCLUDED
|
|
#define XRPL_BASICS_CONTRACT_H_INCLUDED
|
|
|
|
#include <xrpl/beast/type_name.h>
|
|
|
|
#include <exception>
|
|
#include <string>
|
|
#include <utility>
|
|
|
|
namespace ripple {
|
|
|
|
/* Programming By Contract
|
|
|
|
This routines are used when checking
|
|
preconditions, postconditions, and invariants.
|
|
*/
|
|
|
|
/** Generates and logs a call stack */
|
|
void
|
|
LogThrow(std::string const& title);
|
|
|
|
/** Rethrow the exception currently being handled.
|
|
|
|
When called from within a catch block, it will pass
|
|
control to the next matching exception handler, if any.
|
|
Otherwise, std::terminate will be called.
|
|
*/
|
|
[[noreturn]] inline void
|
|
Rethrow()
|
|
{
|
|
LogThrow("Re-throwing exception");
|
|
throw;
|
|
}
|
|
|
|
template <class E, class... Args>
|
|
[[noreturn]] inline void
|
|
Throw(Args&&... args)
|
|
{
|
|
static_assert(
|
|
std::is_convertible<E*, std::exception*>::value,
|
|
"Exception must derive from std::exception.");
|
|
|
|
E e(std::forward<Args>(args)...);
|
|
LogThrow(
|
|
std::string(
|
|
"Throwing exception of type " + beast::type_name<E>() + ": ") +
|
|
e.what());
|
|
throw e;
|
|
}
|
|
|
|
/** Called when faulty logic causes a broken invariant. */
|
|
[[noreturn]] void
|
|
LogicError(std::string const& how) noexcept;
|
|
|
|
} // namespace ripple
|
|
|
|
#endif
|