2019年5月22日
OO第三单元总结
摘要： OO第三单元总结 梳理JML语言的理论基础、应用工具链情况 JML（Java Modeling Language）是一种行为规范接口语言，通过使用不会被编译的注释形式，和固定关键字的语法，指定Java模块代码的行为。大体上包括以下三种要求： 前置： @requires 子句定义了需要满足的条件。 过 阅读全文
posted @ 2019-05-22 18:25 不会起名字丶 阅读(146) 评论(0) 推荐(0) 编辑