菜雞談OO 第三單元總結

JML語言梳理 JML理論基礎 JML是一種契約式設計，一種形式化java建模語言。契約式設計的核心是將代碼實現和設計本身分離。設計者只考慮設計層面的問題。 註釋結構 行註釋  //@ annotation  塊註釋 /*@ annotation*/  JML表達式 原子表達式  \result 表示非void類型的方法執行結果  \old（expr） 表示表達式expr在相應方法執行前的取值  

>>阅读原文<<