摘要：概述 本单元主要是依靠JML规格，编写能够完成规定功能的代码，并且在完成功能的基础上，对复杂度有一定的要求，要尽可能地降低和分散复杂度，使得程序运行速度尽可能快。本单元共有三次作业： 实现两个容器类Path和PathContainer，对JML规格进行初步的理解和代码实现。 实现两个容器类Path和 阅读全文