Come faccio a impostare Contratti Microsoft statici check-in Visual Studio 2010?

Question

Di recente ho scaricato Visual Studio 2010b2, e ha voluto rivalutare alcune delle mie domande circa i contratti Microsoft checker statico.

Sono riuscito riutilizzare la maggior parte del codice utilizzando lo spazio dei nomi System.Diagnostics.Contracts per il codice, ma non sono sicuro di come attivare il controllo statico. Ho bisogno di un plug-in aggiuntivo?

Ho avuto l'impressione che il design per contratto avrebbe dovuto "solo lavoro" in VS2010.

Grazie per il vostro aiuto.

Answer 1

Speravo che sarebbe 'solo lavoro', anche. Non è così. È comunque necessario installare i bit per ottenere la verifica statica .