摘要： #一、总述 第三单元的主要内容为学习编写符合JML规格的代码，同时学习异常的处理和抛出。从某种意义上来说，本单元几乎没有难度：JML规格虽然像是给我们编写程序带上了镣铐，但它却是舒适的镣铐——我们编写代码只要简单地遵守contract即可（当然，前提是不能错误理解contract）。然而，镣铐始终是 阅读全文