「コードコントラクト」を編集中
ナビゲーションに移動
検索に移動
この編集を取り消せます。 下記の差分を確認して、本当に取り消していいか検証してください。よろしければ変更を保存して取り消しを完了してください。
最新版 | 編集中の文章 | ||
1行目: | 1行目: | ||
− | '''コードコントラクト''' | + | '''コードコントラクト'''(英:Code Contracts)とは、[[.NET Framework 4.0]]で追加された「[[契約による設計]]」を行うため[[フレームワーク]]およびツール群である。 |
− | |||
− | |||
− | |||
− | |||
− | |||
== 注意 == | == 注意 == | ||
− | + | なお「[[契約による設計]]」を行うために必要な静的解析ツールやドキュメント生成ツールなどは[[Visual Studio]]の上位エディションにしか付属しておらず、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。 | |
− | 将来的にVisual | + | 将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。 |
+ | また、もしかすると[[オープンソース]]のツールも出てくるかもしれないし、エラーチェックの書き方が一様に均一化するという[[コーディング規約]]的な意味でも積極的に使ってみる価値があるかもしれない。 | ||
== インストール == | == インストール == | ||
17行目: | 13行目: | ||
* http://msdn.microsoft.com/ja-jp/devlabs/dd491992.aspx | * http://msdn.microsoft.com/ja-jp/devlabs/dd491992.aspx | ||
− | なお、[[.NET Framework 4.0]]の標準クラス群もコードコントラクトを使いまくっているため、[[Visual Studio]]にコードコントラクトのアドインを[[インストール]]した後は、自前で書いた[[ソースコード]]にコードコントラクトが埋め込まれてなくとも、標準クラス群の使い方次第では[[静的解析]]で[[エラー]]と[[警告]] | + | なお、[[.NET Framework 4.0]]の標準クラス群もコードコントラクトを使いまくっているため、[[Visual Studio]]にコードコントラクトのアドインを[[インストール]]した後は、自前で書いた[[ソースコード]]にコードコントラクトが埋め込まれてなくとも、標準クラス群の使い方次第では[[静的解析]]で[[エラー]]と[[警告]]が出まくることがある。 |
== 名前空間 == | == 名前空間 == | ||
コードコントラクトに関するクラス群は System.Diagnostics.Contracts 名前空間に配置されている。 | コードコントラクトに関するクラス群は System.Diagnostics.Contracts 名前空間に配置されている。 | ||
+ | |||
+ | == 概要 == | ||
+ | |||
== その他 == | == その他 == | ||
26行目: | 25行目: | ||
== 関連項目 == | == 関連項目 == | ||
* [[契約による設計]] | * [[契約による設計]] | ||
− | |||
== 参考文献 == | == 参考文献 == | ||
− | + | <references/> | |
+ | |||
+ | == 外部リンク == | ||
{{stub}} | {{stub}} |