std::contracts::assertion_kind
Определён в заголовочном файле <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) | причина возникновения нарушения контракта (перечисление) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/contract/assertion_kind
