std::contracts::assertion_kind
С сайта ru.cppreference.net
| Определено в заголовочном файле <contracts>
|
||
enum class assertion_kind : /* unspecified */ {
pre = 1,
post = 2,
assert = 3
};
|
(начиная с C++26) | |
Перечислители std::contracts::assertion_kind соответствуют синтаксическим формам контрактного утверждения, со следующими значениями:
| Перечислитель | Значение |
pre
|
контрактное утверждение является предусловием |
post
|
контрактное утверждение является постусловием |
assert
|
контрактное утверждение является оператором contract_assert утверждение |
Смотрите также
|
(C++26)
|
тип, содержащий информацию о нарушении контракта
(класс) |
|
(C++26)
|
семантика вычисления при возникновении нарушения контракта
(перечисление) |
|
(C++26)
|
причина, вызывающая нарушение контракта
(перечисление) |