miso_soup3 Blog

主に ASP.NET 関連について書いています。

Code Contracts

Code Contracts throw 例外

前回の記事CodeContractsを触ってみたで、 Contract.Requires(x != null); と書いても例外が発生しない、と書きましたが、ウソでした。証拠画像例外を発生させる方法は以下の通りです。■プロパティの Runtime Checking にチェックをいれ、 Perform Runtime C…