std::contracts:: evaluation_semantic
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
evaluation_semantic
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
Определено в заголовочном файле
<contracts>
|
||
|
enum
class
evaluation_semantic
:
/* unspecified */
{
ignore
=
1
,
|
(начиная с C++26) | |
Перечислители
std::contracts::evaluation_semantic
соответствуют
семантике вычисления
, с которой может вычисляться контрактное утверждение, со значениями, перечисленными ниже:
| Перечислитель | Значение |
ignore
|
утверждение контракта вычисляется с семантикой "игнорирования" |
observe
|
утверждение контракта вычисляется с семантикой "наблюдения" |
enforce
|
утверждение контракта вычисляется с семантикой "принудительного выполнения" |
quick_enforce
|
утверждение контракта вычисляется с семантикой "быстрого принудительного выполнения" |
Смотрите также
|
(C++26)
|
тип, содержащий информацию о нарушении контракта
(класс) |
|
(C++26)
|
тип нарушенного контрактного утверждения
(перечисление) |
|
(C++26)
|
причина, вызвавшая нарушение контракта
(перечисление) |