摘要： OO 第三单元 JML给我上了一课 一、JML语言的理论基础 最开始接触接口的时候，我的直观感受就是“这好像没啥用啊”，它只定义了一些行为的参数和返回值，但是对于实现这些行为帮助不大。转念一想，哦，可以把一些关键的内容写在注释里。这样的注释当然可以用自然语言来写，但是JML提供了另一种思路——用形式 阅读全文