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