摘要：一、实现规格所采取的设计策略 由于本单元作业均已给出JML规格，因此代码的基本架构是按照JML规格来写的，当有一些实现起来比较复杂的方法时，比如要进行图的查找计算，就需要新增一些方法来帮助自己更好的实现。 JML规格的编写，是面向这个方法或者类要完成什么样的功能，因此具体代码的实现方式要多加思考，不 阅读全文