JMLの代替

Question

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

誰かが知っていますか？

ありがとう。

Answer 1

Javaの契約（http://code.google.com/p/cofoja/）は、Java Annotationsでメソッド契約を作成できるGoogleプロジェクトです。

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