05 2021 档案

面向对象第三单元总结
摘要：###一、实现规格所采取的设计策略 1.浏览public instance model non_null 通过浏览这这些instance，对整个类的属性进行了一定的了解，心里对需要对那些数据进行存储有个大概了解，知晓整个类是对哪些属性进行操作。 2.阅读函数内容 阅读每个函数的JML代码，通过其前置 阅读全文
posted @ 2021-05-30 21:22 果冻狂魔 阅读(70) 评论(1) 推荐(0)