2019年5月21日
BUAA-OO-第三单元作业-JML之图论
摘要： OO第三单元JML规格之图论应用 一、JML语言说明 基础语法 1.requires子句定义该方法的前置条件(precondition)， 方法执行前需要满足的条件； 2.副作用范围限定，assignable列出这个方法能够修改的类成员属性，\nothing是个关键词，表示这个方法不对任何成员属性进 阅读全文
posted @ 2019-05-21 14:40 YE_Bob 阅读(392) 评论(0) 推荐(0) 编辑