我正在寻找 Java 的替代规范语言选项，例如 JML。
有人知道吗？
谢谢。
最佳答案
Contracts for Java ( http://code.google.com/p/cofoja/ ) 是一个 Google 项目，可让您在 Java 注释中编写方法契约。
框架可以使用离线字节码重写器自动插入合约作为动态运行时检查。
关于java - JML 替代品，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/4633883/