第三次博客作業

第三單元博客作業 一：JML基礎梳理、工具鏈 1.註釋結構 //@annotation /*@ annotation @*/ 2.JML表達式 原子表達式 \result 表示一個非void 類型的方法執行所獲得的結果，即方法執行後的返回值。 \old(expr) 用來表示一個表達式expr 在相應方法執行前的取值。 \not_assigned(x,y,...) 用來表示括號中的變量是否在方法執行

>>阅读原文<<