摘要: BUAA_OO_Unit3总结 一、整体概述 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言,它对于方法内部具体是如何实现的并无要求,只是对方法的接口以及行为进行限制,具体来说就是对方法里面允许接受的数据,可以做出的改动,必须返回的数据, 阅读全文
posted @ 2022-06-06 15:37 走马行川 阅读(24) 评论(2) 推荐(0) 编辑