test_body Concept
Concept satisfied by a callable object that can be the body of a test case. More...
Definition
template <typename Callable_T, typename... Args_T>
concept micro_os_plus::micro_test_plus::detail::test_body = generic_callable<Callable_T>
|| std::is_invocable_v<std::decay_t<Callable_T>&, test_case&,
std::decay_t<Args_T>&...>
concept micro_os_plus::micro_test_plus::detail::test_body = generic_callable<Callable_T>
|| std::is_invocable_v<std::decay_t<Callable_T>&, test_case&,
std::decay_t<Args_T>&...>
Description
Concept satisfied by a callable object that can be the body of a test case.
The body is stored decayed, and invoked as an lvalue with a test_case& reference as the first argument, followed by the stored arguments, as lvalues, as bind_callable() invokes it. A body that does not satisfy it, for example a lambda with the wrong parameters, is rejected at the call of test(), not inside the framework. The generic callables (see generic_callable) are accepted without the check.
- Template Parameters
-
Callable_T The type of the callable object.
Args_T The types of the callable arguments.
Definition at line 1197 of file test.h.
template<typename Callable_T, typename... Args_T>
concept test_body = generic_callable<Callable_T>
|| std::is_invocable_v<std::decay_t<Callable_T>&, test_case&,
std::decay_t<Args_T>&...>
Generated via doxygen2docusaurus 2.2.8 by Doxygen 1.18.0.