@micro-os-plus/micro-test-plus 3.2.0 → 3.2.3

package/include/micro-os-plus/micro-test-plus/detail.h

@@ -0,0 +1,1885 @@
+/*
+ * 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.
+ */
+
+// ----------------------------------------------------------------------------
+
+/**
+ * @file
+ * @brief C++ header file with declarations for the µTest++ internals.
+ *
+ * @details
+ * This header provides the declarations for the internal components of the
+ * µTest++ framework, encapsulated within the
+ * `micro_os_plus::micro_test_plus::detail` namespace. It defines the core
+ * mechanisms, helper structures, and utility templates that underpin the
+ * framework's assertion handling, value retrieval, comparator logic, deferred
+ * reporting, and exception checking facilities.
+ *
+ * All definitions reside within the `micro_os_plus::micro_test_plus::detail`
+ * namespace, ensuring clear separation from user code and minimising the risk
+ * of naming conflicts.
+ *
+ * The header files are organised within the
+ * `include/micro-os-plus/micro-test-plus` folder to maintain a structured and
+ * modular codebase.
+ *
+ * This file is intended solely for internal use within the framework and
+ * should not be included directly by user code.
+ */
+
+#ifndef MICRO_TEST_PLUS_DETAIL_H_
+#define MICRO_TEST_PLUS_DETAIL_H_
+
+// ----------------------------------------------------------------------------
+
+#ifdef __cplusplus
+
+// ----------------------------------------------------------------------------
+
+#include <stdio.h>
+#include <string>
+
+// ----------------------------------------------------------------------------
+
+#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
+{
+  // --------------------------------------------------------------------------
+
+  /**
+   * @namespace micro_os_plus::micro_test_plus::detail
+   * @brief Internal implementation details for the µTest++ framework.
+   *
+   * @details
+   * The `detail` namespace encapsulates the internal mechanisms, helper
+   * structures, and implementation utilities employed by the µTest++ testing
+   * framework. These components do not form part of the public API and may be
+   * modified without prior notice.
+   *
+   * Within this namespace, one will find assertion handling, generic getter
+   * utilities, comparator structures for logical and relational operations,
+   * mechanisms for exception checking, and base classes for deferred reporting
+   * of test results.
+   *
+   * All definitions within `detail` are intended exclusively for internal use,
+   * ensuring a clear distinction between user-facing and internal components.
+   * This approach enhances maintainability, mitigates the risk of naming
+   * conflicts, and keeps the public API succinct.
+   *
+   * The relevant header files are organised within the `include/micro-os-plus`
+   * folder to maintain a structured and modular codebase.
+   */
+  namespace detail
+  {
+    /**
+     * @brief Assertion struct template for parameter passing to the evaluator.
+     *
+     * @tparam Expr_T The type of the expression being asserted.
+     *
+     * @details
+     * The `assertion` struct template is used to encapsulate assertion
+     * parameters, including the expression under evaluation and its associated
+     * source location. This design enables precise reporting and diagnostics
+     * within the framework.
+     *
+     * The structure is intended exclusively for internal use and is
+     * implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Expr_T>
+    struct assertion
+    {
+      /**
+       * @brief The expression under evaluation.
+       */
+      Expr_T expr{};
+
+      /**
+       * @brief The source location associated with the assertion.
+       */
+      reflection::source_location location{};
+    };
+
+    // ------------------------------------------------------------------------
+
+    // in C++14/17/20, a function template with a deduced return type
+    // (auto) cannot be used before its definition is visible.
+    // Therefore it is not possible to split definitions.
+
+    /**
+     * @brief Generic getter function template for value retrieval.
+     *
+     * @tparam T The type from which the value is to be retrieved.
+     *
+     * @param t The object or value to be accessed.
+     * @return The value obtained via the relevant getter implementation.
+     *
+     * @details
+     * The `get` function template invokes the appropriate getter
+     * implementation to retrieve the value from the provided object or type.
+     * This function ensures consistent access to values for both custom and
+     * standard types within the framework.
+     *
+     * The primary implementation attempts to invoke a `get()` method if it
+     * exists, which is recommended for user-defined types to ensure consistent
+     * value access. If the type does not provide a `get()` method, the
+     * fallback variadic implementation simply returns the original argument.
+     *
+     * The `get` function template delegates to these implementations, enabling
+     * seamless support for a wide range of types in test expressions and
+     * comparators.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     */
+    template <class T>
+    [[nodiscard]] constexpr auto
+    get_impl (const T& t, int) -> decltype (t.get ())
+    {
+      return t.get ();
+    }
+
+    /**
+     * @brief Fallback variadic getter function template.
+     *
+     * @tparam T The type from which the value is to be retrieved.
+     *
+     * @param t The object or value to be accessed.
+     * @return The original argument `t`.
+     *
+     * @details
+     * The `get_impl` function template serves as a fallback mechanism for
+     * value retrieval when the provided type does not implement a `get()`
+     * member function. It simply returns the first argument, discarding any
+     * additional parameters.
+     *
+     * This approach ensures that both custom types (with a `get()` method) and
+     * standard types (without a `get()` method) are supported seamlessly
+     * within the framework's generic getter utilities.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     */
+    template <class T>
+    [[nodiscard]] constexpr auto
+    get_impl (const T& t, ...) -> decltype (auto)
+    {
+      return t;
+    }
+
+    /**
+     * @brief Generic getter function template for value retrieval.
+     *
+     * @tparam T The type from which the value is to be retrieved.
+     *
+     * @param t The object or value to be accessed.
+     * @return The value obtained via the relevant getter implementation.
+     *
+     * @details
+     * The `get` function template invokes the appropriate getter
+     * implementation to retrieve the value from the provided object or type.
+     * This function ensures consistent access to values for both custom and
+     * standard types within the framework.
+     *
+     * The primary implementation attempts to invoke a `get()` method if it
+     * exists, which is recommended for user-defined types to ensure consistent
+     * value access. If the type does not provide a `get()` method, the
+     * fallback variadic implementation simply returns the original argument.
+     *
+     * The `get` function template delegates to these implementations, enabling
+     * seamless support for a wide range of types in test expressions and
+     * comparators.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     */
+    template <class T>
+    [[nodiscard]] constexpr auto
+    get (const T& t)
+    {
+      // Call the variadic function, basically to force it return `t`.
+      return get_impl<T> (t, 0);
+    }
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Equality comparator struct template.
+     *
+     * @tparam Lhs_T The type of the left-hand operand.
+     * @tparam Rhs_T The type of the right-hand operand.
+     *
+     * @details
+     * The `eq_` struct template provides a type-safe mechanism for evaluating
+     * equality between two operands within the framework.
+     *
+     * This comparator supports a variety of operand types, including those
+     * with static values, types with precision (epsilon), and generic types.
+     * For types with static values, the comparison is performed directly. For
+     * types supporting precision, the comparison accounts for the smallest
+     * epsilon to ensure accuracy, particularly for floating-point types. For
+     * all other types, the generic getter is used to retrieve and compare the
+     * values.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Lhs_T, class Rhs_T>
+    struct eq_ : type_traits::op
+    {
+      /**
+       * @brief Constructs an equality comparator for the given operands.
+       *
+       * @param lhs The left-hand operand.
+       * @param rhs The right-hand operand.
+       *
+       * @details
+       * Evaluates the equality of the provided operands at construction,
+       * supporting static values, types with precision, and generic types. The
+       * result is stored in the `value_` member for efficient access.
+       */
+      constexpr eq_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {})
+          : lhs_{ lhs }, rhs_{ rhs }, value_{ [&] {
+              // This lambda is called in the constructor to
+              // evaluate the comparison.
+              using std::operator==;
+              using std::operator<;
+
+#if defined(__GNUC__)
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wfloat-equal"
+#pragma GCC diagnostic ignored "-Wconversion"
+#pragma GCC diagnostic ignored "-Wdouble-promotion"
+#pragma GCC diagnostic ignored "-Wsign-compare"
+#if defined(__clang__)
+#pragma clang diagnostic ignored "-Wimplicit-int-float-conversion"
+#pragma clang diagnostic ignored "-Wpedantic"
+#endif
+#endif
+              if constexpr (type_traits::has_value_v<Lhs_T>
+                            and type_traits::has_value_v<Rhs_T>)
+                {
+                  // If both types have values (like numeric constants),
+                  // compare them directly.
+                  return Lhs_T::value == Rhs_T::value;
+                }
+              else if constexpr (type_traits::has_epsilon_v<Lhs_T>
+                                 and type_traits::has_epsilon_v<Rhs_T>)
+                {
+                  // If both values have precision, compare them using
+                  // the smalles precision.
+                  return math::abs (get (lhs) - get (rhs))
+                         < math::min_value (Lhs_T::epsilon, Rhs_T::epsilon);
+                }
+              else if constexpr (type_traits::has_epsilon_v<Lhs_T>)
+                {
+                  // If only the left operand has precision, use it.
+                  return math::abs (get (lhs) - get (rhs)) < Lhs_T::epsilon;
+                }
+              else if constexpr (type_traits::has_epsilon_v<Rhs_T>)
+                {
+                  // If only the right operand has precision, use it.
+                  return math::abs (get (lhs) - get (rhs)) < Rhs_T::epsilon;
+                }
+              else
+                {
+                  // Call the generic getters, which might
+                  // either call the type get() or return the value.
+                  return get (lhs) == get (rhs);
+                }
+#if defined(__GNUC__)
+#pragma GCC diagnostic pop
+#endif
+            }() }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The operands are considered equal.
+       * @retval false The operands are not equal.
+       *
+       * @details
+       * Returns the result of the equality comparison.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Retrieves the left-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted left-hand operand.
+       *
+       * @details
+       * Returns the value of the left-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      lhs (void) const
+      {
+        return get (lhs_);
+      }
+
+      /**
+       * @brief Retrieves the right-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted right-hand operand.
+       *
+       * @details
+       * Returns the value of the right-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      rhs (void) const
+      {
+        return get (rhs_);
+      }
+
+      /**
+       * @brief Stores the left-hand operand.
+       */
+      const Lhs_T lhs_{};
+
+      /**
+       * @brief Stores the right-hand operand.
+       */
+      const Rhs_T rhs_{};
+
+      /**
+       * @brief Stores the result of the equality comparison.
+       */
+      const bool value_{};
+    };
+
+    // Deduction guide.
+    template <typename Lhs_T, typename Rhs_T>
+    eq_ (const Lhs_T&, const Rhs_T&) -> eq_<Lhs_T, Rhs_T>;
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Non-equality comparator struct template.
+     *
+     * @tparam Lhs_T The type of the left-hand operand.
+     * @tparam Rhs_T The type of the right-hand operand.
+     *
+     * @details
+     * The `ne_` struct template provides a type-safe mechanism for evaluating
+     * non-equality between two operands within the framework.
+     *
+     * This comparator supports a variety of operand types, including those
+     * with static values, types with precision (epsilon), and generic types.
+     * For types with static values, the comparison is performed directly. For
+     * types supporting precision, the comparison accounts for the smallest
+     * epsilon to ensure accuracy, particularly for floating-point types. For
+     * all other types, the generic getter is used to retrieve and compare the
+     * values.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus` folder to maintain a
+     * structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Lhs_T, class Rhs_T>
+    struct ne_ : type_traits::op
+    {
+      /**
+       * @brief Constructs a non-equality comparator for the given operands.
+       *
+       * @param lhs The left-hand operand.
+       * @param rhs The right-hand operand.
+       *
+       * @details
+       * Evaluates the non-equality of the provided operands at construction,
+       * supporting static values, types with precision, and generic types. The
+       * result is stored in the `value_` member for efficient access.
+       */
+      constexpr ne_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {})
+          : lhs_{ lhs }, rhs_{ rhs }, value_{ [&] {
+              using std::operator==;
+              using std::operator!=;
+              using std::operator>;
+
+#if defined(__GNUC__)
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wfloat-equal"
+#pragma GCC diagnostic ignored "-Wconversion"
+#pragma GCC diagnostic ignored "-Wdouble-promotion"
+#pragma GCC diagnostic ignored "-Wsign-compare"
+#if defined(__clang__)
+#pragma clang diagnostic ignored "-Wimplicit-int-float-conversion"
+#pragma clang diagnostic ignored "-Wpedantic"
+#endif
+#endif
+              if constexpr (type_traits::has_value_v<Lhs_T>
+                            and type_traits::has_value_v<Rhs_T>)
+                {
+                  return Lhs_T::value != Rhs_T::value;
+                }
+              else if constexpr (type_traits::has_epsilon_v<Lhs_T>
+                                 and type_traits::has_epsilon_v<Rhs_T>)
+                {
+                  return math::abs (get (lhs_) - get (rhs_))
+                         > math::min_value (Lhs_T::epsilon, Rhs_T::epsilon);
+                }
+              else if constexpr (type_traits::has_epsilon_v<Lhs_T>)
+                {
+                  return math::abs (get (lhs_) - get (rhs_)) > Lhs_T::epsilon;
+                }
+              else if constexpr (type_traits::has_epsilon_v<Rhs_T>)
+                {
+                  return math::abs (get (lhs_) - get (rhs_)) > Rhs_T::epsilon;
+                }
+              else
+                {
+                  return get (lhs_) != get (rhs_);
+                }
+#if defined(__GNUC__)
+#pragma GCC diagnostic pop
+#endif
+            }() }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The operands are considered not equal.
+       * @retval false The operands are considered equal.
+       *
+       * @details
+       * Returns the result of the non-equality comparison.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Retrieves the left-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted left-hand operand.
+       *
+       * @details
+       * Returns the value of the left-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      lhs (void) const
+      {
+        return get (lhs_);
+      }
+
+      /**
+       * @brief Retrieves the right-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted right-hand operand.
+       *
+       * @details
+       * Returns the value of the right-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      rhs (void) const
+      {
+        return get (rhs_);
+      }
+
+      /**
+       * @brief Stores the left-hand operand.
+       */
+      const Lhs_T lhs_{};
+
+      /**
+       * @brief Stores the right-hand operand.
+       */
+      const Rhs_T rhs_{};
+
+      /**
+       * @brief Stores the result of the non-equality comparison.
+       */
+      const bool value_{};
+    };
+
+    // Deduction guide.
+    template <typename Lhs_T, typename Rhs_T>
+    ne_ (const Lhs_T&, const Rhs_T&) -> ne_<Lhs_T, Rhs_T>;
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Greater than comparator struct template.
+     *
+     * @tparam Lhs_T The type of the left-hand operand.
+     * @tparam Rhs_T The type of the right-hand operand.
+     *
+     * @details
+     * The `gt_` struct template provides a type-safe mechanism for evaluating
+     * whether the left-hand operand is greater than the right-hand operand
+     * within the framework.
+     *
+     * This comparator supports a variety of operand types, including those
+     * with static values and generic types. For types with static values, the
+     * comparison is performed directly. For all other types, the generic
+     * getter is used to retrieve and compare the values.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus` folder to maintain a
+     * structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Lhs_T, class Rhs_T>
+    struct gt_ : type_traits::op
+    {
+      /**
+       * @brief Constructs a greater than comparator for the given operands.
+       *
+       * @param lhs The left-hand operand.
+       * @param rhs The right-hand operand.
+       *
+       * @details
+       * Evaluates whether the left-hand operand is greater than the right-hand
+       * operand at construction, supporting static values and generic types.
+       * The result is stored in the `value_` member for efficient access.
+       */
+      constexpr gt_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {})
+          : lhs_{ lhs }, rhs_{ rhs }, value_{ [&] {
+              using std::operator>;
+
+#if defined(__GNUC__)
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wconversion"
+#pragma GCC diagnostic ignored "-Wdouble-promotion"
+#pragma GCC diagnostic ignored "-Wsign-compare"
+#if defined(__clang__)
+#pragma clang diagnostic ignored "-Wimplicit-int-float-conversion"
+#pragma clang diagnostic ignored "-Wpedantic"
+#endif
+#endif
+              if constexpr (type_traits::has_value_v<Lhs_T>
+                            and type_traits::has_value_v<Rhs_T>)
+                {
+                  return Lhs_T::value > Rhs_T::value;
+                }
+              else
+                {
+                  return get (lhs_) > get (rhs_);
+                }
+#if defined(__GNUC__)
+#pragma GCC diagnostic pop
+#endif
+            }() }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The left-hand operand is greater than the right-hand
+       * operand.
+       * @retval false Otherwise.
+       *
+       * @details
+       * Returns the result of the greater than comparison.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Retrieves the left-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted left-hand operand.
+       *
+       * @details
+       * Returns the value of the left-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      lhs (void) const
+      {
+        return get (lhs_);
+      }
+      [[nodiscard]] constexpr auto
+
+      /**
+       * @brief Retrieves the right-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted right-hand operand.
+       *
+       * @details
+       * Returns the value of the right-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      rhs (void) const
+      {
+        return get (rhs_);
+      }
+
+      /**
+       * @brief Stores the left-hand operand.
+       */
+      const Lhs_T lhs_{};
+
+      /**
+       * @brief Stores the right-hand operand.
+       */
+      const Rhs_T rhs_{};
+
+      /**
+       * @brief Stores the result of the greater than comparison.
+       */
+      const bool value_{};
+    };
+
+    // Deduction guide.
+    template <typename Lhs_T, typename Rhs_T>
+    gt_ (const Lhs_T&, const Rhs_T&) -> gt_<Lhs_T, Rhs_T>;
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Greater than or equal comparator struct template.
+     *
+     * @tparam Lhs_T The type of the left-hand operand.
+     * @tparam Rhs_T The type of the right-hand operand.
+     *
+     * @details
+     * The `ge_` struct template provides a type-safe mechanism for evaluating
+     * whether the left-hand operand is greater than or equal to the right-hand
+     * operand within the framework.
+     *
+     * This comparator supports a variety of operand types, including those
+     * with static values and generic types. For types with static values, the
+     * comparison is performed directly. For all other types, the generic
+     * getter is used to retrieve and compare the values.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus` folder to maintain a
+     * structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Lhs_T, class Rhs_T>
+    struct ge_ : type_traits::op
+    {
+      /**
+       * @brief Constructs a greater than or equal comparator for the given
+       * operands.
+       *
+       * @param lhs The left-hand operand.
+       * @param rhs The right-hand operand.
+       *
+       * @details
+       * Evaluates whether the left-hand operand is greater than or equal to
+       * the right-hand operand at construction, supporting static values and
+       * generic types. The result is stored in the `value_` member for
+       * efficient access.
+       */
+      constexpr ge_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {})
+          : lhs_{ lhs }, rhs_{ rhs }, value_{ [&] {
+              using std::operator>=;
+
+#if defined(__GNUC__)
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wconversion"
+#pragma GCC diagnostic ignored "-Wdouble-promotion"
+#pragma GCC diagnostic ignored "-Wsign-compare"
+#if defined(__clang__)
+#pragma clang diagnostic ignored "-Wimplicit-int-float-conversion"
+#pragma clang diagnostic ignored "-Wpedantic"
+#endif
+#endif
+              if constexpr (type_traits::has_value_v<Lhs_T>
+                            and type_traits::has_value_v<Rhs_T>)
+                {
+                  return Lhs_T::value >= Rhs_T::value;
+                }
+              else
+                {
+                  return get (lhs_) >= get (rhs_);
+                }
+#if defined(__GNUC__)
+#pragma GCC diagnostic pop
+#endif
+            }() }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The left-hand operand is greater than or equal to the
+       * right-hand operand.
+       * @retval false Otherwise.
+       *
+       * @details
+       * Returns the result of the greater than or equal comparison.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Retrieves the left-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted left-hand operand.
+       *
+       * @details
+       * Returns the value of the left-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      lhs (void) const
+      {
+        return get (lhs_);
+      }
+
+      /**
+       * @brief Retrieves the right-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted right-hand operand.
+       *
+       * @details
+       * Returns the value of the right-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      rhs (void) const
+      {
+        return get (rhs_);
+      }
+
+      /**
+       * @brief Stores the left-hand operand.
+       */
+      const Lhs_T lhs_{};
+
+      /**
+       * @brief Stores the right-hand operand.
+       */
+      const Rhs_T rhs_{};
+
+      /**
+       * @brief Stores the result of the greater than or equal comparison.
+       */
+      const bool value_{};
+    };
+
+    // Deduction guide.
+    template <typename Lhs_T, typename Rhs_T>
+    ge_ (const Lhs_T&, const Rhs_T&) -> ge_<Lhs_T, Rhs_T>;
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Less than comparator struct template.
+     *
+     * @tparam Lhs_T The type of the left-hand operand.
+     * @tparam Rhs_T The type of the right-hand operand.
+     *
+     * @details
+     * The `lt_` struct template provides a type-safe mechanism for evaluating
+     * whether the left-hand operand is less than the right-hand operand within
+     * the framework.
+     *
+     * This comparator supports a variety of operand types, including those
+     * with static values and generic types. For types with static values, the
+     * comparison is performed directly. For all other types, the generic
+     * getter is used to retrieve and compare the values.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus` folder to maintain a
+     * structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Lhs_T, class Rhs_T>
+    struct lt_ : type_traits::op
+    {
+      /**
+       * @brief Constructs a less than comparator for the given operands.
+       *
+       * @param lhs The left-hand operand.
+       * @param rhs The right-hand operand.
+       *
+       * @details
+       * Evaluates whether the left-hand operand is less than the right-hand
+       * operand at construction, supporting static values and generic types.
+       * The result is stored in the `value_` member for efficient access.
+       */
+      constexpr lt_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {})
+          : lhs_{ lhs }, rhs_{ rhs }, value_{ [&] {
+              using std::operator<;
+
+#if defined(__GNUC__)
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wconversion"
+#pragma GCC diagnostic ignored "-Wdouble-promotion"
+#pragma GCC diagnostic ignored "-Wsign-compare"
+#if defined(__clang__)
+#pragma clang diagnostic ignored "-Wimplicit-int-float-conversion"
+#pragma clang diagnostic ignored "-Wpedantic"
+#endif
+#endif
+              if constexpr (type_traits::has_value_v<Lhs_T>
+                            and type_traits::has_value_v<Rhs_T>)
+                {
+                  return Lhs_T::value < Rhs_T::value;
+                }
+              else
+                {
+                  return get (lhs_) < get (rhs_);
+                }
+#if defined(__GNUC__)
+#pragma GCC diagnostic pop
+#endif
+            }() }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The left-hand operand is less than the right-hand
+       * operand.
+       * @retval false Otherwise.
+       *
+       * @details
+       * Returns the result of the less than comparison.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Retrieves the left-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted left-hand operand.
+       *
+       * @details
+       * Returns the value of the left-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      lhs (void) const
+      {
+        return get (lhs_);
+      }
+
+      /**
+       * @brief Retrieves the right-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted right-hand operand.
+       *
+       * @details
+       * Returns the value of the right-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      rhs (void) const
+      {
+        return get (rhs_);
+      }
+
+    private:
+      /**
+       * @brief Stores the left-hand operand.
+       */
+      const Lhs_T lhs_{};
+
+      /**
+       * @brief Stores the right-hand operand.
+       */
+      const Rhs_T rhs_{};
+
+      /**
+       * @brief Stores the result of the less than comparison.
+       */
+      const bool value_{};
+    };
+
+    // Deduction guide.
+    template <typename Lhs_T, typename Rhs_T>
+    lt_ (const Lhs_T&, const Rhs_T&) -> lt_<Lhs_T, Rhs_T>;
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Less than or equal comparator struct template.
+     *
+     * @tparam Lhs_T The type of the left-hand operand.
+     * @tparam Rhs_T The type of the right-hand operand.
+     *
+     * @details
+     * The `le_` struct template provides a type-safe mechanism for evaluating
+     * whether the left-hand operand is less than or equal to the right-hand
+     * operand within the framework.
+     *
+     * This comparator supports a variety of operand types, including those
+     * with static values and generic types. For types with static values, the
+     * comparison is performed directly. For all other types, the generic
+     * getter is used to retrieve and compare the values.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Lhs_T, class Rhs_T>
+    struct le_ : type_traits::op
+    {
+      /**
+       * @brief Constructs a less than or equal comparator for the given
+       * operands.
+       *
+       * @param lhs The left-hand operand.
+       * @param rhs The right-hand operand.
+       *
+       * @details
+       * Evaluates whether the left-hand operand is less than or equal to the
+       * right-hand operand at construction, supporting static values and
+       * generic types. The result is stored in the `value_` member for
+       * efficient access.
+       */
+      constexpr le_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {})
+          : lhs_{ lhs }, rhs_{ rhs }, value_{ [&] {
+              using std::operator<=;
+
+#if defined(__GNUC__)
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wconversion"
+#pragma GCC diagnostic ignored "-Wdouble-promotion"
+#pragma GCC diagnostic ignored "-Wsign-compare"
+#if defined(__clang__)
+#pragma clang diagnostic ignored "-Wimplicit-int-float-conversion"
+#pragma clang diagnostic ignored "-Wpedantic"
+#endif
+#endif
+              if constexpr (type_traits::has_value_v<Lhs_T>
+                            and type_traits::has_value_v<Rhs_T>)
+                {
+                  return Lhs_T::value <= Rhs_T::value;
+                }
+              else
+                {
+                  return get (lhs_) <= get (rhs_);
+                }
+#if defined(__GNUC__)
+#pragma GCC diagnostic pop
+#endif
+            }() }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The left-hand operand is less than or equal to the
+       * right-hand operand.
+       * @retval false Otherwise.
+       *
+       * @details
+       * Returns the result of the less than or equal comparison.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Retrieves the left-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted left-hand operand.
+       *
+       * @details
+       * Returns the value of the left-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+
+      [[nodiscard]] constexpr auto
+      lhs (void) const
+      {
+        return get (lhs_);
+      }
+
+      /**
+       * @brief Retrieves the right-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted right-hand operand.
+       *
+       * @details
+       * Returns the value of the right-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      rhs (void) const
+      {
+        return get (rhs_);
+      }
+
+      /**
+       * @brief Stores the left-hand operand.
+       */
+      const Lhs_T lhs_{};
+
+      /**
+       * @brief Stores the right-hand operand.
+       */
+      const Rhs_T rhs_{};
+
+      /**
+       * @brief Stores the result of the less than or equal comparison.
+       */
+      const bool value_{};
+    };
+
+    // Deduction guide.
+    template <typename Lhs_T, typename Rhs_T>
+    le_ (const Lhs_T&, const Rhs_T&) -> le_<Lhs_T, Rhs_T>;
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Logical AND comparator struct template.
+     *
+     * @tparam Lhs_T The type of the left-hand operand.
+     * @tparam Rhs_T The type of the right-hand operand.
+     *
+     * @details
+     * The `and_` struct template provides a type-safe mechanism for evaluating
+     * the logical conjunction (AND) of two operands within the framework.
+     *
+     * This comparator supports a wide range of operand types, applying the
+     * generic getter to ensure correct value extraction for both custom and
+     * standard types. The result of the logical AND operation is stored in the
+     * `value_` member for efficient access.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Lhs_T, class Rhs_T>
+    struct and_ : type_traits::op
+    {
+      /**
+       * @brief Constructs a logical AND comparator for the given operands.
+       *
+       * @param lhs The left-hand operand.
+       * @param rhs The right-hand operand.
+       *
+       * @details
+       * Evaluates the logical conjunction of the provided operands at
+       * construction, supporting both custom and standard types. The result is
+       * stored in the `value_` member for efficient access.
+       */
+      constexpr and_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {})
+          : lhs_{ lhs }, rhs_{ rhs },
+            value_{ static_cast<bool> (lhs) and static_cast<bool> (rhs) }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  Both operands evaluate to true.
+       * @retval false At least one operand evaluates to false.
+       *
+       * @details
+       * Returns the result of the logical AND operation.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Retrieves the left-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted left-hand operand.
+       *
+       * @details
+       * Returns the value of the left-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      lhs (void) const
+      {
+        return get (lhs_);
+      }
+
+      /**
+       * @brief Retrieves the right-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted right-hand operand.
+       *
+       * @details
+       * Returns the value of the right-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      rhs (void) const
+      {
+        return get (rhs_);
+      }
+
+      /**
+       * @brief Stores the left-hand operand.
+       */
+      const Lhs_T lhs_{};
+
+      /**
+       * @brief Stores the right-hand operand.
+       */
+      const Rhs_T rhs_{};
+
+      /**
+       * @brief Stores the result of the logical AND operation.
+       */
+      const bool value_{};
+    };
+
+    // Deduction guide.
+    template <typename Lhs_T, typename Rhs_T>
+    and_ (const Lhs_T&, const Rhs_T&) -> and_<Lhs_T, Rhs_T>;
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Logical OR comparator struct template.
+     *
+     * @tparam Lhs_T The type of the left-hand operand.
+     * @tparam Rhs_T The type of the right-hand operand.
+     *
+     * @details
+     * The `or_` struct template provides a type-safe mechanism for evaluating
+     * the logical disjunction (OR) of two operands within the framework.
+     *
+     * This comparator supports a wide range of operand types, applying the
+     * generic getter to ensure correct value extraction for both custom and
+     * standard types. The result of the logical OR operation is stored in the
+     * `value_` member for efficient access.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Lhs_T, class Rhs_T>
+    struct or_ : type_traits::op
+    {
+      /**
+       * @brief Constructs a logical OR comparator for the given operands.
+       *
+       * @details
+       * Evaluates the logical disjunction of the provided operands at
+       * construction, supporting both custom and standard types. The result is
+       * stored in the `value_` member for efficient access.
+       *
+       * @param lhs The left-hand operand.
+       * @param rhs The right-hand operand.
+       */
+      constexpr or_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {})
+          : lhs_{ lhs }, rhs_{ rhs },
+            value_{ static_cast<bool> (lhs) or static_cast<bool> (rhs) }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  At least one operand evaluates to true.
+       * @retval false Both operands evaluate to false.
+       *
+       * @details
+       * Returns the result of the logical OR operation.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Retrieves the left-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted left-hand operand.
+       *
+       * @details
+       * Returns the value of the left-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      lhs (void) const
+      {
+        return get (lhs_);
+      }
+
+      /**
+       * @brief Retrieves the right-hand operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted right-hand operand.
+       *
+       * @details
+       * Returns the value of the right-hand operand, applying the generic
+       * getter to ensure correct extraction for both custom and standard
+       * types.
+       */
+      [[nodiscard]] constexpr auto
+      rhs (void) const
+      {
+        return get (rhs_);
+      }
+
+      /**
+       * @brief Stores the left-hand operand.
+       */
+      const Lhs_T lhs_{};
+
+      /**
+       * @brief Stores the right-hand operand.
+       */
+      const Rhs_T rhs_{};
+
+      /**
+       * @brief Stores the result of the logical OR operation.
+       */
+      const bool value_{};
+    };
+
+    // Deduction guide.
+    template <typename Lhs_T, typename Rhs_T>
+    or_ (const Lhs_T&, const Rhs_T&) -> or_<Lhs_T, Rhs_T>;
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Logical NOT comparator struct template.
+     *
+     * @tparam T The type of the operand.
+     *
+     * @details
+     * The `not_` struct template provides a type-safe mechanism for evaluating
+     * the logical negation (NOT) of an operand within the framework.
+     *
+     * This comparator supports a wide range of operand types, applying the
+     * generic getter to ensure correct value extraction for both custom and
+     * standard types. The result of the logical NOT operation is stored in the
+     * `value_` member for efficient access.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class T>
+    struct not_ : type_traits::op
+    {
+      /**
+       * @brief Constructs a logical NOT comparator for the given operand.
+       *
+       * @param t The operand to be negated.
+       *
+       * @details
+       * Evaluates the logical negation of the provided operand at
+       * construction, supporting both custom and standard types. The result is
+       * stored in the `value_` member for efficient access.
+       */
+      explicit constexpr not_ (const T& t = {})
+          : t_{ t }, value_{ not static_cast<bool> (t) }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The operand evaluates to false.
+       * @retval false The operand evaluates to true.
+       *
+       * @details
+       * Returns the result of the logical NOT operation.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Retrieves the value of the operand.
+       *
+       * @par Parameters
+       *	None.
+       * @return The extracted operand value.
+       *
+       * @details
+       * Returns the value of the operand, applying the generic getter to
+       * ensure correct extraction for both custom and standard types.
+       */
+      [[nodiscard]] constexpr auto
+      value () const
+      {
+        return get (t_);
+      }
+
+      /**
+       * @brief Stores the operand.
+       */
+      const T t_{};
+
+      /**
+       * @brief Stores the result of the logical NOT operation.
+       */
+      const bool value_{};
+    };
+
+    // Deduction guide.
+    template <typename T>
+    not_ (const T&) -> not_<T>;
+
+    // ------------------------------------------------------------------------
+
+#if defined(__cpp_exceptions)
+
+    /**
+     * @brief Operator struct template to check if an expression throws a
+     * specific exception.
+     *
+     * @tparam Callable_T The type of the callable object to be invoked.
+     * @tparam Exception_T The type of the exception to check for (defaults to
+     * `void` for any exception).
+     *
+     * @details
+     * The `throws_` struct template provides a type-safe mechanism for
+     * verifying whether a callable expression throws a specified exception
+     * type during its execution within the framework.
+     *
+     * This comparator is designed to support both custom and standard callable
+     * types. The result of the exception check is stored in the `value_`
+     * member for efficient access.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Callable_T, class Exception_T = void>
+    struct throws_ : type_traits::op
+    {
+      /**
+       * @brief Constructs an exception checking operator for the given
+       * callable.
+       *
+       * @param func The callable object to be invoked.
+       *
+       * @details
+       * Invokes the provided callable and determines whether it throws an
+       * exception of the specified type. The result is stored in the `value_`
+       * member for efficient access.
+       */
+      constexpr explicit throws_ (const Callable_T& func)
+          : value_{ [&func] {
+              try
+                {
+                  func ();
+                }
+              catch (const Exception_T&)
+                {
+                  return true;
+                }
+              catch (...)
+                {
+                  return false;
+                }
+              return false;
+            }() }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The callable throws the specified exception type.
+       * @retval false The callable does not throw the specified exception
+       * type.
+       *
+       * @details
+       * Returns the result of the exception check.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Stores the result of the exception check.
+       */
+      const bool value_{};
+    };
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Operator struct template to check if an expression throws any
+     * exception.
+     *
+     * @tparam Callable_T The type of the callable object to be invoked.
+     *
+     * @details
+     * The `throws_` struct template provides a type-safe mechanism for
+     * verifying whether a callable expression throws any exception during its
+     * execution within the framework.
+     *
+     * This comparator is designed to support both custom and standard callable
+     * types. The result of the exception check is stored in the `value_`
+     * member for efficient access.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Callable_T>
+    struct throws_<Callable_T, void> : type_traits::op
+    {
+      /**
+       * @brief Constructs an exception checking operator for the given
+       * callable.
+       *
+       * @details
+       * Invokes the provided callable and determines whether it throws any
+       * exception. The result is stored in the `value_` member for efficient
+       * access.
+       *
+       * @param func The callable object to be invoked.
+       */
+      constexpr explicit throws_ (const Callable_T& func)
+          : value_{ [&func] {
+              try
+                {
+                  func ();
+                }
+              catch (...)
+                {
+                  return true;
+                }
+              return false;
+            }() }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The callable throws an exception.
+       *
+       * @details
+       * Returns the result of the exception check.
+       * @retval false The callable does not throw any exception.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Stores the result of the exception check.
+       */
+      const bool value_{};
+    };
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Operator struct template to check if an expression does not throw
+     * any exception.
+     *
+     * @tparam Callable_T The type of the callable object to be invoked.
+     *
+     * @details
+     * The `nothrow_` struct template provides a type-safe mechanism for
+     * verifying whether a callable expression completes without throwing any
+     * exception during its execution within the framework.
+     *
+     * This comparator is designed to support both custom and standard callable
+     * types. The result of the exception check is stored in the `value_`
+     * member for efficient access.
+     *
+     * The implementation is optimised for use in embedded environments and
+     * supports both compile-time and run-time evaluation.
+     *
+     * All definitions are intended for internal use within the framework and
+     * are implemented in the `include/micro-os-plus/micro-test-plus` folder to
+     * maintain a structured and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Callable_T>
+    struct nothrow_ : type_traits::op
+    {
+      /**
+       * @brief Constructs a nothrow checking operator for the given callable.
+       *
+       * @param func The callable object to be invoked.
+       *
+       * @details
+       * Invokes the provided callable and determines whether it completes
+       * without throwing any exception. The result is stored in the `value_`
+       * member for efficient access.
+       */
+      constexpr explicit nothrow_ (const Callable_T& func)
+          : value_{ [&func] {
+              try
+                {
+                  func ();
+                }
+              catch (...)
+                {
+                  return false;
+                }
+              return true;
+            }() }
+      {
+      }
+
+      /**
+       * @brief Conversion operator to boolean.
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The callable does not throw any exception.
+       * @retval false The callable throws an exception.
+       *
+       * @details
+       * Returns the result of the nothrow check.
+       */
+      [[nodiscard]] constexpr
+      operator bool () const
+      {
+        return value_;
+      }
+
+      /**
+       * @brief Stores the result of the nothrow check.
+       */
+      const bool value_{};
+    };
+
+#endif
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Base class for a deferred reporter that collects messages into a
+     * string.
+     *
+     * @details
+     * The `deferred_reporter_base` class serves as the foundational component
+     * for deferred reporting within the framework. It is responsible for
+     * collecting expectation messages, typically passed via the
+     * `operator<<()`, into a string for later reporting.
+     *
+     * This class maintains the result value, abort status, and the source
+     * location associated with the report. It is intended exclusively for
+     * internal use and is implemented in the
+     * `include/micro-os-plus/micro-test-plus` folder to ensure a structured
+     * and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    class deferred_reporter_base
+    {
+    public:
+      /**
+       * @brief Constructs a deferred reporter base.
+       *
+       * @param value The result value associated with the report.
+       * @param location The source location relevant to the report.
+       */
+      deferred_reporter_base (bool value,
+                              const reflection::source_location location);
+
+      /**
+       * @brief Destructor for the deferred reporter base.
+       */
+      ~deferred_reporter_base ();
+
+      /**
+       * @brief Appends a message to the reporter.
+       *
+       * @tparam T The type of the message to append.
+       *
+       * @param msg The message to append.
+       * @return Reference to the current reporter instance.
+       */
+      template <class T>
+      auto&
+      operator<< (const T& msg);
+
+      /**
+       * @brief Retrieves the result value.
+       *
+       *
+       * @par Parameters
+       *	None.
+       * @retval true  The reported condition was met.
+       * @retval false The reported condition was not met.
+       *
+       * @details
+       * Returns the result value associated with the report.
+       */
+      [[nodiscard]] constexpr bool
+      value () const
+      {
+        return value_;
+      }
+
+    protected:
+      /**
+       * @brief Stores the result value of the report.
+       */
+      bool value_{};
+
+      /**
+       * @brief Indicates whether the reporting should abort further
+       * processing.
+       */
+      bool abort_ = false;
+
+      /**
+       * @brief Stores the source location associated with the report.
+       */
+      const reflection::source_location location_{};
+
+      /**
+       * @brief String to collect the expectation message passed via
+       * `operator<<()`.
+       */
+      std::string message_{};
+    };
+
+    // ------------------------------------------------------------------------
+
+    /**
+     * @brief Deferred reporter class template for a specific expression.
+     *
+     * @tparam Expr_T The type of the expression being reported.
+     *
+     * @details
+     * The `deferred_reporter` class template extends `deferred_reporter_base`
+     * to provide deferred reporting functionality for a specific test
+     * expression within the framework.
+     *
+     * This class template is responsible for capturing the expression under
+     * evaluation, the abort status, and the source location. It is intended
+     * exclusively for internal use and is implemented in the
+     * `include/micro-os-plus/micro-test-plus` folder to ensure a structured
+     * and modular codebase.
+     *
+     * @headerfile micro-test-plus.h <micro-os-plus/micro-test-plus.h>
+     */
+    template <class Expr_T>
+    class deferred_reporter : public deferred_reporter_base
+    {
+    public:
+      /**
+       * @brief Constructs a deferred reporter for a specific expression.
+       *
+       * @param expr The expression under evaluation.
+       * @param abort Indicates whether reporting should abort further
+       * processing.
+       * @param location The source location relevant to the report.
+       *
+       * @details
+       * Initialises the reporter with the given expression, abort status, and
+       * source location.
+       */
+      constexpr explicit deferred_reporter (
+          const Expr_T& expr, bool abort,
+          const reflection::source_location& location);
+
+      /**
+       * @brief Destructor for the deferred reporter.
+       */
+      ~deferred_reporter ();
+
+    protected:
+      /**
+       * @brief Stores the expression under evaluation.
+       */
+      const Expr_T expr_{};
+    };
+
+    // ------------------------------------------------------------------------
+  } // namespace detail
+
+  // --------------------------------------------------------------------------
+} // namespace micro_os_plus::micro_test_plus
+
+#if defined(__GNUC__)
+#pragma GCC diagnostic pop
+#endif
+
+// ----------------------------------------------------------------------------
+
+#endif // __cplusplus
+
+// ----------------------------------------------------------------------------
+
+#endif // MICRO_TEST_PLUS_DETAIL_H_
+
+// ----------------------------------------------------------------------------