摘要：
OO第三单元总结 一.JML语言的理论基础与应用工具链 1.理论基础 注释 行注释：//@annotation 块注释：/ @ annotation @ / 表达式 \result表达式：表示一个非 void 类型的方法执行所获得的结果，即方法执行后的返回值 \old( expr ) 阅读全文
posted @ 2019-05-22 21:29
ture117
阅读(101)
评论(0)
推荐(0)
浙公网安备 33010602011771号