2019年5月22日
oo第三次博客-JML规格
摘要： 这三周的作业主要是围绕以JML来约束代码开发，以确保程序的正确性与鲁棒性。 Part 1：三次作业的实现与bug 第一次作业没有任何算法和数据结构上的难度，对于Path和PathContainer的各个方法的实现按照给出的规格复读即可。唯一的难点（大约也不算难点）便是将NodeId进行映射，用has 阅读全文
posted @ 2019-05-22 18:15 lzyckd1 阅读(165) 评论(0) 推荐(0) 编辑