Sestavení (pravděpodobně <var>Y</var>) musí být přepsáno pomocí binárního modulu pro přepis kontraktů kódu (CCRewrite), protože volá metodu Contract.<var>X</var> a je definován symbol CONTRACTS_FULL. Odstraňte ze svého projektu všechny explicitní definice symbolu CONTRACTS_FULL a znovu jej sestavte. Modul CCRewrite je možné stáhnout z adresy http://go.microsoft.com/fwlink/?LinkID=169180. Po instalaci modulu pro přepis je možné jej v sadě Visual Studio povolit na stránce vlastností projektu v podokně Code Contracts (Kontrakty kódu). Ověřte, zda je povolena možnost Perform Runtime Contract Checking (Provádět kontrolu kontraktů za běhu), která definuje symbol CONTRACTS_FULL.

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