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