Por que a JML não é implementada como anotações em Java?
https://stackoverflow.com/questions/2473331
-
20-09-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
RussianPergunta
Ao contrário dos contratos de código em C#, nos contratos de código JML são apenas texto usado na forma de comentários no cabeçalho de um método. Não seria melhor tê -los expostos como anotações, então? Dessa forma, mesmo ao compilar as informações, persistiriam sobre os metadados da classe, ao contrário dos comentários, que são apagados.
Estou esquecendo de algo?
Solução
Pelo que posso ver, a JML antecede as anotações Java por um bom número de anos. É claro que eles poderiam atualizá -lo para fazer uso de anotações presumivelmente.
Outras dicas
Há implementação experimental do JML usando as anotações Java:
http://sourceforge.net/apps/trac/jmlspecs/wiki/jml6
Espero que seja lançado de alguma forma em OpenJml Este ano (2010).
