LPhoebe

摘要： BUAA_OO_UNIT_3 JML语言及工具 JML语言理论 JML语言利用前置条件、后置条件、不变式等约束语法，描述了Java程序的 数据、方法、类的规格 ，是一种契约式程序设计的实现工具。 1. 常用的JML语言特性 \result ：表示方法的返回值 \old(expr) ：表示在方法执行前 阅读全文