2020年5月22日
OO第三单元作业总结
摘要： OO第三单元作业总结 JML语言 理论基础 表达式 原子表达式 ： |原子表达式|含义| | | | |\result|非void方法执行后的返回值| |\old(expr)|expr在方法执行前的值| |\assigned(x,y,...)|x,y,...变量在方法执行时允许被修改| |...|. 阅读全文
posted @ 2020-05-22 09:45 P1Y2P1Y2 阅读(138) 评论(0) 推荐(0)