type-traits-inlines.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_TYPE_TRAITS_INLINES_H_
#define MICRO_TEST_PLUS_TYPE_TRAITS_INLINES_H_
 
// ----------------------------------------------------------------------------
 
#ifdef __cplusplus
 
// ----------------------------------------------------------------------------
 
#if defined(__GNUC__)
#pragma GCC diagnostic push
#if defined(__clang__)
#pragma clang diagnostic ignored "-Wc++98-compat"
#pragma clang diagnostic ignored "-Wc++98-compat-pedantic"
#endif
#endif
 
// ============================================================================
 
namespace micro_os_plus::micro_test_plus
{
  namespace type_traits
  {
    // ========================================================================

    template <class T>
    constexpr value_base_<T>::value_base_ (const T& v) noexcept : value_{ v }
    {
    }

    template <class T>
    constexpr value_base_<T>::
    operator T () const noexcept
    {
      return value_;
    }

    template <class T>
    constexpr T
    value_base_<T>::get (void) const noexcept
    {
      return value_;
    }
 
    // ------------------------------------------------------------------------

    template <auto N>
    constexpr integral_constant<N>::integral_constant () noexcept
        : value_base_<decltype (N)>{ N }
    {
    }

    template <auto N>
    constexpr auto
    integral_constant<N>::operator- () const noexcept
    {
      return integral_constant<-N>{};
    }
 
    // ------------------------------------------------------------------------

    template <class T, auto N, auto D, auto Size, auto P>
    constexpr floating_point_constant<T, N, D, Size, P>::
    operator T () const noexcept
    {
      return value;
    }

    template <class T, auto N, auto D, auto Size, auto P>
    constexpr T
    floating_point_constant<T, N, D, Size, P>::get (void) const noexcept
    {
      return value;
    }

    template <class T, auto N, auto D, auto Size, auto P>
    constexpr auto
    floating_point_constant<T, N, D, Size, P>::operator- () const noexcept
    {
      return floating_point_constant<T, N, D, Size, -P>{};
    }
 
    // ------------------------------------------------------------------------

    template <class T>
    constexpr genuine_integral_value<T>::genuine_integral_value (
        const T& _value) noexcept
        : value_base_<T>{ _value }
    {
    }
 
    // ------------------------------------------------------------------------

    template <class T>
    constexpr value<T>::value (const T& _value) noexcept
        : value_base_<T>{ _value }
    {
    }
 
    // ------------------------------------------------------------------------

    template <class T>
      requires is_floating_point<T>
    constexpr value<T>::value (const T& _value, const T precision) noexcept
        : value_base_<T>{ _value }, epsilon{ precision }
    {
    }

    template <class T>
      requires is_floating_point<T>
    constexpr value<T>::value (const T& val)
        : value{ val,
                 T (1)
                     / math::pow (T (10),
                                  math::den_size<unsigned long long> (val)) }
    {
    }
 
    // ------------------------------------------------------------------------
  } // namespace type_traits
 
  // --------------------------------------------------------------------------
} // namespace micro_os_plus::micro_test_plus
 
#if defined(__GNUC__)
#pragma GCC diagnostic pop
#endif
 
// ----------------------------------------------------------------------------
 
#endif // __cplusplus
 
// ----------------------------------------------------------------------------
 
#endif // MICRO_TEST_PLUS_TYPE_TRAITS_INLINES_H_
 
// ----------------------------------------------------------------------------