contract.hpp

Go to the documentation of this file.

#pragma once
 
#include <cassert>
 
#include "NNL/common/src_info.hpp"  // IWYU pragma: export

#ifdef NNL_THROW_ON_CONTRACT_VIOLATION
#include "NNL/common/exception.hpp"
#define NNL_EXPECTS(precondition)                                                           \
  do {                                                                                      \
    if (!static_cast<bool>(precondition)) {                                                 \
      NNL_THROW(nnl::PreconditionError(NNL_SRCTAG("precondition failed: " #precondition))); \
    }                                                                                       \
  } while (false)
#else
#include "NNL/common/panic.hpp"  // IWYU pragma: export
#define NNL_EXPECTS(precondition)                                    \
  do {                                                               \
    if (!static_cast<bool>(precondition)) {                          \
      nnl::Panic(NNL_SRCTAG("precondition failed: " #precondition)); \
    }                                                                \
  } while (false)
#endif

#define NNL_EXPECTS_DBG(precondition) \
  do {                                \
    assert(precondition);             \
  } while (false)

#define NNL_ENSURES_DBG(postcondition) \
  do {                                 \
    assert(postcondition);             \
  } while (false)