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 ...