h789

摘要： 三次作业的架构设计 第一次作业 第一次作业相比之下比较简单，在开始根据元素的类型创建若干Map，在后面遍历的时候使用stream，没有创建其他类。 bug 一些方法需要进行递归操作，在递归的时候应该直接使用获得的id，而不是再次根据name查找后遍历，这样会在递归的时候某些父类发现重名而报错。 测试 阅读全文

摘要： [TOC] 一、JML语言的理论基础与应用工具链 JML是Java模块的行为接口规范语言。JML提供了语义来正式描述Java模块的行为，从而避免了有关模块设计者意图的歧义。其目标是提供严格的形式语义，同时仍然可供任何Java程序员访问。可以利用JML的行为规范的各种工具。因为规范可以作为注释写在Ja 阅读全文

摘要： “写之前没想到会这么玄学。” 三次作业的设计策略 电梯整体上采用了look算法，原理比较简单，但是实现起来会有很多细节。 结合之前实验的消费者模式，将Building作为一个tray，然后将涉及改变Building中人数的操作加了synchronized。 第一次作业 只有一部电梯而且不限制人数，把 阅读全文

摘要： OO_UNIT1_Summary 多项式求导，每周一次重构，十分充实。 作业分析 第一次作业 作业要求 第一次作业比较简单，只有常数项和幂函数。 此外，第一次作业没有要求对wf的判断，保证了输入的合法性，这样就可以在开始直接处理掉空白符，然后获取所需数据。 思路 在看了指导书之后，本来打算的是按照指 阅读全文