2020年5月23日
OO_UINT3_2020
摘要： OO_UNIT3_SUMMARY 一：JML语言的理论基础、应用工具链情况 1）JML理论基础： 常用JML表达式： \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值**\old(expr)表达式**：用来表示一个表达式expr在相应方法执行前的取值 \not 阅读全文
posted @ 2020-05-23 16:56 ScorpioWZ 阅读(127) 评论(0) 推荐(0) 编辑