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 | ||||
|
Défini dans l'en-tête
<contracts>
|
||
|
enum
class
assertion_kind
:
/* unspecified */
{
pre
=
1
,
|
(depuis C++26) | |
Les énumérateurs de
std::contracts::assertion_kind
correspondent aux formes syntaxiques d'une
assertion contractuelle
, avec les significations listées ci-dessous :
| Énumérateur | Signification |
pre
|
l'assertion de contrat est une assertion de précondition |
post
|
l'assertion de contrat est une assertion de postcondition |
assert
|
l'assertion de contrat est une instruction contract_assert |
Voir aussi
|
(C++26)
|
le type contenant les informations de violation de contrat
(classe) |
|
(C++26)
|
la sémantique d'évaluation lors de la violation de contrat
(énumération) |
|
(C++26)
|
la raison causant la violation de contrat
(énumération) |