Sequoia
Loading...
Searching...
No Matches
Classes | Typedefs | Functions
RegularAllocationCheckers.hpp File Reference

Utilities for performing allocation checks for regular types, see here. More...

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

Go to the source code of this file.

Classes

struct  sequoia::testing::individual_allocation_predictions
 
struct  sequoia::testing::assignment_allocation_predictions
 
class  sequoia::testing::basic_allocation_predictions< TopLevel >
 
struct  sequoia::testing::type_to_allocation_predictions< T >
 

Typedefs

using sequoia::testing::allocation_predictions = basic_allocation_predictions< top_level::yes >
 
using sequoia::testing::inner_allocation_predictions = basic_allocation_predictions< top_level::no >
 

Functions

template<class T >
constexpr individual_allocation_predictions sequoia::testing::shift (const individual_allocation_predictions &predictions, const alloc_prediction_shifter< T > &shifter)
 
template<class T >
constexpr assignment_allocation_predictions sequoia::testing::shift (const assignment_allocation_predictions &predictions, const alloc_prediction_shifter< T > &shifter)
 
constexpr basic_allocation_predictions< top_level::yes > sequoia::testing::to_top_level (const basic_allocation_predictions< top_level::no > &predictions) noexcept
 
template<class T >
constexpr allocation_predictions sequoia::testing::shift (const allocation_predictions &predictions)
 
template<class T >
constexpr inner_allocation_predictions sequoia::testing::shift (const inner_allocation_predictions &predictions)
 
template<test_mode Mode, pseudoregular T, std::invocable< T & > Mutator, alloc_getter< T >... Getters>
requires (!std::totally_ordered<T> && (sizeof...(Getters) > 0))
void sequoia::testing::check_semantics (std::string description, test_logger< Mode > &logger, const T &x, const T &y, Mutator yMutator, const allocation_info< T, Getters > &... info)
 
template<test_mode Mode, pseudoregular T, std::invocable< T & > Mutator, alloc_getter< T >... Getters>
requires (std::totally_ordered<T> && (sizeof...(Getters) > 0))
void sequoia::testing::check_semantics (std::string description, test_logger< Mode > &logger, const T &x, const T &y, std::weak_ordering order, Mutator yMutator, const allocation_info< T, Getters > &... info)
 
template<test_mode Mode, pseudoregular T, invocable_r< T > xMaker, 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, Mutator yMutator, const allocation_info< T, Getters > &... info)
 
template<test_mode Mode, pseudoregular T, invocable_r< T > xMaker, 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, std::weak_ordering order, Mutator yMutator, const allocation_info< T, Getters > &... info)
 

Detailed Description

Utilities for performing allocation checks for regular types, see here.