2020年5月23日
OO第三单元总结
摘要： 一.JML理论基础及应用工具链 1.理论基础 原子表达式 \result:表示一个非void的方法执行后的返回值。 \old(expr):表示一个表达式expr在执行相应方法前的取值 \not_assigned(x, y, ...):表示括号内的变量在方法执行过程中是否被赋值。没有被赋值则返回tru 阅读全文
posted @ 2020-05-23 21:58 darewolf 阅读(205) 评论(3) 推荐(0) 编辑