摘要:
第五次作业 本次作业使用了九个类,MainClass是主类,负责各类的初始化并实现电梯运行的顶层逻辑;Input类随时获得搭乘电梯的请求并将其发送给分发器;分发器Distributer类判断请求的类型并把它分派给合适的大楼;Building、Strategy、Elevator类利用RequestQu 阅读全文
摘要:
OO第三单元总结 一、JML语言基础及应用工具链 JML语言是为了明确、清晰描述行为而诞生的,其表述逻辑清晰,并且最重要的是没有二义性。进一步来说,JML语言可以规范、明确地指出程序中一个操作的行为,这样不仅让bug可以从逻辑层面分析出来,也有利于进行单元测试。 JML表达式 JML表达式分为四类: 阅读全文
摘要:
第二单元作业总结 第五次作业 第五次作业我提供了四个类,一个主类,一个Input类随时获得搭乘电梯的请求,一个Request类负责对搭乘电梯的请求进行分析,Elevator类根据获得到的请求进行运行,并打印输出电梯运行的情况。 UML类图 第六次作业 第六次作业仍然使用之前的四个类,不过为了保护线程 阅读全文