2019年5月21日
OO第三单元总结分析
摘要： JML设计 JML语言基础 基本语法 一般对一个属性/方法的规格描述在其紧邻的上方 原子表达式 1. : 表示一个非 方法的返回值 2. : 表示一个表达式 在方法执行前的值 注意 : 当 为一个引用对象时 只表示引用对象的地址值,不代表引用对象的引用值 3. : 表示括号内的各个变量在方法前后没有 阅读全文
posted @ 2019-05-21 22:41 fjhzhixi 阅读(158) 评论(0) 推荐(0) 编辑