std::contracts:: assertion_kind
From cppreference.net
C++
Utilities library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Contract support
| Contract-violation information | ||||
|
(C++26)
|
||||
|
assertion_kind
(C++26)
|
||||
|
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
Defined in header
<contracts>
|
||
|
enum
class
assertion_kind
:
/* unspecified */
{
pre
=
1
,
|
(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) |