std::contracts::assertion_kind
Defined in header <contracts> | ||
|---|---|---|
enum class assertion_kind : /* unspecified */ {
pre = 1,
post = 2,
assert = 3
};
| (since C++26) |
The enumerators of std::contracts::assertion_kind correspond to the syntactic forms of a contract assertion, with meanings listed below:
| Enumerator | Meaning |
|---|---|
pre | the contract assertion is a precondition assertion |
post | the contract assertion is a postcondition assertion |
assert | the contract assertion is a contract_assert statement |
See also
|
(C++26) | the type holding the contract-violation information (class) |
|
(C++26) | the evaluation semantic when the contract violation occurs (enum) |
|
(C++26) | the reason that causes the contract violation (enum) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/contract/assertion_kind
