![]() |
Arene Base
Fundamental Utilities For Safety Critical C++
|
The Death Tests use the same fixture as the "normal" tests. Inherits so that it will be a distinct type. More...

Additional Inherited Members | |
Protected Types inherited from arene::base::testing::ExternalVectorTest< T > | |
| template<typename U> | |
| using | non_throwing_input_iterator = input_iterator_with_configurable_noexcept<U, true> |
An input iterator pointing to any type which declares that it can not throw, used in some noexcept tests. | |
| using | standard_storage_type = storage_type<capacity> |
| The type of the storage array for this type with the default capacity. | |
| template<std::size_t Capacity> | |
| using | storage_type = arene::base::array<arene::base::byte, Capacity * sizeof(T)> |
| The type of the storage array for this type with the specified capacity. | |
| template<typename U> | |
| using | throwing_input_iterator = input_iterator_with_configurable_noexcept<U, false> |
An input iterator pointing to any type which declares that it could throw, used in some noexcept tests. | |
| using | vector = external_vector<T> |
| A standard vector with the correct type, used in most test cases. | |
Static Protected Member Functions inherited from arene::base::testing::ExternalVectorTest< T > | |
| template<typename... U> | |
| static constexpr auto | construct (U &&... params) noexcept(noexcept(vector(std::forward< U >(params)...))) -> vector |
Construct a vector from the passed parameters; allows calling as this->construct, which can be shorter. | |
| static constexpr auto | test_external_vector (arene::base::span< arene::base::byte > storage) noexcept(std::is_nothrow_move_constructible< T >::value) -> vector |
Return a vector containing the test values [0,capacity) of T , parameterized by test suite users. | |
| static constexpr auto | test_external_vector (arene::base::span< arene::base::byte > storage, std::size_t begin, std::size_t end) noexcept(std::is_nothrow_move_constructible< T >::value) -> vector |
Return a vector containing the test values [begin,end) of T , parameterized by test suite users. | |
| static constexpr auto | test_external_vector (arene::base::span< arene::base::byte > storage, std::size_t size) noexcept(std::is_nothrow_move_constructible< T >::value) -> vector |
Return a vector containing the test values [0,size) of T , parameterized by test suite users. | |
| static constexpr auto | test_value (std::size_t idx) noexcept(std::is_nothrow_move_constructible< T >::value) -> T |
Return the idx 'th test value of the current T , parameterized by test suite users. | |
Protected Attributes inherited from arene::base::testing::ExternalVectorTest< T > | |
| standard_storage_type | standard_storage {} |
| An instance of the default storage type to use as backing for a default capacity vector. | |
| template<typename Vector, typename... Args> | |
| using | try_construct_result |
A helper template to get the type resulting from a try_construct call. | |
Static Protected Attributes inherited from arene::base::testing::ExternalVectorTest< T > | |
| static constexpr std::size_t | capacity = 25 |
The base capacity to use for most external_vector instantiations in the parameterized tests. | |
The Death Tests use the same fixture as the "normal" tests. Inherits so that it will be a distinct type.
| T | The type parameter of a given test instantiation |