摘要: JML语言梳理 JML理论基础 JML是一种契约式设计,一种形式化java建模语言。契约式设计的核心是将代码实现和设计本身分离。设计者只考虑设计层面的问题。 注释结构 行注释 //@ annotation 块注释 /*@ annotation*/ 行注释 //@ annotation 块注释 /*@ 阅读全文
posted @ 2019-05-22 19:21 xxj2017 阅读(135) 评论(0) 推荐(0) 编辑