OO第三單元總結

OO第三單元總結 1. JML基礎梳理及工具鏈 1.1 註釋結構 JML以javadoc註釋的方式來表示規格，每行都以@起頭 行註釋的表示方式爲//@annotation；塊註釋的表示方式爲/* @ annotation @*/ 1.2 JML表達式 ​ JML相對於Java新增的表達式成分僅用於JML中的斷言(assertion)語句和其他相關的註釋體。 ​ 在JML斷言中，不可以使用帶有賦值語

>>阅读原文<<