2019年5月22日
OO 第三单元总结
摘要： 1. JML梳理 根据JML LEVEL 0手册梳理常用条目 1.1 JML 理论基础 \result表达式 ： 表示方法返回值 \old( expr )表达式：表示方法执行之前expr表达式取值，若expr为相关引用，只能判断引用本身是否发生了变化 \type(type)表达式：返回类型type对 阅读全文
posted @ 2019-05-22 20:51 影佑 阅读(235) 评论(0) 推荐(0)