assert.h

/*
 * Copyright 2022 Adobe. All rights reserved.
 * This file is licensed to you under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License. You may obtain a copy
 * of the License at http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software distributed under
 * the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR REPRESENTATIONS
 * OF ANY KIND, either express or implied. See the License for the specific language
 * governing permissions and limitations under the License.
 */
#pragma once
 
#include <lagrange/api.h>
#include <lagrange/utils/fmt/format.h>
 
#include <string_view>


 
namespace lagrange {


LA_CORE_API void set_breakpoint_enabled(bool enabled);

LA_CORE_API bool is_breakpoint_enabled();

LA_CORE_API void trigger_breakpoint();

[[noreturn]] LA_CORE_API bool assertion_failed(
    const char* function,
    const char* file,
    unsigned int line,
    const char* condition,
    std::string_view message);

 
} // namespace lagrange
 
// -----------------------------------------------------------------------------

 
#define LA_INTERNAL_EXPAND(x) x
 
#define LA_INTERNAL_NARG2(...) \
    LA_INTERNAL_EXPAND(LA_INTERNAL_NARG1(__VA_ARGS__, LA_INTERNAL_RSEQN()))
#define LA_INTERNAL_NARG1(...) LA_INTERNAL_EXPAND(LA_INTERNAL_ARGSN(__VA_ARGS__))
#define LA_INTERNAL_ARGSN(_1, _2, _3, _4, _5, _6, _7, _8, _9, _10, N, ...) N
#define LA_INTERNAL_RSEQN() 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0
 
#define LA_INTERNAL_FUNC2(name, n) name##n
#define LA_INTERNAL_FUNC1(name, n) LA_INTERNAL_FUNC2(name, n)
 
#define LA_INTERNAL_GET_MACRO(func, ...) \
    LA_INTERNAL_EXPAND(                  \
        LA_INTERNAL_FUNC1(func, LA_INTERNAL_EXPAND(LA_INTERNAL_NARG2(__VA_ARGS__)))(__VA_ARGS__))
 
// -----------------------------------------------------------------------------
 
#if defined(__GNUC__) || defined(__clang__)
    #define LA_ASSERT_FUNCTION __PRETTY_FUNCTION__
#elif defined(_MSC_VER)
    #define LA_ASSERT_FUNCTION __FUNCSIG__
#elif defined(__SUNPRO_CC)
    #define LA_ASSERT_FUNCTION __func__
#else
    #define LA_ASSERT_FUNCTION __FUNCTION__
#endif
 
// -----------------------------------------------------------------------------
 
// Note: In order for the `la_xxx_assert()` macro to behave as a function, it needs to expand to an
// expression. This means we cannot use `if` or `do ... while` statements. The only options are
// ternary operators ?: or logical boolean using &&.
#define LA_INTERNAL_ASSERT_ARGS_2(condition, message)                        \
    ((void)(!static_cast<bool>((condition)) && ::lagrange::assertion_failed( \
                                                   LA_ASSERT_FUNCTION,       \
                                                   __FILE__,                 \
                                                   __LINE__,                 \
                                                   #condition,               \
                                                   message)))
#define LA_INTERNAL_ASSERT_ARGS_1(condition) LA_INTERNAL_ASSERT_ARGS_2(condition, "")
 
#define LA_INTERNAL_IGNORE_ARGS_2(condition, message) ((void)(0))
#define LA_INTERNAL_IGNORE_ARGS_1(condition) LA_INTERNAL_IGNORE_ARGS_2(condition, "")

 
// -----------------------------------------------------------------------------

#ifndef la_runtime_assert
    #define la_runtime_assert(...) \
        LA_INTERNAL_EXPAND(LA_INTERNAL_GET_MACRO(LA_INTERNAL_ASSERT_ARGS_, __VA_ARGS__))
#endif

#ifndef la_debug_assert
    #ifdef NDEBUG
        #define la_debug_assert(...) \
            LA_INTERNAL_EXPAND(LA_INTERNAL_GET_MACRO(LA_INTERNAL_IGNORE_ARGS_, __VA_ARGS__))
    #else
        #define la_debug_assert(...) \
            LA_INTERNAL_EXPAND(LA_INTERNAL_GET_MACRO(LA_INTERNAL_ASSERT_ARGS_, __VA_ARGS__))
    #endif // NDEBUG
#endif // la_debug_assert