摘要: (1)总结分析自己实现规格所采取的设计策略 刚开始阅读JML时,由于方法规格过长、需要填空的部分过多感到一点混乱,但是经过通读代码的方式慢慢找到了方法。 首先根据需求实现基础的exceptions中的异常类;再完善main中除NetWork类之外的类的属性和大部分方法;最后处理规格更为复杂、与其他类 阅读全文
posted @ 2021-05-28 20:01 wyq1217 阅读(119) 评论(2) 推荐(1)