std::contracts:: evaluation_semantic
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
evaluation_semantic
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
Défini dans l'en-tête
<contracts>
|
||
|
enum
class
evaluation_semantic
:
/* unspecified */
{
ignore
=
1
,
|
(depuis C++26) | |
Les énumérateurs de
std::contracts::evaluation_semantic
correspondent aux
sémantiques d'évaluation
avec lesquelles une assertion contractuelle peut être évaluée, avec les significations listées ci-dessous :
| Énumérateur | Signification |
ignore
|
l'assertion de contrat est évaluée avec la sémantique « ignore » |
observe
|
l'assertion de contrat est évaluée avec la sémantique « observe » |
enforce
|
l'assertion de contrat est évaluée avec la sémantique « enforce » |
quick_enforce
|
l'assertion de contrat est évaluée avec la sémantique « quick-enforce » |
Voir aussi
|
(C++26)
|
le type contenant les informations de violation de contrat
(classe) |
|
(C++26)
|
le type d'assertion de contrat violée
(énumération) |
|
(C++26)
|
la raison causant la violation de contrat
(énumération) |