xbuluo

摘要： BUAA-OO-Unit3总结 本单元的主要内容是契约式编程，只需要根据官方提供的jml来实现对应的接口来完成接口中定义的函数，而不需要花费精力在架构的设计上。 jml语言是利用前置条件、后置条件、不变式等语法描述Java程序的数据、方法、类的规格。jml只关注方法的执行效果和对其他产生的影响而不需 阅读全文