update automatically

Author: cpprefjp-autoupdate

reference/chrono/make24.html

@@ -239,7 +239,7 @@ <h2>例</h2>
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span> <span class="nb">false</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">0h</a></span><span class="p">);</span>
 
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">);</span>
-  <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="mi">1L</span><span class="n">idmAotycqFwjmnNxngUPFBbXxXyYMpi</span><span class="p">);</span>
+  <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="mi">1</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">);</span>
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">15h</a></span><span class="p">);</span>
   <span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">11h</a></span><span class="p">,</span> <span class="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">23h</a></span><span class="p">);</span>
 <span class="p">}</span>

reference/contracts.html

@@ -28,11 +28,11 @@
         <meta property="og:url" content="https://cpprefjp.github.io/reference/contracts.html" />
         <meta property="og:site_name" content="cpprefjp - C++日本語リファレンス" />
         <meta property="og:type" content="article" />
-        <meta property="og:description" content="&amp;lt;contracts&amp;gt;contracts(C++26) &amp;lt;contracts&amp;gt;ヘッダでは、契約違反のハンドリングのための機能を定義する。    名前 説明 対応バージョン     contract_violation 契約違反に関する情報 (class) C++26    バージョン 言語  C++26  処理系  Clang: 未実装 GCC: 未実装 ICC: ? Vi" />
+        <meta property="og:description" content="`&lt;contracts&gt;`ヘッダでは、C++における契約プログラミングのサポートを提供する。" />
         <meta name="twitter:card" content="summary" />
         <meta name="twitter:title" content="contracts - cpprefjp C++日本語リファレンス" />
         <meta name="twitter:url" content="https://cpprefjp.github.io/reference/contracts.html" />
-        <meta name="twitter:description" content="&amp;lt;contracts&amp;gt;contracts(C++26) &amp;lt;contracts&amp;gt;ヘッダでは、契約違反のハンドリングのための機能を定義する。    名前 説明 対応バージョン     contract_violation 契約違反に関する情報 (class) C++26    バージョン 言語  C++26  処理系  Clang: 未実装 GCC: 未実装 ICC: ? Vi" />
+        <meta name="twitter:description" content="`&lt;contracts&gt;`ヘッダでは、C++における契約プログラミングのサポートを提供する。" />
 
 
   <link rel="alternate" type="application/atom+xml" title="Atom" href="https://cpprefjp.github.io/rss.xml" />
@@ -176,8 +176,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-25T05:20:09">
-        2025年04月25日 05時20分09秒
+      <span itemprop="datePublished" content="2025-04-25T05:58:45">
+        2025年04月25日 05時58分45秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -201,7 +201,9 @@
       <div class="col-sm-12 content-body">
 
   <div class="header">&lt;contracts&gt;</div><h1 itemprop="name"><span class="token">contracts</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span></h1>
-<div itemprop="articleBody"><p><code>&lt;contracts&gt;</code>ヘッダでは、<a href="../lang/cpp26/contracts.html">契約違反</a>のハンドリングのための機能を定義する。</p>
+<div itemprop="articleBody"><h2>概要</h2>
+<p><code>&lt;contracts&gt;</code>ヘッダでは、C++における契約プログラミングのサポートを提供する。</p>
+<p>契約プログラミングは、関数やクラスの前提条件、<a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Postconditions。関数を実行後に満たされている条件。契約属性の`[[ensures]]`に相当">事後条件</a>、およびアサーションを明示的に指定するプログラミング手法である。これらの条件が満たされない場合、プログラムは契約違反を報告する。</p>
 <table border="1" bordercolor="#888" style="border-collapse:collapse">
 <thead>
 <tr>
@@ -212,7 +214,22 @@
 </thead>
 <tbody>
 <tr>
-<td><code><a href="contracts/contract_violation.html">contract_violation</a></code></td>
+<td><code><span href="https://cpprefjp.github.io/reference/contracts/assertion_kind.md.nolink">assertion_kind</span></code></td>
+<td>アサーションの種類 (enum)</td>
+<td>C++26</td>
+</tr>
+<tr>
+<td><code><span href="https://cpprefjp.github.io/reference/contracts/evaluation_semantic.md.nolink">evaluation_semantic</span></code></td>
+<td>アサーションの評価の種類(enum)</td>
+<td>C++26</td>
+</tr>
+<tr>
+<td><code><span href="https://cpprefjp.github.io/reference/contracts/detection_mode.md.nolink">detection_mode</span></code></td>
+<td>契約違反の検出モード(enum)</td>
+<td>C++26</td>
+</tr>
+<tr>
+<td><code><span href="https://cpprefjp.github.io/reference/contracts/contract_violation.md.nolink">contract_violation</span></code></td>
 <td>契約違反に関する情報 (class)</td>
 <td>C++26</td>
 </tr>