Sequoia
|
class template for plugging into the checker class template to provide allocation checks for move-only types. More...
#include <MoveOnlyAllocationTestCore.hpp>
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_extender & | operator= (move_only_allocation_extender &&) noexcept=default |
class template for plugging into the checker class template to provide allocation checks for move-only types.