読者です 読者をやめる 読者になる 読者になる

いろいろ備忘録日記

主に .NET 絡みのメモを公開しています。

Introduction to Code Contracts(契約プログラミング)

C#


同じくBCLチームのブログより


核となるクラスは

System.Diagnostics.Contracts

で、このクラス内にstaticメソッドが定義されているみたいです。
後はこれを使って事前条件や事後条件を記述していくって感じですね。


あと、InfoQに日本語での記事があったのでメモメモ。