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