2019年5月22日
OO第三单元小结
摘要： 一、JML语言基础 二、JML自动测试样例 三、架构设计 1.JML第一次作业 第一次作业相对而言比较简单，唯一需要多考虑的就是计算不同点的个数。 除去统计不同节点的个数之外，其他所有的方法都可以通过两个容器十分简单的实现，即通过id查找path（一个list即可）和通过path查找id（一个map 阅读全文
posted @ 2019-05-22 19:12 ericliu0206 阅读(115) 评论(0) 推荐(0) 编辑