为什么不是'；JML在Java中实现为注释？

与C#中的代码契约相反，在JML中，代码契约只是以注释形式在方法头中使用的文本。那么，将它们作为注释公开不是更好吗？这样，即使在编译信息时，也会保留在.class的元数据上，而不是删除注释

---

我遗漏了什么吗？

从我所看到的JML比Java注释早很多年。当然，他们可能会更新它以使用注释。

有一个使用Java注释的JML实验性实现：

---

希望它能在今年（2010年）以某种形式发布。

+1-技术报告“规范草案”的版权日期为1998-2006年。