摘要：2022-OO-Unit4 mashiroly 1. 第四单元架构设计 1. 概述 本单元的需求是实现一个UML语言分析器，支持对类图、顺序图、状态图的查询和部分有效性检查。 2. 迭代 hw13 MyUmlModel类使用单例模式创建，全局静态共享，用于：管理所有UMLElement，提供查询方法 阅读全文

摘要：2022-OO-Unit3 mashiroly 1. 概述 又到轻松愉快的博客周了（赫赫，hw13似乎不是很容易呢），回顾一下过去一个月做了什么吧。 本单元的目标是学习基于规格的层次化设计，需求是在JML规格的指导下，实现一个模拟社交关系系统。作业重点是阅读和理解JML规格，掌握异常处理和测试方法， 阅读全文