2020年5月22日
OO第三单元--JML总结
摘要： 一、JML的梳理和总结 1、jml理论基础 （1）前置条件 requires P; 使用逻辑或操作符来表示相应的约束场景： requires P1||P2; 要求调用者确保P为真，并且条件要求是并列，各种关系不能够重合。 （2）后置条件 ensures P; 即方法实现者必须同时满足有所并列ensu 阅读全文
posted @ 2020-05-22 21:53 Hayden11 阅读(342) 评论(0) 推荐(0) 编辑