2020年5月22日
OO第三单元总结
摘要： 一、JML的梳理与总结 JML的注释结构： 1requires：前置条件，即执行方法前应当满足的条件。 2assignable：副作用的范围限定，其中 \nothing表示不对任何属性进行修改。 3ensures：后置条件，即在执行方法后应当满足的条件。 在作业中常见的JML关键字： \result 阅读全文
posted @ 2020-05-22 21:17 LJC11 阅读(176) 评论(0) 推荐(0)