摘要：一、作业概览 我们这一单元的主题是JML，即按照给定的JML规格实现具有要求功能的类，实现共3次编程作业，3次难度递进式增长，但每一次作业对前一次的作业有所继承和拓展。 第一次作业的任务是实现两个容器类Path和PathContainer，目标是JML规格入门级的理解和代码实现。 第二次作业的任务是 阅读全文