2019年5月22日
oo第三单元总结
摘要： 一、JML理论基础 JML就是用于对JAVA程序设计逻辑的预先约定的一种语言，以便正确严格高效地完成程序以及展开测试，是一种行为接口规格语言。 1.原子表达式： \result表达式：表示一个非 void 类型的方法执行所获得的结果，即方法执行后的返回值。 \old( expr )表达式：用来表示一 阅读全文
posted @ 2019-05-22 17:42 hurryup 阅读(153) 评论(0) 推荐(0)