05 2020 档案

第三单元OO博客
摘要：一、JML 基础及工具链 JML语法 行注释：//@annotation 块注释：/*@ annotation @*/ JML表达式 （1）原子表达式 \result表达式：表示一个非 void 类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)表达式：用来表示一个表达式exp 阅读全文
posted @ 2020-05-20 15:52 dfghjksg 阅读(122) 评论(0) 推荐(0)