2020年5月22日
OO第三单元作业总结
摘要： JML语言基础 1.1原子表达式 \result表示方法执行后的返回值 \old(expr)表示表达式expr在相应方法执行前的取值，涉及到对象时只能判断对象引用是否发生变化，而不能判断引用所指向的对象实体内容是否发生变化 \not_assigned(x,y..)表示括号中变量是否在方法执行过程中被 阅读全文
posted @ 2020-05-22 09:28 bl水滴 阅读(179) 评论(0) 推荐(0) 编辑