OO_JML专题_小结
第一部分：JML小结 一、入门关键字小结 1.引导词： requires ：接下来部分的入口要求 assignable ：在该程序中可修改的变量 ensures ：后面是对该函数运行结束后的要求 also exception_behavior ：接下来是出现异常的处理部分 signals ： 对应抛出的异常 2.转义词： \nothing ：(一般用在assignable中，表示都
相关文章
- 1. OO_电梯专题_小结
- 2. OO_表达式求导专题_小结
- 3. 专题结构
- 4. 专题：Cortana 小娜
- 5. Splay专题总结
- 6. PyQt专题结题感言
- 7. AOP 专业术语 小结
- 8. [kuangbin带你飞]专题六 最小生成树 题解+总结
- 9. 小试Angular专题--简介
- 10. 三.类专题总结
- 更多相关文章...
- • Markdown 标题 - Markdown 教程
- • jQuery Mobile 主题 - jQuery Mobile 教程
- • PHP Ajax 跨域问题最佳解决方案
- • 算法总结-双指针
相关标签/搜索
每日一句
-
每一个你不满意的现在，都有一个你没有努力的曾经。
最新文章
- 1. Duang!超快Wi-Fi来袭
- 2. 机器学习-补充03 神经网络之**函数(Activation Function)
- 3. git上开源maven项目部署 多module maven项目（多module maven+redis+tomcat+mysql）后台部署流程学习记录
- 4. ecliple-tomcat部署maven项目方式之一
- 5. eclipse新导入的项目经常可以看到“XX cannot be resolved to a type”的报错信息
- 6. Spark RDD的依赖于DAG的工作原理
- 7. VMware安装CentOS-8教程详解
- 8. YDOOK：Java 项目 Spring 项目导入基本四大 jar 包 导入依赖，怎样在 IDEA 的项目结构中导入 jar 包 导入依赖
- 9. 简单方法使得putty（windows10上）可以免密登录树莓派
- 10. idea怎么用本地maven
欢迎关注本站公众号,获取更多信息
相关文章
- 1. OO_电梯专题_小结
- 2. OO_表达式求导专题_小结
- 3. 专题结构
- 4. 专题：Cortana 小娜
- 5. Splay专题总结
- 6. PyQt专题结题感言
- 7. AOP 专业术语 小结
- 8. [kuangbin带你飞]专题六 最小生成树 题解+总结
- 9. 小试Angular专题--简介
- 10. 三.类专题总结