Contract.hpp

Go to the documentation of this file.

#pragma once
 
#define MMCFILTERS_CONTRACT_UNCHECKED 0
 
#define MMCFILTERS_CONTRACT_CHECKED 1
 
#ifndef MMCFILTERS_CONTRACT_MODE
#define MMCFILTERS_CONTRACT_MODE MMCFILTERS_CONTRACT_CHECKED
#endif
 
#if MMCFILTERS_CONTRACT_MODE != MMCFILTERS_CONTRACT_UNCHECKED && MMCFILTERS_CONTRACT_MODE != MMCFILTERS_CONTRACT_CHECKED
#error "MMCFILTERS_CONTRACT_MODE must be MMCFILTERS_CONTRACT_CHECKED or MMCFILTERS_CONTRACT_UNCHECKED."
#endif
 
namespace mmcfilters::contract {
 
enum class Mode {
    Unchecked = MMCFILTERS_CONTRACT_UNCHECKED,
    Checked = MMCFILTERS_CONTRACT_CHECKED
};
 
inline constexpr Mode mode = static_cast<Mode>(MMCFILTERS_CONTRACT_MODE);
 
inline constexpr bool validationsEnabled = mode == Mode::Checked;
 
} // namespace mmcfilters::contract
 
#define MMCFILTERS_CONTRACT_REQUIRE(condition, ...)                                                                                                            \
    do {                                                                                                                                                       \
        if constexpr (::mmcfilters::contract::validationsEnabled) {                                                                                            \
            if (!(condition)) {                                                                                                                                \
                __VA_ARGS__;                                                                                                                                   \
            }                                                                                                                                                  \
        }                                                                                                                                                      \
    } while (false)
 
#define MMCFILTERS_CONTRACT_CHECKED_ONLY(...)                                                                                                                  \
    do {                                                                                                                                                       \
        if constexpr (::mmcfilters::contract::validationsEnabled) {                                                                                            \
            __VA_ARGS__;                                                                                                                                       \
        }                                                                                                                                                      \
    } while (false)