Leggendo gli ottimi posts di Mauro su PostSharp mi sono detto: "ehi , ma sta cosa io l'ho vista alla PDC" ed ha un vantaggio significativo rispetto a quello che si può fare con PostSharp. La verifica del contratto è anche a compile time.
Mettiamo per esempio di aver un metodo come il seguente in cui voglia che parametro x sia sempre maggiore di 0 ed i valore di ritorno non sia mai una stringa null
con Code Contracts possiamo esprimere questo contratto in questo modo
Questo ci permette di avere, anche a compile time, degli errori qualora il metodo sia usato senza rispettarne il contratto.
Qui trovate il video della PDC in cui viene mostrato Code Contracts che va di pari passo con il Pex. Sia il Code Contracts sia Pex si posso usare anche con Visual Studio 2008 quindi da subito possiamo "valutarli" anche se non possiamo metterli in produzione causa limitazioni della licenza.