摘要： OO 第三单元总结 摘要 本单元主要根据课程组提供的接口中的JML规格，实现自己的方法。 JML（JAVA Modeling Language）是一种形式化的、面向JAVA的行为接口规格语言，起初会比较陌生，但是仔细学习JML手册后可以发现其描述的逻辑和大一下学习的离散一中的逻辑基本一致，在熟悉后还 阅读全文