2019年5月22日
面向对象OO第三单元总结
摘要： 第三单元OO总结博客 1 梳理JML语言的理论基础、应用工具链情况 由于篇幅原因，这里只梳理几个在本单元常用的 注释结构 行注释://@annotation 块注释：/* @ annotation @*/ 例如：纯粹查询方法/*@ pure @ */，即方法的执行不会有任何副作用 JML表达式 原子 阅读全文
posted @ 2019-05-22 00:53 Vanellope 阅读(307) 评论(0) 推荐(0) 编辑