摘要: OO 第四单元总结 一、总结本单元的架构设计 本单元我的程序的构建思想是先将输入的所有element建立HashMap,HashSet保存,根据需求进行适当的提前处理,然后根据不同指令的需求查询HashMap并输出。 以下是我的MyUmlClassModelInteraction类的成员变量: pr 阅读全文
posted @ 2021-06-26 15:06 anglerfish00 阅读(53) 评论(0) 推荐(0) 编辑
摘要: OO 第三单元总结 一、实现规格采取的设计策略 1、仔细阅读JML内容 本单元主要的考察点在于阅读理解提供的JML并根据自己的理解完成程序代码。JML语言表述的方法实现往往十分冗长。大量的requires字句和ensures字句使得一个本不复杂的方法看起来很复杂,大量的()嵌套使得表达式的层次难以理 阅读全文
posted @ 2021-05-31 12:57 anglerfish00 阅读(34) 评论(0) 推荐(0) 编辑
摘要: OO 第二单元总结 第一次作业 要求 实现单部可捎带电梯。 设计思路 这次作业中一共包含电梯和输入两个线程。GetRequest类读取输入的数据并将乘客加入到楼层类Floor和全局的等待队列WaitQueue中,电梯根据楼Floors中的乘客和电梯内乘客inElevator的情况判断如何移动。 关于 阅读全文
posted @ 2021-04-26 00:43 anglerfish00 阅读(56) 评论(0) 推荐(0) 编辑
摘要: OO 第一单元总结 设计分析 第一次作业 总体架构 MainClass类读入字符串。Handle类负责处理字符串。Calculate 类负责字符串化简并求导。Output类负责输出。对于表达式我的处理方法是现将表达式的项与项之间分隔开。然后对于每个项将其中的因子和因子分隔开,对每个因子单独求导。然后 阅读全文
posted @ 2021-03-29 11:16 anglerfish00 阅读(41) 评论(0) 推荐(0) 编辑