2019年5月22日
2019_BUAAOO_第三单元总结
摘要： 一、JML理论基础及应用工具链情况梳理 JML基础语法 1.requires：定义方法的前置条件，即该方法执行前需要满足的条件； 2.assignable：副作用范围限定，列出这个方法可以修改的类成员属性，assignable \nothing表示这个方法不对任何成员属性进行修改。 3.ensure 阅读全文
posted @ 2019-05-22 19:40 since_AUG 阅读(153) 评论(0) 推荐(0) 编辑