Ethanscript

摘要： OO第三单元总结 [toc] JML语言的理论基础、应用工具链情况 JML基础语法 + requires ： requires a ，即为前置条件语句，在方法满足条件的情况下实现之后的功能。 + ensure：ensure a ，即为后置条件语句，在满足ensure对应require前置条件方法执行 阅读全文