9
与C＃中的代码合同相反，JML代码合同只是在方法头部以注释形式使用的文本。那么将它们作为注释曝光会不会更好？这种方式即使编译信息的时候仍然存在于.class的元数据上，与评论相反，它们会被删除。为什么不将JML实现为Java中的注释？
我错过了什么吗？
A
回答
12
从我所看到的JML出现Java注释之前好几年。当然，他们可以更新它来大概利用注释。
8
有使用Java注释JML的实验实现：
http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6
希望它会以某种形式在今年（2010年）发布OpenJML。
相关问题
- 1. 为什么java类不会从已实现的接口继承注释？
- 2. 为什么在IE中实现条件注释？
- 3. 为什么@JoinTable注释总是与@OneToMany注释一起出现
- 4. 为什么在Java中将System.out/err实现为Byte Streams？
- 5. 为什么'//'样式多行注释不好（在Java中）？
- 6. 为什么不可能在Java中扩展注释？
- 7. 为什么MKUserLocation在我的注释中？
- 8. 为什么不是@Transactional注释工作？
- 9. 为什么checkNotNull（）不用@Nonnull注释
- 10. 为什么java不能看到我的注释？
- 11. 为什么样式表在注释中？
- 12. Java中的注释为什么创建类类型引用？
- 13. 为什么java反编译器不保存注释
- 14. jml库为Android
- 15. 为什么Java不释放内存
- 16. 为什么我的quicksort在Java中不能实现？
- 17. JML不为null变体？
- 18. 为什么在执行过程中出现脚本和注释？
- 19. 为什么的WebPack添加注释
- 20. 为什么在java中将byte和short解释为整数？
- 21. 实现用于验证的Java注释
- 22. 在java中为这些注释引发了什么异常？
- 23. 为什么在Java中没有@Implements注释？
- 24. 为什么Java中的LinkedList实现将Node嵌套类视为静态？
- 25. 为什么有不同的Ruby实现？
- 26. 为什么我的JPA注释类没有隐式发现？
- 27. 在java中8，为什么不能调用当前类实现
- 28. 为什么将xts实现为矩阵而不是数据框？
- 29. 为什么不将OCaml List.fold_right作为尾递归实现？
- 30. Symfony2：为什么NelmioApiDocBundle中的视图注释不起作用？
+1 - “规范草案”技术报告的版权日期为1998-2006年。 – 2010-03-18 21:32:40