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 552 of file detail-inlines.h.

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

553 const Callable_T& func)

554 : callable_op_{ [&func]

555 {

556 try

557 {

558 func ();

559 }

560 catch (const Exception_T&)

561 {

562 return true;

563 }

564 catch (...)

565 {

566 return false;

567 }

568 return false;

569 }() }

570 {

571 }

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 536 of file detail-inlines.h.

536 operator bool () const

537 {

538 return value_;

539 }

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.1 by Doxygen 1.17.0.