2019年5月22日
BUAA-OO-2019 第三单元总结
摘要： JML语言理论基础梳理及工具链 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。 行注释： 块注释： JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。 原子表达式 \result表达式：表示一个非 void 类型的方法执行所获得的结果，即方法 阅读全文
posted @ 2019-05-22 15:03 TimDyh 阅读(187) 评论(0) 推荐(0) 编辑