java - JML の代替手段

Question

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

誰でも知っていますか？

ありがとう。

Answer 1

Java のコントラクト ( http://code.google.com/p/cofoja/ ) は、Java アノテーションでメソッド コントラクトを記述できるようにする Google プロジェクトです。

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