摘要：第三单元博客作业 一、梳理 JML 语言的 理论基础、应用工具链 情况 1. JML语言 （1）JML表达式 ​ \old(expr)：表示expr在方法执行前的值 ​ \result：表示方法的返回值 ​ \not_assigned：表示括号中变量在方法执行过程中是否被赋值 ​ \nonnulle 阅读全文