差分
ナビゲーションに移動
検索に移動
ページの作成:「'''コードコントラクト'''(英:Code Contracts)とは、.NET Framework 4.0で追加された「契約による設計」を行うため[[フレーム...」
'''コードコントラクト'''(英:Code Contracts)とは、[[.NET Framework 4.0]]で追加された「[[契約による設計]]」を行うため[[フレームワーク]]およびツール群である。
== 注意 ==
なお「[[契約による設計]]」を行うために必要な静的解析ツールやドキュメント生成ツールなどは[[Visual Studio]]の上位エディションにしか付属しておらず、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。
将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。
また、もしかすると[[オープンソース]]のツールも出てくるかもしれない。
== 名前空間 ==
コードコントラクトに関するクラス群は System.Diagnostics.Contracts 名前空間に配置されている。
== 概要 ==
== その他 ==
== 関連項目 ==
* [[契約による設計]]
== 参考文献 ==
<references/>
== 外部リンク ==
{{stub}}
== 注意 ==
なお「[[契約による設計]]」を行うために必要な静的解析ツールやドキュメント生成ツールなどは[[Visual Studio]]の上位エディションにしか付属しておらず、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。
将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。
また、もしかすると[[オープンソース]]のツールも出てくるかもしれない。
== 名前空間 ==
コードコントラクトに関するクラス群は System.Diagnostics.Contracts 名前空間に配置されている。
== 概要 ==
== その他 ==
== 関連項目 ==
* [[契約による設計]]
== 参考文献 ==
<references/>
== 外部リンク ==
{{stub}}