BUAA-OO-第三单元总结

摘要： 一、需求分析 1、第一次作业 通过实现官方的Person、Network、Group接口来实现自己的Person、Network、Group类（根据官方源码中的JML规格），实现相关的异常类。主要是理解isCircle和queryBlockSum两个函数的JML规格的含义，转化为一种自然语言的理解， 阅读全文
posted @ 2022-06-04 19:24 lxyskyler 阅读(39) 评论(1) 推荐(0)