摘要： OO第三次作业总结 梳理JML语言的理论基础、应用工具链情况 JML语言有点类似于离散数学，用规范化的方式去描述类的属性以及方法。 存在形式 一般都是以 这两种形式存在 方法规格 方法规格是描述一个方法的，主要可以分为 ,`assignable ensures`三个部分。 是保证方法的前置条件，也就 阅读全文