摘要：
一.框架设计 这三个单元就是要完成一个UML解析器。我的做法就是将类图，顺序图，状态图的解析过程分别处理。 第一次作业 这次作业只需要处理对类图的解析。我的做法就是对UMLClass,UMLInterface等类做了封装，再根据元素之间的关系在包装好的类里面设置了一些容器。 第二次作业 这次作业其实 阅读全文
摘要：
一、JML 基础及工具链 JML语法 行注释：//@annotation 块注释：/*@ annotation @*/ JML表达式 （1）原子表达式 \result表达式：表示一个非 void 类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)表达式：用来表示一个表达式exp 阅读全文
摘要：
1.设计策略 第一次作业需要实现一部简单电梯的运行。我选择将本次作业的三个部分，读入数据、数据存储与分析（system类）、电梯运行。其中读入数据的线程就按照提供的接口使用方法顺序读入即可。电梯线程实现上下行、开关门操作，具体进行什么操作由system类决定。这里system类我并没有将其设置为一个 阅读全文