OO2019第三单元作业总结

写在前面 早在做第二单元的电梯作业时，便和同学开玩笑道，幸好没有让我们做地铁的排班、线路优化。没想到一语成谶，在第三单元地铁系统就迫不及待地跑来与我们相见。 JML语言基础及应用工具链 1.1 JML语言基础 JML是对java程序进行规格化设计的一种表示语言。它主要有两种用途：（1）开展规格化设计 （2）针对已有代码实现，书写规格，增加代码可维护性。 JML表达式 \old(expr)：表示ex

>>阅读原文<<