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