摘要：
本单元两次作业的架构设计 第一次作业 根据大佬给出的UmlElement类型使用指南，先自行理解了用 java模拟uml的原理，并依照原理进行了代码编写，下面是第一次作业的架构设计。 首先是作业要求实现的两个类，分别是main类以及继承UmlInteraction的MyUmlInteraction类 阅读全文
摘要：
1JML梳理 1.1理论基础 JML表达式 \result表达式：方法执行后的返回值。 \old( expr )表达式：用来表示一个表达式expr 在相应方法执行前的取值。 \forall表达式：全称量词修饰的表达式，表示对于给定范围内的元素，每个元素都满足相应的约束。 \exists表达式：存在量 阅读全文
摘要：
第一次作业 设计策略 第一次写多线程，对于多线程还不够了解。导致第一次作业的结构非常奇怪（不好），占用大量线程资源，也完全没有可拓展性，可以说完全不是一个合格的多线程程序。第一次不知道如何写队列，所以没来一个request我就会为其创建一个进程，并且直接进行put访问。对于托盘中，将put和get方 阅读全文
摘要：
首先，是从功能实现方式，类介绍，优缺点，尚存的bug，以及如何hack其他人等方面分别对三次作业进行总结。 结合IDEA的功能与插件，绘制出的类图＆度量图。 第一次作业： 类图/度量图： 功能实现方式： 第一次作业很没有经验，也有很多C Style的设计，比如像也只有两个类。大体的思路就是将输入的字 阅读全文