OO第三单元总结

OO第三单元总结 1. JML基础梳理及工具链 1.1 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头 行注释的表示方式为//@annotation；块注释的表示方式为/* @ annotation @*/ 1.2 JML表达式 ​ JML相对于Java新增的表达式成分仅用于JML中的断言(assertion)语句和其他相关的注释体。 ​ 在JML断言中，不可以使用带有赋值语

>>阅读原文<<