OO_JML專題_小結

第一部分：JML小結 一、入門關鍵字小結 1.引導詞： requires ：接下來部分的入口要求 assignable ：在該程序中可修改的變量 ensures ：後面是對該函數運行結束後的要求 also  exception_behavior ：接下來是出現異常的處理部分 signals ： 對應拋出的異常 2.轉義詞：        \nothing ：(一般用在assignable中，表示都

>>阅读原文<<