JML替代品

Question

我正在尋找用於Java的替代規範語言選項，如JML。

有人知道嗎？

謝謝。

Answer 1

Java合同（http://code.google.com/p/cofoja/）是一個Google項目，可讓您在Java註釋中編寫方法合約。

框架可以使用脫機字節碼重寫器自動插入契約作爲動態運行時檢查。