摘要: 第三单元总结 一、JML语法基础 1、JML表达式 (一)原子表达式 | 关键字 | 含义 | | | : : | | | 表示一个非 void 类型的方法执行所获得的结果,即方法执行后的返回值。 | | | 表示一个表达式 在相应方法执行前的取值,该表达式涉及到评估 中的对象是否发生变化。如果是引 阅读全文
posted @ 2020-05-22 22:30 cjapple5 阅读(121) 评论(0) 推荐(0)