mimicpp::expectation::expectation_policy_for Concept Reference

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

#include <Common.hpp>

Concept definition

    template<typename T, typename Signature>
    concept 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, call::info_for_signature_t<Signature> const& info) {
                                         { std::as_const(policy).is_satisfied() } noexcept -> util::boolean_testable;
                                         { std::as_const(policy).matches(info) } -> std::convertible_to<MatchResult>;
                                         { policy.consume(info) };
                                     }

Detailed Description

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