摘要： 第三单元实验总结 | TrickEye 基本情况部分 这篇帖子为什么会在这？ 这是北航计算机学院面向对象构造与设计2022春季课程第三单元的总结博客 本次作业的要求是什么？ 根据课程组提供的JML形式语言，实现一个简单的社交网络建模程序，按要求完成对该社交网络的信息查询功能。 自测篇：如何构造测试数 阅读全文