2020年5月23日
OO第三单元总结
摘要： OO第三单元总结 一、 JML语言的理论基础及应用工具链 （1）JML语言理论基础 1.原子表达式： \result表示非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)用来表示一个表达式 expr 在相应方法执行前的取值。 \not_assigned(x,y,... 阅读全文
posted @ 2020-05-23 19:47 困于街头 阅读(147) 评论(0) 推荐(0)