¿Por qué no se JML implementado como anotaciones en Java?

Question

A diferencia de los contratos de código en C #, en los contratos de código JML son sólo de texto que se utiliza en forma de comentarios en el encabezado de un método. ¿No sería mejor tenerlos expuestos como anotaciones, entonces? De esa manera, incluso cuando se compila la información persistiría en los metadatos del .class, contrariamente a los comentarios, que se borran.

Me estoy perdiendo algo?

Answer 1

Por lo que puedo ver JML anterior anotaciones Java por un buen número de años. Se podría, por supuesto, que se actualizará para hacer uso de las anotaciones presumiblemente.

Answer 2

Hay implementación experimental de JML utilizando anotaciones Java:
http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6
Es de esperar que se dará a conocer de alguna forma en OpenJML este año (2010).