2019年5月21日
【面向对象】第三单元总结
摘要： 面向对象第三次作业总结 JML基础梳理及工具链 注释结构 行注释： 块注释： 两种注释方法均适用@开头，并将JML注释放在被注释成分的近邻上部。 常见表达式 原子表达式 表达式：表示一个非 void 类型的方法执行所获得的结果，即方法执行后的返回值。这里此表达式的类型根据被注释的函数的返回值而定。 阅读全文
posted @ 2019-05-21 09:17 MagicJim 阅读(369) 评论(0) 推荐(0) 编辑