{

DEBUG_ASSERT(ptr, module_a{}); // minimal assertion

DEBUG_ASSERT(2 + 2 == 4, module_a{}, debug_assert::level<2>{}); // assertion with level

DEBUG_ASSERT(1 == 0, module_a{},

"this should be true"); // assertion with additional parameters, i.e. a message

DEBUG_UNREACHABLE(module_a{}); // mark unreachable statements

{

// module b uses a different handler

// it does not support a message

// instead you can specify a pointer value

static void handle(const debug_assert::source_location& loc, const char* expression,

void* ptr = nullptr) noexcept

{

std::cerr << "Assertion failure '" << loc.file_name << ':' << loc.line_number << ": "

<< expression;

if (ptr)

std::cerr << " - pointer is " << ptr;

std::cerr << '\n';

}

{

DEBUG_ASSERT(ptr == &value, module_b{}, ptr); // uses the additional custom parameter

DEBUG_ASSERT(ptr == &value, module_b{}, debug_assert::level<2>{},

ptr); // also works with a custom level

{

module_a_func(nullptr);

int val = 5;

module_b_func(val, &val);