2019年5月21日
OO——JML作业总结
摘要： [TOC] 第三单元博客作业 JML语言理论基础 1.注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，和普通的java语言的注释类似，分为行注释和块注释。 行注释： 块注释： 按照javadoc习惯，JML注释一般被放在被注释成分的近邻上部。 2.JML表达式 阅读全文
posted @ 2019-05-21 18:44 RDwhite 阅读(349) 评论(0) 推荐(0) 编辑