suite_body Concept
Concept satisfied by a callable object that can be the body of a suite. More...
Definition
template <typename Callable_T, typename... Args_T>
concept micro_os_plus::micro_test_plus::detail::suite_body = (generic_callable<Callable_T>
|| std::is_invocable_v<std::decay_t<Callable_T>&, suite&,
std::decay_t<Args_T>&...>)
&& std::is_copy_constructible_v<std::decay_t<Callable_T>>
&& (std::is_copy_constructible_v<std::decay_t<Args_T>> && ...)
concept micro_os_plus::micro_test_plus::detail::suite_body = (generic_callable<Callable_T>
|| std::is_invocable_v<std::decay_t<Callable_T>&, suite&,
std::decay_t<Args_T>&...>)
&& std::is_copy_constructible_v<std::decay_t<Callable_T>>
&& (std::is_copy_constructible_v<std::decay_t<Args_T>> && ...)
Description
Concept satisfied by a callable object that can be the body of a suite.
Like test_body, with a suite& reference as the first argument. The body is stored in a std::function, so the callable object and the arguments must also be copyable; this is checked for the generic callables too.
- Template Parameters
-
Callable_T The type of the callable object.
Args_T The types of the callable arguments.
Definition at line 1216 of file test.h.
template<typename Callable_T, typename... Args_T>
concept suite_body = (generic_callable<Callable_T>
|| std::is_invocable_v<std::decay_t<Callable_T>&, suite&,
std::decay_t<Args_T>&...>)
&& std::is_copy_constructible_v<std::decay_t<Callable_T>>
&& (std::is_copy_constructible_v<std::decay_t<Args_T>> && ...)
Generated via doxygen2docusaurus 2.2.8 by Doxygen 1.18.0.