2020年5月22日
OO第三单元总结
摘要： 第三单元总结 一、JML JML的语法课上讲的很清楚，我就谈谈自己阅读JML规格的体会。 requires和ensures成对出现，可以看作对应一个if块。requires就是if块的条件，ensures就是这个if块将要实现的功能。 单就阅读JML规格而言，体验不是很好，因为这个语言非常严谨，总是 阅读全文
posted @ 2020-05-22 16:32 对视就微笑 阅读(153) 评论(0) 推荐(0)