OO第三单元总结 1. JML语言的理论基础.应用工具链情况 1.1 JML理论基础 我觉得就是<离散数学>中的数理逻辑 由于我的<离散数学>是速成的,导致我不会写规格,只能勉强读读,因为写规格和写代码的逻辑完全不一样,第10次作业我就傻逼了. JML知识点总结: pure: 纯粹查询,无任何副作用. 数组: 仅仅是规格层次的描述,不一定要数组实现 no_null: 该对象不能为空. \result: 该方法的返回值. require: 前置条件,即调用该方法时参数以及成员变量需要…