2019年5月22日

OO面向对象第三次作业总结
摘要： 面向对象第三次作业总结 一、JML基础梳理及工具链 注释结构 行注释： 块注释： 两种注释都是放在被注释部分上面。 常见表达式 1. 原子表达式 1. 表达式：表示一个方法执行所获得的结果，即方法执行后的返回值。这里此表达式的类型根据被注释的函数的返回值而定。 2. 表达式：用来表示一个表达式exp 阅读全文
posted @ 2019-05-22 11:56 hjh3407 阅读(105) 评论(0) 推荐(0) 编辑

导航