std::contracts::evaluation_semantic
De es.cppreference.net
| Definido en el encabezado <contracts>
|
||
enum class evaluation_semantic : /* unspecified */ {
ignore = 1,
observe = 2,
enforce = 3,
quick_enforce = 4
};
|
(desde C++26) | |
Los enumeradores de std::contracts::evaluation_semantic corresponden a las semánticas de evaluación con las que se puede evaluar una aserción de contrato, con los significados listados a continuación:
| Enumerador | Significado |
ignore
|
la aserción de contrato se evalúa bajo la semántica “ignore” |
observe
|
la aserción de contrato se evalúa bajo la semántica “observe” |
enforce
|
la aserción de contrato se evalúa bajo la semántica “enforce” |
quick_enforce
|
la aserción de contrato se evalúa bajo la 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) |