The actual expectation template. More...

#include <Expectation.hpp>

Inheritance diagram for mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >:

Collaboration diagram for mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >:

Public Types
using	ControlPolicyT = ControlPolicy

using	FinalizerT = FinalizePolicy

using	PolicyListT = std::tuple<Policies...>

using	CallInfoT = call::info_for_signature_t<Signature>

using	ReturnT = typename Expectation<Signature>::ReturnT

Public Member Functions
template<typename ControlPolicyArg, typename FinalizerArg, typename... PolicyArgs> requires std::constructible_from<ControlPolicyT, ControlPolicyArg> && std::constructible_from<FinalizerT, FinalizerArg> && std::constructible_from<PolicyListT, PolicyArgs...>
constexpr	BasicExpectation (util::SourceLocation from, reporting::TargetReport target, ControlPolicyArg &&controlArg, FinalizerArg &&finalizerArg, PolicyArgs &&... args) noexcept(std::is_nothrow_constructible_v< ControlPolicyT, ControlPolicyArg > &&std::is_nothrow_constructible_v< FinalizerT, FinalizerArg > &&(std::is_nothrow_constructible_v< Policies, PolicyArgs > &&...))
	Constructs the expectation with the given arguments.

reporting::ExpectationReport	report () const override
	Creates a report of the internal state.

constexpr bool	is_satisfied () const noexcept override
	Queries all policies, whether they are satisfied.

constexpr bool	is_applicable () const noexcept override
	Queries the control policy, whether it's in the applicable state.

reporting::RequirementOutcomes	matches (const CallInfoT &call) const override
	Queries all policies, whether they accept the given call.

constexpr void	consume (const CallInfoT &call) override
	Informs all policies, that the given call has been accepted.

constexpr ReturnT	finalize_call (const CallInfoT &call) override
	Requests the given call to be finalized.

constexpr util::SourceLocation const &	from () const noexcept override
	Returns the source-location, where this expectation has been created.

constexpr StringT const &	mock_name () const noexcept override
	Returns the name of the related mock.

Detailed Description

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>
class mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >

The actual expectation template.

Template Parameters

Signature	The decayed signature.
ControlPolicy	The applied control-policy.
FinalizePolicy	The applied finalize-policy.
Policies	All applied expectation-policies.

Member Typedef Documentation

◆ CallInfoT

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

using mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::CallInfoT = call::info_for_signature_t<Signature>

◆ ControlPolicyT

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

using mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::ControlPolicyT = ControlPolicy

◆ FinalizerT

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

using mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::FinalizerT = FinalizePolicy

◆ PolicyListT

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

using mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::PolicyListT = std::tuple<Policies...>

◆ ReturnT

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

using mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::ReturnT = typename Expectation<Signature>::ReturnT

Constructor & Destructor Documentation

◆ BasicExpectation()

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

template<typename ControlPolicyArg, typename FinalizerArg, typename... PolicyArgs>
requires std::constructible_from<ControlPolicyT, ControlPolicyArg> && std::constructible_from<FinalizerT, FinalizerArg> && std::constructible_from<PolicyListT, PolicyArgs...>

mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::BasicExpectation	(	util::SourceLocation	from,
		reporting::TargetReport	target,
		ControlPolicyArg &&	controlArg,
		FinalizerArg &&	finalizerArg,
		PolicyArgs &&...	args )

inlineexplicitconstexprnoexcept

Constructs the expectation with the given arguments.

Template Parameters

ControlPolicyArg	The control-policy constructor argument types.
FinalizerArg	The finalize-policy constructor argument types.
PolicyArgs	The expectation-policies constructor argument types.

Parameters

from	The source-location, where this expectation was created.
target	Information about the target-mock.
controlArg	The control-policy constructor argument.
finalizerArg	The finalize-policy constructor argument.
args	The expectation-policies constructor arguments.

Here is the call graph for this function:

Member Function Documentation

◆ consume()

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

void mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::consume ( const CallInfoT & call )

inlineconstexproverridevirtual

Informs all policies, that the given call has been accepted.

Parameters

call	The call to be consumed.

This function is called, when a match has been made.

Implements mimicpp::Expectation< Signature >.

◆ finalize_call()

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

ReturnT mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::finalize_call ( const CallInfoT & call )

inlinenodiscardconstexproverridevirtual

Requests the given call to be finalized.

Parameters

call	The call to be finalized.

Returns: Returns the call result.

This function is called, when a match has been made and consume has been called.

Implements mimicpp::Expectation< Signature >.

◆ from()

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

util::SourceLocation const & mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::from ( ) const

inlinenodiscardconstexproverridevirtualnoexcept

Returns the source-location, where this expectation has been created.

Returns: Immutable reference to the source-location.

Implements mimicpp::Expectation< Signature >.

Here is the caller graph for this function:

◆ is_applicable()

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

bool mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::is_applicable ( ) const

inlinenodiscardconstexproverridevirtualnoexcept

Queries the control policy, whether it's in the applicable state.

Returns: Returns true, if expectation is applicable.

Implements mimicpp::Expectation< Signature >.

◆ is_satisfied()

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

bool mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::is_satisfied ( ) const

inlinenodiscardconstexproverridevirtualnoexcept

Queries all policies, whether they are satisfied.

Returns: Returns true, if all policies are satisfied.

Implements mimicpp::Expectation< Signature >.

◆ matches()

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

reporting::RequirementOutcomes mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::matches ( const CallInfoT & call ) const

inlinenodiscardoverridevirtual

Queries all policies, whether they accept the given call.

Parameters

call	The call to be matched.

Returns: Returns true, if all policies accept the call.

Implements mimicpp::Expectation< Signature >.

◆ mock_name()

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

StringT const & mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::mock_name ( ) const

inlinenodiscardconstexproverridevirtualnoexcept

Returns the name of the related mock.

Returns: Immutable reference to the mock-name.

Implements mimicpp::Expectation< Signature >.

◆ report()

template<typename Signature, control_policy ControlPolicy, finalize_policy_for< Signature > FinalizePolicy, expectation_policy_for< Signature >... Policies>

reporting::ExpectationReport mimicpp::BasicExpectation< Signature, ControlPolicy, FinalizePolicy, Policies >::report ( ) const

inlinenodiscardoverridevirtual

Creates a report of the internal state.

Returns: A newly generated report.

Implements mimicpp::Expectation< Signature >.

The documentation for this class was generated from the following file:

mimic++/Expectation.hpp

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ CallInfoT

◆ ControlPolicyT

◆ FinalizerT

◆ PolicyListT

◆ ReturnT

Constructor & Destructor Documentation

◆ BasicExpectation()

Member Function Documentation

◆ consume()

◆ finalize_call()

◆ from()

◆ is_applicable()

◆ is_satisfied()

◆ matches()

◆ mock_name()

◆ report()