mimic++ v4
Loading...
Searching...
No Matches
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 -> 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) };
}
Determines, whether the given type satisfies the requirements of an expectation-policy for the given ...
Definition Expectation.hpp:363
typename info_for_signature< Signature >::type info_for_signature_t
Definition Call.hpp:70

Detailed Description

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