2019年5月22日
OO第三单元作业总结
摘要： OO第三单元作业总结 一、JML理论及工具链应用 1.注释结构 有两种注释方式，行注释和块注释。 行注释：//@annotation 块注释：/* @ annotation @*/ 2.JML表达式 2.1原子表达式 \result表达式：表示一个非void类型的方法执行后的返回值； \old(ex 阅读全文
posted @ 2019-05-22 11:02 时过境迁~ 阅读(156) 评论(0) 推荐(0) 编辑