mirror of
https://github.com/XRPLF/rippled.git
synced 2025-11-19 18:45:52 +00:00
2406b28e64
The codebase is filled with includes that are unused, and which thus can be removed. At the same time, the files often do not include all headers that contain the definitions used in those files. This change uses clang-format and clang-tidy to clean up the includes, with minor manual intervention to ensure the code compiles on all platforms.
77 lines
2.2 KiB
C++
77 lines
2.2 KiB
C++
//------------------------------------------------------------------------------
|
|
/*
|
|
This file is part of rippled: https://github.com/ripple/rippled
|
|
Copyright (c) 2014 Ripple Labs Inc.
|
|
|
|
Permission to use, copy, modify, and/or distribute this software for any
|
|
purpose with or without fee is hereby granted, provided that the above
|
|
copyright notice and this permission notice appear in all copies.
|
|
|
|
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
|
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
|
ANY SPECIAL , DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
|
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
*/
|
|
//==============================================================================
|
|
|
|
#ifndef RIPPLE_BASICS_CONTRACT_H_INCLUDED
|
|
#define RIPPLE_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
|