2021年5月28日
BUAA-OO-JML规格总结
摘要： BUAA-OO第三单元博客总结 JML 规格 JML 是一种行为接口规格语言，用注释定义了 Java 代码中调用该方法后的行为，来约束接口类的行为。JML 主要以 Javadoc 注释的形式嵌入到 Java 代码当中。这里简略地表达 JML 常见的语法： JML 表达式 原子表达式：\result 阅读全文
posted @ 2021-05-28 10:42 alvin6012 阅读(99) 评论(0) 推荐(0)