MoveOnlyAllocationCheckers.hpp File Reference

Utilities for performing allocation checks of move-only types. More...

#include "sequoia/TestFramework/AllocationCheckers.hpp"
#include "sequoia/TestFramework/MoveOnlyAllocationCheckersDetails.hpp"

Go to the source code of this file.

Classes
struct	sequoia::testing::individual_move_only_allocation_predictions
struct	sequoia::testing::assignment_move_only_allocation_predictions
class	sequoia::testing::basic_move_only_allocation_predictions< TopLevel >
struct	sequoia::testing::type_to_allocation_predictions< T >

Typedefs
using	sequoia::testing::move_only_allocation_predictions = basic_move_only_allocation_predictions< top_level::yes >
using	sequoia::testing::move_only_inner_allocation_predictions = basic_move_only_allocation_predictions< top_level::no >

Functions
template<class T >
constexpr individual_move_only_allocation_predictions	sequoia::testing::shift (const individual_move_only_allocation_predictions &predictions, const alloc_prediction_shifter< T > &shifter)
template<class T >
constexpr assignment_move_only_allocation_predictions	sequoia::testing::shift (const assignment_move_only_allocation_predictions &predictions, const alloc_prediction_shifter< T > &shifter)
constexpr basic_move_only_allocation_predictions< top_level::yes >	sequoia::testing::to_top_level (const basic_move_only_allocation_predictions< top_level::no > &predictions) noexcept
template<class T >
constexpr move_only_allocation_predictions	sequoia::testing::shift (const move_only_allocation_predictions &predictions)
template<class T >
constexpr move_only_inner_allocation_predictions	sequoia::testing::shift (const move_only_inner_allocation_predictions &predictions)
template<test_mode Mode, moveonly T, class U , std::invocable< T & > Mutator, alloc_getter< T >... Getters> requires checkable_against_for_semantics<Mode, T, U> && (!std::totally_ordered<T>) && (sizeof...(Getters) > 0)
void	sequoia::testing::check_semantics (std::string description, test_logger< Mode > &logger, T &&x, T &&y, const U &xEquivalent, const U &yEquivalent, optional_ref< const U > movedFromPostConstruction, optional_ref< const U > movedFromPostAssignment, Mutator m, const allocation_info< T, Getters > &... info)
template<test_mode Mode, moveonly T, class U , std::invocable< T & > Mutator, alloc_getter< T >... Getters> requires checkable_against_for_semantics<Mode, T, U> && std::totally_ordered<T> && (sizeof...(Getters) > 0)
void	sequoia::testing::check_semantics (std::string description, test_logger< Mode > &logger, T &&x, T &&y, const U &xEquivalent, const U &yEquivalent, optional_ref< const U > movedFromPostConstruction, optional_ref< const U > movedFromPostAssignment, std::weak_ordering order, Mutator m, const allocation_info< T, Getters > &... info)
template<test_mode Mode, moveonly T, regular_invocable_r< T > xMaker, regular_invocable_r< T > yMaker, std::invocable< T & > Mutator, alloc_getter< T >... Getters> requires (!std::totally_ordered<T> && (sizeof...(Getters) > 0))
std::pair< T, T >	sequoia::testing::check_semantics (std::string description, test_logger< Mode > &logger, xMaker xFn, yMaker yFn, optional_ref< const T > movedFromPostConstruction, optional_ref< const T > movedFromPostAssignment, Mutator m, const allocation_info< T, Getters > &... info)
template<test_mode Mode, moveonly T, regular_invocable_r< T > xMaker, regular_invocable_r< T > yMaker, std::invocable< T & > Mutator, alloc_getter< T >... Getters> requires (std::totally_ordered<T> && (sizeof...(Getters) > 0))
std::pair< T, T >	sequoia::testing::check_semantics (std::string description, test_logger< Mode > &logger, xMaker xFn, yMaker yFn, optional_ref< const T > movedFromPostConstruction, optional_ref< const T > movedFromPostAssignment, std::weak_ordering order, Mutator m, const allocation_info< T, Getters > &... info)

Detailed Description

Utilities for performing allocation checks of move-only types.