micro_os_plus::micro_test_plus::detail::suite_body Concept Reference

Concept satisfied by a callable object that can be the body of a suite. More...

#include <test.h>

Concept definition

    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>> && ...)

Detailed Description

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.