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