摘要: OO_2020_总结 一、三次作业的设计架构 从第一单元走到了第四单元,前三个单元随着对oo的进一步认知,结构越来越合理。完全没想到第四单元越写越回去了,我没有按照UmlElement的种类去拆分代码,相比如果拆分结构必将更加oo,架构一定会更加合理,可是却摸了,导致了代码的臃肿。 第一次作业 采用 阅读全文
posted @ 2020-06-14 17:34 LPhoebe 阅读(314) 评论(0) 推荐(0) 编辑
摘要: BUAA_OO_UNIT_3 JML语言及工具 JML语言理论 JML语言利用前置条件、后置条件、不变式等约束语法,描述了Java程序的 数据、方法、类的规格 ,是一种契约式程序设计的实现工具。 1. 常用的JML语言特性 \result :表示方法的返回值 \old(expr) :表示在方法执行前 阅读全文
posted @ 2020-05-20 15:22 LPhoebe 阅读(248) 评论(0) 推荐(1) 编辑
摘要: BUAA_OO_2020_第二单元 part 1.作业及评测分析 第五次作业 类图: 第五次作业采用了典型的生产者消费者模型,ELevator类和RequestReceiver类共享同一个托盘(RequestTary)。 1.设计思路 1.requestReceiver线程读入数据,并解析完成创建p 阅读全文
posted @ 2020-04-14 21:15 LPhoebe 阅读(180) 评论(0) 推荐(0) 编辑
摘要: BUAA_OO_2020_第一单元 Part 1.作业及评测分析 第一次作业 类图: 结构分析:第一次作业只有一个多项式,故我把类的关系分成了多项式类,项类和求导类,多项式类负责处理输入输出,对多项式完成截断处理,将截断的字符串传入项类进行处理,在项内完成对前系数以及指数的读入处理,完成项的构建,构 阅读全文
posted @ 2020-03-18 11:52 LPhoebe 阅读(225) 评论(0) 推荐(0) 编辑