标签： java specifications jml
我正在寻找Java的替代规范语言选项，比如JML。
有人知道吗？
感谢。
答案 0 :(得分：4)
Java合约（http://code.google.com/p/cofoja/）是一个Google项目，可让您使用Java注释编写方法合约。
框架可以使用离线字节码重写器自动将合同作为动态运行时检查插入。