摘要： JML理论基础 JML将注释添加到java代码中，确定方法所要执行的内容。有了它，我们就可以描述方法预期的功能，无需考虑实现。同时JML可以在不编写代码的情况下，有效的判断思路是否能够实现，即代码的准确性。同时，JML有助于层次的分化，给每个单元每个类每个方法进行明确的分工。 基本语法： 在这里不多 阅读全文