OO第三單元作業總結——JML下的圖查找

  一、JML語言的理論基礎梳理 　　JML的語言基礎主要包括JML表達式、方法規格以及類規格JML以javadoc註釋的方式來表示規格，每行都以@起頭。有兩種註釋方式，行註釋和塊註釋。其中行註釋的表示方式爲//@annotation ，塊註釋的方式爲/* @ annotation @*/ 。按照Javadoc習慣，JML註釋一般放在被註釋成分的近鄰上部。 1.JML表達式 \result表達式：

>>阅读原文<<