mimicpp::control_policy Concept Reference

Determines, whether the given type satisfies the requirements of a control-policy. More...

#include <Expectation.hpp>

Concept definition

template<typename T>
concept mimicpp::control_policy =  std::is_move_constructible_v<T>
                            && std::is_destructible_v<T>
                            && std::same_as<T, std::remove_cvref_t<T>>
                            && requires(T& policy)
                            {
                                { std::as_const(policy).is_satisfied() } noexcept -> std::convertible_to<bool>;
                                { std::as_const(policy).state() } -> std::convertible_to<control_state_t>;
                                policy.consume();
                            }

Detailed Description

Determines, whether the given type satisfies the requirements of a control-policy.