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.