会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
since_AUG
博客园
首页
新随笔
联系
订阅
管理
2019年5月22日
2019_BUAAOO_第三单元总结
摘要: 一、JML理论基础及应用工具链情况梳理 JML基础语法 1.requires:定义方法的前置条件,即该方法执行前需要满足的条件; 2.assignable:副作用范围限定,列出这个方法可以修改的类成员属性,assignable \nothing表示这个方法不对任何成员属性进行修改。 3.ensure
阅读全文
posted @ 2019-05-22 19:40 since_AUG
阅读(153)
评论(0)
推荐(0)
编辑
公告