OO第三单元总结
OO第三单元总结 JML梳理 JML语言理论 身为规格描述语言，JML有着严格的语法规范。 + 注释 行注释： //@annotation ， 块注释： / @ annotation @ / + 方法规格 前置条件(pre condition) ：require 后置条件(post conditio
posted on 2019-05-22 19:23 CSDCounter 阅读(181) 评论(0) 编辑 收藏 举报
posted on 2019-05-22 19:23 CSDCounter 阅读(181) 评论(0) 编辑 收藏 举报
