2021年5月31日
《面向对象程序设计》第三单元 JML 总结
摘要： 《面向对象程序设计》第三单元 JML 总结 一、实现规格所采取的设计策略 首先，类方法规格分为正常行为规格与异常行为规格，在JML书写时习惯将异常部分置后。但实际在进入函数时就进行异常判断才是保险的做法，因为异常抛出的条件往往较为简单，而其互补条件表达式复杂，如此可以避免因为手滑在正常代码段执行时抛 阅读全文
posted @ 2021-05-31 02:28 yuxinDu 阅读(83) 评论(0) 推荐(0) 编辑