detail.h

Go to the documentation of this file.

/*
 * This file is part of the µOS++ project (https://micro-os-plus.github.io/).
 * Copyright (c) 2021-2026 Liviu Ionescu. All rights reserved.
 *
 * Permission to use, copy, modify, and/or distribute this software for any
 * purpose is hereby granted, under the terms of the MIT license.
 *
 * If a copy of the license was not distributed with this file, it can be
 * obtained from https://opensource.org/licenses/mit.
 *
 * Major parts of the code are inspired from v1.1.8 of the Boost UT project,
 * released under the terms of the Boost Version 1.0 Software License,
 * which can be obtained from https://www.boost.org/LICENSE_1_0.txt.
 */
 
// ----------------------------------------------------------------------------

 
#ifndef MICRO_TEST_PLUS_DETAIL_H_
#define MICRO_TEST_PLUS_DETAIL_H_
 
// ----------------------------------------------------------------------------
 
#ifdef __cplusplus
 
// ----------------------------------------------------------------------------
 
#include <cstdio>
#include <string>
 
#include "type-traits.h"
#include "reflection.h"
 
// ----------------------------------------------------------------------------
 
#if defined(__GNUC__)
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wpadded"
#pragma GCC diagnostic ignored "-Waggregate-return"
#if defined(__clang__)
#pragma clang diagnostic ignored "-Wc++98-compat"
#endif
#endif
 
// ============================================================================
 
namespace micro_os_plus::micro_test_plus
{
  class test_node;
 
  // --------------------------------------------------------------------------

  namespace detail
  {
    // ========================================================================

    template <class Expr_T>
    struct assertion
    {
      Expr_T expr{};

      reflection::source_location location{};
    };
 
    // ========================================================================

    template <class T>
    [[nodiscard]] constexpr auto
    get (const T& t);
 
    // ========================================================================

    template <class T>
    struct unary_op_ : type_traits::op
    {
      constexpr unary_op_ (const T& t, bool value);

      [[nodiscard]] constexpr
      operator bool () const;

      [[nodiscard]] constexpr auto
      operand () const;
 
    private:
      const T t_{};

      const bool value_{};
    };
 
    // ========================================================================

    template <class Lhs_T, class Rhs_T>
    struct binary_op_ : type_traits::op
    {
      constexpr binary_op_ (const Lhs_T& lhs, const Rhs_T& rhs, bool value);

      [[nodiscard]] constexpr
      operator bool () const;

      [[nodiscard]] constexpr auto
      lhs (void) const;

      [[nodiscard]] constexpr auto
      rhs (void) const;
 
    private:
      const Lhs_T lhs_{};

      const Rhs_T rhs_{};

      const bool value_{};
    };
 
    // ========================================================================

    template <class Lhs_T, class Rhs_T>
    struct eq_ : binary_op_<Lhs_T, Rhs_T>
    {
      constexpr eq_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {});
    };
 
    // Deduction guide.
    template <typename Lhs_T, typename Rhs_T>
    eq_ (const Lhs_T&, const Rhs_T&) -> eq_<Lhs_T, Rhs_T>;
 
    // ========================================================================

    template <class Lhs_T, class Rhs_T>
    struct ne_ : binary_op_<Lhs_T, Rhs_T>
    {
      constexpr ne_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {});
    };
 
    // Deduction guide.
    template <typename Lhs_T, typename Rhs_T>
    ne_ (const Lhs_T&, const Rhs_T&) -> ne_<Lhs_T, Rhs_T>;
 
    // ========================================================================

    template <class Lhs_T, class Rhs_T>
    struct gt_ : binary_op_<Lhs_T, Rhs_T>
    {
      constexpr gt_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {});
    };
 
    // Deduction guide.
    template <typename Lhs_T, typename Rhs_T>
    gt_ (const Lhs_T&, const Rhs_T&) -> gt_<Lhs_T, Rhs_T>;
 
    // ========================================================================

    template <class Lhs_T, class Rhs_T>
    struct ge_ : binary_op_<Lhs_T, Rhs_T>
    {
      constexpr ge_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {});
    };
 
    // Deduction guide.
    template <typename Lhs_T, typename Rhs_T>
    ge_ (const Lhs_T&, const Rhs_T&) -> ge_<Lhs_T, Rhs_T>;
 
    // ========================================================================

    template <class Lhs_T, class Rhs_T>
    struct lt_ : binary_op_<Lhs_T, Rhs_T>
    {
      constexpr lt_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {});
    };
 
    // Deduction guide.
    template <typename Lhs_T, typename Rhs_T>
    lt_ (const Lhs_T&, const Rhs_T&) -> lt_<Lhs_T, Rhs_T>;
 
    // ========================================================================

    template <class Lhs_T, class Rhs_T>
    struct le_ : binary_op_<Lhs_T, Rhs_T>
    {
      constexpr le_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {});
    };
 
    // Deduction guide.
    template <typename Lhs_T, typename Rhs_T>
    le_ (const Lhs_T&, const Rhs_T&) -> le_<Lhs_T, Rhs_T>;
 
    // ========================================================================

    template <class Lhs_T, class Rhs_T>
    struct and_ : binary_op_<Lhs_T, Rhs_T>
    {
      constexpr and_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {});
    };
 
    // Deduction guide.
    template <typename Lhs_T, typename Rhs_T>
    and_ (const Lhs_T&, const Rhs_T&) -> and_<Lhs_T, Rhs_T>;
 
    // ========================================================================

    template <class Lhs_T, class Rhs_T>
    struct or_ : binary_op_<Lhs_T, Rhs_T>
    {
      constexpr or_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {});
    };
 
    // Deduction guide.
    template <typename Lhs_T, typename Rhs_T>
    or_ (const Lhs_T&, const Rhs_T&) -> or_<Lhs_T, Rhs_T>;
 
    // ========================================================================

    template <class T>
    struct not_ : unary_op_<T>
    {
      explicit constexpr not_ (const T& t = {});
    };
 
    // Deduction guide.
    template <typename T>
    not_ (const T&) -> not_<T>;
 
    // ========================================================================
 
#if defined(__cpp_exceptions)

    struct callable_op_ : type_traits::op
    {
      constexpr explicit callable_op_ (bool value);

      [[nodiscard]] constexpr
      operator bool () const;
 
    private:
      const bool value_{};
    };
 
    // ========================================================================

    template <class Callable_T, class Exception_T = void>
    struct throws_ : callable_op_
    {
      constexpr explicit throws_ (const Callable_T& func);
    };
 
    // ========================================================================

    template <class Callable_T>
    struct throws_<Callable_T, void> : callable_op_
    {
      constexpr explicit throws_ (const Callable_T& func);
    };
 
    // ========================================================================

    template <class Callable_T>
    struct nothrow_ : callable_op_
    {
      constexpr explicit nothrow_ (const Callable_T& func);
    };
 
#endif
 
    // ========================================================================

    template <class T>
      requires std::is_arithmetic_v<T>
    void
    append_number_ (std::string& buffer, T v);
 
    // ------------------------------------------------------------------------
  } // namespace detail
 
  // --------------------------------------------------------------------------
} // namespace micro_os_plus::micro_test_plus
 
#if defined(__GNUC__)
#pragma GCC diagnostic pop
#endif
 
// ----------------------------------------------------------------------------
 
#endif // __cplusplus
 
// ============================================================================
// Templates & constexpr implementations.
 
#include "inlines/detail-inlines.h"
 
// ----------------------------------------------------------------------------
 
#endif // MICRO_TEST_PLUS_DETAIL_H_
 
// ----------------------------------------------------------------------------