【发布时间】：2010-03-18 21:02:43
【问题描述】：
与 C# 中的代码协定相反，在 JML 中，代码协定只是在方法标头中以 cmets 形式使用的文本。那么，将它们作为注释公开不是更好吗？这样，即使编译信息也会保留在 .class 的元数据上，这与 cmets 不同，会被删除。
我错过了什么吗？
【问题讨论】：
标签： java design-by-contract jml
【发布时间】：2010-03-18 21:02:43
【问题描述】：
据我所知，JML 比 Java 注释早了很多年。他们当然可以更新它以使用注释。
【讨论】：
-
+1 - “草案规范”技术报告的版权日期为 1998-2006。
有使用 Java 注释的 JML 的实验实现：
http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6
希望它会在今年（2010 年）以某种形式在OpenJML 发布。
【讨论】：