Sequoia
|
class template for plugging into the checker class template to provide allocation checks for regular types. More...
#include <RegularAllocationTestCore.hpp>
Public Member Functions | |
template<class Self , pseudoregular T, std::invocable< T & > Mutator, alloc_getter< T >... Getters> requires (!std::totally_ordered<T> && (sizeof...(Getters) > 0)) | |
void | check_semantics (this Self &self, const reporter &description, const T &x, const T &y, Mutator m, allocation_info< T, Getters >... info) |
template<class Self , 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 > | check_semantics (this Self &self, const reporter &description, xMaker xFn, yMaker yFn, Mutator m, allocation_info< T, Getters >... info) |
template<class Self , pseudoregular T, std::invocable< T & > Mutator, alloc_getter< T >... Getters> requires (std::totally_ordered<T> && (sizeof...(Getters) > 0)) | |
void | check_semantics (this Self &self, const reporter &description, const T &x, const T &y, std::weak_ordering order, Mutator m, allocation_info< T, Getters >... info) |
template<class Self , 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 > | check_semantics (this Self &self, const reporter &description, xMaker xFn, yMaker yFn, std::weak_ordering order, Mutator m, allocation_info< T, Getters >... info) |
Static Public Attributes | |
static constexpr test_mode | mode {Mode} |
Protected Member Functions | |
regular_allocation_extender (regular_allocation_extender &&) noexcept=default | |
regular_allocation_extender & | operator= (regular_allocation_extender &&) noexcept=default |
class template for plugging into the checker class template to provide allocation checks for regular types.