ne_ Struct Template

Non-equality comparator struct template. More...

Declaration

template <class Lhs_T, class Rhs_T> struct micro_os_plus::micro_test_plus::detail::ne_<Lhs_T, Rhs_T> { ... }

Included Headers

#include <micro-os-plus/micro-test-plus.h>

Base struct

struct	op
	Empty base struct for all operator types. More...

Public Constructors Index

template <class Lhs_T, class Rhs_T>
constexpr	ne_ (const Lhs_T &lhs={}, const Rhs_T &rhs={})
	Constructs a non-equality comparator for the given operands. More...

Public Operators Index

template <class Lhs_T, class Rhs_T>
constexpr	operator bool () const
	Conversion operator to boolean. More...

Public Member Functions Index

template <class Lhs_T, class Rhs_T>
constexpr auto	lhs (void) const
	Retrieves the left-hand operand. More...
template <class Lhs_T, class Rhs_T>
constexpr auto	rhs (void) const
	Retrieves the right-hand operand. More...

Public Member Attributes Index

template <class Lhs_T, class Rhs_T>
const Lhs_T	lhs_ {}
	Stores the left-hand operand. More...
template <class Lhs_T, class Rhs_T>
const Rhs_T	rhs_ {}
	Stores the right-hand operand. More...
template <class Lhs_T, class Rhs_T>
const bool	value_ {}
	Stores the result of the non-equality comparison. More...

Description

Non-equality comparator struct template.

Template Parameters

Lhs_T	The type of the left-hand operand.
Rhs_T	The type of the right-hand operand.

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.

Definition at line 437 of file detail.h.

Public Constructors

ne_()

template <class Lhs_T, class Rhs_T>

micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::ne_ (const Lhs_T & lhs={}, const Rhs_T & rhs={})

inline constexpr

Constructs a non-equality comparator for the given operands.

Parameters

lhs	The left-hand operand.
rhs	The right-hand operand.

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.

Definition at line 450 of file detail.h.

450 constexpr ne_ (const Lhs_T& lhs = {}, const Rhs_T& rhs = {})

451 : lhs_{ lhs }, rhs_{ rhs }, value_{

452 [&]

453 {

454 using std::operator==;

455 using std::operator!=;

456 using std::operator>;

457

458#if defined(__GNUC__)

459#pragma GCC diagnostic push

460#pragma GCC diagnostic ignored "-Wfloat-equal"

461#pragma GCC diagnostic ignored "-Wconversion"

462#pragma GCC diagnostic ignored "-Wdouble-promotion"

463#pragma GCC diagnostic ignored "-Wsign-compare"

464#if defined(__clang__)

465#pragma clang diagnostic ignored "-Wimplicit-int-float-conversion"

466#pragma clang diagnostic ignored "-Wpedantic"

467#endif

468#endif

469 if constexpr (type_traits::has_value_v<Lhs_T>

470 and type_traits::has_value_v<Rhs_T>)

471 {

472 return Lhs_T::value != Rhs_T::value;

473 }

474 else if constexpr (type_traits::has_epsilon_v<Lhs_T>

475 and type_traits::has_epsilon_v<Rhs_T>)

476 {

477 return math::abs (get (lhs_) - get (rhs_))

478 > math::min_value (Lhs_T::epsilon,

479 Rhs_T::epsilon);

480 }

481 else if constexpr (type_traits::has_epsilon_v<Lhs_T>)

482 {

483 return math::abs (get (lhs_) - get (rhs_))

484 > Lhs_T::epsilon;

485 }

486 else if constexpr (type_traits::has_epsilon_v<Rhs_T>)

487 {

488 return math::abs (get (lhs_) - get (rhs_))

489 > Rhs_T::epsilon;

490 }

491 else

492 {

493 return get (lhs_) != get (rhs_);

494 }

495#if defined(__GNUC__)

496#pragma GCC diagnostic pop

497#endif

498 }()

499 }

500 {

501 }

Reference micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::lhs.

Public Operators

operator bool()

template <class Lhs_T, class Rhs_T>

micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::operator bool ()

inline nodiscard constexpr

Conversion operator to boolean.

Parameters

None.

Return Values

true	The operands are considered not equal.
false	The operands are considered equal.

Returns the result of the non-equality comparison.

Definition at line 515 of file detail.h.

515 operator bool () const

516 {

517 return value_;

518 }

Reference micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::value_.

Public Member Functions

lhs()

template <class Lhs_T, class Rhs_T>

auto micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::lhs (void)

inline nodiscard constexpr

Retrieves the left-hand operand.

Parameters

None.

Returns

The extracted left-hand operand.

Returns the value of the left-hand operand, applying the generic getter to ensure correct extraction for both custom and standard types.

Definition at line 533 of file detail.h.

533 lhs (void) const

534 {

535 return get (lhs_);

536 }

References micro_os_plus::micro_test_plus::detail::get and micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::lhs_.

Referenced by micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::ne_ and micro_os_plus::micro_test_plus::test_reporter::operator<<.

rhs()

template <class Lhs_T, class Rhs_T>

auto micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::rhs (void)

inline nodiscard constexpr

Retrieves the right-hand operand.

Parameters

None.

Returns

The extracted right-hand operand.

Returns the value of the right-hand operand, applying the generic getter to ensure correct extraction for both custom and standard types.

Definition at line 551 of file detail.h.

551 rhs (void) const

552 {

553 return get (rhs_);

554 }

References micro_os_plus::micro_test_plus::detail::get and micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::rhs_.

Referenced by micro_os_plus::micro_test_plus::test_reporter::operator<<.

Public Member Attributes

lhs_

template <class Lhs_T, class Rhs_T>

const Lhs_T micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::lhs_ {}

Stores the left-hand operand.

Definition at line 559 of file detail.h.

559 const Lhs_T lhs_{};

Referenced by micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::lhs.

rhs_

template <class Lhs_T, class Rhs_T>

const Rhs_T micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::rhs_ {}

Stores the right-hand operand.

Definition at line 564 of file detail.h.

564 const Rhs_T rhs_{};

Referenced by micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::rhs.

value_

template <class Lhs_T, class Rhs_T>

const bool micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::value_ {}

Stores the result of the non-equality comparison.

Definition at line 569 of file detail.h.

569 const bool value_{};

Referenced by micro_os_plus::micro_test_plus::detail::ne_< Lhs_T, Rhs_T >::operator bool.

---

The documentation for this struct was generated from the following file:

• detail.h

---

Generated via doxygen2docusaurus 2.0.0 by Doxygen 1.14.0.