摘要: 一、第四单元作业架构 1.第13次作业 本次作业要求进行对UML类图的解析、查询。 由于官方包中的UmlXXXX类无法方便地记录元素间的层次关系,以及一些额外信息,所以采用对象适配器模式,为每一个UmlXXXX类建立对应的MyXXXX类,添加我需要的属性和方法,建立起UML类图中各元素的层次关系。 阅读全文
posted @ 2020-06-19 18:37 WYO 阅读(174) 评论(0) 推荐(0) 编辑
摘要: 一、JML相关知识 JML是用于对Java程序进行规格化设计的一种表示语言。通过JML及其支持工具,不仅可以基于规格自动测试用例,还整合了SMT Solver等工具以静态方式来检查代码实现对规格的满足情况。 原子表达式 表达式 含义 \result 非void型方法执行结果 \old(expr) 表 阅读全文
posted @ 2020-05-23 20:20 WYO 阅读(164) 评论(0) 推荐(0) 编辑
摘要: 第五次作业 1.题目简述 本次题目要求实现单部电梯,且要求有捎带功能。 2.实现思路 使用生产者-消费者模式。Producer类、Storage接口、Elevator类分别为生产者、托盘、消费者,Storage_Look类实现了Storage接口。Producer不断获取请求并传给Storage;S 阅读全文
posted @ 2020-04-18 22:00 WYO 阅读(184) 评论(2) 推荐(0) 编辑
摘要: 第一次作业 题目要求 第一次作业要求实现简单的多项式求导计算,且保证输入格式一定正确。 实现思路 使用Item类来作为“项”,其中包含coef(系数)和index(指数)两个属性,这两个属性可以确定一个“项”。然后我用Poly类来作为“多项式”,维护一个Item类型的集合,多项式即代表集合中所有项相 阅读全文
posted @ 2020-03-21 21:45 WYO 阅读(261) 评论(1) 推荐(0) 编辑