与C＃中的代码契约相反，在JML代码中，契约只是在方法标题中以注释形式使用的文本。那么将它们作为Annotations公开会不会更好？这样，即使在编译信息时，也会在.class的元数据上持续存在，与评论相反，这会被删除。
我错过了什么吗？
答案 0 :(得分：12)
从我可以看到，JML早在Java注释之前就已经存在了很多年。当然，他们可以更新它以便大概使用注释。
答案 1 :(得分：8)
使用Java注释实现JML的实验：
http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6
希望今年（2010年）在OpenJML以某种形式发布。