#include <cassert>
#include <system_error>
#include <type_traits>
#include <utility>
#include "common/error.h"

Include dependency graph for expect.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	detail::expect
class	expect< T >
class	expect< void >

Namespaces
namespace	detail
	declaration and default definition for the functions used the API

Macros
#define	MONERO_PRECOND(...)
	If precondition fails, return ::error::kInvalidArgument in current scope.
#define	MONERO_CHECK(...)
	Check expect<void> and return errors in current scope.
#define	MONERO_UNWRAP(...)
#define	MONERO_THROW(code, msg)

Typedefs
template<bool C>
using	detail::enable_if = typename std::enable_if<C>::type

Functions
*return An expect< void > object with	!has_error ()`. inline expect< void > success() noexcept
template<typename T, typename U>
bool	operator== (expect< T > const &lhs, expect< U > const &rhs) noexcept(noexcept(lhs.equal(rhs)))
template<typename T, typename U>
bool	operator== (expect< T > const &lhs, U const &rhs) noexcept(noexcept(lhs.equal(rhs)))
template<typename T, typename U>
bool	operator== (T const &lhs, expect< U > const &rhs) noexcept(noexcept(rhs.equal(lhs)))
template<typename T, typename U>
bool	operator!= (expect< T > const &lhs, expect< U > const &rhs) noexcept(noexcept(lhs.equal(rhs)))
template<typename T, typename U>
bool	operator!= (expect< T > const &lhs, U const &rhs) noexcept(noexcept(lhs.equal(rhs)))
template<typename T, typename U>
bool	operator!= (T const &lhs, expect< U > const &rhs) noexcept(noexcept(rhs.equal(lhs)))

Macro Definition Documentation

◆ MONERO_CHECK

#define MONERO_CHECK ( ... )

Value:

do                                              \
{                                               \
    const ::expect<void> result = __VA_ARGS__ ; \
    if (!result)                                \
        return result.error();                  \
} while (0)

Check expect<void> and return errors in current scope.

◆ MONERO_PRECOND

#define MONERO_PRECOND ( ... )

Value:

do                                                 \
{                                                  \
    if (!( __VA_ARGS__ ))                          \
        return {::common_error::kInvalidArgument}; \
} while (0)

If precondition fails, return ::error::kInvalidArgument in current scope.

◆ MONERO_THROW

#define MONERO_THROW	(		code,
			msg )

Value:

::detail::expect::throw_( code , msg , __FILE__ , __LINE__ )

code

const portMappingElt code

Definition portlistingparse.c:22

detail::expect::throw_

static void throw_(std::error_code ec, const char *msg, const char *file, unsigned line)

Definition expect.cpp:64

◆ MONERO_UNWRAP

#define MONERO_UNWRAP ( ... )

Value:

::detail::expect::unwrap( __VA_ARGS__ , nullptr, __FILE__ , __LINE__ )

detail::expect::unwrap

static T unwrap(::expect< T > &&result, const char *error_msg, const char *file, unsigned line)

If result.has_error() call throw_. Otherwise,.

Definition expect.h:86

Get T from expect<T> by std::move as-if by function call. expect<void> returns nothing.

Exceptions

std::system_error with expect<T>::error(), filename and line number when expect<T>::has_error() == true.

Function Documentation