mimicpp::expectation_policy_for Concept Reference

Determines, whether the given type satisfies the requirements of an expectation-policy for the given signature. More...

#include <Expectation.hpp>

Concept definition

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 -> util::boolean_testable;
                                         { std::as_const(policy).matches(info) } -> util::boolean_testable;
                                         { std::as_const(policy).describe() } -> util::explicitly_convertible_to<std::optional<StringT>>;
                                         { policy.consume(info) };
                                     }

Detailed Description

Determines, whether the given type satisfies the requirements of an expectation-policy for the given signature.