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)
|
契約違反を引き起こす理由
(列挙型) |