2020年5月21日
OO第三单元总结
摘要： 第三单元博客作业 一、梳理 JML 语言的 理论基础、应用工具链 情况 1. JML语言 （1）JML表达式 ​ \old(expr)：表示expr在方法执行前的值 ​ \result：表示方法的返回值 ​ \not_assigned：表示括号中变量在方法执行过程中是否被赋值 ​ \nonnulle 阅读全文
posted @ 2020-05-21 21:56 claw 阅读(181) 评论(0) 推荐(0)