摘要: 架构设计 第四单元主要任务是实现uml内容解析,并使用相关的指令查询uml内容。 第一次作业 在这次作业中,我们将在MyUmlInteraction这个类中解析获得的elements,并将这些元素分配给自己创建的MyUmlClass、MyUmlInterface、MyUmlOperation类中。 阅读全文
posted @ 2021-06-21 22:22 ZHL3105645 阅读(36) 评论(0) 推荐(0) 编辑
摘要: 一、设计策略 第一次作业 第一次作业比较简单,要求通过给定的JML规格实现自己的类,包括Person类与Network类以及四个异常类。 1. 异常类实现 异常类需要记录该异常的总发生次数和该id导致的发生次数,故新建一个Count类,其中有一个HashMap<Integer, Integer> 存 阅读全文
posted @ 2021-05-28 15:57 ZHL3105645 阅读(46) 评论(0) 推荐(0) 编辑
摘要: 同步块的设置和锁的选择 在三次的作业中,我都是选择共享变量waitQueue作为锁。对于需要读取或写waitQueue的语句块,我们需要在其外面加锁。以下以第一次作业为例进行分析。 例1: synchronized (waitQueue) { if (end && passenger.isEmpty 阅读全文
posted @ 2021-04-24 14:37 ZHL3105645 阅读(48) 评论(0) 推荐(0) 编辑
摘要: 程序设计思路 第一单元的内容是对表达式的求导,分为三次迭代开发。 第一次的要求是简单多项式的求导,第二次添加了简单的三角函数(函数里仅为x)和表达式因子(可嵌套),第三次添加了三角函数的嵌套形式(函数里为因子)以及判断表达式的合法性。 第一次作业思路 类图 由于多项式的每一项有固定的形式:coe*x 阅读全文
posted @ 2021-03-26 16:50 ZHL3105645 阅读(76) 评论(0) 推荐(0) 编辑