代码改变世界

推荐排行榜

OO summary Unit 3

2022-06-04 00:07 by BUAA_GreenDragon, 54 阅读, 收藏,
摘要: Unit 3总结 本单元主要考察了对JML规格的理解与运用,并实现了一个小型的社交系统,支持消息私发/群发、建立小组、发表情包、发对单/对群红包等功能,并具有一定的异常处理能力。 由于JML的规格已经给出,对于方法的种种条件都加以约束,因此大部分时间只需要照猫画虎即可,实现的难度相较于前两个单元可谓 阅读全文