06 2022 档案
摘要:面向对象第四单元总结 架构设计 UmlElement的处理 我觉得本次作业主要的难点是将无序的UmlElement解析成有序的Uml图,因此我将每一种UmlElement进行封装成MyUmlElement,并在MyUmlElement中设置成员变量引用其他的MyUmlElement来表示元素与元素之
阅读全文
摘要:面向对象第三单元博客 第三单元为 JML规格的理解与实现,大部分方法都可以由JML规格理解后直接翻译成对应代码。 架构设计 对于isCircle以及queryBlockSum的设计 对于这两个方法的实现,我采用了并查集的方式解决,首先是在addPerson时初始化节点的父节点并将其设为根节点,父节点
阅读全文