摘要： OO第三次作业总结 一、JML （一）JML语言理论基础 （1）JML表达式： JML表达式包括以下几种： 原子表达式如\result（方法执行后的返回值）、\old（表达式在相应方法执行前的取值）； 量化表达式如\forall（表示每个元素都满足相应的约束）、\exists（表示存在一个元素满足相 阅读全文