会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
s1mplezz
博客园
首页
新随笔
联系
订阅
管理
2019年5月22日
OO第三单元作业小结
摘要: 一、JML理论基础及应用工具链情况 理论基础 1.JML表达式 \result:表示方法执行后的返回值。 \old(expr):表示一个表达式expr在相应方法执行前的取值。 \foall:全称量词修饰的表达式。 \exists:存在量词修饰的表达式。 <==>:等价关系操作符。 ==>:推理操作符
阅读全文
posted @ 2019-05-22 17:00 s1mplezz
阅读(224)
评论(0)
推荐(0)
编辑
公告