2021年6月1日
OO第三单元总结
摘要： 实现规格的设计策略 类已经由课程组规定好，能设计的部分只有类的字段。 一般JML给出的都是疑似数组的形式，但是实际上又会出现大段的JML来描述一个数组和另一个数组对应的情况，其实这完全可以用一个HashMap来解决。 对于contains..，has..这种名字其实稍微阅读JML确认一下，就知道只要 阅读全文
posted @ 2021-06-01 16:21 空心麻团 阅读(47) 评论(0) 推荐(0)