05 2021 档案

BUAA_OO_第三单元(JML)总结
摘要：BUAA_OO_第三单元(JML)总结 1. JML 理论基础 1.1JML表达式 1.1.1原子表达式 \result：表示一个非 void 类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)：表示一个表达式expr在相应方法执行前的取值，该表达式涉及到评估expr中的对象是 阅读全文
posted @ 2021-05-27 15:31 刘bh 阅读(283) 评论(0) 推荐(0)