以前にC#によるDesign by Contractのやり方を紹介した．簡単におさらいしておくと以下のように実装する． using System.Diagnostics public class Foo { public void Bar(object baz) { Invalid() //不変条件 //事前条件 Debug.Assert(baz != null); //処理 …