Sequoia
Loading...
Searching...
No Matches
Public Member Functions | Static Public Attributes | Protected Member Functions | List of all members
sequoia::testing::move_only_allocation_extender< Mode > Class Template Reference

class template for plugging into the checker class template to provide allocation checks for move-only types. More...

#include <MoveOnlyAllocationTestCore.hpp>

Inheritance diagram for sequoia::testing::move_only_allocation_extender< Mode >:
sequoia::testing::checker< Mode, move_only_allocation_extender< Mode > >

Public Member Functions

template<class Self , 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 check_semantics (this Self &self, const reporter &description, T &&x, T &&y, const U &xEquivalent, const U &yEquivalent, const U &movedFromPostConstruction, const U &movedFromPostAssignment, Mutator yMutator, const allocation_info< T, Getters > &... info)
 
template<class Self , 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 check_semantics (this Self &self, const reporter &description, T &&x, T &&y, const U &xEquivalent, const U &yEquivalent, Mutator yMutator, const allocation_info< T, Getters > &... info)
 
template<class Self , 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 > check_semantics (this Self &self, const reporter &description, xMaker xFn, yMaker yFn, const T &movedFromPostConstruction, const T &movedFromPostAssignment, Mutator yMutator, const allocation_info< T, Getters > &... info)
 
template<class Self , 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 > check_semantics (this Self &self, const reporter &description, xMaker xFn, yMaker yFn, Mutator yMutator, const allocation_info< T, Getters > &... info)
 
template<class Self , 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 check_semantics (this Self &self, const reporter &description, T &&x, T &&y, const U &xEquivalent, const U &yEquivalent, const U &movedFromPostConstruction, const U &movedFromPostAssignment, std::weak_ordering order, Mutator yMutator, const allocation_info< T, Getters > &... info)
 
template<class Self , 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 check_semantics (this Self &self, const reporter &description, T &&x, T &&y, const U &xEquivalent, const U &yEquivalent, std::weak_ordering order, Mutator yMutator, const allocation_info< T, Getters > &... info)
 
template<class Self , 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 > check_semantics (this Self &self, const reporter &description, xMaker xFn, yMaker yFn, const T &movedFromPostConstruction, const T &movedFromPostAssignment, std::weak_ordering order, Mutator yMutator, allocation_info< T, Getters >... info)
 
template<class Self , 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 > check_semantics (this Self &self, const reporter &description, xMaker xFn, yMaker yFn, std::weak_ordering order, Mutator yMutator, allocation_info< T, Getters >... info)
 

Static Public Attributes

static constexpr test_mode mode {Mode}
 

Protected Member Functions

 move_only_allocation_extender (move_only_allocation_extender &&) noexcept=default
 
move_only_allocation_extenderoperator= (move_only_allocation_extender &&) noexcept=default
 

Detailed Description

template<test_mode Mode>
class sequoia::testing::move_only_allocation_extender< Mode >

class template for plugging into the checker class template to provide allocation checks for move-only types.


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