2020年5月23日
OO第三单元总结
摘要： JML相关 JML语法 注释结构 行注释： 块注释： 表达式 原子表达式 ：表示一个非void 类型的方法执行所获得的结果，即方法执行后的返回值 ：用来表示一个表达式 在相应方法执行前的取值。 表达式：用来表示括号中的变量是否在方法执行过程中被赋值。 量化表达式 表达式：全称量词修饰的表达式 表达式 阅读全文
posted @ 2020-05-23 16:24 max2333 阅读(142) 评论(0) 推荐(0)