摘要： [TOC] 一、JML的梳理与总结 JML理论基础 由于很多 "jml博客" 对理论基础总结的很好，而且指导书也会讲解基础语法，我就不再赘述。 我这里就分享一下自己在 初学 语法时，对 语法 总结的难点 ，供初学者参考: (1) \old \old( )表达式：用来表示一个表达式 在相应方法执行前的 阅读全文