摘要: 2022 OO 第四单元总结 一、本单元架构设计 本单元的架构设计很大程度上依赖对于 mdj 文件的理解,对于指导书内容的理解程度以及对于细节的处理也会影响到程序的正确性。 由于意识到三次迭代作业中需要完成对于类图、顺序图和状态图的方法查询和异常处理,因此主要对不同种类的模型分别建立对应的查询类,根 阅读全文
posted @ 2022-06-27 01:50 RacerK 阅读(11) 评论(0) 推荐(1) 编辑
摘要: 2022 OO 第三单元总结 一、利用 JML 规格准备测试数据 首先是对于 JML 规格的理解。通过阅读 model 可以初步了解需要维护的对象,针对每个方法按照 normal_behavior 和 exceptional_behavior 进行划分,先实现异常行为判断,再按照 requires 阅读全文
posted @ 2022-06-05 02:57 RacerK 阅读(33) 评论(0) 推荐(0) 编辑
摘要: 2022 OO 第二单元总结 一、同步块的设置和锁的选择 首先是输出线程的安全性。输出不应该单独建立线程,否则容易导致时间戳不递增的现象,不符合输出要求。如下代码所示,应对官方包所提供的输出进行同步封装。 public static synchronized long println(String 阅读全文
posted @ 2022-04-29 18:33 RacerK 阅读(29) 评论(0) 推荐(0) 编辑
摘要: 2022 OO 第一单元总结 一、概述 本单元的主要内容是表达式对非必要括号的化简。表达式是指由一系列 EBNF 描述的形式化表述来定义的语法规则推导而成的语句。根据指导书中给出的形式化表述语法规则,可以通过递归下降法解析表达式,并对表达式进行拆解和化简。 二、算法 递归下降法是一种基于语法规则,为 阅读全文
posted @ 2022-03-25 15:12 RacerK 阅读(19) 评论(2) 推荐(0) 编辑