摘要： 一、设计策略 第一次作业 第一次作业比较简单，要求通过给定的JML规格实现自己的类，包括Person类与Network类以及四个异常类。 1. 异常类实现 异常类需要记录该异常的总发生次数和该id导致的发生次数，故新建一个Count类，其中有一个HashMap<Integer, Integer> 存 阅读全文