先日コード コントラクトのデモを見て、小さなテスト プロジェクトで試してみることにしました。
「using System.Diagnostics.Contracts」ステートメントをクラスに追加した後、コード コントラクト コードを適切にセットアップできますが、コントラクトが強制されていないようです。
プロジェクトのプロパティ画面に [Code Contracts] タブが表示されない理由はありますか?
先日コード コントラクトのデモを見て、小さなテスト プロジェクトで試してみることにしました。
「using System.Diagnostics.Contracts」ステートメントをクラスに追加した後、コード コントラクト コードを適切にセットアップできますが、コントラクトが強制されていないようです。
プロジェクトのプロパティ画面に [Code Contracts] タブが表示されない理由はありますか?
Visual Studio 統合を表示するには、Dev Labs ツールキットをインストールする必要があります。
コード コントラクトは .Net 4 の一部ですが、ツールはデフォルトで VS 2010 の一部ではありません。
ここからダウンロードできます: http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx