assertions.hh File Reference

#include <string_view>
#include <sys/cdefs.h>

Include dependency graph for assertions.hh:

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

Go to the source code of this file.

Namespaces
namespace	Scroom
namespace	Scroom::Utils
namespace	Scroom::Utils::Detail

Macros
#define	require(expr)
#define	ensure(expr)
#define	verify(expr)
#define	defect()
#define	defect_message(m)

Functions
void	Scroom::Utils::Detail::assertionFailed (std::string_view type, std::string_view expr, std::string_view function, std::string_view filename, unsigned int line) __attribute__((noreturn))

Macro Definition Documentation

defect

#define defect

(

)

Value:

  Scroom::Utils::Detail::assertionFailed(                                                           \
    "control flow assertion", "", static_cast<const char*>(__PRETTY_FUNCTION__), __FILE__, __LINE__ \
  )

defect_message

#define defect_message

(

m

)

Value:

  Scroom::Utils::Detail::assertionFailed(                                                            \
    "control flow assertion", (m), static_cast<const char*>(__PRETTY_FUNCTION__), __FILE__, __LINE__ \
  )

ensure

#define ensure

(

expr

)

Value:

  ((expr) ? ((void)0)                                                                                            \
          : Scroom::Utils::Detail::assertionFailed(                                                              \
              "postcondition", __STRING(expr), static_cast<const char*>(__PRETTY_FUNCTION__), __FILE__, __LINE__ \
            ))

          : Scroom::Utils::Detail::assertionFailed(                                                              \
              "postcondition", __STRING(expr), static_cast<const char*>(__PRETTY_FUNCTION__), __FILE__, __LINE__ \
            ))

require

#define require

(

expr

)

Value:

  ((expr) ? ((void)0)                                                                                           \
          : Scroom::Utils::Detail::assertionFailed(                                                             \
              "precondition", __STRING(expr), static_cast<const char*>(__PRETTY_FUNCTION__), __FILE__, __LINE__ \
            ))

          : Scroom::Utils::Detail::assertionFailed(                                                             \
              "precondition", __STRING(expr), static_cast<const char*>(__PRETTY_FUNCTION__), __FILE__, __LINE__ \
            ))

verify

#define verify

(

expr

)

Value:

  ((expr) ? ((void)0)                                                                                        \
          : Scroom::Utils::Detail::assertionFailed(                                                          \
              "assertion", __STRING(expr), static_cast<const char*>(__PRETTY_FUNCTION__), __FILE__, __LINE__ \
            ))

          : Scroom::Utils::Detail::assertionFailed(                                                          \
              "assertion", __STRING(expr), static_cast<const char*>(__PRETTY_FUNCTION__), __FILE__, __LINE__ \
            ))