2019年5月22日
OO第三单元作业总结——JML下的图查找
摘要： 一、JML语言的理论基础梳理 JML的语言基础主要包括JML表达式、方法规格以及类规格JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@annotation ，块注释的方式为/* @ annotation @*/ 。按照Javad 阅读全文
posted @ 2019-05-22 20:23 发际线后移是技术提升的标志 阅读(188) 评论(0) 推荐(0) 编辑