2020年5月23日
OO第三单元总结
摘要： 梳理JML语言的理论基础、应用工具链情况 理论基础 JML是用来对JAVA程序进行规格化描述的表示语言。 规格变量声明：如 。可区分静态或实例，non_null表明对象引用不能为null 前置条件：由requires子句定义。 副作用：assignable限定能够修改的类成员属性。 表示纯粹的查询方 阅读全文
posted @ 2020-05-23 11:20 Zars19 阅读(271) 评论(0) 推荐(0) 编辑