#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
	detail
	declaration and default definition for the functions used the API

Macros
#define	ELECTRONEUM_PRECOND(...)
	If precondition fails, return `::error::kInvalidArgument` in current scope. More...

#define	ELECTRONEUM_CHECK(...)
	Check `expect<void>` and return errors in current scope. More...

#define	ELECTRONEUM_UNWRAP(...) ::detail::expect::unwrap( __VA_ARGS__ , nullptr, __FILE__ , __LINE__ )

#define	ELECTRONEUM_THROW(code, msg) ::detail::expect::throw_( code , msg , __FILE__ , __LINE__ )

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

Functions
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

◆ ELECTRONEUM_CHECK

#define ELECTRONEUM_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.

◆ ELECTRONEUM_PRECOND

#define ELECTRONEUM_PRECOND ( ... )

Value:

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

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

◆ ELECTRONEUM_THROW

#define ELECTRONEUM_THROW	(	code,
		msg
	)	::detail::expect::throw_( code , msg , __FILE__ , __LINE__ )

◆ ELECTRONEUM_UNWRAP

#define ELECTRONEUM_UNWRAP ( ... ) ::detail::expect::unwrap( __VA_ARGS__ , nullptr, __FILE__ , __LINE__ )

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.