Description

Test:: cover the concept of a »state core«, which is used in Lumiera for various aspects of data generation and iteration.

See also: IterStateWrapper; iter-adapter.hpp; iter-explorer.hpp

Definition at line 94 of file iter-core-adapter-test.cpp.

Private Types
template<typename T1 , typename T2 >
using	Common = meta::CommonResultYield< T1, T2 >

Private Member Functions
virtual void	run (Arg)

void	simpleUsage ()

void	stateManipulation ()

void	checked_and_protected ()

void	value_and_reference_yield ()

void	verify_TypeReconciliation ()

Member Typedef Documentation

◆ Common

template<typename T1 , typename T2 >

using Common = meta::CommonResultYield<T1,T2>

private

Definition at line 284 of file iter-core-adapter-test.cpp.

Member Function Documentation

◆ run()

virtual void run ( Arg )

inlineprivatevirtual

Definition at line 97 of file iter-core-adapter-test.cpp.

References IterCoreAdapter_test::checked_and_protected(), IterCoreAdapter_test::simpleUsage(), IterCoreAdapter_test::stateManipulation(), IterCoreAdapter_test::value_and_reference_yield(), and IterCoreAdapter_test::verify_TypeReconciliation().

Here is the call graph for this function:

◆ simpleUsage()

void simpleUsage ( )

inlineprivate

Test:: build a »Lumiera Forward Iterator« to transition a State-Core towards it final state.

Definition at line 113 of file iter-core-adapter-test.cpp.

Referenced by IterCoreAdapter_test::run().

Here is the caller graph for this function:

◆ stateManipulation()

void stateManipulation ( )

inlineprivate

Test:: state of a decorated un-checked core can be manipulated

Definition at line 131 of file iter-core-adapter-test.cpp.

Referenced by IterCoreAdapter_test::run().

Here is the caller graph for this function:

◆ checked_and_protected()

void checked_and_protected ( )

inlineprivate

Test:: additional wrappers to add safety checks or to encapsulate the state core altogether

Definition at line 156 of file iter-core-adapter-test.cpp.

References VERIFY_ERROR.

Referenced by IterCoreAdapter_test::run().

Here is the caller graph for this function:

◆ value_and_reference_yield()

void value_and_reference_yield ( )

inlineprivate

Test:

adapters can (transparently) handle a core which yields values

demonstrate how cores can be augmented by decoration...
the decorated core here yields by-value, not by-ref.
Both CheckedCore and IterableDecorator can cope with that
the result is then also delivered by-value from the iterator.

Remarks: the »Lumiera Forward Iterator« concept does not exactly specify what to expect when dereferencing an iterator; yet for obvious reasons, most iterators in practice expose a reference to some underlying container or internal engine state, since this is more or less the whole point of using an iterator: we want to expose something for manipulation, without revealing what it actually is (even while in most cases the implementation is visible for the compiler, the code using the iterator is not tightly coupled). This scheme has ramifications for the way any iterator pipeline works; notably any transformation will have to capture a function result. However, sometimes an iterator can only return a computed value; such an usage can be valid and acceptable and is supported to the degree possible.

Definition at line 200 of file iter-core-adapter-test.cpp.

References lib::test::showType(), and VERIFY_ERROR.

Referenced by IterCoreAdapter_test::run().

Here is the call graph for this function:

Here is the caller graph for this function: