2020年5月22日
OO第三单元总结
摘要： 一、JML语言基础 原子表达式： \result：表示方法执行后的返回值，类型为方法声明中所定义的返回值类型。 \old(exp)：表示表达式exp在方法执行前的值。 \not_assigned(x)：判断括号中的变量在方法执行过程中是否没有被赋值、改变。 \nonnullelements(cont 阅读全文
posted @ 2020-05-22 22:11 杨祎然 阅读(162) 评论(0) 推荐(1) 编辑