摘要： 有关JML JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言，一般用来开展规格化设计、提高代码的可维护性等用途。 注释结构 JML 以 javadoc 注释的方式来表示规格，每行都以 @ 起头。有两种注释方式，行注释和块注释。其中行注释的表 阅读全文