摘要: OO第三单元总结 1. JML基础梳理及工具链 1.1 注释结构 JML以javadoc注释的方式来表示规格,每行都以@起头 行注释的表示方式为//@annotation;块注释的表示方式为/* @ annotation @*/ 1.2 JML表达式 ​ JML相对于Java新增的表达式成分仅用于J 阅读全文
posted @ 2020-05-23 15:17 韩程凯 阅读(177) 评论(0) 推荐(0) 编辑