Perché non è jml implementato come annotazioni in Java?

StackOverflow https://stackoverflow.com/questions/2473331

  •  20-09-2019
  •  | 
  •  

Domanda

Al contrario di contratti codice in C #, nei contratti di codice JML sono solo il 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 quando si compila le informazioni avrebbe persistere sui metadati del .class, contrariamente ai commenti, che vengono cancellati.

Mi sto perdendo qualcosa?

È stato utile?

Soluzione

Da quello che posso vedere JML precede annotazioni Java da un buon numero di anni. Essi potrebbero, naturalmente, aggiornarlo a fare uso di annotazioni presumibilmente.

Altri suggerimenti

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

Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow
scroll top