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