2020年5月23日
OO第三单元总结
摘要： JML JML的理论基础 JML即Java Model Language，是一种建模语言，用形式化的符号语言描述Java的类和方法。常用关键字及表达式如下： 关键字 意义 requires 方法的前置条件 assignable 方法修改域 signals 抛出异常的条件 ensures 方法的输出 阅读全文
posted @ 2020-05-23 15:16 longmixl 阅读(129) 评论(0) 推荐(0) 编辑