「コードコントラクト」の版間の差分
imported>Administrator 細 (→注意) |
imported>Administrator |
||
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月3日 (火) 10:48時点における版
コードコントラクト(英:Code Contracts)とは、.NET Framework 4.0で追加された「契約による設計」を行うためフレームワークおよびツール群である。
注意
なお「契約による設計」を行うために必要な静的解析ツールやドキュメント生成ツールなどはVisual Studioの上位エディションにしか付属しておらず、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。
将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。 また、もしかするとオープンソースのツールも出てくるかもしれないし、エラーチェックの書き方が一様に均一化するというコーディング規約的な意味でも積極的に使ってみる価値があるかもしれない。
インストール
コードコントラクトで用いるライブラリ(クラス群)は.NET Framework 4.0に標準で搭載されているため、とくに何かをしなければならないということはない。
一方、静的解析などを行うためのコードコントラクトで用いるツール群(Visual Studioのアドオン)は.NET FrameworkおよびVisual Studioには標準では含まれず、MSDNのサイト上で別途配布になっているため、使用に際してはダウンロードのうえインストールしておく必要がある。
なお、.NET Framework 4.0の標準クラス群もコードコントラクトを使いまくっているため、Visual Studioにコードコントラクトのアドインをインストールした後は、自前で書いたソースコードにコードコントラクトが埋め込まれてなくとも、標準クラス群の使い方次第では静的解析でエラーと警告が出まくることがある。
名前空間
コードコントラクトに関するクラス群は System.Diagnostics.Contracts 名前空間に配置されている。
概要
その他
関連項目
参考文献