2019年5月22日
面向对象——规格总结
摘要： 一、JML基础梳理及工具链 注释结构 JML以javadoc注释的方式来表示规格，有两种注释方式，行注释和块注释。 行注释的表示方式为 //@annotation ，块注释的方式为 /* @ annotation @*/ 。 需要注意的是，规格中的每个子句都必须以分号结尾，否则会导致JML工具无法解 阅读全文
posted @ 2019-05-22 00:26 盐块QAQ 阅读(159) 评论(0) 推荐(0) 编辑