2019年5月21日
北航oo作业第三单元小结
摘要： 一、梳理JML语言的理论基础 1、jml的注释结构 jml注释语言的每一行都以@作为开始，若是块注释，则需要在注释块的首尾使用/*@ 与@*/ 2、jml的表达式体系 1、原子表达式 表达式可以看作是一个原子类型，常见的有\result表达式（用于表达某个方法执行后的结果）、\old表达式（用来表示 阅读全文
posted @ 2019-05-21 23:38 溪阶砧 阅读(202) 评论(0) 推荐(0) 编辑