logo标签列表

为什么JML没有作为Java注解实现？

javadesign-by-contractjml
9
与C＃中的代码合同不同，在JML中，代码合同只是在方法头部以注释形式使用的文本。那么，将它们公开为注释是否更好呢？这样，在编译信息时，即使与被擦除的注释不同，信息也会保留在.class的元数据中。我有些东西遗漏了吗？
2个回答
12

据我所知，JML的存在早于Java注解很多年。当然，他们可以更新它以利用注解。

1
+1 - “草案规范”技术报告的版权日期为1998-2006年。 - Stephen C
8
网页内容由stack overflow 提供, 点击上面的
可以查看英文原文，
原文链接