摘要: OO第四单元总结 一. 本单元两次作业的架构设计 1.第一次作业 第一次作业任务为对UML图的解析。实现对类图中类的属性、操作、继承关系、接口实现等的查询。 由于大部分的指令是通过类名对类的相关元素进行查询,所以我先建立了MyUmlClass类,对每一个UmlClass,在其中记录它的属性、操作、父 阅读全文
posted @ 2019-06-24 15:50 pollux233 阅读(154) 评论(0) 推荐(0) 编辑
摘要: OO第三单元总结 一. JML语言 理论基础 ​ JML是用于对Java程序进行规格化设计的一种表示语言 1. 注释结构 JML以javadoc注释的方式来表示规格,每行都以@起头。有两种注释方式,行注释和块注释。其中行注释的表示方式 为//@annotation,块注释的方式为/ @ annota 阅读全文
posted @ 2019-05-22 18:13 pollux233 阅读(151) 评论(0) 推荐(0) 编辑
摘要: OO第二单元总结 一. 单部多线程傻瓜调度(FAFS)电梯 ​ 本次作业为单部傻瓜调度的电梯,没有容量和运行时限制 1. 设计策略: ​ 我的设计为典型的生产者消费者模式,输入线程ElevatorInput作为生产者读取请求将请求放入托盘 Scheduler,电梯作为消费者从Scheduler中获取 阅读全文
posted @ 2019-04-24 10:58 pollux233 阅读(232) 评论(0) 推荐(0) 编辑
摘要: OO第一单元总结 1. 基于度量来分析自己的程序架构 第一次作业 第一次作业为简单多项式的求导,我的设计由SimplePoly, ComuptePoly类组成。ComputePoly通过正则匹配单个项,并将其送入SimplePoly中进行合并构造形如a x^b的简单项,ComputePoly中定义简 阅读全文
posted @ 2019-03-27 20:45 pollux233 阅读(239) 评论(1) 推荐(0) 编辑