throws_ Struct Template

Operator struct template to check if an expression throws a specific exception. More...

Declaration

template <class Callable_T, class Exception_T = void>
struct micro_os_plus::micro_test_plus::detail::throws_<Callable_T, Exception_T> { ... }

Included Headers

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

Base struct

struct	callable_op_
	Common base struct for callable-wrapping operators. More...

Public Constructors Index

template <class Callable_T, class Exception_T = void>
constexpr	throws_ (const Callable_T &func)
	Constructs an exception checking operator for the given callable. More...

Public Operators Index

template <class Callable_T, class Exception_T = void>
constexpr	operator bool () const
	Conversion operator to boolean. More...

Private Member Attributes Index

template <class Callable_T, class Exception_T = void>
const bool	value_ {}
	Stores the result of the callable invocation. More...

Description

Operator struct template to check if an expression throws a specific exception.

This specialisation checks whether invoking the given callable throws an exception of the specified type. The check is performed at construction time, with the result cached for reporting and composition. Use this when a test must verify that an operation raises an expected exception of a particular type.

Template Parameters

Callable_T	The type of the callable object to be invoked.
Exception_T	The type of the exception to check for (defaults to void for any exception).

Definition at line 644 of file detail.h.

Public Constructors

throws_()

template <class Callable_T, class Exception_T = void>

micro_os_plus::micro_test_plus::detail::throws_< Callable_T, Exception_T >::throws_ (const Callable_T & func)

explicit constexpr

Constructs an exception checking operator for the given callable.

Parameters

func	The callable object to be invoked.

Invokes func inside a try/catch block. If func throws an exception of type Exception_T, the result is true; if it throws any other exception the result is false; if no exception is thrown the result is false. The result is passed to the callable_op_ base class constructor.

Declaration at line 652 of file detail.h, definition at line 551 of file detail-inlines.h.

551 constexpr throws_<Callable_T, Exception_T>::throws_ (

552 const Callable_T& func)

553 : callable_op_{ [&func]

554 {

555 try

556 {

557 func ();

558 }

559 catch (const Exception_T&)

560 {

561 return true;

562 }

563 catch (...)

564 {

565 return false;

566 }

567 return false;

568 }() }

569 {

570 }

Reference micro_os_plus::micro_test_plus::detail::callable_op_::callable_op_.

Referenced by micro_os_plus::micro_test_plus::detail::throws_< Callable_T, void >::throws_.

Public Operators

operator bool()

template <class Callable_T, class Exception_T = void>

micro_os_plus::micro_test_plus::detail::callable_op_::operator bool ()

nodiscard constexpr

Conversion operator to boolean.

Parameters

None.

Returns

The result of the callable invocation.

Returns the pre-computed boolean result stored by the derived operator's constructor.

Declaration at line 615 of file detail.h, definition at line 535 of file detail-inlines.h.

535 operator bool () const

536 {

537 return value_;

538 }

Reference micro_os_plus::micro_test_plus::detail::callable_op_::value_.

Private Member Attributes

value_

template <class Callable_T, class Exception_T = void>

const bool micro_os_plus::micro_test_plus::detail::callable_op_::value_ {}

Stores the result of the callable invocation.

Definition at line 621 of file detail.h.

621 const bool value_{};

Referenced by micro_os_plus::micro_test_plus::detail::callable_op_::callable_op_ and micro_os_plus::micro_test_plus::detail::callable_op_::operator bool.

---

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

• detail.h
• detail-inlines.h

---

Generated via doxygen2docusaurus 2.2.0 by Doxygen 1.17.0.