En sammansättning (förmodligen <var>Y</var>) måste skrivas om med den binära omskrivaren (CCRewrite) för kodkontrakt eftersom den anropar Contract.<var>X</var> och symbolen CONTRACTS_FULL har definierats. Ta bort alla explicita definitioner av CONTRACTS_FULL-symbolen från projektet och återskapa det. Du kan hämta CCRewrite från http://go.microsoft.com/fwlink/?LinkID=169180. När du har installerat omskrivaren kan du aktivera den i Visual Studio från projektets egenskapssida i fönstret för kodkontrakt. Kontrollera att alternativet för kontraktkontroll vid körning (Perform Runtime Contract Checking) är aktiverat, vilket definierar 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