2019年5月22日
OO_JML专题_小结
摘要： 第一部分：JML小结 一、入门关键字小结 1.引导词： requires ：接下来部分的入口要求 assignable ：在该程序中可修改的变量 ensures ：后面是对该函数运行结束后的要求 also exception_behavior ：接下来是出现异常的处理部分 signals ： 对应抛 阅读全文
posted @ 2019-05-22 14:57 17231007 阅读(172) 评论(0) 推荐(0) 编辑