摘要: Mybatis结果与数据库结果不一致 1数据库有结果,而mybatis无结果 2数据库1条结果,而mtbatis三条结果 报错情况: 点击查看代码 Creating a new SqlSession SqlSession [org.apache.ibatis.session.defaults.Def 阅读全文
posted @ 2022-10-28 14:48 qqhoo7 阅读(53) 评论(0) 推荐(0) 编辑
摘要: OO第四单元总结 架构分析 第十三次作业 UML类图 第十三次作业是实现一个UML类图解析器,分析UML类图中的元素然后查询。 在学习了适配器模式后,我自己实现了MyClass、MyInterface、MyOperation类,它们中存储着各自的数据便于查询。 在myUmlInteraction中, 阅读全文
posted @ 2020-06-14 17:13 qqhoo7 阅读(135) 评论(1) 推荐(0) 编辑
摘要: JML理论基础 JML表达式 JML的表达式是对Java表达式的扩展 新增了一些操作符和原子表达式。 优先级 见JML语言手册12.3节(Expression)获得完整的优先级列表。 新增的表达式成分仅用于JML中的断言(assertion)语句和其他相关的注释体 特别注意 在JML断言中,不可以使 阅读全文
posted @ 2020-05-22 21:50 qqhoo7 阅读(92) 评论(0) 推荐(0) 编辑
摘要: OO第二单元总结 (一) 设计策略 第五次作业 这次作业是单部可携带ALS电梯。 这次作业我在学习考虑之后选择了LOOK调度算法,采用了生产者-消费者模式。我构造了一个Input类作为输入线程(也就是生产者),同时有一部电梯Elevator类(也就是消费者)接受来自输入线程的请求,它们之间通过调度器 阅读全文
posted @ 2020-04-17 19:46 qqhoo7 阅读(119) 评论(0) 推荐(0) 编辑
摘要: OO第一单元作业总结 (一) 程序结构分析 第一次作业 类图 复杂度分析 第二次作业 类图 复杂度分析 第三次作业 类图 复杂度分析 (二) BUG分析 第一次作业 出现一个bug,在合并同类项时需要判断x系数是否相等,我在这里用了“==”,而BigInteger是引用类型,导致强测只拿到66分。 阅读全文
posted @ 2020-03-19 13:59 qqhoo7 阅读(143) 评论(2) 推荐(0) 编辑