2019年5月22日
面向对象OONo.3单元总结
摘要： 一，JML语言 1）JML理论基础：JML是一类语言，用来描述一个方法或一个类的功能、以及这个类在实现这个功能时需要的条件、可能改变的全局变量、以及由于条件问题不能实现功能时这个方法或类的行为，具有明了、描述清晰的特点 最主要的词语有： require：描述达到功能所需要的条件 ensures：描述 阅读全文
posted @ 2019-05-22 21:48 Cooperh 阅读(242) 评论(1) 推荐(0) 编辑