2020年5月23日
OO第三单元总结
摘要： 1. 理论基础与应用工具链 1.1. 理论基础 1）注释结构 以@开头，行注释//@，块注释/*@ @*/，纯粹查询方法/*@pure@*/。规格中每个子句都必须以；结尾。 model规格层次的描述，不是此类的声明组成部分。 non_null对象引用不能为null。 前置条件，requires。 副 阅读全文
posted @ 2020-05-23 18:25 18231002 阅读(118) 评论(0) 推荐(0) 编辑