摘要： OO第四单元总结+课程总结 本单元作业架构设计 本单元实现了一个UML解析器，第一次作业对类图进行建模，实现一些查询的接口；第二次作业对顺序图、状态图进行建模，同样实现一些查询的接口；第三次作业则对一些规则进行了检查。 在实现第一次作业的时候，由于第一次接触UML图，指导手册看得云里雾里，不是很明白 阅读全文

摘要： #面向对象JML系列 第三单元 ##JML ###注释格式 ######单行注释：//@annotation ######多行注释：/*@ annotation @*/ ###表达式格式 JML表达式与Java表达式十分相似，就是多了一些操作符、原子表达式 ####原子表达式 \result 一个方 阅读全文

摘要： #多线程实时电梯系统 第一次作业 ##架构 ###InputThread 处理输入的线程 当收到的personrequest是null时，代表用户已经输入了^D，此时将五座大楼的等待序列设置finished并通知每座大楼，唤醒正在wait的线程。 若收到的request不是null，将会找到对应bu 阅读全文

摘要： #面向对象设计与构造第一单元博客 第一次作业 考虑到以后作业的迭代，虽然本次作业用正则表达式也能完成，还是采用递归下降的方法，把括号嵌套也做了。 ###类图展示 classDiagram class Main { +main() } class Parser{ -ArrayList<Token> t 阅读全文