菜鸡谈OO 第三单元总结

JML语言梳理 JML理论基础 JML是一种契约式设计，一种形式化java建模语言。契约式设计的核心是将代码实现和设计本身分离。设计者只考虑设计层面的问题。 注释结构 行注释  //@ annotation  块注释 /*@ annotation*/  JML表达式 原子表达式  \result 表示非void类型的方法执行结果  \old（expr） 表示表达式expr在相应方法执行前的取值  

>>阅读原文<<