OO第三单元作业——JML规格的理解与使用
摘要:
OO第三单元作业——JML规格的理解与使用 在第三单元作业中,我们实现了社交网络查询的基本功能。我们需要根据课程组下发的官方JML代码,来确定社交网络中需要实现的功能,而后设计自己的方法来实现。一般来说,一个方法的JML代码的行数要远大于其实现代码的行数,因此,我们可能具有这样的体会:一个方法的JM 阅读全文
posted @ 2022-06-06 14:00 梁绪宁 阅读(20) 评论(0) 推荐(0) 编辑