2020年5月23日
OO第三单元——很缺钱的社交网络
摘要： 一、JML理论基础和工具链 基于规格的设计可以使开发人员能高效准确地完成开发，也能够使代码测试变得十分的轻松。 1.1 原子表达式 + \result：方法的返回值 + \old( )： 在方法执行前的取值 + \not_assigned(x,y,...)：当括号中所有变量均没有被赋值，返回 ，否则 阅读全文
posted @ 2020-05-23 21:47 kxqt 阅读(235) 评论(2) 推荐(0) 编辑