Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我正在寻找 Java 的替代规范语言选项,例如 JML。
有人知道吗?
谢谢。
Java 合约 ( http://code.google.com/p/cofoja/ ) 是一个 Google 项目,可让您在 Java 注释中编写方法合约。
该框架可以使用离线字节码重写器自动插入合约作为动态运行时检查。