Skip to content

Commit 031320a

Browse files
author
cpprefjp-autoupdate
committed
update automatically
1 parent e42ceea commit 031320a

File tree

13 files changed

+301
-503
lines changed

13 files changed

+301
-503
lines changed

lang/cpp26/contracts.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -844,7 +844,7 @@ <h3>テンプレート関数での使用例</h3>
844844
</div></p>
845845
<h2><a href="#relative-page" id="relative-page">関連項目</a></h2>
846846
<ul>
847-
<li><a href="../future/contract-based_programming.html">C++ 将来 契約に基づくプログラミング</a></li>
847+
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">C++ 将来 契約に基づくプログラミング</span></li>
848848
<li><a href="../../reference/contracts.html"><code>&lt;contracts&gt;</code>ヘッダー</a></li>
849849
<li><code><a href="../../reference/contracts/contract_violation.html">std::contracts::contract_violation</a></code></li>
850850
<li><code><a href="../../reference/contracts/assertion_kind.html">std::contracts::assertion_kind</a></code></li>

lang/future.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -216,7 +216,7 @@ <h2>言語機能</h2>
216216
</thead>
217217
<tbody>
218218
<tr>
219-
<td><a href="future/contract-based_programming.html">契約に基づくプログラミング</a></td>
219+
<td><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></td>
220220
<td><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Preconditions。関数呼び出し時に満たされていると関数が想定する条件。満たさなければ未定義の動作。契約属性の`[[expects]]`に相当">事前条件</a><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Postconditions。関数を実行後に満たされている条件。契約属性の`[[ensures]]`に相当">事後条件</a>、表明を宣言する新たな属性構文を追加</td>
221221
</tr>
222222
</tbody>

lang/future/contract-based_programming.html

Lines changed: 0 additions & 452 deletions
This file was deleted.

reference/chrono/make24.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -239,7 +239,7 @@ <h2>例</h2>
239239
<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>
240240

241241
<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>
242-
<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">1u</span><span class="n">MaVNtVNYbmIPyMYBXASrABvlCMHTQCn</span><span class="p">);</span>
242+
<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>
243243
<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>
244244
<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>
245245
<span class="p">}</span>

reference/contracts.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -300,7 +300,7 @@ <h3>処理系</h3>
300300
</ul>
301301
<h2>関連項目</h2>
302302
<ul>
303-
<li><a href="../lang/future/contract-based_programming.html">契約に基づくプログラミング</a></li>
303+
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></li>
304304
<li><a href="../lang/cpp26/contracts.html">契約プログラミング</a></li>
305305
</ul>
306306
<h2>参照</h2>

reference/contracts/assertion_kind.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -239,7 +239,7 @@ <h3>処理系</h3>
239239
</ul>
240240
<h2>関連項目</h2>
241241
<ul>
242-
<li><a href="../../lang/future/contract-based_programming.html">契約に基づくプログラミング</a></li>
242+
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></li>
243243
<li><a href="../../lang/cpp26/contracts.html">契約プログラミング</a></li>
244244
</ul>
245245
<h2>参照</h2>

reference/contracts/detection_mode.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -259,7 +259,7 @@ <h3>処理系</h3>
259259
</ul>
260260
<h2>関連項目</h2>
261261
<ul>
262-
<li><a href="../../lang/future/contract-based_programming.html">契約に基づくプログラミング</a></li>
262+
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></li>
263263
<li><a href="../../lang/cpp26/contracts.html">契約プログラミング</a></li>
264264
</ul>
265265
<h2>参照</h2>

reference/contracts/evaluation_semantic.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -273,7 +273,7 @@ <h3>処理系</h3>
273273
</ul>
274274
<h2>関連項目</h2>
275275
<ul>
276-
<li><a href="../../lang/future/contract-based_programming.html">契約に基づくプログラミング</a></li>
276+
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></li>
277277
<li><a href="../../lang/cpp26/contracts.html">契約プログラミング</a></li>
278278
</ul>
279279
<h2>参照</h2>

reference/contracts/invoke_default_contract_violation_handler.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -237,7 +237,7 @@ <h3>処理系</h3>
237237
</ul>
238238
<h2>関連項目</h2>
239239
<ul>
240-
<li><a href="../../lang/future/contract-based_programming.html">契約に基づくプログラミング</a></li>
240+
<li><span href="https://cpprefjp.github.io/lang/future/contract-based_programming.html">契約に基づくプログラミング</span></li>
241241
<li><a href="../../lang/cpp26/contracts.html">契約プログラミング</a></li>
242242
<li><code><a href="contract_violation.html">contract_violation</a></code></li>
243243
</ul>

0 commit comments

Comments
 (0)