1

ContractClass と ContractClassFor でそれぞれ装飾されたインターフェイスとコントラクトを含むプロジェクトを含むビジュアル スタジオ ソリューションがあります。

ソリューションは Visual Studio 2010 では正しくビルドされますが、Visual Studio 2012 ではビルドされません。エラー:

EXEC : エラー CC1019: タイプ 'Namespace.Interface' は、そのコントラクト クラスとしてクラス 'Namespace.ContractClass' を指定します

Code Contract ツールの最新バージョン (1.4.50813.1) に更新し、「devenv /setup」を実行してマシンを再起動しました。

これについて何か助けはありますか？ありがとう

4

2 に答える 2

0

"Perform Static Contract Checking"プロパティウィンドウから削除してみましたか？

于 2012-09-25T12:44:03.893 に答える
0

Visual Studio では、Visual Studio の「プロジェクト プロパティ」ページから CodeContract オプションを変更できます。

MSDN には、これに関する優れた記事があり、役立つスクリーンショットがいくつかあります ( http://msdn.microsoft.com/en-us/magazine/hh148151.aspx ) 。

これらの問題の一般的な原因である「Perform Static Contract Checking」というラベルの付いたチェックボックスがあります。

これで問題が解決しない場合は、VS2012 の設定と VS2010 の設定を比較することをお勧めします。

于 2012-09-25T15:31:45.410 に答える