dev*_*ium 9 java design-by-contract jml
与C#中的代码约定相反,在JML代码中,合同只是在方法标题中以注释形式使用的文本.那么将它们作为Annotations公开会不会更好？这样,即使在编译信息时,也会在.class的元数据上持续存在,与评论相反,这会被删除.
我错过了什么吗？
有使用Java注释的JML的实验性实现:
http://sourceforge.net/apps/trac/jmlspecs/wiki/JML6
希望它将在今年(2010年)的OpenJML中以某种形式发布.
| 归档时间： |
|
| 查看次数： |
571 次 |
| 最近记录： |