コードコントラクト

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

注意

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

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

名前空間

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

関連項目

• 契約による設計