いろいろ備忘録日記

主に .NET とか Go とか Flutter とか Python絡みのメモを公開しています。

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

C#


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


核となるクラスは

System.Diagnostics.Contracts

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


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