JML替代品

Question

我正在寻找用于Java的替代规范语言选项，如JML。

有人知道吗？

谢谢。

Answer 1

Java合同（http://code.google.com/p/cofoja/）是一个Google项目，可让您在Java注释中编写方法合约。

框架可以使用脱机字节码重写器自动插入契约作为动态运行时检查。