摘要：
第三单元总结博客 (1) 自测的测试数据 根据方法的JML规格准备测试数据: 方法名前是否存在/*@ pure @*/标记，如果有，那么此方法不应该改变任何变量的值。 根据require条件分别准备满足条件和不满足条件的数。判断满足条件的数据是否有返回值满足ensure的规定，是否只有assigna 阅读全文
摘要：
第二单元博客作业 (1)同步块和锁 1.在三次作业中都使用了synchronized修饰方法的方式进行同步和加锁, 对共享对象的所有方法都进行了加锁设置. 2.为了确保输出的线程安全,对输出函数进行封装加锁. 3.为了满足能够对新输入请求及时相应,在电梯运行线程中对共享对象的某些操作进行了加锁处理, 阅读全文
摘要：
BUAA_OO 第一单元 第一次作业 1 题目要求 读入一个包含加、减、乘、乘方以及括号（其中括号的深度至多为 1 层）的单变量表达式，输出恒等变形展开所有括号后的表达式。 2 架构 2.1预处理 通过预处理完成了 空白符的删除 连续+-的删除 表达式的幂次展开,即将(x+1)**2替换为(x+1) 阅读全文