摘要：OO2022第四单元总结 以及课程总结 本单元架构设计 UML MyUml* MyUml*都直接或间接继承自MyUmlElement，每一个MyUml*持有一个Uml*的引用，为了重用和简化代码，提取了一些UML节点的共性，比如MyUmlInterface和MyUmlClase的共同父类MyInte 阅读全文

摘要：OO2022第三单元总结 第三单元主要学习了契约式编程以及JML，根据作业提供的JML实现相应的接口来完成一定的任务。 JML只严格约束了方法和类的行为、对象可见状态的改变等，内部的实际实现是自由的。在本单元作业中，需要灵活使用一些算法（Dijkstra、Kruskal等）、数据结构（二叉堆、并查集 阅读全文