コードコントラクト

コードコントラクト（英：Code Contracts）とは、.NET Framework 4.0で追加された「契約による設計」を行うためフレームワークおよびツール群である。

注意

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

将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。また、もしかするとオープンソースのツールも出てくるかもしれない。

コードコントラクトに関するクラス群は System.Diagnostics.Contracts 名前空間に配置されている。

	この項目「コードコントラクト」は、まだ書きかけの項目です。加筆、訂正などをして下さる協力者を求めています。
このテンプレートは分野別のスタブテンプレート（Monobook:スタブカテゴリ参照）に変更することが望まれています。