2020年5月23日
OO第三单元总结
摘要： 1 JML概述 1.1 JML语言理论基础梳理 先上一张思维导图，这是JML level 0下主要的语法 由于JML手册中已经给出了详尽的规范，所以此处只叙述一下个人的理解： 一般而言看JML可以先看他的类型规格，尤其是所属的类有什么成员变量（容器不需要严格实现，但是成员的分布需要了解），不变式或者 阅读全文
posted @ 2020-05-23 19:56 18231094 阅读(165) 评论(0) 推荐(0) 编辑