摘要: 总体策略分析: 完成本单元作业我采用的是“先整体,后局部”的方式,即实现每一个类之前先读懂JML代码理解各个方法的作用和实现要求,然后再构造类的成员和方法。通过JML可以看出,有些类的实现需要特殊的数据结构成员(如HashSet、HashMap等),由此可以在着手写代码之前做到心中有数。 例如Net 阅读全文
posted @ 2021-05-31 10:09 DaiWei06 阅读(56) 评论(0) 推荐(0)