DbC(Design by Contract)をJavaで実現できるcofojaを使ってみました。 JDK6u24、eclipse 3.6 cofoja-1.0-r126.jar セットアップ cofojaのページから辿れる”Using Contracts with Eclipse”のとおりにセットアップすれば良いと思うのですが、私の環境では少し…