Az egyik szerelvényt (valószínűleg a(z) „<var>Y</var>”-t) újra kell írni a kódspecifikációkhoz használatos bináris újraíróval (CCRewrite), mert meghívja a Contract.<var>X</var> metódust, és a CONTRACTS_FULL szimbólum meg van adva. Távolítsa el a projektből a CONTRACTS_FULL szimbólum minden explicit meghatározását, és építse újra a projektet. A CCRewrite letölthető a következő weblapról: http://go.microsoft.com/fwlink/?LinkID=169180. A telepítés után engedélyezze az újraírót a Visual Studio alkalmazásban, a projekt Tulajdonságok lapján, a Kódspecifikációk panelen. Ügyeljen arra, hogy engedélyezve legyen a „Specifikációk futásidejű ellenőrzése” lehetőség, mivel az határozza meg a CONTRACTS_FULL szimbólumot.

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