第三次博客作业

第三单元博客作业 一：JML基础梳理、工具链 1.注释结构 //@annotation /*@ annotation @*/ 2.JML表达式 原子表达式 \result 表示一个非void 类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr) 用来表示一个表达式expr 在相应方法执行前的取值。 \not_assigned(x,y,...) 用来表示括号中的变量是否在方法执行

>>阅读原文<<