摘要:JML语言理论基础梳理及工具链 注释结构 JML以javadoc注释的方式来表示规格,每行都以@起头。 行注释: 块注释: JML表达式 JML的表达式是对Java表达式的扩展,新增了一些操作符和原子表达式。 原子表达式 \result表达式:表示一个非 void 类型的方法执行所获得的结果,即方法 阅读全文
posted @ 2019-05-22 15:03 AdamDing 阅读 (51) 评论 (0) 编辑