micro_os_plus::micro_test_plus::detail::test_body Concept Reference

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

#include <test.h>

Concept definition

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

Detailed Description

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.