2020年5月23日
第三单元总结
摘要： 一、理论基础 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。 行注释：//@annotation 块注释：/* @ annotation @*/ JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。 原子表达式 （1）\result表达式：表示 阅读全文
posted @ 2020-05-23 20:44 habbbbbbq 阅读(170) 评论(0) 推荐(0) 编辑