dd/d1d/conceptmimicpp_1_1expectation__policy__for.html

template<typename T, typename Signature>

concept mimicpp::expectation_policy_for =  std::is_move_constructible_v<T>

                                  && std::is_destructible_v<T>

                                  && std::same_as<T, std::remove_cvref_t<T>>

                                  && requires(T& policy, const call::info_for_signature_t<Signature>& info) {

                                         { std::as_const(policy).is_satisfied() } noexcept -> std::convertible_to<bool>;

                                         { std::as_const(policy).matches(info) } -> std::convertible_to<bool>;

                                         { std::as_const(policy).describe() } -> std::convertible_to<std::optional<StringT>>;

                                         { policy.consume(info) };

                                     }

mimicpp::expectation_policy_for
Determines, whether the given type satisfies the requirements of an expectation-policy for the given ...
Definition Expectation.hpp:362

mimicpp::call::info_for_signature_t
typename info_for_signature< Signature >::type info_for_signature_t
Definition Call.hpp:69