2020年5月23日
oo第三单元总结
摘要： 第三单元总结 1.JML语法基础与工具 （1）JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。同样JML表达式中的操作符也有优先级的概念。 1 原子表达式 \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(exp 阅读全文
posted @ 2020-05-23 11:38 swampx 阅读(179) 评论(0) 推荐(0)