2

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

誰でも知っていますか?

ありがとう。

4

1 に答える 1

4

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

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

于 2011-03-24T18:32:19.813 に答える