Zestaw (prawdopodobnie „<var>Y</var>”) należy zapisać ponownie za pomocą binarnego modułu ponownego zapisywania kontraktów kodu (CCRewrite), ponieważ wywołuje on metodę Contract.<var>X</var>, a zdefiniowano symbol CONTRACTS_FULL. Usuń jawne definicje symbolu CONTRACTS_FULL z projektu i skompiluj go ponownie. Moduł CCRewrite można pobrać ze strony http://go.microsoft.com/fwlink/?LinkID=169180. Po zainstalowaniu modułu ponownego zapisywania można włączyć go w programie Visual Studio, używając strony właściwości projektu w okienku kontraktów kodu. Upewnij się, że jest włączona opcja sprawdzania kontraktów w czasie wykonywania, która będzie definiować 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