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 | ||||
|
Definido en el encabezado
<contracts>
|
||
|
enum
class
assertion_kind
:
/* unspecified */
{
pre
=
1
,
|
(desde C++26) | |
Los enumeradores de
std::contracts::assertion_kind
corresponden a las formas sintácticas de una
aserción de contrato
, con los significados listados a continuación:
| Enumerador | Significado |
pre
|
la aserción de contrato es una aserción de precondición |
post
|
la aserción de contrato es una aserción de postcondición |
assert
|
la aserción de contrato es una contract_assert statement |
Véase también
|
(C++26)
|
el tipo que contiene la información de violación de contrato
(clase) |
|
(C++26)
|
la semántica de evaluación cuando ocurre la violación de contrato
(enum) |
|
(C++26)
|
la razón que causa la violación de contrato
(enum) |