为什么不JML实现为Java注解？

Question

相反，在C＃代码契约，在JML代码契约是在在一个方法的头注释形式使用只是文本。那岂不是更好地让他们暴露批注，然后呢？编译信息会坚持下去的。类的元数据，相反的意见，那将被删除即使这样。

我缺少的东西吗？

Answer 1

这是我所看到的JML由好多个年头了早于Java注解。他们当然可以，更新它利用注解可能的。

Answer 2

存在使用Java注解JML的实验性实现：结果 http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6 点击 希望它会以某种形式发布 OpenJML今年（2010年）。