Arene Base
Fundamental Utilities For Safety Critical C++
Loading...
Searching...
No Matches
property_error.hpp
Go to the documentation of this file.
1#ifndef INCLUDE_GUARD_ARENE_BASE_ARENE_BASE_TESTING_PROPERTY_ERROR_HPP_
2#define INCLUDE_GUARD_ARENE_BASE_ARENE_BASE_TESTING_PROPERTY_ERROR_HPP_
3
4#include "arene/base/stdlib_choice/cstdint.hpp"
5#include "testlibs/minitest/assertion_strings.hpp"
6#include "testlibs/minitest/source_location.hpp"
7
8namespace arene {
9namespace base {
10namespace testing {
11
12/// @brief error result of evaluating a property assertion
13///
14/// Stores the error status of a property along with contextual information
15/// about where the assertion occurred and the textual components of the assertion.
16// NOLINTNEXTLINE(hicpp-member-init)
24
25} // namespace testing
26} // namespace base
27} // namespace arene
28#endif // INCLUDE_GUARD_ARENE_BASE_ARENE_BASE_TESTING_PROPERTY_ERROR_HPP_
Definition customization.hpp:36
Definition array_exceptions_disabled.cpp:11
Copyright 2026, Toyota Motor Corporation.
Definition array_exceptions_disabled.cpp:10
error result of evaluating a property assertion
Definition property_error.hpp:17
::testing::assertion_strings strings
Definition property_error.hpp:22
::testing::source_location location
Definition property_error.hpp:21
error_code error
Definition property_error.hpp:20
error_code
Definition property_error.hpp:18
@ failure
Definition property_error.hpp:18
@ discard
Definition property_error.hpp:18