摘要：
第四单元作业的架构设计 以下是我的自定义类（uml开头的除外）。 processor 负责将 umlElements 分类并根据它们的 parentId 建立如上图的层次化结构。建立好了之后，指令的实现也较为容易了。同时可以以HashMap<String, MyClass> myClasses和Ha 阅读全文
摘要：
如何利用JML规格来准备测试数据 在第二次作业互测中有位同学因为忽略了一些前置条件和后置条件，结果抛出空指针和除零异常了，因此可以发现JML规格是很严谨的，所以可以多琢磨JML规格去准备测试数据。 比如 /*@ ensures \result == (people.length == 0? 0: @ 阅读全文
摘要：
第一次作业 乘客的请求信息：起点层和终点层不同，起点座和终点座相同。如1-FROM-A-1-TO-A-2 思路：采用LOOK策略。若同方向上没有请求且电梯里的乘客的目的地都在反方向，则转换电梯运行方向。（捎带前往目的地与电梯运行方向相同的乘客） UML类图 自己程序的bug 输出时间戳没递增。 第二 阅读全文
摘要：
第一次作业 概述：单变量多项式的括号展开 思路：参考了讨论区的方法，将变量因子和常量因子放在一起。删除了多余的+-符号和空白项，并将"**"替换成"^"。为了toString方法和计算的方便，将正负号放在因子上，下图是计算(x+2)**2以及(x+2)**2*x**2时数据的存储方式。所以在我的最终 阅读全文