Warum wird JML nicht als Annotationen in Java implementiert?

Question

Im Gegensatz zu Code-Contracts in C# sind in JML-Code-Contracts nur Text, der in Form von Kommentaren in der Kopfzeile einer Methode verwendet wird. Wäre es nicht besser, sie als Annotationen verfügbar zu machen? Auf diese Weise würde selbst beim Kompilieren der Informationen die Metadaten der .class im Gegensatz zu Kommentaren erhalten bleiben, die gelöscht werden.

Fehle ich etwas?

Answer 1

Von dem, was ich JML sehen kann, datiert Java-Annotationen um eine gute Anzahl von Jahren. Sie könnten es natürlich aktualisieren, um vermutlich Anmerkungen zu verwenden.

Answer 2

Es gibt experimentelle Implementierung von JML mit Java Anmerkungen:
http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6
Hoffentlich wird es in irgendeiner Form in OpenJML in diesem Jahr (2010) veröffentlicht.