与 C# 中的代码协定相反，在 JML 中，代码协定只是在方法标头中以注释形式使用的文本。那么，将它们作为注释公开不是更好吗？这样，即使在编译信息时，也会保留在 .class 的元数据上，这与注释相反，会被删除。
我错过了什么吗？
问问题
591 次
2 回答
12
据我所知，JML 比 Java 注释早了很多年。当然，他们可以更新它以使用注释。
于 2010-03-18T21:30:53.720 回答
8
有使用 Java 注释的 JML 的实验性实现：http:
//sourceforge.net/apps/trac/jmlspecs/wiki/JML6
希望它会在今年（2010 年）以某种形式在OpenJML中发布。
于 2010-03-26T16:30:31.090 回答