本单元的三次作业均为根据JML规格要求编写代码。三次作业依次为实现Path类和PathContainer类，扩展PathContainer类为Graph类完成部分简单图操作，最后为扩展Graph类为RailwaySystem类已完成不同含义的最短路查询。本单元的三次作业均为根据JML规格要求编写代码。三次作业依次为实现Path类和PathConta
阅读背景：
BUAA_OO第三单元(JML)总结性博客作业
来源：互联网
分享到：
