2020年5月22日
OO课程第三次作业JML
摘要： JML理论基础 pure：无任何副作用。 \result：该方法返回的对象。 require：前置条件，即调用该方法时参数以及成员变量需要满足的条件。 assaignable：副作用范围，列出所有可能会被修改的成员变量。 ensure：后置条件，即调用该方法之后参数和成员变量需要满足的条件。 \ol 阅读全文
posted @ 2020-05-22 20:38 woafrnraetns 阅读(137) 评论(0) 推荐(0) 编辑