JMLの代替品

Question

JMLのようなJava用の代替仕様言語オプションを探しています。

誰も知っていますか？

ありがとうございました。

Answer 1

契約書Java（http://code.google.com/p/cofoja/）は、Javaアノテーションでメソッド契約書を書くことができるGoogleプロジェクトです。

フレームワークは、オフラインバイトコードリライタを使用して、契約を動的ランタイムチェックとして自動的に挿入できます。