摘要: 1.总结本单元两次作业的架构设计 在我动手开始总结我的设计之前,我看了其他同学已经提交在班级群里的博客,不禁汗颜,我是真的偷懒。其他同学大多使用了新建一个类,用以储存每一个UMLelemet元素的具体信息(当然这个类的形式可能是结构、map等等,但核心思路大体一致)。在设计这个类的时候,大多数同学都 阅读全文
posted @ 2019-06-23 21:32 溪阶砧 阅读(257) 评论(3) 推荐(0) 编辑
摘要: 一、梳理JML语言的理论基础 1、jml的注释结构 jml注释语言的每一行都以@作为开始,若是块注释,则需要在注释块的首尾使用/*@ 与@*/ 2、jml的表达式体系 1、原子表达式 表达式可以看作是一个原子类型,常见的有\result表达式(用于表达某个方法执行后的结果)、\old表达式(用来表示 阅读全文
posted @ 2019-05-21 23:38 溪阶砧 阅读(202) 评论(0) 推荐(0) 编辑
摘要: 类的设计: 首先,我对我的思路进行整体的说明,由于我的三次作业,思路是继承的,所以做总体的说明 第一, Main类,Main类自身并没有功能,他的功能只是构造需要的电梯线程和输入线程。 其中,第三次作业中,main类负责将电梯参数(运转时间,负载上限,运行楼层)传入Memory类和Elevator类 阅读全文
posted @ 2019-04-23 23:02 溪阶砧 阅读(315) 评论(0) 推荐(0) 编辑
摘要: 前言 在经过了三次艰辛的oo作业后,oo课程的第一单元告一段落,这一单元,我作为一个oo小白,开始了解oo的编程思想,也有了自己的一点心得体会。把笔粗成字,不当之处,还请各位大佬多多指教。 一.分析程序结构 第一次作业: 在第一次作业中,由于刚刚开始接触oo的思想,我还不是很了解面向对象的编程方法, 阅读全文
posted @ 2019-03-27 14:58 溪阶砧 阅读(319) 评论(0) 推荐(0) 编辑