2021年5月30日
面向对象程序设计第三单元总结
摘要： 一、JML规格理论基础 JML 中常用的表达式： \old(expr) 表达式用来表示一个表达式 expr 在相应方法执行前的取值； \result 表达式表示方法的执行返回结果； \forall 表达式是全称量词修饰的表达式，表示对于给定范围内的元素，每个元素都满足相应的约束； \exists 表 阅读全文
posted @ 2021-05-30 17:52 是茂陵书生 阅读(72) 评论(0) 推荐(0)