Code Contracts

There are 1 entries for the tag Code Contracts

Code Contract rewriter problems

Ho iniziato da un po’ ad usare i Code Contracts per la validazione dei parametri di input. Oggi lanciando i test sulla factory di una classe che riportava il seguente contratto: Contract.Requires<ArgumentNullException>(code != null, "code"); Visual Studio tornava il seguente errore: “Must use rewriter when using Contract.Requires<TException> […]” Dopo una veloce “googlata” ho trovato subito la soluzione: di default sul progetto non è abilitata il “Runtime Contract Checking” abilitabile dall’apposito tab dei Code Contracts. ...

«January»
SunMonTueWedThuFriSat
2930311234
567891011
12131415161718
19202122232425
2627282930311
2345678