gpt4 book ai didi

java - JML 备择方案

转载 作者:行者123 更新时间:2023-11-30 07:35:12 24 4
gpt4 key购买 nike

我正在寻找 Java 的替代规范语言选项,例如 JML。

有人知道吗?

谢谢。

最佳答案

Contracts for Java ( http://code.google.com/p/cofoja/) 是一个 Google 项目,可让您在 Java 注释中编写方法契约(Contract)。

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

关于java - JML 备择方案,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4633883/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com