std::contracts:: evaluation_semantic
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
evaluation_semantic
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
Definido en el encabezado
<contracts>
|
||
|
enum
class
evaluation_semantic
:
/* unspecified */
{
ignore
=
1
,
|
(desde C++26) | |
Los enumeradores de
std::contracts::evaluation_semantic
corresponden a las
semánticas de evaluación
con las que una aserción de contrato puede ser evaluada, con los significados listados a continuación:
| Enumerador | Significado |
ignore
|
la aserción de contrato se evalúa bajo semántica "ignore" |
observe
|
la aserción de contrato se evalúa bajo semántica "observe" |
enforce
|
la aserción de contrato se evalúa bajo semántica "enforce" |
quick_enforce
|
la aserción de contrato se evalúa bajo semántica "quick-enforce" |
Véase también
|
(C++26)
|
el tipo que contiene la información de violación de contrato
(clase) |
|
(C++26)
|
el tipo de aserción de contrato violada
(enum) |
|
(C++26)
|
la razón que causa la violación del contrato
(enum) |