reference/contracts/contract_violation.md: Added function description

Author: rotarymars

reference/contracts/contract_violation.md

@@ -21,3 +21,14 @@ namespace std::contracts {
 `contract_violation`型は、実行時に発生した契約違反が`handle_contract_violation`関数に渡されるために使用される型である。
 
 この型は、ユーザーによって構築、コピー、ムーブ、変更してはならない。
+
+## メンバ関数
+| 名前 | 説明 | 対応バージョン |
+| ---- | ---- | ---- |
+| [`comment`](contracts/comment.md.nolink) | 契約違反の詳細を記録したchar列を返す | C++26 |
+| [`detection_mode`](contracts/detection_mode.md.nolink) | 契約違反が特定された方法を返す | C++26 |
+| [`evaluation_exception`](contracts/evaluation_exception.md.nolink) | 契約が例外を飛ばしたことによって終了した場合の例外へのポインタ | C++26 |
+| [`is_terminating`](contracts/is_terminating.md.nolink) | 契約違反によってプログラムがターミネートされるかを返す | C++26|
+| [`kind`](contracts/kind.md.nolink) | 違反した契約の種類 | C++26|
+| [`location`](contracts/location.md.nolink) | 違反した場所を返す | C++26 |
+| [`semantic`](contracts/semantic.md.nolink) | 違反した契約のセマンティクス | C++26 |