コードコントラクト - 版の履歴

2025年3月11日 (火) 01:21にAdministratorによる

2025-03-11T01:21:14Z

← 古い版		2025年3月11日 (火) 01:21時点における版
28行目:		28行目:
	* [[Nullチェック]]		* [[Nullチェック]]

	~~== 参考文献 ==~~		[[category: プログラミング]]
	~~{{reflist}}~~

	~~{{stub}}~~

180.53.164.133: /* 概要 */

2014-08-07T07:02:54Z

概要

← 古い版		2014年8月7日 (木) 07:02時点における版
4行目:		4行目:
	[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。		[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。

	実のところコードコントラクトは[[D言語]]の目玉機能の[[パクリ]]である。後発だけあって[[プログラミング言語]]レベルではなく[[ランタイム]]~~レベルでの実装・対応という汎用性の高さ実現している。個人的には~~[[C Sharp\|C#]]より[[D言語]]の記述法の方が綺麗だと思う。		実のところコードコントラクトは[[D言語]]の目玉機能の[[パクリ]]である。後発だけあって[[プログラミング言語]]レベルではなく[[ランタイム]]レベルでの実装・対応という[[C Sharp\|C#]]のみならず[[VB .NET]]などでも使える汎用性の高さ実現している。個人的には[[C Sharp\|C#]]より[[D言語]]の記述法の方が綺麗だと思う。

	== 注意 ==		== 注意 ==

imported>鈴木: /* 概要 */

2014-03-07T01:32:28Z

概要

← 古い版		2014年3月7日 (金) 01:32時点における版
4行目:		4行目:
	[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。		[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。

	実のところコードコントラクトは[[D言語]]の目玉機能の[[パクリ]]である。後発だけあって[[プログラミング言語]]レベルではなく[[ランタイム]]~~レベルでの実装・対応という汎用性の高さ実現している。ただ~~[[C Sharp\|C#]]より[[D言語]]~~の記述法の方が個人的には綺麗だと思う。~~		実のところコードコントラクトは[[D言語]]の目玉機能の[[パクリ]]である。後発だけあって[[プログラミング言語]]レベルではなく[[ランタイム]]レベルでの実装・対応という汎用性の高さ実現している。個人的には[[C Sharp\|C#]]より[[D言語]]の記述法の方が綺麗だと思う。

	== 注意 ==		== 注意 ==

imported>鈴木: /* 概要 */

2014-03-07T01:32:01Z

概要

← 古い版		2014年3月7日 (金) 01:32時点における版
4行目:		4行目:
	[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。		[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。

	実のところコードコントラクトは[[D言語]]~~の目玉機能のパクリである。後発だけあって~~[[プログラミング言語]]レベルではなく[[ランタイム]]レベルでの実装・対応という汎用性の高さ実現している。ただ[[C Sharp\|C#]]より[[D言語]]の記述法の方が個人的には綺麗だと思う。		実のところコードコントラクトは[[D言語]]の目玉機能の[[パクリ]]である。後発だけあって[[プログラミング言語]]レベルではなく[[ランタイム]]レベルでの実装・対応という汎用性の高さ実現している。ただ[[C Sharp\|C#]]より[[D言語]]の記述法の方が個人的には綺麗だと思う。

	== 注意 ==		== 注意 ==

imported>鈴木: /* インストール */

2014-03-07T01:31:32Z

インストール

← 古い版		2014年3月7日 (金) 01:31時点における版
17行目:		17行目:
	* http://msdn.microsoft.com/ja-jp/devlabs/dd491992.aspx		* http://msdn.microsoft.com/ja-jp/devlabs/dd491992.aspx

	なお、[[.NET Framework 4.0]]の標準クラス群もコードコントラクトを使いまくっているため、[[Visual Studio]]にコードコントラクトのアドインを[[インストール]]した後は、自前で書いた[[ソースコード]]にコードコントラクトが埋め込まれてなくとも、標準クラス群の使い方次第では[[静的解析]]で[[エラー]]と[[警告]]~~が出まくることがあり、コードコントラクト初心者は「~~[[Hello World]]」ですらエラーを続出させると言い伝えられている。		なお、[[.NET Framework 4.0]]の標準クラス群もコードコントラクトを使いまくっているため、[[Visual Studio]]にコードコントラクトのアドインを[[インストール]]した後は、自前で書いた[[ソースコード]]にコードコントラクトが埋め込まれてなくとも、標準クラス群の使い方次第では[[静的解析]]で[[エラー]]と[[警告]]が出まくることがあり、コードコントラクト初心者は単純な「[[Hello World]]」ですらエラーを続出させると言い伝えられている。

	== 名前空間 ==		== 名前空間 ==

2014年3月7日 (金) 01:31にimported>鈴木による

2014-03-07T01:31:06Z

← 古い版		2014年3月7日 (金) 01:31時点における版
1行目:		1行目:
	'''コードコントラクト'''~~（英語：Code~~ Contracts）とは、[[.NET Framework 4.0]]で追加された「[[契約による設計]]~~」を行うため~~[[フレームワーク]]およびツール群である。		'''コードコントラクト'''（[[英語]]：Code Contracts）とは、[[.NET Framework 4.0]]で追加された「[[契約による設計]]（別名：[[契約プログラミング]]）」を行うため[[フレームワーク]]およびツール群である。

	== 概要 ==		== 概要 ==
	[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。		[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。

	実のところコードコントラクトは[[D言語]]の目玉機能のパクリである。後発だけあって[[プログラミング言語]]レベルではなく[[ランタイム]]~~レベルでの実装・対応という汎用性の高さ実現している。~~		実のところコードコントラクトは[[D言語]]の目玉機能のパクリである。後発だけあって[[プログラミング言語]]レベルではなく[[ランタイム]]レベルでの実装・対応という汎用性の高さ実現している。ただ[[C Sharp\|C#]]より[[D言語]]の記述法の方が個人的には綺麗だと思う。

	== 注意 ==		== 注意 ==
	~~なお「~~[[契約による設計]]」を行うために必要な静的解析ツールやドキュメント生成ツールなどは[[Visual Studio]]のお高い上位エディションでのみ動かせるという仕様であり、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。		「[[契約による設計]]」を行うために必要な静的解析ツールやドキュメント生成ツールなどは[[Visual Studio]]のお高い上位エディションでのみ動かせるという仕様であり、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。

	将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。また、もしかすると[[オープンソース]]のツールも出てくるかもしれないし、エラーチェックの書き方が一様に均一化するという[[コーディング規約]]的な意味でも積極的に使ってみる価値があるかもしれない。		将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。また、もしかすると[[オープンソース]]のツールも出てくるかもしれないし、エラーチェックの書き方が一様に均一化するという[[コーディング規約]]的な意味でも積極的に使ってみる価値があるかもしれない。
17行目:		17行目:
	* http://msdn.microsoft.com/ja-jp/devlabs/dd491992.aspx		* http://msdn.microsoft.com/ja-jp/devlabs/dd491992.aspx

	なお、[[.NET Framework 4.0]]の標準クラス群もコードコントラクトを使いまくっているため、[[Visual Studio]]にコードコントラクトのアドインを[[インストール]]した後は、自前で書いた[[ソースコード]]にコードコントラクトが埋め込まれてなくとも、標準クラス群の使い方次第では[[静的解析]]で[[エラー]]と[[警告]]~~が出まくることがある。~~		なお、[[.NET Framework 4.0]]の標準クラス群もコードコントラクトを使いまくっているため、[[Visual Studio]]にコードコントラクトのアドインを[[インストール]]した後は、自前で書いた[[ソースコード]]にコードコントラクトが埋め込まれてなくとも、標準クラス群の使い方次第では[[静的解析]]で[[エラー]]と[[警告]]が出まくることがあり、コードコントラクト初心者は「[[Hello World]]」ですらエラーを続出させると言い伝えられている。

	== 名前空間 ==		== 名前空間 ==

2013年4月11日 (木) 04:07に220.213.58.193による

2013-04-11T04:07:21Z

← 古い版		2013年4月11日 (木) 04:07時点における版
1行目:		1行目:
	'''コードコントラクト'''~~（英：Code~~ Contracts）とは、[[.NET Framework 4.0]]で追加された「[[契約による設計]]」を行うため[[フレームワーク]]およびツール群である。		'''コードコントラクト'''（英語：Code Contracts）とは、[[.NET Framework 4.0]]で追加された「[[契約による設計]]」を行うため[[フレームワーク]]およびツール群である。

			== 概要 ==
			[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。

			実のところコードコントラクトは[[D言語]]の目玉機能のパクリである。後発だけあって[[プログラミング言語]]レベルではなく[[ランタイム]]レベルでの実装・対応という汎用性の高さ実現している。

	== 注意 ==		== 注意 ==
	なお「[[契約による設計]]」を行うために必要な静的解析ツールやドキュメント生成ツールなどは[[Visual Studio]]のお高い上位エディションでのみ動かせるという仕様であり、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。		なお「[[契約による設計]]」を行うために必要な静的解析ツールやドキュメント生成ツールなどは[[Visual Studio]]のお高い上位エディションでのみ動かせるという仕様であり、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。

	将来的にVisual ~~Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。~~		将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。また、もしかすると[[オープンソース]]のツールも出てくるかもしれないし、エラーチェックの書き方が一様に均一化するという[[コーディング規約]]的な意味でも積極的に使ってみる価値があるかもしれない。
	~~また、もしかすると~~[[オープンソース]]のツールも出てくるかもしれないし、エラーチェックの書き方が一様に均一化するという[[コーディング規約]]的な意味でも積極的に使ってみる価値があるかもしれない。

	== インストール ==		== インストール ==
17行目:		21行目:
	== 名前空間 ==		== 名前空間 ==
	コードコントラクトに関するクラス群は System.Diagnostics.Contracts 名前空間に配置されている。		コードコントラクトに関するクラス群は System.Diagnostics.Contracts 名前空間に配置されている。

	~~== 概要 ==~~


	== その他 ==		== その他 ==
28行目:		29行目:

	== 参考文献 ==		== 参考文献 ==
	~~<references/>~~		{{reflist}}

	~~== 外部リンク ==~~

	{{stub}}		{{stub}}

2012年7月13日 (金) 03:25にimported>Administratorによる

2012-07-13T03:25:57Z

← 古い版		2012年7月13日 (金) 03:25時点における版
2行目:		2行目:

	== 注意 ==		== 注意 ==
	なお「[[契約による設計]]」を行うために必要な静的解析ツールやドキュメント生成ツールなどは[[Visual Studio]]~~の上位エディションにしか付属しておらず、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。~~		なお「[[契約による設計]]」を行うために必要な静的解析ツールやドキュメント生成ツールなどは[[Visual Studio]]のお高い上位エディションでのみ動かせるという仕様であり、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。

	将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。		将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。

imported>Administrator: /* 関連項目 */

2012-07-11T02:08:59Z

2012年7月3日 (火) 10:48にimported>Administratorによる

2012-07-03T10:48:48Z

← 古い版		2012年7月3日 (火) 10:48時点における版
6行目:		6行目:
	将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。		将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。
	また、もしかすると[[オープンソース]]のツールも出てくるかもしれないし、エラーチェックの書き方が一様に均一化するという[[コーディング規約]]的な意味でも積極的に使ってみる価値があるかもしれない。		また、もしかすると[[オープンソース]]のツールも出てくるかもしれないし、エラーチェックの書き方が一様に均一化するという[[コーディング規約]]的な意味でも積極的に使ってみる価値があるかもしれない。

			== インストール ==
			コードコントラクトで用いる[[ライブラリ]]（クラス群）は[[.NET Framework 4.0]]に標準で搭載されているため、とくに何かをしなければならないということはない。

			一方、[[静的解析]]などを行うためのコードコントラクトで用いるツール群（[[Visual Studio]]のアドオン）は[[.NET Framework]]および[[Visual Studio]]には標準では含まれず、[[MSDN]]のサイト上で別途配布になっているため、使用に際しては[[ダウンロード]]のうえ[[インストール]]しておく必要がある。
			* http://msdn.microsoft.com/ja-jp/devlabs/dd491992.aspx

			なお、[[.NET Framework 4.0]]の標準クラス群もコードコントラクトを使いまくっているため、[[Visual Studio]]にコードコントラクトのアドインを[[インストール]]した後は、自前で書いた[[ソースコード]]にコードコントラクトが埋め込まれてなくとも、標準クラス群の使い方次第では[[静的解析]]で[[エラー]]と[[警告]]が出まくることがある。

	== 名前空間 ==		== 名前空間 ==

← 古い版		2012年7月11日 (水) 02:08時点における版
25行目:		25行目:
	== 関連項目 ==		== 関連項目 ==
	* [[契約による設計]]		* [[契約による設計]]
			* [[Nullチェック]]

	== 参考文献 ==		== 参考文献 ==