2020年5月23日
2020面向对象第三单元
摘要： JML理论基础 表达式 | 含义 : : | : : \result | 返回值 \old() | 原值 \not_assigned() | 值为“括号中变量没有被赋值”的真值 \not_modified() | 值为“括号中变量值没有发生变化”的真值 \nonnullelements() | 括号 阅读全文
posted @ 2020-05-23 02:20 JiaheDu 阅读(143) 评论(0) 推荐(0)