WYO

摘要： 一、第四单元作业架构 1.第13次作业 本次作业要求进行对UML类图的解析、查询。 由于官方包中的UmlXXXX类无法方便地记录元素间的层次关系，以及一些额外信息，所以采用对象适配器模式，为每一个UmlXXXX类建立对应的MyXXXX类，添加我需要的属性和方法，建立起UML类图中各元素的层次关系。 阅读全文

摘要： 一、JML相关知识 JML是用于对Java程序进行规格化设计的一种表示语言。通过JML及其支持工具，不仅可以基于规格自动测试用例，还整合了SMT Solver等工具以静态方式来检查代码实现对规格的满足情况。 原子表达式 表达式 含义 \result 非void型方法执行结果 \old(expr) 表 阅读全文

摘要： 第五次作业 1.题目简述 本次题目要求实现单部电梯，且要求有捎带功能。 2.实现思路 使用生产者-消费者模式。Producer类、Storage接口、Elevator类分别为生产者、托盘、消费者，Storage_Look类实现了Storage接口。Producer不断获取请求并传给Storage；S 阅读全文

摘要： 第一次作业 题目要求 第一次作业要求实现简单的多项式求导计算，且保证输入格式一定正确。 实现思路 使用Item类来作为“项”，其中包含coef（系数）和index(指数)两个属性，这两个属性可以确定一个“项”。然后我用Poly类来作为“多项式”，维护一个Item类型的集合，多项式即代表集合中所有项相 阅读全文