代码改变世界

随笔档案-2020年05月

OO第三单元总结

2020-05-23 12:17 by updragon, 161 阅读, 收藏,
摘要： 1.JML语法基础与工具 （1）JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。同样JML表达式中的操作符也有优先级的概念。 1 原子表达式 \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)表达式：用 阅读全文