第三單元oo作業總結

第三單元oo作業總結 第一部分：梳理JML語言的理論基礎、應用工具鏈情況 理論基礎 JML語法梳理 關於jml具體語法的梳理在給出的指導書中給出的基本上已經足夠應用，以下爲一部分常用語句的梳理。 表達式：完成JML語句的編寫 原子表達式：如\result, \old(expr)等等 量化表達式：如\forall表達式、\exists表達式等。 集合表達式：通過集合表達式構造一個局部的容器，明確集合

>>阅读原文<<