2019年5月22日
oo第三单元学习总结
摘要： OO第三单元小结 一.JML语言理论基础及工具链梳理 在本单元我们学习了JML语言的一些基础知识，能够让我们看懂简单的JML规格并写出对应代码， 主要用到的知识点有： 1.requires 该子句定义了方法的前置条件 2.\old(exp)，表示执行相应方法前表达式exp的取值 3.assignab 阅读全文
posted @ 2019-05-22 13:34 检石 阅读(144) 评论(0) 推荐(0) 编辑