摘要：OO第三单元小结 一.JML语言理论基础及工具链梳理 在本单元我们学习了JML语言的一些基础知识，能够让我们看懂简单的JML规格并写出对应代码， 主要用到的知识点有： 1.requires 该子句定义了方法的前置条件 2.\old(exp)，表示执行相应方法前表达式exp的取值 3.assignab 阅读全文