コードコントラクト
2012年6月29日 (金) 08:32時点におけるimported>Administratorによる版 (ページの作成:「'''コードコントラクト'''(英:Code Contracts)とは、.NET Framework 4.0で追加された「契約による設計」を行うため[[フレーム...」)
コードコントラクト(英:Code Contracts)とは、.NET Framework 4.0で追加された「契約による設計」を行うためフレームワークおよびツール群である。
目次
注意
なお「契約による設計」を行うために必要な静的解析ツールやドキュメント生成ツールなどはVisual Studioの上位エディションにしか付属しておらず、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。
将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。 また、もしかするとオープンソースのツールも出てくるかもしれない。
名前空間
コードコントラクトに関するクラス群は System.Diagnostics.Contracts 名前空間に配置されている。
概要
その他
関連項目
参考文献