なぜJMLはJavaで注釈として実装されていませんか？

Question

C＃でコード契約に反して、JMLコードに契約は、メソッドのヘッダ内のコメントの形で使われているテキストだけです。その後、それらを注釈として公開されていた方が良いと思いませんか？消去しますコメントに反し.classファイルのメタデータに存続するだろう情報を、コンパイルさえもそのようにます。

私は何かが足りないのですか？

Answer 1

私はJMLは、長年の良い数でJavaアノテーションを以前から見ることができるものから。彼らは、もちろん、それはおそらく、アノテーションを利用するように更新することができます。

Answer 2

Javaアノテーションを使用したJMLの実験的な実装があります：
http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6する
うまくいけば、それは、今年（2010年） OpenJML の中で何らかの形でリリースされます。