会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
18231094
博客园
首页
新随笔
联系
订阅
管理
2020年5月23日
OO第三单元总结
摘要: 1 JML概述 1.1 JML语言理论基础梳理 先上一张思维导图,这是JML level 0下主要的语法 由于JML手册中已经给出了详尽的规范,所以此处只叙述一下个人的理解: 一般而言看JML可以先看他的类型规格,尤其是所属的类有什么成员变量(容器不需要严格实现,但是成员的分布需要了解),不变式或者
阅读全文
posted @ 2020-05-23 19:56 18231094
阅读(162)
评论(0)
推荐(0)
编辑
公告