Perché JML non è implementato come annotazioni in Java?

Question

Contrariamente ai contratti di codice in C#, nel codice JML I contratti sono solo testo che viene utilizzato sotto forma di commenti nell'intestazione di un metodo. Non sarebbe meglio averli esposti come annotazioni, allora? In questo modo, anche durante la compilazione delle informazioni, i metadati della classe. Persistono, contrariamente ai commenti, che vengono cancellati.

Mi manca qualcosa?

Answer 1

Da quello che posso vedere JML precede le annotazioni Java di un buon numero di anni. Potrebbero, naturalmente, aggiornarlo per fare uso di annotazioni presumibilmente.

Answer 2

C'è implementazione sperimentale di JML utilizzando le annotazioni Java:
http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6
Speriamo che uscirà in qualche forma in OpenJML quest'anno (2010).