Message in Japanese (日本語)
アセンブリ (おそらく "<var>Y</var>") は Contract.<var>X</var> を呼び出しており、CONTRACTS_FULL シンボルが定義されているため、コード コントラクト バイナリ リライター (CCRewrite) を使用してこのアセンブリを書き直す必要があります。プロジェクトで CONTRACTS_FULL シンボルが明示的に定義されている場合はその定義を削除し、リビルドしてください。CCRewrite は http://go.microsoft.com/fwlink/?LinkID=169180 からダウンロードできます。 リライターは、インストール後に、Visual Studio の [Code Contracts] ペインでプロジェクトの [Properties] ページから有効にできます。CONTRACTS_FULL を定義する [Perform Runtime Contract Checking] がオンになっていることを確認してください。
Unlocalized message
An assembly (probably "<var>Y</var>") must be rewritten using the code contracts binary rewriter (CCRewrite) because it is calling Contract.<var>X</var> and the CONTRACTS_FULL symbol is defined. Remove any explicit definitions of the CONTRACTS_FULL symbol from your project and rebuild. CCRewrite can be downloaded from http://go.microsoft.com/fwlink/?LinkID=169180. After the rewriter is installed, it can be enabled in Visual Studio from the project's Properties page on the Code Contracts pane. Ensure that "Perform Runtime Contract Checking" is enabled, which will define CONTRACTS_FULL.
Search by Google