06 2021 档案

OO第三单元总结
摘要：实现规格要求所采取的设计策略 这个单元的作业给出了JML规格的说明，我采取的设计策略是先通读JML规格，理解其前置条件、后置条件、异常的抛出等，然后进行代码的设计，对于实在看不明白的规格的意图，我会直接将规格翻译成相应的代码，代价是代码的运行的复杂度较大。对于异常类的实现，采取HashMap保存异常 阅读全文
posted @ 2021-06-01 16:58 OUZHUOJIAN 阅读(40) 评论(0) 推荐(0)