std::contracts:: assertion_kind
From cppreference.net
C++
Utilities library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Contract support
| Contract-violation information | ||||
|
(C++26)
|
||||
|
assertion_kind
(C++26)
|
||||
|
(C++26)
|
||||
|
(C++26)
|
||||
| Helper functions | ||||
|
Определено в заголовочном файле
<contracts>
|
||
|
enum
class
assertion_kind
:
/* unspecified */
{
pre
=
1
,
|
(начиная с C++26) | |
Перечислители
std::contracts::assertion_kind
соответствуют синтаксическим формам
контрактных утверждений
, со значениями, перечисленными ниже:
| Перечислитель | Значение |
pre
|
контрактное утверждение является утверждением предусловия |
post
|
контрактное утверждение является утверждением постусловия |
assert
|
контрактное утверждение является contract_assert оператором |
Смотрите также
|
(C++26)
|
тип, содержащий информацию о нарушении контракта
(класс) |
|
(C++26)
|
семантика вычисления при возникновении нарушения контракта
(перечисление) |
|
(C++26)
|
причина, вызывающая нарушение контракта
(перечисление) |