Skip to content

Commit f5e2e5e

Browse files
author
cpprefjp-autoupdate
committed
update automatically
1 parent b25b575 commit f5e2e5e

File tree

3 files changed

+80
-6
lines changed

3 files changed

+80
-6
lines changed

‎reference/contracts.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -176,8 +176,8 @@
176176

177177
<p class="text-right"><small>
178178
最終更新日時(UTC):
179-
<span itemprop="datePublished" content="2025-05-09T02:48:47">
180-
2025年05月09日 02時48分47秒
179+
<span itemprop="datePublished" content="2025-06-13T03:11:41">
180+
2025年06月13日 03時11分41秒
181181
</span>
182182
<br/>
183183
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -234,7 +234,7 @@
234234
<td>C++26</td>
235235
</tr>
236236
<tr>
237-
<td><code><span href="https://cpprefjp.github.io/reference/contracts/invoke_default_contract_violation_handler.md.nolink">invoke_default_contract_violation_handler</span></code></td>
237+
<td><code><a href="contracts/invoke_default_contract_violation_handler.html">invoke_default_contract_violation_handler</a></code></td>
238238
<td>デフォルトcontract_violationハンドラー</td>
239239
<td>C++26</td>
240240
</tr>

‎rss.xml

Lines changed: 76 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,84 @@
22
<feed xmlns="http://www.w3.org/2005/Atom">
33
<title>cpprefjp - C++日本語リファレンス</title>
44
<link href="https://cpprefjp.github.io" />
5-
<updated>2025-06-13T03:11:00.579074</updated>
6-
<id>35b2b3ef-635b-4b05-b315-1bd6f64748f1</id>
5+
<updated>2025-06-13T03:15:45.029545</updated>
6+
<id>9ddcf11b-f942-46fd-9941-537baa6e1670</id>
77

88

9+
<entry>
10+
<title>contracts -- removed nolink</title>
11+
<link href="https://cpprefjp.github.io/reference/contracts.html"/>
12+
<id>3c65924b17eb8f2e7f19b5e937dcbcb82390179b:reference/contracts.md</id>
13+
<updated>2025-06-13T12:11:41+09:00</updated>
14+
15+
<content type="html">&lt;div class=&#34;header&#34;&gt;&amp;lt;contracts&amp;gt;&lt;/div&gt;&lt;h1 itemprop=&#34;name&#34;&gt;&lt;span class=&#34;token&#34;&gt;contracts&lt;/span&gt;&lt;span class=&#34;cpp cpp26&#34; title=&#34;C++26で追加&#34;&gt;(C++26)&lt;/span&gt;&lt;/h1&gt;
16+
&lt;div itemprop=&#34;articleBody&#34;&gt;&lt;h2&gt;概要&lt;/h2&gt;
17+
&lt;p&gt;&lt;code&gt;&amp;lt;contracts&amp;gt;&lt;/code&gt;ヘッダでは、C++における契約プログラミングのサポートを提供する。&lt;/p&gt;
18+
&lt;p&gt;契約プログラミングは、関数やクラスの前提条件、事後条件、およびアサーションを明示的に指定するプログラミング手法である。これらの条件が満たされない場合、プログラムは契約違反を報告する。&lt;/p&gt;
19+
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
20+
&lt;thead&gt;
21+
&lt;tr&gt;
22+
&lt;th&gt;名前&lt;/th&gt;
23+
&lt;th&gt;説明&lt;/th&gt;
24+
&lt;th&gt;対応バージョン&lt;/th&gt;
25+
&lt;/tr&gt;
26+
&lt;/thead&gt;
27+
&lt;tbody&gt;
28+
&lt;tr&gt;
29+
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;contracts/assertion_kind.html&#34;&gt;assertion_kind&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
30+
&lt;td&gt;アサーションの種類 (enum)&lt;/td&gt;
31+
&lt;td&gt;C++26&lt;/td&gt;
32+
&lt;/tr&gt;
33+
&lt;tr&gt;
34+
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;contracts/evaluation_semantic.html&#34;&gt;evaluation_semantic&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
35+
&lt;td&gt;アサーションの評価の種類(enum)&lt;/td&gt;
36+
&lt;td&gt;C++26&lt;/td&gt;
37+
&lt;/tr&gt;
38+
&lt;tr&gt;
39+
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;contracts/detection_mode.html&#34;&gt;detection_mode&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
40+
&lt;td&gt;契約違反の検出モード(enum)&lt;/td&gt;
41+
&lt;td&gt;C++26&lt;/td&gt;
42+
&lt;/tr&gt;
43+
&lt;tr&gt;
44+
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;contracts/contract_violation.html&#34;&gt;contract_violation&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
45+
&lt;td&gt;契約違反に関する情報 (class)&lt;/td&gt;
46+
&lt;td&gt;C++26&lt;/td&gt;
47+
&lt;/tr&gt;
48+
&lt;tr&gt;
49+
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;contracts/invoke_default_contract_violation_handler.html&#34;&gt;invoke_default_contract_violation_handler&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
50+
&lt;td&gt;デフォルトcontract_violationハンドラー&lt;/td&gt;
51+
&lt;td&gt;C++26&lt;/td&gt;
52+
&lt;/tr&gt;
53+
&lt;/tbody&gt;
54+
&lt;/table&gt;
55+
&lt;h2&gt;バージョン&lt;/h2&gt;
56+
&lt;h3&gt;言語&lt;/h3&gt;
57+
&lt;ul&gt;
58+
&lt;li&gt;C++26&lt;/li&gt;
59+
&lt;/ul&gt;
60+
&lt;h3&gt;処理系&lt;/h3&gt;
61+
&lt;ul&gt;
62+
&lt;li&gt;&lt;a href=&#34;../implementation.html#clang&#34;&gt;Clang&lt;/a&gt;: ?&lt;/li&gt;
63+
&lt;li&gt;&lt;a href=&#34;../implementation.html#gcc&#34;&gt;GCC&lt;/a&gt;: ?&lt;/li&gt;
64+
&lt;li&gt;&lt;a href=&#34;../implementation.html#icc&#34;&gt;ICC&lt;/a&gt;: ?&lt;/li&gt;
65+
&lt;li&gt;&lt;a href=&#34;../implementation.html#visual_cpp&#34;&gt;Visual C++&lt;/a&gt;: ?&lt;/li&gt;
66+
&lt;/ul&gt;
67+
&lt;h2&gt;関連項目&lt;/h2&gt;
68+
&lt;ul&gt;
69+
&lt;li&gt;&lt;a href=&#34;../lang/future/contract-based_programming.html&#34;&gt;契約に基づくプログラミング&lt;/a&gt;&lt;/li&gt;
70+
&lt;li&gt;&lt;a href=&#34;../lang/cpp26/contracts.html&#34;&gt;契約プログラミング&lt;/a&gt;&lt;/li&gt;
71+
&lt;/ul&gt;
72+
&lt;h2&gt;参照&lt;/h2&gt;
73+
&lt;ul&gt;
74+
&lt;li&gt;&lt;a href=&#34;http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0542r5.html&#34; target=&#34;_blank&#34;&gt;P0542R5 Support for contract based programming in C++&lt;/a&gt;&lt;/li&gt;
75+
&lt;/ul&gt;&lt;/div&gt;</content>
76+
77+
<author>
78+
<name>rotarymars</name>
79+
<email>[email protected]</email>
80+
</author>
81+
</entry>
82+
983
<entry>
1084
<title>invoke_default_contract_violation_handler -- new page `invoke_default_contract_violation_handler.md` (#1419)</title>
1185
<link href="https://cpprefjp.github.io/reference/contracts/invoke_default_contract_violation_handler.html"/>

‎sitemap.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -500,7 +500,7 @@
500500

501501
<url>
502502
<loc>https://cpprefjp.github.io/reference/contracts.html</loc>
503-
<lastmod>2025-05-09T11:48:47+09:00</lastmod>
503+
<lastmod>2025-06-13T12:11:41+09:00</lastmod>
504504
<changefreq>daily</changefreq>
505505
<priority>0.8</priority>
506506
</url>

0 commit comments

Comments
 (0)