2019年5月22日
OO第三单元作业小结
摘要： 一、JML理论基础及应用工具链情况 理论基础 1.JML表达式 \result：表示方法执行后的返回值。 \old(expr)：表示一个表达式expr在相应方法执行前的取值。 \foall：全称量词修饰的表达式。 \exists：存在量词修饰的表达式。 <==>：等价关系操作符。 ==>：推理操作符 阅读全文
posted @ 2019-05-22 17:00 s1mplezz 阅读(224) 评论(0) 推荐(0) 编辑