摘要: 一.框架设计 这三个单元就是要完成一个UML解析器。我的做法就是将类图,顺序图,状态图的解析过程分别处理。 第一次作业 这次作业只需要处理对类图的解析。我的做法就是对UMLClass,UMLInterface等类做了封装,再根据元素之间的关系在包装好的类里面设置了一些容器。 第二次作业 这次作业其实 阅读全文
posted @ 2020-06-17 18:24 dfghjksg 阅读(114) 评论(0) 推荐(0) 编辑
摘要: 一、JML 基础及工具链 JML语法 行注释://@annotation 块注释:/*@ annotation @*/ JML表达式 (1)原子表达式 \result表达式:表示一个非 void 类型的方法执行所获得的结果,即方法执行后的返回值。 \old(expr)表达式:用来表示一个表达式exp 阅读全文
posted @ 2020-05-20 15:52 dfghjksg 阅读(117) 评论(0) 推荐(0) 编辑
摘要: 1.设计策略 第一次作业需要实现一部简单电梯的运行。我选择将本次作业的三个部分,读入数据、数据存储与分析(system类)、电梯运行。其中读入数据的线程就按照提供的接口使用方法顺序读入即可。电梯线程实现上下行、开关门操作,具体进行什么操作由system类决定。这里system类我并没有将其设置为一个 阅读全文
posted @ 2020-04-15 22:20 dfghjksg 阅读(98) 评论(0) 推荐(0) 编辑
摘要: 一.基于度量来分析自己的程序结构 第一次作业 由于要求简单,所以代码简单,但是扩展性不强。 程序分析 结构比较简单,用GetTerm方法获取表达式。Term就是一个单独的项,TermMap存放了多项式。 构造了求导方法和print方法。实际上print方法的扩展性不高,toString方法更好。 度 阅读全文
posted @ 2020-03-17 19:46 dfghjksg 阅读(174) 评论(1) 推荐(0) 编辑