05 2020 档案

BUAA_OO 第三单元总结
摘要：1.JML基础梳理 1.1注释结构 JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。 1.2JML表达式 1.2.1原子表达式 \result表达式，在方法规格中使用，通过\result来指 阅读全文

posted @ 2020-05-23 18:39 alink16 阅读(146) 评论(0) 推荐(0)

导航