2022年5月31日
第三单元
摘要： 1. 架构设计 1.1 第一次作业 ​ 此次作业的架构比较简单，首先依据Person接口和JML规格来实现MyPerson，MyPerson类生成的每个对象都会有id（编号）、name（姓名）、character（性格）、age（年龄）、acquaintAndVaule（认识的Person和两人关系 阅读全文
posted @ 2022-05-31 16:48 BuniQ 阅读(199) 评论(0) 推荐(0) 编辑