摘要: BUAA OO 第四单元总结 总结本单元作业的架构设计 架构设计 1、对元素进行再封装 以UmlClass为例,对于每个类,除了课程给定的UmlClass类中所包含的getId、getName等功能外,我们还需要实现一些其他功能,比如查询这个类的父类是谁,这个类实现了什么接口,这个类都有什么方法和成 阅读全文
posted @ 2022-06-26 09:25 ^Sternstunde 阅读(34) 评论(0) 推荐(0) 编辑
摘要: BUAA OO 第三单元总结 规格实现策略 本单元的重中之重,便是对于JML规格理解与代码实现 理解并规格的时候,我一般分为下面的几个步骤: 1、先通读一遍规格,结合方法名与具体规格,理解类每个方法的大致功能并简要记录。重点理解方法之间的调用关系,方法之于类的作用等。个人认为不宜读完一个方法就实现一 阅读全文
posted @ 2022-06-03 20:39 ^Sternstunde 阅读(79) 评论(0) 推荐(0) 编辑
摘要: #BUAA OO 第二单元总结 第一次作业 作业简介 简单的多线程实时电梯系统,五个楼座,10层楼,只有竖向电梯。 StarUML图与类结构 其中,各个类的含义如下: |- MainClass:主类 |- Elevator:电梯类 |- Queue:请求队列类 |- Stdin:输入处理类 |- O 阅读全文
posted @ 2022-04-29 21:04 ^Sternstunde 阅读(81) 评论(1) 推荐(0) 编辑
摘要: BUAA OO 第一单元总结 第一次作业 作业简介 单变量多项式的括号展开(其中括号的深度至多为 1 层) StarUML图与类结构 其中,各个类的含义如下: |- MainClass:主类 |- Factor (interface):因子 |- Expression:总表达式类 |- Exprin 阅读全文
posted @ 2022-03-23 21:18 ^Sternstunde 阅读(87) 评论(0) 推荐(0) 编辑