2010-03-18 15 views
9

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.Perché JML non è implementato come annotazioni in Java?

Mi manca qualcosa?

risposta

12

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.

+1

+1 - Le date di copyright sul rapporto tecnico "bozza di specifiche" sono 1998-2006. –

Problemi correlati